GHC.CmmToAsm.LA64.Instr

Stack frame header size Each stack frame contains ra and fp -- prologue.

All registers are 8 byte wide.

The number of bytes that the stack pointer should be aligned to.

The number of spill slots available without allocating more.

Convert a spill slot number to a *byte* offset.

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.

RegUsage = RU [regs] [regs]

Caller-saved registers (according to calling convention)

0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |

zero| ra | tp | sp | a0 | a1 | a2 | a3 | a4 | a5 | a6 | a7 | t0 | t1 | t2 | t3 | t4 | t5 | t6 | t7 | t8 | Rv | fp | s0 | s1 | s2 | s3 | s4 | s5 | s6 | s7 | s8 |

32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 42 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 |

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

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.

Get the BlockIds of the jump destinations (if any)

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

Make a spill instruction, spill a register into spill slot.

Make a reload instruction, reload from spill slot to a register.

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

Not real instructions. Just meta data

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

Take the source and destination from this (potential) reg -> reg move instruction We have to be a bit careful here: A MOV can also mean an implicit conversion. This case is filtered out.

Make an unconditional jump instruction.

Decrement sp to allocate stack space.

Increment SP to deallocate stack space.