CmmExpr

Synopsis

• data CmmExpr
  • = CmmLit CmmLit
  • | CmmLoad CmmExpr CmmType
  • | CmmReg CmmReg
  • | CmmMachOp MachOp [CmmExpr]
  • | CmmStackSlot Area Int
  • | CmmRegOff CmmReg Int
• cmmExprType :: CmmExpr -> CmmType
• cmmExprWidth :: CmmExpr -> Width
• maybeInvertCmmExpr :: CmmExpr -> Maybe CmmExpr
• data CmmReg
  • = CmmLocal LocalReg
  • | CmmGlobal GlobalReg
• cmmRegType :: CmmReg -> CmmType
• data CmmLit
  • = CmmInt Integer Width
  • | CmmFloat Rational Width
  • | CmmLabel CLabel
  • | CmmLabelOff CLabel Int
  • | CmmLabelDiffOff CLabel CLabel Int
  • | CmmBlock BlockId
  • | CmmHighStackMark
• cmmLitType :: CmmLit -> CmmType
• data LocalReg = LocalReg !Unique CmmType
• localRegType :: LocalReg -> CmmType
• data GlobalReg
  • = VanillaReg !Int VGcPtr
  • | FloatReg !Int
  • | DoubleReg !Int
  • | LongReg !Int
  • | Sp
  • | SpLim
  • | Hp
  • | HpLim
  • | CCCS
  • | CurrentTSO
  • | CurrentNursery
  • | HpAlloc
  • | EagerBlackholeInfo
  • | GCEnter1
  • | GCFun
  • | BaseReg
  • | PicBaseReg
• globalRegType :: GlobalReg -> CmmType
• baseReg, nodeReg, spLimReg, hpReg, spReg :: CmmReg
• node :: GlobalReg
• data VGcPtr
  • = VGcPtr
  • | VNonGcPtr
• vgcFlag :: CmmType -> VGcPtr
• class DefinerOfLocalRegs a where
  • foldRegsDefd :: (b -> LocalReg -> b) -> b -> a -> b
• class UserOfLocalRegs a where
  • foldRegsUsed :: (b -> LocalReg -> b) -> b -> a -> b
• filterRegsUsed :: UserOfLocalRegs e => (LocalReg -> Bool) -> e -> RegSet
• class DefinerOfSlots a where
  • foldSlotsDefd :: (b -> SubArea -> b) -> b -> a -> b
• class UserOfSlots a where
  • foldSlotsUsed :: (b -> SubArea -> b) -> b -> a -> b
• type RegSet = UniqSet LocalReg
• emptyRegSet :: RegSet
• elemRegSet :: LocalReg -> RegSet -> Bool
• extendRegSet :: RegSet -> LocalReg -> RegSet
• deleteFromRegSet :: RegSet -> LocalReg -> RegSet
• mkRegSet :: [LocalReg] -> RegSet
• minusRegSet, timesRegSet, plusRegSet :: RegSet -> RegSet -> RegSet
• regUsedIn :: CmmReg -> CmmExpr -> Bool
• regSlot :: LocalReg -> CmmExpr
• data Area
  • = RegSlot LocalReg
  • | CallArea AreaId
• data AreaId
  • = Old
  • | Young BlockId
• type SubArea = (Area, Int, Int)
• type SubAreaSet = Map Area [SubArea]
• type AreaMap = Map Area Int
• isStackSlotOf :: CmmExpr -> LocalReg -> Bool
• module CmmMachOp
• module CmmType

Documentation