diff options
author | Tobias Grosser <tobias@grosser.es> | 2017-03-07 15:23:30 +0000 |
---|---|---|
committer | Tobias Grosser <tobias@grosser.es> | 2017-03-07 15:23:30 +0000 |
commit | 87dcd46aa78d3ac9632fa85845caddfee9cfbfed (patch) | |
tree | 020023d64ef0064b8ce99eab4d838a8f8241d34a | |
parent | 4dd1292c3e2009c0814b294eec591ab1e7cc53ef (diff) | |
download | bcm5719-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
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 } |