ghc-7.8.3: The GHC API

Safe HaskellNone
LanguageHaskell98

CmmUtils

Contents

Synopsis

Documentation

primRepCmmType :: DynFlags -> PrimRep -> CmmType Source

primRepForeignHint :: PrimRep -> ForeignHint Source

typeCmmType :: DynFlags -> UnaryType -> CmmType Source

typeForeignHint :: UnaryType -> ForeignHint Source

zeroCLit :: DynFlags -> CmmLit Source

mkIntCLit :: DynFlags -> Int -> CmmLit Source

mkWordCLit :: DynFlags -> Integer -> CmmLit Source

packHalfWordsCLit :: DynFlags -> StgHalfWord -> StgHalfWord -> CmmLit Source

mkByteStringCLit :: Unique -> [Word8] -> (CmmLit, GenCmmDecl CmmStatics info stmt) Source

mkDataLits :: Section -> CLabel -> [CmmLit] -> GenCmmDecl CmmStatics info stmt Source

mkRODataLits :: CLabel -> [CmmLit] -> GenCmmDecl CmmStatics info stmt Source

mkStgWordCLit :: DynFlags -> StgWord -> CmmLit Source

mkIntExpr :: DynFlags -> Int -> CmmExpr Source

zeroExpr :: DynFlags -> CmmExpr Source

mkLblExpr :: CLabel -> CmmExpr Source

cmmRegOff :: CmmReg -> Int -> CmmExpr Source

cmmOffset :: DynFlags -> CmmExpr -> Int -> CmmExpr Source

cmmLabelOff :: CLabel -> Int -> CmmLit Source

cmmOffsetLit :: CmmLit -> Int -> CmmLit Source

cmmOffsetExpr :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmRegOffB :: CmmReg -> ByteOff -> CmmExpr Source

cmmOffsetB :: DynFlags -> CmmExpr -> ByteOff -> CmmExpr Source

cmmLabelOffB :: CLabel -> ByteOff -> CmmLit Source

cmmOffsetLitB :: CmmLit -> ByteOff -> CmmLit Source

cmmOffsetExprB :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmRegOffW :: DynFlags -> CmmReg -> WordOff -> CmmExpr Source

cmmOffsetW :: DynFlags -> CmmExpr -> WordOff -> CmmExpr Source

cmmLabelOffW :: DynFlags -> CLabel -> WordOff -> CmmLit Source

cmmOffsetLitW :: DynFlags -> CmmLit -> WordOff -> CmmLit Source

cmmOffsetExprW :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmIndex :: DynFlags -> Width -> CmmExpr -> Int -> CmmExpr Source

Useful for creating an index into an array, with a staticaly known offset. The type is the element type; used for making the multiplier

cmmIndexExpr :: DynFlags -> Width -> CmmExpr -> CmmExpr -> CmmExpr Source

Useful for creating an index into an array, with an unknown offset.

cmmLoadIndex :: DynFlags -> CmmType -> CmmExpr -> Int -> CmmExpr Source

cmmLoadIndexW :: DynFlags -> CmmExpr -> Int -> CmmType -> CmmExpr Source

cmmNegate :: DynFlags -> CmmExpr -> CmmExpr Source

cmmULtWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmUGeWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmUGtWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmSubWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmNeWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmEqWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmOrWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmAndWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmUShrWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmAddWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmMulWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmQuotWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr Source

cmmToWord :: DynFlags -> CmmExpr -> CmmExpr Source

isTrivialCmmExpr :: CmmExpr -> Bool Source

hasNoGlobalRegs :: CmmExpr -> Bool Source

blankWord :: DynFlags -> CmmStatic Source

cmmTagMask :: DynFlags -> CmmExpr Source

cmmPointerMask :: DynFlags -> CmmExpr Source

cmmUntag :: DynFlags -> CmmExpr -> CmmExpr Source

cmmIsTagged :: DynFlags -> CmmExpr -> CmmExpr Source

cmmConstrTag1 :: DynFlags -> CmmExpr -> CmmExpr Source

mkLiveness :: DynFlags -> [Maybe LocalReg] -> Liveness Source

Operations that probably don't belong here

modifyGraph :: (Graph n C C -> Graph n' C C) -> GenCmmGraph n -> GenCmmGraph n' Source

ofBlockMap :: BlockId -> BlockEnv CmmBlock -> CmmGraph Source

toBlockMap :: CmmGraph -> BlockEnv CmmBlock Source

insertBlock :: CmmBlock -> BlockEnv CmmBlock -> BlockEnv CmmBlock Source

ofBlockList :: BlockId -> [CmmBlock] -> CmmGraph Source

toBlockList :: CmmGraph -> [CmmBlock] Source

bodyToBlockList :: Body CmmNode -> [CmmBlock] Source

toBlockListEntryFirst :: CmmGraph -> [CmmBlock] Source

like toBlockList, but the entry block always comes first

toBlockListEntryFirstFalseFallthrough :: CmmGraph -> [CmmBlock] Source

Like toBlockListEntryFirst, but we strive to ensure that we order blocks so that the false case of a conditional jumps to the next block in the output list of blocks. This matches the way OldCmm blocks were output since in OldCmm the false case was a fallthrough, whereas in Cmm conditional branches have both true and false successors. Block ordering can make a big difference in performance in the LLVM backend. Note that we rely crucially on the order of successors returned for CmmCondBranch by the NonLocal instance for CmmNode defind in cmm/CmmNode.hs. -GBM

foldGraphBlocks :: (CmmBlock -> a -> a) -> a -> CmmGraph -> a Source

mapGraphNodes :: (CmmNode C O -> CmmNode C O, CmmNode O O -> CmmNode O O, CmmNode O C -> CmmNode O C) -> CmmGraph -> CmmGraph Source

postorderDfs :: CmmGraph -> [CmmBlock] Source

mapGraphNodes1 :: (forall e x. CmmNode e x -> CmmNode e x) -> CmmGraph -> CmmGraph Source

analFwd :: DataflowLattice f -> FwdTransfer n f -> FwdPass UniqSM n f Source

analBwd :: DataflowLattice f -> BwdTransfer n f -> BwdPass UniqSM n f Source

analRewFwd :: DataflowLattice f -> FwdTransfer n f -> FwdRewrite UniqSM n f -> FwdPass UniqSM n f Source

analRewBwd :: DataflowLattice f -> BwdTransfer n f -> BwdRewrite UniqSM n f -> BwdPass UniqSM n f Source

dataflowPassFwd :: NonLocal n => GenCmmGraph n -> [(BlockId, f)] -> FwdPass UniqSM n f -> UniqSM (GenCmmGraph n, BlockEnv f) Source

dataflowPassBwd :: NonLocal n => GenCmmGraph n -> [(BlockId, f)] -> BwdPass UniqSM n f -> UniqSM (GenCmmGraph n, BlockEnv f) Source

dataflowAnalFwd :: NonLocal n => GenCmmGraph n -> [(BlockId, f)] -> FwdPass UniqSM n f -> BlockEnv f Source

dataflowAnalBwd :: NonLocal n => GenCmmGraph n -> [(BlockId, f)] -> BwdPass UniqSM n f -> BlockEnv f Source

dataflowAnalFwdBlocks :: NonLocal n => GenCmmGraph n -> [(BlockId, f)] -> FwdPass UniqSM n f -> UniqSM (BlockEnv f) Source