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

[Hideto Ueno via Phabricator via llvm-commits]

uenoku 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
----------------
Please add `CHECK-LABEL` to function definitions just for testing purposes.


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

https://reviews.llvm.org/D76210