StgCmmPrim

Documentation

cgOpApp :: StgOp -> [StgArg] -> Type -> FCode ReturnKind

cgPrimOp :: [LocalReg] -> PrimOp -> [StgArg] -> FCode ()

shouldInlinePrimOp

Arguments

:: DynFlags

-> PrimOp

The primop

-> [CmmExpr]

The primop arguments

-> Maybe ([LocalReg] -> FCode ())

Decide whether an out-of-line primop should be replaced by an inline implementation. This might happen e.g. if there's enough static information, such as statically know arguments, to emit a more efficient implementation inline.

Returns Nothing if this primop should use its out-of-line implementation (defined elsewhere) and Just together with a code generating function that takes the output regs as arguments otherwise.