Experiment with annotating args as "noalias" if we can prove it #847
Labels
A-codegen
Area: Code generation
C-enhancement
Category: An issue proposing an enhancement or a PR with one.
LLVM arguments accept "noalias", which is nice. We can do type-based alias analysis to set it.
The text was updated successfully, but these errors were encountered: