ghc-9.2.4: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.CmmToAsm.PPC.Instr

Synopsis

Documentation

data Instr #

data RI #

Constructors

RIReg Reg 
RIImm Imm 

stackFrameHeaderSize :: Platform -> Int #

The size of a minimal stackframe header including minimal parameter save area.

maxSpillSlots :: NCGConfig -> Int #

The number of spill slots available without allocating more.

mkJumpInstr :: BlockId -> [Instr] #

Make an unconditional jump instruction.

mkSpillInstr :: NCGConfig -> Reg -> Int -> Int -> [Instr] #

An instruction to spill a register into a spill slot.

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

Change the destination of this jump instruction. Used in the linear allocator when adding fixup blocks for join points.

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

Apply a given mapping to all the register references in this instruction.

jumpDestsOfInstr :: Instr -> [BlockId] #

Checks whether this instruction is a jump/branch instruction. One that can change the flow of control in a way that the register allocator needs to worry about.

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

Take the source and destination from this reg -> reg move instruction or Nothing if it's not one

takeDeltaInstr :: Instr -> Maybe Int #

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

mkRegRegMoveInstr :: Reg -> Reg -> Instr #

Copy the value in a register to another one. Must work for all register classes.

regUsageOfInstr :: Platform -> Instr -> RegUsage #

Get the registers that are being used by this instruction. regUsage doesn't need to do any trickery for jumps and such. Just state precisely the regs read and written by that insn. The consequences of control flow transfers, as far as register allocation goes, are taken care of by the register allocator.

isJumpishInstr :: Instr -> Bool #

Checks whether this instruction is a jump/branch instruction. One that can change the flow of control in a way that the register allocator needs to worry about.