From 5a06cf644f35b873686c8694968192ad3385e36a Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 11 Oct 2009 18:39:58 +0000 Subject: when folding duplicate conditions, delete the now-probably-dead instruction tree feeding it. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@83778 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/JumpThreading/basic.ll | 33 +++++++++++++++++++++++++++++++ test/Transforms/JumpThreading/dup-cond.ll | 30 ---------------------------- 2 files changed, 33 insertions(+), 30 deletions(-) delete mode 100644 test/Transforms/JumpThreading/dup-cond.ll (limited to 'test/Transforms') diff --git a/test/Transforms/JumpThreading/basic.ll b/test/Transforms/JumpThreading/basic.ll index 50433db..3d936b8 100644 --- a/test/Transforms/JumpThreading/basic.ll +++ b/test/Transforms/JumpThreading/basic.ll @@ -139,3 +139,36 @@ F2: ret i32 %B } + +;; Lexically duplicated conditionals should be threaded. + + +define i32 @test6(i32 %A) { +; CHECK: @test6 + %tmp455 = icmp eq i32 %A, 42 + br i1 %tmp455, label %BB1, label %BB2 + +BB2: +; CHECK: call i32 @f1() +; CHECK-NEXT: call void @f3() +; CHECK-NEXT: ret i32 4 + call i32 @f1() + br label %BB1 + + +BB1: + %tmp459 = icmp eq i32 %A, 42 + br i1 %tmp459, label %BB3, label %BB4 + +BB3: + call i32 @f2() + ret i32 3 + +BB4: + call void @f3() + ret i32 4 +} + + + + diff --git a/test/Transforms/JumpThreading/dup-cond.ll b/test/Transforms/JumpThreading/dup-cond.ll deleted file mode 100644 index 0d14c8a..0000000 --- a/test/Transforms/JumpThreading/dup-cond.ll +++ /dev/null @@ -1,30 +0,0 @@ -; RUN: opt < %s -jump-threading -die -S | grep icmp | count 1 - -declare void @f1() -declare void @f2() -declare void @f3() - -define i32 @test(i32 %A) { - %tmp455 = icmp eq i32 %A, 42 - br i1 %tmp455, label %BB1, label %BB2 - -BB2: - call void @f1() - br label %BB1 - - -BB1: - %tmp459 = icmp eq i32 %A, 42 - br i1 %tmp459, label %BB3, label %BB4 - -BB3: - call void @f2() - ret i32 3 - -BB4: - call void @f3() - ret i32 4 -} - - - -- cgit v1.1