GHC.StgToCmm.Ticky · ghc-10.0.0.20260917

valuewithNewTickyCounterFun

:: Bool
-> Id
-> [NonVoid Id]
-> [NonVoid Id]
-> FCode a
-> FCode a

#

valuewithNewTickyCounterLNE :: Id -> [NonVoid Id] -> FCode a -> FCode a

#

valuewithNewTickyCounterThunk

:: Bool
static
-> Bool
updateable
-> Id
-> [NonVoid Id]
Free vars
-> FCode a
-> FCode a

#

valuewithNewTickyCounterStdThunk

:: Bool
updateable
-> Id
-> [StgArg]
Free vars + function
-> FCode a
-> FCode a

#

valuewithNewTickyCounterCon

:: Id
-> DataCon
-> ConstructorNumber
-> FCode a
-> FCode a

#

valueemitTickyCounterTag :: Unique -> NonVoid Id -> FCode CLabel

#

valuetickyDynAlloc :: Maybe Id -> SMRep -> LambdaFormInfo -> FCode ()

#

valuetickyAllocHeap :: Bool -> VirtualHpOffset -> FCode ()

#

valuetickyAllocPrim

:: CmmExpr
size of the full header, in bytes
-> CmmExpr
size of the payload, in bytes
-> CmmExpr
-> FCode ()

#

valuetickyAllocThunk :: CmmExpr -> CmmExpr -> FCode ()

#

valuetickyAllocPAP :: CmmExpr -> CmmExpr -> FCode ()

#

valuetickyHeapCheck :: FCode ()

#

valuetickyStackCheck :: FCode ()

#

valuetickyDirectCall :: RepArity -> [StgArg] -> FCode ()

#

valuetickyPushUpdateFrame :: FCode ()

#

valuetickyUpdateFrameOmitted :: FCode ()

#

valuetickyEnterDynCon :: FCode ()

#

valuetickyEnterFun :: ClosureInfo -> FCode ()

#

valuetickyEnterThunk :: ClosureInfo -> FCode ()

#

valuetickyEnterLNE :: FCode ()

#

valuetickyUpdateBhCaf :: ClosureInfo -> FCode ()

#

valuetickyUnboxedTupleReturn :: RepArity -> FCode ()

#

valuetickyReturnOldCon :: RepArity -> FCode ()

#

valuetickyReturnNewCon :: RepArity -> FCode ()

#

valuetickyKnownCallTooFewArgs :: FCode ()

#

valuetickyKnownCallExact :: FCode ()

#

valuetickyKnownCallExtraArgs :: FCode ()

#

valuetickySlowCall :: LambdaFormInfo -> [StgArg] -> FCode ()

#

valuetickySlowCallPat :: [StgArg] -> FCode ()

#

valuetickyTagged :: FCode ()

#

Predicted a pointer would be tagged correctly (GHC will crash if not so no miss case)

valuetickyUntagged :: CmmExpr -> FCode ()

#

Pass a boolean expr indicating if tag was present.

valuetickyTagSkip :: Unique -> Id -> FCode ()

#

Called when for `case v of ...` we can avoid entering v based on tag inference information.