Aliasing hints are based on AST types, but should be based on monormorphized ty::t #7260
Labels
A-LLVM
Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues.
We have some simple hints to detect when
~T
pointers are passed and tell LLVM they are unique. These hints should be based on the monomorphizedty::t
, but they are currently based on the AST. This isn't wrong, it just misses optimization opportunities.See FIXME.
The text was updated successfully, but these errors were encountered: