[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