extra_load.md: Move to optimizations?
Closed this issue · 0 comments
RalfJung commented
The file extra_load.md asks whether certain compiler transformations are okay. It doesn't ask whether any particular piece of code is legal (as far as I can see). So shouldn't it be in the optimizations folder?