[PATCH] D76210: [Attributor] AAReachability : use isPotentiallyReachable in isKnownReachable

[Shinji Okumura via Phabricator via llvm-commits]

okura added inline comments.


================
Comment at: llvm/test/Transforms/Attributor/noalias.ll:410
+
+define void @test15_caller(i32* noalias %p, i32 %c) {
+  %tobool = icmp eq i32 %c, 0
----------------
uenoku wrote:
> Please add `CHECK-LABEL` to function definitions just for testing purposes.
Do I have to add `CHECK-LABEL` to all function definitions?


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

https://reviews.llvm.org/D76210