On 30 September 2011 12:39, Max Bolingbroke <[email protected]> wrote: > On 30 September 2011 12:04, Simon Peyton-Jones <[email protected]> wrote: >> Why is this an *analysis*? Why can't we simply declare to LLVM that certain >> things don't alias?
I forgot to mention that a custom alias analysis is also the approach taken by Google's Unladen Swallow project, that provided a LLVM compiler for Python. (My code is roughly based on theirs). They wanted to express that certain *global* variables did not alias with any other pointer. Our situation is similar, but we are concerned with *function argument* variables rather than globals. Max _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
