summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTobias Grosser <tobias@grosser.es>2017-03-07 15:23:30 +0000
committerTobias Grosser <tobias@grosser.es>2017-03-07 15:23:30 +0000
commit87dcd46aa78d3ac9632fa85845caddfee9cfbfed (patch)
tree020023d64ef0064b8ce99eab4d838a8f8241d34a
parent4dd1292c3e2009c0814b294eec591ab1e7cc53ef (diff)
downloadbcm5719-llvm-87dcd46aa78d3ac9632fa85845caddfee9cfbfed.tar.gz
bcm5719-llvm-87dcd46aa78d3ac9632fa85845caddfee9cfbfed.zip
[tests] Make sure tests do not end in 'unreachable' - Part II
There is no point in optimizing unreachable code, hence our test cases should always return. This commit is part of a series that makes Polly more robust on the presence of unreachables. llvm-svn: 297150
-rw-r--r--polly/test/Isl/CodeGen/multiple-types-invariant-load.ll2
-rw-r--r--polly/test/Isl/CodeGen/non-affine-phi-node-expansion.ll2
-rw-r--r--polly/test/Isl/CodeGen/out-of-scop-phi-node-use.ll6
-rw-r--r--polly/test/Isl/CodeGen/pr25241.ll4
-rw-r--r--polly/test/Isl/CodeGen/scop_expander_segfault.ll2
-rw-r--r--polly/test/ScopInfo/aliasing_with_non_affine_access.ll4
-rw-r--r--polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations-2.ll2
-rw-r--r--polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations-3.ll2
-rw-r--r--polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations.ll2
-rw-r--r--polly/test/ScopInfo/extract_constant_factor_introduces_new_parameter.ll2
10 files changed, 14 insertions, 14 deletions
diff --git a/polly/test/Isl/CodeGen/multiple-types-invariant-load.ll b/polly/test/Isl/CodeGen/multiple-types-invariant-load.ll
index 87a01382ec3..da00230d9bd 100644
--- a/polly/test/Isl/CodeGen/multiple-types-invariant-load.ll
+++ b/polly/test/Isl/CodeGen/multiple-types-invariant-load.ll
@@ -31,6 +31,6 @@ bb11:
bb12:
%tmp13 = phi float [ undef, %bb11 ], [ 1.000000e+00, %bb4 ]
- unreachable
+ ret void
}
diff --git a/polly/test/Isl/CodeGen/non-affine-phi-node-expansion.ll b/polly/test/Isl/CodeGen/non-affine-phi-node-expansion.ll
index 31c637ced3f..246cd8c89de 100644
--- a/polly/test/Isl/CodeGen/non-affine-phi-node-expansion.ll
+++ b/polly/test/Isl/CodeGen/non-affine-phi-node-expansion.ll
@@ -53,5 +53,5 @@ bb14: ; preds = %bb13
br label %bb15
bb15: ; preds = %bb14
- unreachable
+ ret void
}
diff --git a/polly/test/Isl/CodeGen/out-of-scop-phi-node-use.ll b/polly/test/Isl/CodeGen/out-of-scop-phi-node-use.ll
index 65d6090560e..d07e7b59392 100644
--- a/polly/test/Isl/CodeGen/out-of-scop-phi-node-use.ll
+++ b/polly/test/Isl/CodeGen/out-of-scop-phi-node-use.ll
@@ -26,7 +26,7 @@ for.cond: ; preds = %for.cond.outer.oute
]
_LZMA_C_RDBD: ; preds = %for.cond
- unreachable
+ ret void
sw.bb.956: ; preds = %for.cond
%_s.sroa.294.0.ph519.lcssa2388 = phi i32 [ undef, %for.cond ]
@@ -42,13 +42,13 @@ if.else.969: ; preds = %sw.bb.956
for.cond.981: ; preds = %if.else.969, %if.then.960, %for.cond
%_s.sroa.343.0.ph5161118 = phi i32 [ %_s.sroa.343.0.ph516.lcssa2357, %if.then.960 ], [ %_s.sroa.343.0.ph516.lcssa2357, %if.else.969 ], [ undef, %for.cond ]
- unreachable
+ ret void
for.cond.outer.outer.outer: ; preds = %entry
br label %for.cond
saveStateAndReturn: ; preds = %for.cond
- unreachable
+ ret void
cleanup.1072: ; preds = %for.cond
ret void
diff --git a/polly/test/Isl/CodeGen/pr25241.ll b/polly/test/Isl/CodeGen/pr25241.ll
index 14f37bba2af..7431af33bfe 100644
--- a/polly/test/Isl/CodeGen/pr25241.ll
+++ b/polly/test/Isl/CodeGen/pr25241.ll
@@ -35,10 +35,10 @@ entry:
while.body.740: ; preds = %if.else.864, %if.then.862
%curr.3 = phi i32 [ %inc863, %if.then.862 ], [ undef, %if.else.864 ]
- unreachable
+ ret void
sw.bb.748: ; preds = %entry
- unreachable
+ ret void
if.then.813: ; preds = %entry
%conv823903 = and i32 undef, undef
diff --git a/polly/test/Isl/CodeGen/scop_expander_segfault.ll b/polly/test/Isl/CodeGen/scop_expander_segfault.ll
index 50768d1c7b2..10491535981 100644
--- a/polly/test/Isl/CodeGen/scop_expander_segfault.ll
+++ b/polly/test/Isl/CodeGen/scop_expander_segfault.ll
@@ -27,5 +27,5 @@ lor.lhs.false81: ; preds = %land.lhs.true34, %f
br label %do.body172
do.body172: ; preds = %lor.lhs.false81
- unreachable
+ ret void
}
diff --git a/polly/test/ScopInfo/aliasing_with_non_affine_access.ll b/polly/test/ScopInfo/aliasing_with_non_affine_access.ll
index 9769df1e8e5..2266cb083a2 100644
--- a/polly/test/ScopInfo/aliasing_with_non_affine_access.ll
+++ b/polly/test/ScopInfo/aliasing_with_non_affine_access.ll
@@ -40,7 +40,7 @@ if.then148: ; preds = %for.end143
br label %if.end149
if.end149: ; preds = %if.then148, %for.end143
- unreachable
+ ret void
}
define void @test2(%struct.info** %ppIdxInfo, i64 %n) {
@@ -63,7 +63,7 @@ if.then148: ; preds = %for.end143
br label %if.end149
if.end149: ; preds = %if.then148, %for.end143
- unreachable
+ ret void
}
define i32 @test3(i32* %x, i32 %n) {
diff --git a/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations-2.ll b/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations-2.ll
index dc2139fd7b0..5f4c867305f 100644
--- a/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations-2.ll
+++ b/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations-2.ll
@@ -43,5 +43,5 @@ then:
br label %end
end:
- unreachable
+ ret void
}
diff --git a/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations-3.ll b/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations-3.ll
index ab4e12bf29b..604bb4a6384 100644
--- a/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations-3.ll
+++ b/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations-3.ll
@@ -79,5 +79,5 @@ then:
br label %end
end:
- unreachable
+ ret void
}
diff --git a/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations.ll b/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations.ll
index 21ceca462bd..1c3d473fdd4 100644
--- a/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations.ll
+++ b/polly/test/ScopInfo/branch-references-loop-scev-with-unknown-iterations.ll
@@ -53,5 +53,5 @@ then:
br label %end
end:
- unreachable
+ ret void
}
diff --git a/polly/test/ScopInfo/extract_constant_factor_introduces_new_parameter.ll b/polly/test/ScopInfo/extract_constant_factor_introduces_new_parameter.ll
index be479b94174..e95f185419f 100644
--- a/polly/test/ScopInfo/extract_constant_factor_introduces_new_parameter.ll
+++ b/polly/test/ScopInfo/extract_constant_factor_introduces_new_parameter.ll
@@ -37,5 +37,5 @@ bb11: ; preds = %bb10
br label %bb16
bb16: ; preds = %bb11, %bb10
- unreachable
+ ret void
}
OpenPOWER on IntegriCloud