Safe Haskell	None
Language	Haskell2010

CmmMachOp

Synopsis

Documentation

data MachOp #

Machine-level primops; ones which we can reasonably delegate to the native code generators to handle.

Most operations are parameterised by the Width that they operate on. Some operations have separate signed and unsigned versions, and float and integer versions.

Constructors

MO_Add Width
MO_Sub Width
MO_Eq Width
MO_Ne Width
MO_Mul Width
MO_S_MulMayOflo Width
MO_S_Quot Width
MO_S_Rem Width
MO_S_Neg Width
MO_U_MulMayOflo Width
MO_U_Quot Width
MO_U_Rem Width
MO_S_Ge Width
MO_S_Le Width
MO_S_Gt Width
MO_S_Lt Width
MO_U_Ge Width
MO_U_Le Width
MO_U_Gt Width
MO_U_Lt Width
MO_F_Add Width
MO_F_Sub Width
MO_F_Neg Width
MO_F_Mul Width
MO_F_Quot Width
MO_F_Eq Width
MO_F_Ne Width
MO_F_Ge Width
MO_F_Le Width
MO_F_Gt Width
MO_F_Lt Width
MO_And Width
MO_Or Width
MO_Xor Width
MO_Not Width
MO_Shl Width
MO_U_Shr Width
MO_S_Shr Width
MO_SF_Conv Width Width
MO_FS_Conv Width Width
MO_SS_Conv Width Width
MO_UU_Conv Width Width
MO_FF_Conv Width Width
MO_V_Insert Length Width
MO_V_Extract Length Width
MO_V_Add Length Width
MO_V_Sub Length Width
MO_V_Mul Length Width
MO_VS_Quot Length Width
MO_VS_Rem Length Width
MO_VS_Neg Length Width
MO_VU_Quot Length Width
MO_VU_Rem Length Width
MO_VF_Insert Length Width
MO_VF_Extract Length Width
MO_VF_Add Length Width
MO_VF_Sub Length Width
MO_VF_Neg Length Width
MO_VF_Mul Length Width
MO_VF_Quot Length Width

Instances

Eq MachOp #
Methods (==) :: MachOp -> MachOp -> Bool # (/=) :: MachOp -> MachOp -> Bool #
Show MachOp #
Methods showsPrec :: Int -> MachOp -> ShowS Source # show :: MachOp -> String Source # showList :: [MachOp] -> ShowS Source #

pprMachOp :: MachOp -> SDoc #

isCommutableMachOp :: MachOp -> Bool #

Returns True if the MachOp has commutable arguments. This is used in the platform-independent Cmm optimisations.

If in doubt, return False. This generates worse code on the native routes, but is otherwise harmless.

isAssociativeMachOp :: MachOp -> Bool #

Returns True if the MachOp is associative (i.e. (x+y)+z == x+(y+z)) This is used in the platform-independent Cmm optimisations.

If in doubt, return False. This generates worse code on the native routes, but is otherwise harmless.

isComparisonMachOp :: MachOp -> Bool #

Returns True if the MachOp is a comparison.

If in doubt, return False. This generates worse code on the native routes, but is otherwise harmless.

maybeIntComparison :: MachOp -> Maybe Width #

Returns Just w if the operation is an integer comparison with width w, or Nothing otherwise.

machOpResultType :: DynFlags -> MachOp -> [CmmType] -> CmmType #

Returns the MachRep of the result of a MachOp.

machOpArgReps :: DynFlags -> MachOp -> [Width] #

This function is used for debugging only: we can check whether an application of a MachOp is "type-correct" by checking that the MachReps of its arguments are the same as the MachOp expects. This is used when linting a CmmExpr.

maybeInvertComparison :: MachOp -> Maybe MachOp #

mo_wordAdd :: DynFlags -> MachOp #

mo_wordSub :: DynFlags -> MachOp #

mo_wordEq :: DynFlags -> MachOp #

mo_wordNe :: DynFlags -> MachOp #

mo_wordMul :: DynFlags -> MachOp #

mo_wordSQuot :: DynFlags -> MachOp #

mo_wordSRem :: DynFlags -> MachOp #

mo_wordSNeg :: DynFlags -> MachOp #

mo_wordUQuot :: DynFlags -> MachOp #

mo_wordURem :: DynFlags -> MachOp #

mo_wordSGe :: DynFlags -> MachOp #

