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

[Ryotaro Kasuga via llvm-branch-commits]

================
@@ -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:

The original intent of this test is to expose the existing defect when the BTC is very large. I didn’t expect this to be resolved simply by adding an overflow check for `Delta`. To me, this PR essentially papers over the underlying issue of large BTC values. It might be better to address the issue of large BTC first. I can take a look.

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