enlightware / enlightware/ferlium
Add MIR physicalisation
Open
mir
- Dominant language
- Rust
- Stars
- 14
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
When generating code as opposed to interpretation, lower MIR to a flavour of itself that is more physical. For example, lower `buffer_slot` to pointer arithmetic + load.
This does not require (much) new MIR instructions, and will allow to re-use the MIR machinery for passes like LICM, DCE, etc.
The end result of this task is an unboxed interpreter that allows to validate physical layouts at runtime (see #179).
Contributor guide
Assessment
This issue has not been assessed yet.