[llvm] a93514a - [DSE,MemorySSA] Regnerate some check lines.
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon Aug 24 05:26:13 PDT 2020
Author: Florian Hahn
Date: 2020-08-24T13:24:44+01:00
New Revision: a93514abf2d843339878d0607e2f5fd2a787bf72
URL: https://github.com/llvm/llvm-project/commit/a93514abf2d843339878d0607e2f5fd2a787bf72
DIFF: https://github.com/llvm/llvm-project/commit/a93514abf2d843339878d0607e2f5fd2a787bf72.diff
LOG: [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.
Added:
Modified:
llvm/test/Transforms/DeadStoreElimination/MSSA/multiblock-captures.ll
llvm/test/Transforms/DeadStoreElimination/MSSA/simple.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/DeadStoreElimination/MSSA/multiblock-captures.ll b/llvm/test/Transforms/DeadStoreElimination/MSSA/multiblock-captures.ll
index e28713929e9a..f2bec0c36cd2 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 c237c7f0c8d2..0cceb5ac4a73 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]]
;
More information about the llvm-commits
mailing list