rcc-project/backend/unittests/CodeGen/MachineVerifierTest.cpp, branch masterAn optimizing compiler for C.
https://git.richardqin.org/rcc-project/atom?h=master2026-08-13T15:55:38Z[CodeGen] Unify scalar low-level types2026-08-13T15:55:38ZRichard-Qin-Xrichard.qin.001@gmail.com2026-08-13T15:55:38Zurn:sha1:aa69e15c6909c3b162b15f5326f0a72ba9bb7163[Support] Split APInt and APFloat ownership2026-08-12T22:52:15ZRichard-Qin-Xrichard.qin.001@gmail.com2026-08-12T22:52:15Zurn:sha1:aa7c85ca71859aab15bdf1e6dc1ea3a5aa5d1e28[CodeGen] Implement machine SSA exit2026-08-07T20:14:34ZRichard-Qin-Xrichard.qin.001@gmail.com2026-08-07T20:14:34Zurn:sha1:77884c967d1cbc48afcbaef7e5a35adcb3c5da1b[MIR] Complete document parsing and printing2026-08-06T17:27:41ZRichard-Qin-Xrichard.qin.001@gmail.com2026-08-06T17:27:41Zurn:sha1:76d89700953ddd81cf31ab8f260eddf67e93aa85
Implement the single LLVM-compatible MIR document path with structured\nembedded-IR references, YAML mappings, constants, and deterministic printing.\n\nKeep pointer LLT widths DataLayout-derived, reject layout-dependent output\nwhen embedded IR is omitted, and record the fixed-baseline compatibility\ncontract and regression coverage.
[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 target state and compilation status2026-08-01T06:50:04ZRichard-Qin-Xrichard.qin.001@gmail.com2026-08-01T06:50:04Zurn:sha1:cfdbcc469f9691bd9dce3b0b86982a63d86ca6b7[CodeGen] Add constant and jump table state2026-08-01T06:19:20ZRichard-Qin-Xrichard.qin.001@gmail.com2026-08-01T06:19:20Zurn:sha1:a69d14b8ebc028dddc689658b08d42d3e83f5e38
Add stable, tombstone-preserving MachineConstantPool and MachineJumpTableInfo ownership. Define the versioned TargetConstant contract and integrate all table references with builders, verification, and deterministic deep cloning.
[CodeGen] Add MachineFrameInfo2026-08-01T05:55:21ZRichard-Qin-Xrichard.qin.001@gmail.com2026-08-01T05:55:21Zurn:sha1:c9634fa9f529afbdf622a9cd96741bd09d14ef86
Model stable frame indices, stack object kinds, tombstones, lifetimes, and frozen layouts. Validate owned frame references in the builder and verifier, and remap complete frame state during MachineFunction cloning.
[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.