From 41fb43bb1ee294e451b6e42ae09af2aa44fc59e2 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 11 Oct 2009 03:55:30 +0000 Subject: [PATCH] merge two tests. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@83751 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/JumpThreading/basic.ll | 20 +++++++++++++++++++- test/Transforms/JumpThreading/undef.ll | 12 ------------ 2 files changed, 19 insertions(+), 13 deletions(-) delete mode 100644 test/Transforms/JumpThreading/undef.ll diff --git a/test/Transforms/JumpThreading/basic.ll b/test/Transforms/JumpThreading/basic.ll index 16c34185ec4..1a602a63587 100644 --- a/test/Transforms/JumpThreading/basic.ll +++ b/test/Transforms/JumpThreading/basic.ll @@ -6,7 +6,9 @@ declare i32 @f1() declare i32 @f2() declare void @f3() -define i32 @test(i1 %cond) { +define i32 @test1(i1 %cond) { +; CHECK: @test1 + br i1 %cond, label %T1, label %F1 T1: @@ -37,6 +39,7 @@ F2: ;; cond is known false on Entry -> F1 edge! define i32 @test2(i1 %cond) { +; CHECK: @test2 Entry: br i1 %cond, label %T1, label %F1 @@ -57,3 +60,18 @@ F2: call void @f3() ret i32 12 } + + +; Undef handling. +define i32 @test3(i1 %cond) { +; CHECK: @test3 +; CHECK-NEXT: T1: +; CHECK-NEXT: ret i32 42 + br i1 undef, label %T1, label %F1 + +T1: + ret i32 42 + +F1: + ret i32 17 +} diff --git a/test/Transforms/JumpThreading/undef.ll b/test/Transforms/JumpThreading/undef.ll deleted file mode 100644 index 404aecf8613..00000000000 --- a/test/Transforms/JumpThreading/undef.ll +++ /dev/null @@ -1,12 +0,0 @@ -; RUN: opt < %s -jump-threading -S | not grep {br } -; RUN: opt < %s -jump-threading -S | grep {ret i32} | count 1 - -define i32 @test(i1 %cond) { - br i1 undef, label %T1, label %F1 - -T1: - ret i32 42 - -F1: - ret i32 17 -}