diff --git a/llvm/test/Regression/Transforms/TailCallElim/accum_recursion_constant_arg.ll b/llvm/test/Regression/Transforms/TailCallElim/accum_recursion_constant_arg.ll new file mode 100644 index 000000000000..6bc6469f349f --- /dev/null +++ b/llvm/test/Regression/Transforms/TailCallElim/accum_recursion_constant_arg.ll @@ -0,0 +1,22 @@ +; 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 +} +