#9142: LLVM HEAD rejects aliases used by LLVM codegen -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: high | Milestone: 7.10.1 Component: Compiler | Version: 7.8.2 Resolution: | Keywords: Differential Revisions: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: 4213 Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Comment (by bgamari): Replying to [comment:14 scpmw]:
Haven't followed the discussion so much - so LLVM HEAD can alias arbitrary pointers? That's even more flexibility than we had before. So now we could just close this ticket and take another good look at #4213, right?
I just realized I never actually addressed this. Unfortunately this ticket is still an active issue: while aliases can alias expressions, these expressions can still only refer to definitions. To restore the LLVM codegen to a functioning state we would need the LLVM people to again allow aliases to declarations as suggested by Reid http://lists.cs.uiuc.edu/pipermail/llvmdev/2014-June/073464.html. I've pinged the thread as Rafael had some reservations to this idea that were apparently never addressed. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9142#comment:18 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler