[llvm] 0394916 - [test] Autogen a test for ease of update

[Philip Reames via llvm-commits]

Author: Philip Reames
Date: 2022-03-22T12:41:23-07:00
New Revision: 03949165cd55958350f3494c92aebfa255086819

URL: https://github.com/llvm/llvm-project/commit/03949165cd55958350f3494c92aebfa255086819
DIFF: https://github.com/llvm/llvm-project/commit/03949165cd55958350f3494c92aebfa255086819.diff

LOG: [test] Autogen a test for ease of update

Added: 
    

Modified: 
    llvm/test/Transforms/Inline/byval-tail-call.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/Inline/byval-tail-call.ll b/llvm/test/Transforms/Inline/byval-tail-call.ll
index 56a784a077c09..a820bcb427dcf 100644
--- a/llvm/test/Transforms/Inline/byval-tail-call.ll
+++ b/llvm/test/Transforms/Inline/byval-tail-call.ll
@@ -1,3 +1,4 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt < %s -basic-aa -tailcallelim -inline -instcombine -dse -S | FileCheck %s
 ; RUN: opt < %s -aa-pipeline=basic-aa -passes='function(tailcallelim),cgscc(inline,function(instcombine,dse))' -S | FileCheck %s
 ; PR7272
@@ -11,14 +12,26 @@ target triple = "i386-pc-linux-gnu"
 declare void @ext(i32*)
 
 define void @bar(i32* byval(i32) %x) {
+; CHECK-LABEL: @bar(
+; CHECK-NEXT:    call void @ext(i32* nonnull [[X:%.*]])
+; CHECK-NEXT:    ret void
+;
   call void @ext(i32* %x)
   ret void
 }
 
 define void @foo(i32* %x) {
-; CHECK-LABEL: define void @foo(
-; CHECK: llvm.lifetime.start
-; CHECK: store i32 %2, i32* %x
+; CHECK-LABEL: @foo(
+; CHECK-NEXT:    [[X1:%.*]] = alloca i32, align 4
+; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i32* [[X1]] to i8*
+; CHECK-NEXT:    call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull [[TMP1]])
+; CHECK-NEXT:    [[TMP2:%.*]] = load i32, i32* [[X:%.*]], align 1
+; CHECK-NEXT:    store i32 [[TMP2]], i32* [[X1]], align 4
+; CHECK-NEXT:    call void @ext(i32* nonnull [[X1]])
+; CHECK-NEXT:    [[TMP3:%.*]] = bitcast i32* [[X1]] to i8*
+; CHECK-NEXT:    call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull [[TMP3]])
+; CHECK-NEXT:    ret void
+;
   call void @bar(i32* byval(i32) %x)
   ret void
 }
@@ -30,13 +43,18 @@ define internal void @qux(i32* byval(i32) %x) {
 }
 
 define void @frob(i32* %x) {
-; CHECK-LABEL: define void @frob(
-; CHECK: %[[POS:.*]] = alloca i32
-; CHECK: %[[VAL:.*]] = load i32, i32* %x
-; CHECK: store i32 %[[VAL]], i32* %[[POS]]
-; CHECK: {{^ *}}call void @ext(i32* nonnull %[[POS]]
-; CHECK: tail call void @ext(i32* null)
-; CHECK: ret void
+; CHECK-LABEL: @frob(
+; CHECK-NEXT:    [[X1:%.*]] = alloca i32, align 4
+; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i32* [[X1]] to i8*
+; CHECK-NEXT:    call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull [[TMP1]])
+; CHECK-NEXT:    [[TMP2:%.*]] = load i32, i32* [[X:%.*]], align 1
+; CHECK-NEXT:    store i32 [[TMP2]], i32* [[X1]], align 4
+; CHECK-NEXT:    call void @ext(i32* nonnull [[X1]])
+; CHECK-NEXT:    tail call void @ext(i32* null)
+; CHECK-NEXT:    [[TMP3:%.*]] = bitcast i32* [[X1]] to i8*
+; CHECK-NEXT:    call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull [[TMP3]])
+; CHECK-NEXT:    ret void
+;
   tail call void @qux(i32* byval(i32) %x)
   ret void
 }
@@ -47,28 +65,43 @@ define void @frob(i32* %x) {
 declare void @ext2(i32* byval(i32))
 
 define void @bar2(i32* byval(i32) %x) {
+; CHECK-LABEL: @bar2(
+; CHECK-NEXT:    tail call void @ext2(i32* nonnull byval(i32) [[X:%.*]])
+; CHECK-NEXT:    ret void
+;
   call void @ext2(i32* byval(i32) %x)
   ret void
 }
 
 define void @foobar(i32* %x) {
-; CHECK-LABEL: define void @foobar(
-; CHECK: %[[POS:.*]] = alloca i32
-; CHECK: %[[VAL:.*]] = load i32, i32* %x
-; CHECK: store i32 %[[VAL]], i32* %[[POS]]
-; CHECK: tail call void @ext2(i32* nonnull byval(i32) %[[POS]]
-; CHECK: ret void
+; CHECK-LABEL: @foobar(
+; CHECK-NEXT:    [[X1:%.*]] = alloca i32, align 4
+; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i32* [[X1]] to i8*
+; CHECK-NEXT:    call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull [[TMP1]])
+; CHECK-NEXT:    [[TMP2:%.*]] = load i32, i32* [[X:%.*]], align 1
+; CHECK-NEXT:    store i32 [[TMP2]], i32* [[X1]], align 4
+; CHECK-NEXT:    tail call void @ext2(i32* nonnull byval(i32) [[X1]])
+; CHECK-NEXT:    [[TMP3:%.*]] = bitcast i32* [[X1]] to i8*
+; CHECK-NEXT:    call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull [[TMP3]])
+; CHECK-NEXT:    ret void
+;
   tail call void @bar2(i32* byval(i32) %x)
   ret void
 }
 
 define void @barfoo() {
-; CHECK-LABEL: define void @barfoo(
-; CHECK: %[[POS:.*]] = alloca i32
-; CHECK: %[[VAL:.*]] = load i32, i32* %x
-; CHECK: store i32 %[[VAL]], i32* %[[POS]]
-; CHECK: tail call void @ext2(i32* nonnull byval(i32) %[[POS]]
-; CHECK: ret void
+; CHECK-LABEL: @barfoo(
+; CHECK-NEXT:    [[X1:%.*]] = alloca i32, align 4
+; CHECK-NEXT:    [[X:%.*]] = alloca i32, align 4
+; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i32* [[X1]] to i8*
+; CHECK-NEXT:    call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull [[TMP1]])
+; CHECK-NEXT:    [[TMP2:%.*]] = load i32, i32* [[X]], align 4
+; CHECK-NEXT:    store i32 [[TMP2]], i32* [[X1]], align 4
+; CHECK-NEXT:    tail call void @ext2(i32* nonnull byval(i32) [[X1]])
+; CHECK-NEXT:    [[TMP3:%.*]] = bitcast i32* [[X1]] to i8*
+; CHECK-NEXT:    call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull [[TMP3]])
+; CHECK-NEXT:    ret void
+;
   %x = alloca i32
   tail call void @bar2(i32* byval(i32) %x)
   ret void