[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