[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
This commit is contained in:
Tobias Grosser 2017-03-07 15:23:30 +00:00
parent 4dd1292c3e
commit 87dcd46aa7
10 changed files with 14 additions and 14 deletions

View File

@ -31,6 +31,6 @@ bb11:
bb12:
%tmp13 = phi float [ undef, %bb11 ], [ 1.000000e+00, %bb4 ]
unreachable
ret void
}

View File

@ -53,5 +53,5 @@ bb14: ; preds = %bb13
br label %bb15
bb15: ; preds = %bb14
unreachable
ret void
}

View File

@ -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

View File

@ -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

View File

@ -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
}

View File

@ -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) {

View File

@ -43,5 +43,5 @@ then:
br label %end
end:
unreachable
ret void
}

View File

@ -79,5 +79,5 @@ then:
br label %end
end:
unreachable
ret void
}

View File

@ -53,5 +53,5 @@ then:
br label %end
end:
unreachable
ret void
}

View File

@ -37,5 +37,5 @@ bb11: ; preds = %bb10
br label %bb16
bb16: ; preds = %bb11, %bb10
unreachable
ret void
}