From a93514abf2d843339878d0607e2f5fd2a787bf72 Mon Sep 17 00:00:00 2001 From: Florian Hahn Date: Mon, 24 Aug 2020 13:24:44 +0100 Subject: [PATCH] [DSE,MemorySSA] Regnerate some check lines. The check lines where generated before align was added for all instructions. Re-generate them, to reduce diff noise for actual functional changes. --- .../MSSA/multiblock-captures.ll | 36 +++++++++++----------- .../Transforms/DeadStoreElimination/MSSA/simple.ll | 4 +-- 2 files changed, 20 insertions(+), 20 deletions(-) diff --git a/llvm/test/Transforms/DeadStoreElimination/MSSA/multiblock-captures.ll b/llvm/test/Transforms/DeadStoreElimination/MSSA/multiblock-captures.ll index e287139..f2bec0c 100644 --- a/llvm/test/Transforms/DeadStoreElimination/MSSA/multiblock-captures.ll +++ b/llvm/test/Transforms/DeadStoreElimination/MSSA/multiblock-captures.ll @@ -12,7 +12,7 @@ declare void @capture(i8*) define i8* @test_return_captures_1() { ; CHECK-LABEL: @test_return_captures_1( ; CHECK-NEXT: [[M:%.*]] = call i8* @malloc(i64 24) -; CHECK-NEXT: store i8 1, i8* [[M]] +; CHECK-NEXT: store i8 1, i8* [[M]], align 1 ; CHECK-NEXT: ret i8* [[M]] ; %m = call i8* @malloc(i64 24) @@ -27,7 +27,7 @@ define i8* @test_return_captures_2() { ; CHECK-NEXT: [[M:%.*]] = call i8* @malloc(i64 24) ; CHECK-NEXT: br label [[EXIT:%.*]] ; CHECK: exit: -; CHECK-NEXT: store i8 1, i8* [[M]] +; CHECK-NEXT: store i8 1, i8* [[M]], align 1 ; CHECK-NEXT: ret i8* [[M]] ; %m = call i8* @malloc(i64 24) @@ -49,8 +49,8 @@ define void @test_malloc_capture_1(%S1* %E) { ; CHECK-NEXT: br label [[EXIT:%.*]] ; CHECK: exit: ; CHECK-NEXT: [[F_PTR:%.*]] = getelementptr [[S1:%.*]], %S1* [[E:%.*]], i32 0, i32 0 -; CHECK-NEXT: store i8* [[M]], i8** [[F_PTR]] -; CHECK-NEXT: store i8 1, i8* [[M]] +; CHECK-NEXT: store i8* [[M]], i8** [[F_PTR]], align 4 +; CHECK-NEXT: store i8 1, i8* [[M]], align 1 ; CHECK-NEXT: ret void ; %m = call i8* @malloc(i64 24) @@ -68,11 +68,11 @@ exit: define i8* @test_malloc_capture_2() { ; CHECK-LABEL: @test_malloc_capture_2( ; CHECK-NEXT: [[M:%.*]] = call i8* @malloc(i64 24) -; CHECK-NEXT: store i8 0, i8* [[M]] +; CHECK-NEXT: store i8 0, i8* [[M]], align 1 ; CHECK-NEXT: call void @capture(i8* [[M]]) ; CHECK-NEXT: br label [[EXIT:%.*]] ; CHECK: exit: -; CHECK-NEXT: store i8 1, i8* [[M]] +; CHECK-NEXT: store i8 1, i8* [[M]], align 1 ; CHECK-NEXT: ret i8* [[M]] ; %m = call i8* @malloc(i64 24) @@ -92,7 +92,7 @@ define i8* @test_malloc_capture_3() { ; CHECK-NEXT: [[M:%.*]] = call i8* @malloc(i64 24) ; CHECK-NEXT: br label [[EXIT:%.*]] ; CHECK: exit: -; CHECK-NEXT: store i8 1, i8* [[M]] +; CHECK-NEXT: store i8 1, i8* [[M]], align 1 ; CHECK-NEXT: call void @capture(i8* [[M]]) ; CHECK-NEXT: ret i8* [[M]] ; @@ -111,11 +111,11 @@ exit: define i8* @test_malloc_capture_4() { ; CHECK-LABEL: @test_malloc_capture_4( ; CHECK-NEXT: [[M:%.*]] = call i8* @malloc(i64 24) -; CHECK-NEXT: store i8 0, i8* [[M]] +; CHECK-NEXT: store i8 0, i8* [[M]], align 1 ; CHECK-NEXT: call void @may_throw_readnone() ; CHECK-NEXT: br label [[EXIT:%.*]] ; CHECK: exit: -; CHECK-NEXT: store i8 1, i8* [[M]] +; CHECK-NEXT: store i8 1, i8* [[M]], align 1 ; CHECK-NEXT: call void @capture(i8* [[M]]) ; CHECK-NEXT: ret i8* [[M]] ; @@ -138,11 +138,11 @@ define i8* @test_malloc_capture_5() { ; CHECK-LABEL: @test_malloc_capture_5( ; CHECK-NEXT: [[M:%.*]] = call i8* @malloc(i64 24) ; CHECK-NEXT: call void @capture(i8* [[M]]) -; CHECK-NEXT: store i8 0, i8* [[M]] +; CHECK-NEXT: store i8 0, i8* [[M]], align 1 ; CHECK-NEXT: call void @may_throw_readnone() ; CHECK-NEXT: br label [[EXIT:%.*]] ; CHECK: exit: -; CHECK-NEXT: store i8 1, i8* [[M]] +; CHECK-NEXT: store i8 1, i8* [[M]], align 1 ; CHECK-NEXT: ret i8* [[M]] ; @@ -164,11 +164,11 @@ exit: define i8* @test_malloc_capture_6() { ; CHECK-LABEL: @test_malloc_capture_6( ; CHECK-NEXT: [[M:%.*]] = call i8* @malloc(i64 24) -; CHECK-NEXT: store i8 0, i8* [[M]] +; CHECK-NEXT: store i8 0, i8* [[M]], align 1 ; CHECK-NEXT: call void @may_throw_readnone() ; CHECK-NEXT: br label [[EXIT:%.*]] ; CHECK: exit: -; CHECK-NEXT: store i8 1, i8* [[M]] +; CHECK-NEXT: store i8 1, i8* [[M]], align 1 ; CHECK-NEXT: call void @capture(i8* [[M]]) ; CHECK-NEXT: ret i8* [[M]] ; @@ -192,7 +192,7 @@ define i8* @test_malloc_capture_7() { ; CHECK-NEXT: call void @may_throw() ; CHECK-NEXT: br label [[EXIT:%.*]] ; CHECK: exit: -; CHECK-NEXT: store i8 1, i8* [[M]] +; CHECK-NEXT: store i8 1, i8* [[M]], align 1 ; CHECK-NEXT: call void @capture(i8* [[M]]) ; CHECK-NEXT: ret i8* [[M]] ; @@ -229,8 +229,8 @@ exit: ; Cannot remove first store i8 0, i8* %m, as the call to @capture captures the object. define void @test_alloca_capture_1() { ; CHECK-LABEL: @test_alloca_capture_1( -; CHECK-NEXT: [[M:%.*]] = alloca i8 -; CHECK-NEXT: store i8 0, i8* [[M]] +; CHECK-NEXT: [[M:%.*]] = alloca i8, align 1 +; CHECK-NEXT: store i8 0, i8* [[M]], align 1 ; CHECK-NEXT: call void @capture(i8* [[M]]) ; CHECK-NEXT: br label [[EXIT:%.*]] ; CHECK: exit: @@ -250,11 +250,11 @@ exit: ; becomes invalid after the function returns. define void @test_alloca_capture_2(%S1* %E) { ; CHECK-LABEL: @test_alloca_capture_2( -; CHECK-NEXT: [[M:%.*]] = alloca i8 +; CHECK-NEXT: [[M:%.*]] = alloca i8, align 1 ; CHECK-NEXT: br label [[EXIT:%.*]] ; CHECK: exit: ; CHECK-NEXT: [[F_PTR:%.*]] = getelementptr [[S1:%.*]], %S1* [[E:%.*]], i32 0, i32 0 -; CHECK-NEXT: store i8* [[M]], i8** [[F_PTR]] +; CHECK-NEXT: store i8* [[M]], i8** [[F_PTR]], align 4 ; CHECK-NEXT: ret void ; %m = alloca i8 diff --git a/llvm/test/Transforms/DeadStoreElimination/MSSA/simple.ll b/llvm/test/Transforms/DeadStoreElimination/MSSA/simple.ll index c237c7f..0cceb5a 100644 --- a/llvm/test/Transforms/DeadStoreElimination/MSSA/simple.ll +++ b/llvm/test/Transforms/DeadStoreElimination/MSSA/simple.ll @@ -312,7 +312,7 @@ define noalias i8* @test23() nounwind uwtable ssp { ; CHECK-NEXT: store i8 97, i8* [[ARRAYIDX]], align 1 ; CHECK-NEXT: [[ARRAYIDX1:%.*]] = getelementptr inbounds [2 x i8], [2 x i8]* [[X]], i64 0, i64 1 ; CHECK-NEXT: store i8 0, i8* [[ARRAYIDX1]], align 1 -; CHECK-NEXT: [[CALL:%.*]] = call i8* @strdup(i8* [[ARRAYIDX]]) +; CHECK-NEXT: [[CALL:%.*]] = call i8* @strdup(i8* [[ARRAYIDX]]) [[ATTR3:#.*]] ; CHECK-NEXT: ret i8* [[CALL]] ; %x = alloca [2 x i8], align 1 @@ -350,7 +350,7 @@ define i8* @test25(i8* %p) nounwind { ; CHECK-NEXT: [[P_4:%.*]] = getelementptr i8, i8* [[P:%.*]], i64 4 ; CHECK-NEXT: [[TMP:%.*]] = load i8, i8* [[P_4]], align 1 ; CHECK-NEXT: store i8 0, i8* [[P_4]], align 1 -; CHECK-NEXT: [[Q:%.*]] = call i8* @strdup(i8* [[P]]) +; CHECK-NEXT: [[Q:%.*]] = call i8* @strdup(i8* [[P]]) [[ATTR6:#.*]] ; CHECK-NEXT: store i8 [[TMP]], i8* [[P_4]], align 1 ; CHECK-NEXT: ret i8* [[Q]] ; -- 2.7.4