[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