llvm.org GIT mirror llvm / release_16 test / Transforms / TailCallElim / accum_recursion_constant_arg.ll
release_16

Tree @release_16 (Download .tar.gz)

accum_recursion_constant_arg.ll @release_16raw · history · blame

; 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-as < %s | 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
}