[llvm] 527bdbf - [test] Use update_test_checks for dse.ll
Arthur Eubanks via llvm-commits
llvm-commits at lists.llvm.org
Fri Jun 9 13:27:55 PDT 2023
Author: Arthur Eubanks
Date: 2023-06-09T13:27:21-07:00
New Revision: 527bdbff3d26c4f908b9d454da3261d2ae0c8332
URL: https://github.com/llvm/llvm-project/commit/527bdbff3d26c4f908b9d454da3261d2ae0c8332
DIFF: https://github.com/llvm/llvm-project/commit/527bdbff3d26c4f908b9d454da3261d2ae0c8332.diff
LOG: [test] Use update_test_checks for dse.ll
Added:
Modified:
llvm/test/Analysis/TypeBasedAliasAnalysis/dse.ll
Removed:
################################################################################
diff --git a/llvm/test/Analysis/TypeBasedAliasAnalysis/dse.ll b/llvm/test/Analysis/TypeBasedAliasAnalysis/dse.ll
index 0ae5b93060aae..50ea1913b0c76 100644
--- a/llvm/test/Analysis/TypeBasedAliasAnalysis/dse.ll
+++ b/llvm/test/Analysis/TypeBasedAliasAnalysis/dse.ll
@@ -1,48 +1,57 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
; RUN: opt < %s -aa-pipeline=tbaa,basic-aa -passes=dse -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
; DSE should make use of TBAA.
-; CHECK: @test0_yes
-; CHECK-NEXT: load i8, ptr %b
-; CHECK-NEXT: store i8 1, ptr %a
-; CHECK-NEXT: ret i8 %y
define i8 @test0_yes(ptr %a, ptr %b) nounwind {
+; CHECK-LABEL: define i8 @test0_yes
+; CHECK-SAME: (ptr [[A:%.*]], ptr [[B:%.*]]) #[[ATTR0:[0-9]+]] {
+; CHECK-NEXT: [[Y:%.*]] = load i8, ptr [[B]], align 1, !tbaa [[TBAA0:![0-9]+]]
+; CHECK-NEXT: store i8 1, ptr [[A]], align 1, !tbaa [[TBAA3:![0-9]+]]
+; CHECK-NEXT: ret i8 [[Y]]
+;
store i8 0, ptr %a, !tbaa !1
%y = load i8, ptr %b, !tbaa !2
store i8 1, ptr %a, !tbaa !1
ret i8 %y
}
-; CHECK: @test0_no
-; CHECK-NEXT: store i8 0, ptr %a
-; CHECK-NEXT: load i8, ptr %b
-; CHECK-NEXT: store i8 1, ptr %a
-; CHECK-NEXT: ret i8 %y
define i8 @test0_no(ptr %a, ptr %b) nounwind {
+; CHECK-LABEL: define i8 @test0_no
+; CHECK-SAME: (ptr [[A:%.*]], ptr [[B:%.*]]) #[[ATTR0]] {
+; CHECK-NEXT: store i8 0, ptr [[A]], align 1, !tbaa [[TBAA3]]
+; CHECK-NEXT: [[Y:%.*]] = load i8, ptr [[B]], align 1, !tbaa [[TBAA5:![0-9]+]]
+; CHECK-NEXT: store i8 1, ptr [[A]], align 1, !tbaa [[TBAA3]]
+; CHECK-NEXT: ret i8 [[Y]]
+;
store i8 0, ptr %a, !tbaa !3
%y = load i8, ptr %b, !tbaa !4
store i8 1, ptr %a, !tbaa !3
ret i8 %y
}
-; CHECK: @test1_yes
-; CHECK-NEXT: load i8, ptr %b
-; CHECK-NEXT: store i8 1, ptr %a
-; CHECK-NEXT: ret i8 %y
define i8 @test1_yes(ptr %a, ptr %b) nounwind {
+; CHECK-LABEL: define i8 @test1_yes
+; CHECK-SAME: (ptr [[A:%.*]], ptr [[B:%.*]]) #[[ATTR0]] {
+; CHECK-NEXT: [[Y:%.*]] = load i8, ptr [[B]], align 1, !tbaa [[TBAA8:![0-9]+]]
+; CHECK-NEXT: store i8 1, ptr [[A]], align 1
+; CHECK-NEXT: ret i8 [[Y]]
+;
store i8 0, ptr %a
%y = load i8, ptr %b, !tbaa !5
store i8 1, ptr %a
ret i8 %y
}
-; CHECK: @test1_no
-; CHECK-NEXT: store i8 0, ptr %a
-; CHECK-NEXT: load i8, ptr %b
-; CHECK-NEXT: store i8 1, ptr %a
-; CHECK-NEXT: ret i8 %y
define i8 @test1_no(ptr %a, ptr %b) nounwind {
+; CHECK-LABEL: define i8 @test1_no
+; CHECK-SAME: (ptr [[A:%.*]], ptr [[B:%.*]]) #[[ATTR0]] {
+; CHECK-NEXT: store i8 0, ptr [[A]], align 1
+; CHECK-NEXT: [[Y:%.*]] = load i8, ptr [[B]], align 1, !tbaa [[TBAA10:![0-9]+]]
+; CHECK-NEXT: store i8 1, ptr [[A]], align 1
+; CHECK-NEXT: ret i8 [[Y]]
+;
store i8 0, ptr %a
%y = load i8, ptr %b, !tbaa !6
store i8 1, ptr %a
More information about the llvm-commits
mailing list