This repository has been archived by the owner on Apr 23, 2020. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2.1k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Handle some non-exit blocks in tail merging.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@36907 91177308-0d34-0410-b5e6-96231b3b80d8
- Loading branch information
Dale Johannesen
committed
May 7, 2007
1 parent
4fee703
commit 7d33b4c
Showing
2 changed files
with
146 additions
and
11 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,65 @@ | ||
; RUN: llvm-as < %s | llc -march=arm -enable-tail-merge | grep bl.*baz | wc -l | grep 1 | ||
; RUN: llvm-as < %s | llc -march=arm -enable-tail-merge | grep bl.*quux | wc -l | grep 1 | ||
; Check that calls to baz and quux are tail-merged. | ||
|
||
; ModuleID = 'tail.c' | ||
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64" | ||
target triple = "i686-apple-darwin8" | ||
|
||
define i32 @f(i32 %i, i32 %q) { | ||
entry: | ||
%i_addr = alloca i32 ; <i32*> [#uses=2] | ||
%q_addr = alloca i32 ; <i32*> [#uses=2] | ||
%retval = alloca i32, align 4 ; <i32*> [#uses=1] | ||
"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] | ||
store i32 %i, i32* %i_addr | ||
store i32 %q, i32* %q_addr | ||
%tmp = load i32* %i_addr ; <i32> [#uses=1] | ||
%tmp1 = icmp ne i32 %tmp, 0 ; <i1> [#uses=1] | ||
%tmp12 = zext i1 %tmp1 to i8 ; <i8> [#uses=1] | ||
%toBool = icmp ne i8 %tmp12, 0 ; <i1> [#uses=1] | ||
br i1 %toBool, label %cond_true, label %cond_false | ||
|
||
cond_true: ; preds = %entry | ||
%tmp3 = call i32 (...)* @bar( ) ; <i32> [#uses=0] | ||
%tmp4 = call i32 (...)* @baz( i32 5, i32 6 ) ; <i32> [#uses=0] | ||
br label %cond_next | ||
|
||
cond_false: ; preds = %entry | ||
%tmp5 = call i32 (...)* @foo( ) ; <i32> [#uses=0] | ||
%tmp6 = call i32 (...)* @baz( i32 5, i32 6 ) ; <i32> [#uses=0] | ||
br label %cond_next | ||
|
||
cond_next: ; preds = %cond_false, %cond_true | ||
%tmp7 = load i32* %q_addr ; <i32> [#uses=1] | ||
%tmp8 = icmp ne i32 %tmp7, 0 ; <i1> [#uses=1] | ||
%tmp89 = zext i1 %tmp8 to i8 ; <i8> [#uses=1] | ||
%toBool10 = icmp ne i8 %tmp89, 0 ; <i1> [#uses=1] | ||
br i1 %toBool10, label %cond_true11, label %cond_false15 | ||
|
||
cond_true11: ; preds = %cond_next | ||
%tmp13 = call i32 (...)* @foo( ) ; <i32> [#uses=0] | ||
%tmp14 = call i32 (...)* @quux( i32 3, i32 4 ) ; <i32> [#uses=0] | ||
br label %cond_next18 | ||
|
||
cond_false15: ; preds = %cond_next | ||
%tmp16 = call i32 (...)* @bar( ) ; <i32> [#uses=0] | ||
%tmp17 = call i32 (...)* @quux( i32 3, i32 4 ) ; <i32> [#uses=0] | ||
br label %cond_next18 | ||
|
||
cond_next18: ; preds = %cond_false15, %cond_true11 | ||
%tmp19 = call i32 (...)* @bar( ) ; <i32> [#uses=0] | ||
br label %return | ||
|
||
return: ; preds = %cond_next18 | ||
%retval20 = load i32* %retval ; <i32> [#uses=1] | ||
ret i32 %retval20 | ||
} | ||
|
||
declare i32 @bar(...) | ||
|
||
declare i32 @baz(...) | ||
|
||
declare i32 @foo(...) | ||
|
||
declare i32 @quux(...) |