CmmExpr

Synopsis

• data CmmExpr
  • = CmmLit CmmLit
  • | CmmLoad !CmmExpr !CmmType
  • | CmmReg !CmmReg
  • | CmmMachOp MachOp [CmmExpr]
  • | CmmStackSlot Area !Int
  • | CmmRegOff !CmmReg Int
• cmmExprType :: DynFlags -> CmmExpr -> CmmType
• cmmExprWidth :: DynFlags -> CmmExpr -> Width
• maybeInvertCmmExpr :: CmmExpr -> Maybe CmmExpr
• data CmmReg
  • = CmmLocal !LocalReg
  • | CmmGlobal GlobalReg
• cmmRegType :: DynFlags -> CmmReg -> CmmType
• data CmmLit
  • = CmmInt !Integer Width
  • | CmmFloat Rational Width
  • | CmmVec [CmmLit]
  • | CmmLabel CLabel
  • | CmmLabelOff CLabel Int
  • | CmmLabelDiffOff CLabel CLabel Int
  • | CmmBlock !BlockId
  • | CmmHighStackMark
• cmmLitType :: DynFlags -> CmmLit -> CmmType
• data LocalReg = LocalReg !Unique CmmType
• localRegType :: LocalReg -> CmmType
• data GlobalReg
  • = VanillaReg !Int VGcPtr
  • | FloatReg !Int
  • | DoubleReg !Int
  • | LongReg !Int
  • | XmmReg !Int
  • | YmmReg !Int
  • | ZmmReg !Int
  • | Sp
  • | SpLim
  • | Hp
  • | HpLim
  • | CCCS
  • | CurrentTSO
  • | CurrentNursery
  • | HpAlloc
  • | EagerBlackholeInfo
  • | GCEnter1
  • | GCFun
  • | BaseReg
  • | PicBaseReg
• isArgReg :: GlobalReg -> Bool
• globalRegType :: DynFlags -> GlobalReg -> CmmType
• spReg :: CmmReg
• hpReg :: CmmReg
• spLimReg :: CmmReg
• nodeReg :: CmmReg
• node :: GlobalReg
• baseReg :: CmmReg
• data VGcPtr
  • = VGcPtr
  • | VNonGcPtr
• vgcFlag :: CmmType -> VGcPtr
• class Ord r => DefinerOfRegs r a where
  • foldRegsDefd :: DynFlags -> (b -> r -> b) -> b -> a -> b
• class Ord r => UserOfRegs r a where
  • foldRegsUsed :: DynFlags -> (b -> r -> b) -> b -> a -> b
• filterRegsUsed :: UserOfRegs r e => DynFlags -> (r -> Bool) -> e -> RegSet r
• foldLocalRegsDefd :: DefinerOfRegs LocalReg a => DynFlags -> (b -> LocalReg -> b) -> b -> a -> b
• foldLocalRegsUsed :: UserOfRegs LocalReg a => DynFlags -> (b -> LocalReg -> b) -> b -> a -> b
• type RegSet r = Set r
• type LocalRegSet = RegSet LocalReg
• type GlobalRegSet = RegSet GlobalReg
• emptyRegSet :: Ord r => RegSet r
• elemRegSet :: Ord r => r -> RegSet r -> Bool
• extendRegSet :: Ord r => RegSet r -> r -> RegSet r
• deleteFromRegSet :: Ord r => RegSet r -> r -> RegSet r
• mkRegSet :: Ord r => [r] -> RegSet r
• plusRegSet :: Ord r => RegSet r -> RegSet r -> RegSet r
• minusRegSet :: Ord r => RegSet r -> RegSet r -> RegSet r
• timesRegSet :: Ord r => RegSet r -> RegSet r -> RegSet r
• sizeRegSet :: Ord r => RegSet r -> Int
• nullRegSet :: Ord r => RegSet r -> Bool
• regSetToList :: Ord r => RegSet r -> [r]
• data Area
  • = Old
  • | Young !BlockId
• module CmmMachOp
• module CmmType

Documentation