zlacker

[return to "Abstract Interpretation in the Toy Optimizer"]
1. norir+fQ8[view] [source] 2025-12-06 21:59:37
>>ChadNa+(OP)
I don't want an optimizer that eliminates an unnecessary operation. I want a compiler that tells me that it is unnecessary so I can remove it.
◧◩
2. AlotOf+WQ8[view] [source] 2025-12-06 22:05:30
>>norir+fQ8
This is operating on IR, not on lines of code. Figuring out where the operation came from is extremely difficult because you have to propagate all of that info back and forth across the passes, and it may end up being split "across" syntactic elements. If your language has any form of metaprogramming or code reuse (i.e. all of them), that operation may also be necessary at some use sites and not at others, among other issues.
[go to top]