rcc-project/backend/include/rcc/CodeGen/MachineVerifier.h, branch masterAn optimizing compiler for C.
https://git.richardqin.org/rcc-project/atom?h=master2026-08-01T08:07:24Z[CodeGen] Add target register descriptions2026-08-01T08:07:24ZRichard-Qin-Xrichard.qin.001@gmail.com2026-08-01T08:07:24Zurn:sha1:924dcd36ebed84f04729de05ec08b311a36a04c1
Introduce an immutable register topology for units, subregisters, classes, banks, and preserved masks. Bind instruction descriptors to this topology through TargetDescription so builders, cloning, and verification share one target-aware contract. Add the test-only TestTarget model and positive and negative target fact coverage.
[CodeGen] Add strict MachineIR verification2026-08-01T05:24:09ZRichard-Qin-Xrichard.qin.001@gmail.com2026-08-01T05:24:09Zurn:sha1:19d8e4f562a8583b002dbaa837ec0083e7768a4f
Verify arena catalogs, intrusive layouts, reciprocal CFG edges, operand ownership, exact def-use coverage, instruction descriptors, pseudo deadlines, and MachineFunctionProperties. Preserve monotonic-arena history while rejecting detached objects that retain live state.