I'd like to propose some extensions to LLVM that will make it substantially faster at manipulating debug info, and will make the general annotation mechanisms in LLVM much richer:
Having a clean mechanism for TBAA would be valuable (long term) for our parallelization project. Different high-level parallel languages have rich "non-aliasing" information available, usually encoded (or encodable) as pointer types, and we would like to be able to communicate these down to the LLVM passes.
Associate Professor, Computer Science
University of Illinois at Urbana-Champaign