Jules Merckx (Oct 28 2024 at 14:27): Jules Merckx (Oct 28 2024 at 14:27):It is currently not possible to rewrite side-effecting instructions within the acyclic egraphs framework if I'm not mistaken, or has anything changed since the RFC regarding this?
Chris Fallin (Oct 28 2024 at 15:42):That's still the case, yeah
Jules Merckx (Oct 28 2024 at 15:45):Thanks for the confirmation, Chris! In my work I allow unpinning statements from the skeleton when a rewrite is applied, I imagine this is something that could also be useful in cranelift? (ignoring potential footguns this hands to rule writers)
Chris Fallin (Oct 28 2024 at 15:46):yes, absolutely, we've talked about ways we could handle this but nothing concrete -- would be interesting to see how you address this!
Jules Merckx (Oct 28 2024 at 15:49):Great to hear, will keep you updated!
Last updated: Dec 23 2024 at 12:05 UTC