2003-12-09 07:41:09 +08:00
|
|
|
; This is a more aggressive form of accumulator recursion insertion, which
|
|
|
|
; requires noticing that X doesn't change as we perform the tailcall. Thanks
|
|
|
|
; go out to the anonymous users of the demo script for "suggesting"
|
|
|
|
; optimizations that should be done. :)
|
|
|
|
|
2008-03-10 15:21:50 +08:00
|
|
|
; RUN: llvm-as < %s | opt -tailcallelim | llvm-dis | not grep call
|
2003-12-09 07:41:09 +08:00
|
|
|
|
2008-03-10 15:21:50 +08:00
|
|
|
define i32 @mul(i32 %x, i32 %y) {
|
2003-12-09 07:41:09 +08:00
|
|
|
entry:
|
2008-03-10 15:21:50 +08:00
|
|
|
%tmp.1 = icmp eq i32 %y, 0 ; <i1> [#uses=1]
|
|
|
|
br i1 %tmp.1, label %return, label %endif
|
|
|
|
endif: ; preds = %entry
|
|
|
|
%tmp.8 = add i32 %y, -1 ; <i32> [#uses=1]
|
|
|
|
%tmp.5 = call i32 @mul( i32 %x, i32 %tmp.8 ) ; <i32> [#uses=1]
|
|
|
|
%tmp.9 = add i32 %tmp.5, %x ; <i32> [#uses=1]
|
|
|
|
ret i32 %tmp.9
|
|
|
|
return: ; preds = %entry
|
|
|
|
ret i32 %x
|
2003-12-09 07:41:09 +08:00
|
|
|
}
|
|
|
|
|