Documentation

Constructors

COMMENT FastString
LDATA Section (Alignment, CmmStatics)
NEWBLOCK BlockId
DELTA Int
MOV Size Operand Operand
MOVZxL Size Operand Operand
MOVSxL Size Operand Operand
LEA Size Operand Operand
ADD Size Operand Operand
ADC Size Operand Operand
SUB Size Operand Operand
MUL Size Operand Operand
IMUL Size Operand Operand
IMUL2 Size Operand
DIV Size Operand
IDIV Size Operand
AND Size Operand Operand
OR Size Operand Operand
XOR Size Operand Operand
NOT Size Operand
NEGI Size Operand
SHL Size Operand Operand
SAR Size Operand Operand
SHR Size Operand Operand
BT Size Imm Operand
NOP
GMOV Reg Reg
GLD Size AddrMode Reg
GST Size Reg AddrMode
GLDZ Reg
GLD1 Reg
GFTOI Reg Reg
GDTOI Reg Reg
GITOF Reg Reg
GITOD Reg Reg
GDTOF Reg Reg
GADD Size Reg Reg Reg
GDIV Size Reg Reg Reg
GSUB Size Reg Reg Reg
GMUL Size Reg Reg Reg
GCMP Cond Reg Reg
GABS Size Reg Reg
GNEG Size Reg Reg
GSQRT Size Reg Reg
GSIN Size CLabel CLabel Reg Reg
GCOS Size CLabel CLabel Reg Reg
GTAN Size CLabel CLabel Reg Reg
GFREE
CVTSS2SD Reg Reg
CVTSD2SS Reg Reg
CVTTSS2SIQ Size Operand Reg
CVTTSD2SIQ Size Operand Reg
CVTSI2SS Size Operand Reg
CVTSI2SD Size Operand Reg
FDIV Size Operand Operand
SQRT Size Operand Reg
TEST Size Operand Operand
CMP Size Operand Operand
SETCC Cond Operand
PUSH Size Operand
POP Size Operand
JMP Operand
JXX Cond BlockId
JXX_GBL Cond Imm
JMP_TBL Operand [Maybe BlockId] Section CLabel
CALL (Either Imm Reg) [Reg]
CLTD Size
FETCHGOT Reg
FETCHPC Reg

Instances

PlatformOutputable Instr
Instruction Instr	Instruction instance for x86 instruction set.

data Operand Source

Constructors

OpReg Reg
OpImm Imm
OpAddr AddrMode

x86_regUsageOfInstr :: Instr -> RegUsage Source

interesting :: Reg -> Bool Source

x86_patchRegsOfInstr :: Instr -> (Reg -> Reg) -> Instr Source

x86_isJumpishInstr :: Instr -> Bool Source

x86_jumpDestsOfInstr :: Instr -> [BlockId]Source

x86_patchJumpInstr :: Instr -> (BlockId -> BlockId) -> Instr Source

x86_mkSpillInstr :: Platform -> Reg -> Int -> Int -> Instr Source

Make a spill instruction.

x86_mkLoadInstr :: Platform -> Reg -> Int -> Int -> Instr Source

Make a spill reload instruction.

spillSlotSize :: Int Source

maxSpillSlots :: Int Source

spillSlotToOffset :: Int -> Int Source

x86_takeDeltaInstr :: Instr -> Maybe Int Source

See if this instruction is telling us the current C stack delta

x86_isMetaInstr :: Instr -> Bool Source

x86_mkRegRegMoveInstr :: Platform -> Reg -> Reg -> Instr Source

Make a reg-reg move instruction. On SPARC v8 there are no instructions to move directly between floating point and integer regs. If we need to do that then we have to go via memory.

x86_takeRegRegMoveInstr :: Instr -> Maybe (Reg, Reg)Source

Check whether an instruction represents a reg-reg move. The register allocator attempts to eliminate reg->reg moves whenever it can, by assigning the src and dest temporaries to the same real register.

x86_mkJumpInstr :: BlockId -> [Instr]Source

Make an unconditional branch instruction.

i386_insert_ffrees :: [GenBasicBlock Instr] -> [GenBasicBlock Instr]Source

is_G_instr :: Instr -> Bool Source

data JumpDest Source

Constructors

DestBlockId BlockId
DestImm Imm

getJumpDestBlockId :: JumpDest -> Maybe BlockId Source

canShortcut :: Instr -> Maybe JumpDest Source

shortcutJump :: (BlockId -> Maybe JumpDest) -> Instr -> Instr Source

shortcutStatics :: (BlockId -> Maybe JumpDest) -> (Alignment, CmmStatics) -> (Alignment, CmmStatics)Source

shortcutLabel :: (BlockId -> Maybe JumpDest) -> CLabel -> CLabel Source

shortcutStatic :: (BlockId -> Maybe JumpDest) -> CmmStatic -> CmmStatic Source

shortBlockId :: (BlockId -> Maybe JumpDest) -> UniqSet Unique -> BlockId -> CLabel Source