Skip to content
  • dobenour's avatar
    Fix LLVM TBAA metadata · 90fae01c
    dobenour authored and Ben Gamari's avatar Ben Gamari committed
    Accesses through a Cmm local are currently reported as having the
    "other" type, which can only alias other "other" accesses.  However,
    this assumption is incorrect, which can result in silent bad LLVM
    codegen.
    
    Fixes #9308.
    Fixes #9504.
    
    Test Plan: GHC CI
    
    Reviewers: rwbarton, austin, bgamari
    
    Reviewed By: bgamari
    
    Subscribers: michalt, thomie
    
    Differential Revision: https://phabricator.haskell.org/D2758
    
    GHC Trac Issues: #9125, #9308, #9504
    90fae01c