[llvm] [DA] Overflow check in WeakCrossing Delta calculation (PR #185046)

Ryotaro Kasuga via llvm-commits llvm-commits at lists.llvm.org
Mon Mar 30 23:57:02 PDT 2026


================
@@ -29,7 +29,7 @@ define void @weak_crossing_siv_large_btc(ptr %A) {
 ; CHECK-WEAK-CROSSING-SIV-NEXT:  Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.0, align 1
 ; CHECK-WEAK-CROSSING-SIV-NEXT:    da analyze - output [*]!
 ; CHECK-WEAK-CROSSING-SIV-NEXT:  Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
-; CHECK-WEAK-CROSSING-SIV-NEXT:    da analyze - none!
+; CHECK-WEAK-CROSSING-SIV-NEXT:    da analyze - output [*|<]!
----------------
kasuga-fj wrote:

I had expected this issue to be resolved already, but it appears that the `Delta` calculation overflow is affecting it as well. Given that, this change now seems reasonable to me.

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


More information about the llvm-commits mailing list