Commit 3751cdcd authored by Simon Marlow's avatar Simon Marlow
Browse files

strictness annotations

parent 02ad9a75
...@@ -44,11 +44,11 @@ import qualified Data.Set as Set ...@@ -44,11 +44,11 @@ import qualified Data.Set as Set
data CmmExpr data CmmExpr
= CmmLit CmmLit -- Literal = CmmLit CmmLit -- Literal
| CmmLoad CmmExpr CmmType -- Read memory location | CmmLoad !CmmExpr !CmmType -- Read memory location
| CmmReg CmmReg -- Contents of register | CmmReg !CmmReg -- Contents of register
| CmmMachOp MachOp [CmmExpr] -- Machine operation (+, -, *, etc.) | CmmMachOp MachOp [CmmExpr] -- Machine operation (+, -, *, etc.)
| CmmStackSlot Area Int -- addressing expression of a stack slot | CmmStackSlot Area Int -- addressing expression of a stack slot
| CmmRegOff CmmReg Int | CmmRegOff !CmmReg Int
-- CmmRegOff reg i -- CmmRegOff reg i
-- ** is shorthand only, meaning ** -- ** is shorthand only, meaning **
-- CmmMachOp (MO_Add rep) [x, CmmLit (CmmInt (fromIntegral i) rep)] -- CmmMachOp (MO_Add rep) [x, CmmLit (CmmInt (fromIntegral i) rep)]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment