[GHC] #9142: LLVM HEAD rejects aliases used by LLVM codegen

[GHC]

#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