; 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.  :)

; RUN: llvm-upgrade < %s | llvm-as | opt -tailcallelim | llvm-dis | not grep call

int %mul(int %x, int %y) {
entry:
        %tmp.1 = seteq int %y, 0
        br bool %tmp.1, label %return, label %endif

endif:
        %tmp.8 = add int %y, -1
        %tmp.5 = call int %mul( int %x, int %tmp.8 )
        %tmp.9 = add int %tmp.5, %x
        ret int %tmp.9

return:
        ret int %x
}