SPARC.Instr

Documentation

data RI

Register or immediate

Constructors

RIReg Reg

RIImm Imm

riZero :: RI -> Bool

Check if a RI represents a zero value. - a literal zero - register %g0, which is always zero.

fpRelEA :: Int -> Reg -> Instr

Calculate the effective address which would be used by the corresponding fpRel sequence.

moveSp :: Int -> Instr

Code to shift the stack pointer by n words.

isUnconditionalJump :: Instr -> Bool

An instruction that will cause the one after it never to be exectuted

data Instr

SPARC instruction set. Not complete. This is only the ones we need.

Constructors

COMMENT FastString

LDATA Section CmmStatics

NEWBLOCK BlockId

DELTA Int

LD Format AddrMode Reg

ST Format Reg AddrMode

ADD Bool Bool Reg RI Reg

SUB Bool Bool Reg RI Reg

UMUL Bool Reg RI Reg

SMUL Bool Reg RI Reg

UDIV Bool Reg RI Reg

SDIV Bool Reg RI Reg

RDY Reg

WRY Reg Reg

AND Bool Reg RI Reg

ANDN Bool Reg RI Reg

OR Bool Reg RI Reg

ORN Bool Reg RI Reg

XOR Bool Reg RI Reg

XNOR Bool Reg RI Reg

SLL Reg RI Reg

SRL Reg RI Reg

SRA Reg RI Reg

SETHI Imm Reg

NOP

FABS Format Reg Reg

FADD Format Reg Reg Reg

FCMP Bool Format Reg Reg

FDIV Format Reg Reg Reg

FMOV Format Reg Reg

FMUL Format Reg Reg Reg

FNEG Format Reg Reg

FSQRT Format Reg Reg

FSUB Format Reg Reg Reg

FxTOy Format Format Reg Reg

BI Cond Bool BlockId

BF Cond Bool BlockId

JMP AddrMode

JMP_TBL AddrMode [Maybe BlockId] CLabel

CALL (Either Imm Reg) Int Bool

Instances

Outputable Instr

Defined in SPARC.Ppr

Methods

ppr :: Instr -> SDoc

pprPrec :: Rational -> Instr -> SDoc

Instruction Instr

instance for sparc instruction set

Defined in SPARC.Instr

Methods

regUsageOfInstr :: Platform -> Instr -> RegUsage

patchRegsOfInstr :: Instr -> (Reg -> Reg) -> Instr

isJumpishInstr :: Instr -> Bool

jumpDestsOfInstr :: Instr -> [BlockId]

patchJumpInstr :: Instr -> (BlockId -> BlockId) -> Instr

mkSpillInstr :: DynFlags -> Reg -> Int -> Int -> Instr

mkLoadInstr :: DynFlags -> Reg -> Int -> Int -> Instr

takeDeltaInstr :: Instr -> Maybe Int

isMetaInstr :: Instr -> Bool

mkRegRegMoveInstr :: Platform -> Reg -> Reg -> Instr

takeRegRegMoveInstr :: Instr -> Maybe (Reg, Reg)

mkJumpInstr :: BlockId -> [Instr]

mkStackAllocInstr :: Platform -> Int -> [Instr]

mkStackDeallocInstr :: Platform -> Int -> [Instr]

maxSpillSlots :: DynFlags -> Int

The maximum number of spill slots available on the C stack. If we use up all of the slots, then we're screwed.

Why do we reserve 64 bytes, instead of using the whole thing?? -- BL 20090215