[PATCH] D155528: [SimplifyCFG][FIX] Update GlobalsAA after an assumption was created

[Arthur Eubanks via Phabricator via llvm-commits]

aeubanks added a comment.

I don't think this is a GlobalsAA issue, this is a `llvm.assume` modeling issue

using the test case in the bug

  define internal void @foo(ptr %p) {
    %c = icmp eq ptr %p, null
    br i1 %c, label %err, label %ok
  err:
    unreachable
  ok:
    ret void
  }
  define void @bar() {
    call void @foo()
    ret void
  }

`opt -aa-pipeline= 'function-attrs,function(simplifycfg)'` on the IR in the issue still shows `memory(none)` on `foo` regardless of AA even though there is an assume.
We either need to not add assumes in function passes, or model assumes better


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D155528/new/

https://reviews.llvm.org/D155528