[llvm] 527bdbf - [test] Use update_test_checks for dse.ll

[Arthur Eubanks via llvm-commits]

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