[llvm] [DA] Update a test for #164704: Check for overflow in strong SIV test (PR #165904)

via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 31 11:46:03 PDT 2025


https://github.com/google-yfyang created https://github.com/llvm/llvm-project/pull/165904

None

>From 085c7ed3cc2b9d49d80b23c3690cd8bc8e6a386e Mon Sep 17 00:00:00 2001
From: google-yfyang <yfyang at google.com>
Date: Fri, 31 Oct 2025 14:44:55 -0400
Subject: [PATCH] [DA] Update test for #164704: Check for overflow in strong
 SIV test

---
 .../DependenceAnalysis/strong-siv-overflow.ll        | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll b/llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll
index bf0fafcbfd6c9..088299954a08a 100644
--- a/llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll
+++ b/llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll
@@ -19,12 +19,12 @@
 ; ((1LL << 62) - 1 and 2) overflows in a signed sense.
 define void @strongsiv_const_ovfl(ptr %A) {
 ; CHECK-LABEL: 'strongsiv_const_ovfl'
-; CHECK-NEXT:  Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
-; CHECK-NEXT:    da analyze - none!
-; CHECK-NEXT:  Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
-; CHECK-NEXT:    da analyze - none!
-; CHECK-NEXT:  Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
-; CHECK-NEXT:    da analyze - none!
+; CHECK-ALL-NEXT:  Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
+; CHECK-ALL-NEXT:    da analyze - none!
+; CHECK-ALL-NEXT:  Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
+; CHECK-ALL-NEXT:    da analyze - none!
+; CHECK-ALL-NEXT:  Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
+; CHECK-ALL-NEXT:    da analyze - none!
 ;
 entry:
   br label %loop.header



More information about the llvm-commits mailing list