Native ASM Backend (177)

Goal: minimal but traceable native assembler backend.

Pipeline

  • selection statement (IR -> x86_64 textual ops)
  • register allocation (virtual -> concrete location)
  • stack layout estimation
  • calling convention baseline (sysv-amd64)
  • prologue/epilogue validation signal
  • object text packaging

Integration methods

  • backend selectable: asm-native
  • output object format: asm-native-relocatable-model
  • integrated into the backend/driver pipeline without implicit fallback

Contracts

  • instruction_selected must be true for a non-empty module,
  • registers_allocated must cover all selected instructions,
  • prologue/epilogue expected to score the result valid.