ares icon indicating copy to clipboard operation
ares copied to clipboard

Codegen for Ares

Open eamsden opened this issue 1 year ago • 0 comments

Supersedes #89 with much cleaner history and rebased onto status. @matthew-levan work on integrating the codegen into rust-side Ares should happen here.

Edward TODO

  • [x] Fix missing cases in linearizer
  • [ ] cons/decons and move renaming in linearizer
  • [ ] %phi and %hip elimination in linearizer (minimize register set?)
  • [x] move +wink to a separate hoon file or even generator (make sure axes are re-established in rust-side code)
  • [x] tag top-level codegen core with an incrementing version constant, and check it on rust side (make sure axes are re-established in rust-side code)
  • [x] In-depth review of rust-side execution code
  • [ ] Thoroughly review linearizer crash and poison logic
  • [ ] Thread "which interpreter" enum through context
  • [ ] Thread slow stack through jets and jet helpers
  • [ ] Add to or delete from hill hamt by diffs emitted from +poke in codegen core
  • [ ] Make jets and helpers use "which interpreter" enum

eamsden avatar Nov 24 '23 16:11 eamsden