Use load/store metadata to inform LLVM Type-Based Alias Analysis

Open yiannist opened this issue 13 years ago • 0 comments

Talking with David Terei convinced me that using Type-Based Alias Analysis (TBAA) in LLVM could enable various optimization transformations; the LLVM CodeGen does not apply them because it doesn't know that SP, HP and P (virtual machine registers) can never alias!

For more information about TBAA see LLVM Language Reference.
For more information about the implementation of TBAA in the LLVM backend of GHC see Haskell wiki.

Mar 21 '12 09:03 yiannist