ghc-7.10.1: The GHC API

Safe HaskellNone
LanguageHaskell2010

Literal

Contents

Synopsis

Main data type

data Literal Source

So-called Literals are one of:

  • An unboxed (machine) literal (MachInt, MachFloat, etc.), which is presumed to be surrounded by appropriate constructors (Int#, etc.), so that the overall thing makes sense.
  • The literal derived from the label mentioned in a "foreign label" declaration (MachLabel)

Constructors

MachChar Char

Char# - at least 31 bits. Create with mkMachChar

MachStr ByteString

A string-literal: stored and emitted UTF-8 encoded, we'll arrange to decode it at runtime. Also emitted with a '\0' terminator. Create with mkMachString

MachNullAddr

The NULL pointer, the only pointer value that can be represented as a Literal. Create with nullAddrLit

MachInt Integer

Int# - at least WORD_SIZE_IN_BITS bits. Create with mkMachInt

MachInt64 Integer

Int64# - at least 64 bits. Create with mkMachInt64

MachWord Integer

Word# - at least WORD_SIZE_IN_BITS bits. Create with mkMachWord

MachWord64 Integer

Word64# - at least 64 bits. Create with mkMachWord64

MachFloat Rational

Float#. Create with mkMachFloat

MachDouble Rational

Double#. Create with mkMachDouble

MachLabel FastString (Maybe Int) FunctionOrData

A label literal. Parameters:

1) The name of the symbol mentioned in the declaration

2) The size (in bytes) of the arguments the label expects. Only applicable with stdcall labels. Just x => <x> will be appended to label name when emitting assembly.

LitInteger Integer Type 

Instances

Creating Literals

mkMachInt :: DynFlags -> Integer -> Literal Source

Creates a Literal of type Int#

mkMachWord :: DynFlags -> Integer -> Literal Source

Creates a Literal of type Word#

mkMachInt64 :: Integer -> Literal Source

Creates a Literal of type Int64#

mkMachWord64 :: Integer -> Literal Source

Creates a Literal of type Word64#

mkMachFloat :: Rational -> Literal Source

Creates a Literal of type Float#

mkMachDouble :: Rational -> Literal Source

Creates a Literal of type Double#

mkMachChar :: Char -> Literal Source

Creates a Literal of type Char#

mkMachString :: String -> Literal Source

Creates a Literal of type Addr#, which is appropriate for passing to e.g. some of the "error" functions in GHC.Err such as GHC.Err.runtimeError

mkLitInteger :: Integer -> Type -> Literal Source

Operations on Literals

literalType :: Literal -> Type Source

Find the Haskell Type the literal occupies

hashLiteral :: Literal -> Int Source

absentLiteralOf :: TyCon -> Maybe Literal Source

pprLiteral :: (SDoc -> SDoc) -> Literal -> SDoc Source

Predicates on Literals and their contents

litIsDupable :: DynFlags -> Literal -> Bool Source

True if code space does not go bad if we duplicate this literal Currently we treat it just like litIsTrivial

litIsTrivial :: Literal -> Bool Source

True if there is absolutely no penalty to duplicating the literal. False principally of strings

litIsLifted :: Literal -> Bool Source

inIntRange :: DynFlags -> Integer -> Bool Source

inWordRange :: DynFlags -> Integer -> Bool Source

tARGET_MAX_INT :: DynFlags -> Integer Source

inCharRange :: Char -> Bool Source

isZeroLit :: Literal -> Bool Source

Tests whether the literal represents a zero of whatever type it is

litFitsInChar :: Literal -> Bool Source

Coercions

word2IntLit :: DynFlags -> Literal -> Literal Source

int2WordLit :: DynFlags -> Literal -> Literal Source

narrow8IntLit :: Literal -> Literal Source

narrow16IntLit :: Literal -> Literal Source

narrow32IntLit :: Literal -> Literal Source

narrow8WordLit :: Literal -> Literal Source

narrow16WordLit :: Literal -> Literal Source

narrow32WordLit :: Literal -> Literal Source

char2IntLit :: Literal -> Literal Source

int2CharLit :: Literal -> Literal Source

float2IntLit :: Literal -> Literal Source

int2FloatLit :: Literal -> Literal Source

double2IntLit :: Literal -> Literal Source

int2DoubleLit :: Literal -> Literal Source

nullAddrLit :: Literal Source

float2DoubleLit :: Literal -> Literal Source

double2FloatLit :: Literal -> Literal Source