mo_wordSLe :: DynFlags -> MachOp #

mo_wordSGt :: DynFlags -> MachOp #

mo_wordSLt :: DynFlags -> MachOp #

mo_wordUGe :: DynFlags -> MachOp #

mo_wordULe :: DynFlags -> MachOp #

mo_wordUGt :: DynFlags -> MachOp #

mo_wordULt :: DynFlags -> MachOp #

mo_wordAnd :: DynFlags -> MachOp #

mo_wordOr :: DynFlags -> MachOp #

mo_wordXor :: DynFlags -> MachOp #

mo_wordNot :: DynFlags -> MachOp #

mo_wordShl :: DynFlags -> MachOp #

mo_wordSShr :: DynFlags -> MachOp #

mo_wordUShr :: DynFlags -> MachOp #

mo_u_8To32 :: MachOp #

mo_s_8To32 :: MachOp #

mo_u_16To32 :: MachOp #

mo_s_16To32 :: MachOp #

mo_u_8ToWord :: DynFlags -> MachOp #

mo_s_8ToWord :: DynFlags -> MachOp #

mo_u_16ToWord :: DynFlags -> MachOp #

mo_s_16ToWord :: DynFlags -> MachOp #

mo_u_32ToWord :: DynFlags -> MachOp #

mo_s_32ToWord :: DynFlags -> MachOp #

mo_32To8 :: MachOp #

mo_32To16 :: MachOp #

mo_WordTo8 :: DynFlags -> MachOp #

mo_WordTo16 :: DynFlags -> MachOp #

mo_WordTo32 :: DynFlags -> MachOp #

mo_WordTo64 :: DynFlags -> MachOp #

data CallishMachOp #

Instances

Eq CallishMachOp #
Methods (==) :: CallishMachOp -> CallishMachOp -> Bool # (/=) :: CallishMachOp -> CallishMachOp -> Bool #
Show CallishMachOp #
Methods showsPrec :: Int -> CallishMachOp -> ShowS Source # show :: CallishMachOp -> String Source # showList :: [CallishMachOp] -> ShowS Source #

callishMachOpHints :: CallishMachOp -> ([ForeignHint], [ForeignHint]) #

pprCallishMachOp :: CallishMachOp -> SDoc #

machOpMemcpyishAlign :: CallishMachOp -> Maybe Int #

The alignment of a memcpy-ish operation.

data AtomicMachOp #

The operation to perform atomically.

Constructors

AMO_Add
AMO_Sub
AMO_And
AMO_Nand
AMO_Or
AMO_Xor

Instances

Eq AtomicMachOp #
Methods (==) :: AtomicMachOp -> AtomicMachOp -> Bool # (/=) :: AtomicMachOp -> AtomicMachOp -> Bool #
Show AtomicMachOp #
Methods showsPrec :: Int -> AtomicMachOp -> ShowS Source # show :: AtomicMachOp -> String Source # showList :: [AtomicMachOp] -> ShowS Source #

MO_F64_Pwr
MO_F64_Sin
MO_F64_Cos
MO_F64_Tan
MO_F64_Sinh
MO_F64_Cosh
MO_F64_Tanh
MO_F64_Asin
MO_F64_Acos
MO_F64_Atan
MO_F64_Log
MO_F64_Exp
MO_F64_Sqrt
MO_F32_Pwr
MO_F32_Sin
MO_F32_Cos
MO_F32_Tan
MO_F32_Sinh
MO_F32_Cosh
MO_F32_Tanh
MO_F32_Asin
MO_F32_Acos
MO_F32_Atan
MO_F32_Log
MO_F32_Exp
MO_F32_Sqrt
MO_UF_Conv Width
MO_S_QuotRem Width
MO_U_QuotRem Width
MO_U_QuotRem2 Width
MO_Add2 Width
MO_SubWordC Width
MO_AddIntC Width
MO_SubIntC Width
MO_U_Mul2 Width
MO_WriteBarrier
MO_Touch
MO_Prefetch_Data Int
MO_Memcpy Int
MO_Memset Int
MO_Memmove Int
MO_PopCnt Width
MO_Clz Width
MO_Ctz Width
MO_BSwap Width
MO_AtomicRMW Width AtomicMachOp
MO_AtomicRead Width
MO_AtomicWrite Width
MO_Cmpxchg Width