3 ms·
Im curious how making the type of pointer opaque impacts type aliasing optimization.
by quelsolaar 4y ago
Im curious how making the type of pointer opaque impacts type aliasing optimization.
- meinersbur 4y agoNot at all. In LLVM-IR, all pointer were always allowed to alias each other, regardless of their type. Type-based no-alias information (as by the frontend language semantics) is added by metadata called TBAA [1]. [1] https://llvm.org/docs/LangRef.html#tbaa-metadata https://llvm.org/docs/LangRef.html#tbaa-metadata
- quelsolaar 4y agoThanks for the answer!