The README at <a href=“https://sr.ht/~jprotopopov/kefir/” rel=“ugc”>https://sr.ht/~jprotopopov/kefir/</a> provides more information about the project. It only targets x86-64 System-V. Some interesting points:

  • Is highly compatible with standard C17 and C23, plus some GNU C extensions
  • Emphasizes extensive testing and validation, can bootstrap itself reproducibly
  • DWARF debug info
  • SSA-based IR implementing various optimizations, though it doesn’t look like it performs global register allocation (from my testing, most variables end up in the stack)

Comments