Issues

• mirl-I13: tests read masc's sizes

  chorepatchtesting
  briar-systems/mirl#310 · Filter by author octalide opened on Oct 9, 2026

• mirl-I10: frame contract with scaled steps and prologue shape

  featureminor
  briar-systems/mirl#309 · Filter by author octalide opened on Oct 9, 2026

• mirl-I9: one Isa record per set

  featureminor
  briar-systems/mirl#308 · Filter by author octalide opened on Oct 9, 2026

• mirl-I8: one machine-form storage model over masc's footprint

  featureminor
  briar-systems/mirl#307 · Filter by author octalide opened on Oct 9, 2026

• mirl-I12: constant time from masc's rows

  featureminor
  briar-systems/mirl#306 · Filter by author octalide opened on Oct 9, 2026

• mirl-I5: conventions without a register file, kept bits, per-call rows, row data

  featureminor
  briar-systems/mirl#305 · Filter by author octalide opened on Oct 9, 2026

• mirl-I3: vector units

  featureminor
  briar-systems/mirl#304 · Filter by author octalide opened on Oct 9, 2026

• mirl-I2: conditions as masc requirements

  featureminor
  briar-systems/mirl#303 · Filter by author octalide opened on Oct 9, 2026

• epic: mirl contracts

  featureminor
  briar-systems/mirl#295 · Filter by author octalide opened on Oct 9, 2026
  1

• Take masc train 1 with masc's own mink and std

  choreminor
  briar-systems/mirl#291 · Filter by author octalide opened on Oct 9, 2026
  9

• Spell the IR text like mach and free the symbols mach gives other meanings

  featureminor
  briar-systems/mirl#287 · Filter by author octalide opened on Oct 9, 2026

• Hold float formats under Zfinx and Zdinx and select over the X registers

  featureminor
  briar-systems/mirl#286 · Filter by author octalide opened on Oct 9, 2026

• Soft float: compute binary32 and binary64 through helper calls on a target that holds neither

  featureminor
  briar-systems/mirl#281 · Filter by author octalide opened on Oct 9, 2026
  1

• End a live value at a write to an overlapping register through masc's kills

  featureminor
  briar-systems/mirl#277 · Filter by author octalide opened on Oct 9, 2026
  1

• Preserve only FLEN bits of the saved float registers when the selection is wider

  featureminor
  briar-systems/mirl#275 · Filter by author octalide opened on Oct 9, 2026
  1

• Lower a copy cycle through partly overlapping locations with no free scratch

  featureminor
  briar-systems/mirl#258 · Filter by author octalide opened on Oct 9, 2026
  1

• Variable-time helper variants for calls whose operands are all public

  featureminor
  briar-systems/mirl#256 · Filter by author octalide opened on Oct 9, 2026

• Lower a copy of a vector class to a whole register move

  featureminor
  briar-systems/mirl#254 · Filter by author octalide opened on Oct 9, 2026

• Spill and reload a register group through a group-sized slot

  featureminor
  briar-systems/mirl#253 · Filter by author octalide opened on Oct 9, 2026

• One statement of the machine text grammar

  featurepatch
  briar-systems/mirl#236 · Filter by author octalide opened on Oct 9, 2026

• State each call's ABI placement and every type's layout through mirl's library API

  featureminor
  briar-systems/mirl#210 · Filter by author octalide opened on Oct 9, 2026

• Wide atomics, wide mem lengths and wide float bitcasts

  featureminor
  briar-systems/mirl#202 · Filter by author octalide opened on Oct 8, 2026
  1

• Scalarise vectors with lanes wider than a word

  featureminor
  briar-systems/mirl#201 · Filter by author octalide opened on Oct 8, 2026

• Emit debug line facts through masc's line program

  featureminor
  briar-systems/mirl#200 · Filter by author octalide opened on Oct 8, 2026

• Hand call frame facts to masc

  featureminorparked
  briar-systems/mirl#197 · Filter by author octalide opened on Oct 8, 2026
  1