[llvm] [DA] Simplify runtime predicate collection and extend to all dependence tests (PR #157523)

Ryotaro Kasuga via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 10 01:24:02 PDT 2025


================
@@ -34,8 +34,6 @@ define i32 @alias_with_parametric_offset(ptr nocapture %A, i64 %n) {
 ; CHECK-NEXT:    Equal predicate: (zext i2 (trunc i64 %n to i2) to i64) == 0
 ; CHECK-NEXT:  Src: %0 = load i32, ptr %A, align 1 --> Dst: %0 = load i32, ptr %A, align 1
 ; CHECK-NEXT:    da analyze - none!
-; CHECK-NEXT:  Runtime Assumptions:
-; CHECK-NEXT:  Equal predicate: (zext i2 (trunc i64 %n to i2) to i64) == 0
----------------
kasuga-fj wrote:

Maybe the original result was excessive? In any case, I also think it would be better to separate patches.

https://github.com/llvm/llvm-project/pull/157523


More information about the llvm-commits mailing list