diff options
| -rw-r--r-- | test/Transforms/JumpThreading/2010-08-31-InfiniteRecursion.ll | 25 | ||||
| -rw-r--r-- | test/Transforms/JumpThreading/crash.ll | 23 |
2 files changed, 23 insertions, 25 deletions
diff --git a/test/Transforms/JumpThreading/2010-08-31-InfiniteRecursion.ll b/test/Transforms/JumpThreading/2010-08-31-InfiniteRecursion.ll deleted file mode 100644 index 039c1fa..0000000 --- a/test/Transforms/JumpThreading/2010-08-31-InfiniteRecursion.ll +++ /dev/null @@ -1,25 +0,0 @@ -; RUN: opt < %s -jump-threading -disable-output - -define void @test() nounwind ssp { -entry: - br i1 undef, label %bb269.us.us, label %bb269.us.us.us - -bb269.us.us.us: - %indvar = phi i64 [ %indvar.next, %bb287.us.us.us ], [ 0, %entry ] - %0 = icmp eq i16 undef, 0 - br i1 %0, label %bb287.us.us.us, label %bb286.us.us.us - -bb287.us.us.us: - %indvar.next = add i64 %indvar, 1 - %exitcond = icmp eq i64 %indvar.next, 4 - br i1 %exitcond, label %bb288.bb289.loopexit_crit_edge, label %bb269.us.us.us - -bb286.us.us.us: - unreachable - -bb269.us.us: - unreachable - -bb288.bb289.loopexit_crit_edge: - unreachable -} diff --git a/test/Transforms/JumpThreading/crash.ll b/test/Transforms/JumpThreading/crash.ll index cfd9042..751bc65 100644 --- a/test/Transforms/JumpThreading/crash.ll +++ b/test/Transforms/JumpThreading/crash.ll @@ -461,3 +461,26 @@ if.end: ret void } +define void @test17() { +entry: + br i1 undef, label %bb269.us.us, label %bb269.us.us.us + +bb269.us.us.us: + %indvar = phi i64 [ %indvar.next, %bb287.us.us.us ], [ 0, %entry ] + %0 = icmp eq i16 undef, 0 + br i1 %0, label %bb287.us.us.us, label %bb286.us.us.us + +bb287.us.us.us: + %indvar.next = add i64 %indvar, 1 + %exitcond = icmp eq i64 %indvar.next, 4 + br i1 %exitcond, label %bb288.bb289.loopexit_crit_edge, label %bb269.us.us.us + +bb286.us.us.us: + unreachable + +bb269.us.us: + unreachable + +bb288.bb289.loopexit_crit_edge: + unreachable +} |