Remove copy propagation from the native/WASM and Rust pipelines

anoma / juvix

A language for intent-centric and declarative decentralised applications

https://docs.juvix.org

GNU General Public License v3.0

442 stars 54 forks source link

Closed lukaszcz closed 1 week ago

lukaszcz commented 1 week ago

Closes #2845
Copy propagation is not correct without subsequent adjusting of live variables. See the comments in #2845.
Enables JuvixReg transformations in the test suite, which exposes the bug.
Adds a test in JuvixAsm crafted specifically to expose this bug.