double multRec(double a, double b) {
  if (a == 1)
    return b;
  if (b == 1)
    return a;
  if (b == 0 || a == 0)
    return 0;
  return a + multRec(a, b - 1);
}


x86 assembly (clang, -O0):
<multRec>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xed1(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    114e <multRec+0x3e>
jp     114e <multRec+0x3e>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    11f2 <multRec+0xe2>
movsd  -0x18(%rbp),%xmm0
movsd  0xea5(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    117a <multRec+0x6a>
jp     117a <multRec+0x6a>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    11f2 <multRec+0xe2>
movsd  -0x18(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1197 <multRec+0x87>
jp     1197 <multRec+0x87>
jmp    11af <multRec+0x9f>
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    11bc <multRec+0xac>
jp     11bc <multRec+0xac>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    11f2 <multRec+0xe2>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movsd  0xe28(%rip),%xmm2
subsd  %xmm2,%xmm1
call   1030 <multRec@plt>
movaps %xmm0,%xmm1
movsd  -0x20(%rbp),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<multRec>:
push   %rax
ucomisd 0xee7(%rip),%xmm0
jne    1122 <multRec+0x12>
jp     1122 <multRec+0x12>
movaps %xmm1,%xmm0
pop    %rax
ret
movapd %xmm0,%xmm3
ucomisd 0xed2(%rip),%xmm1
jne    1138 <multRec+0x28>
jp     1138 <multRec+0x28>
movapd %xmm3,%xmm0
pop    %rax
ret
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm3
jne    1144 <multRec+0x34>
jnp    116b <multRec+0x5b>
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm1
jne    1150 <multRec+0x40>
jnp    116b <multRec+0x5b>
addsd  0xeb0(%rip),%xmm1
movapd %xmm3,%xmm0
movsd  %xmm3,(%rsp)
call   1030 <multRec@plt>
addsd  (%rsp),%xmm0
pop    %rax
ret

LLVM IR (-O0):
define double @multRec(double %0, double %1) {
%3 = alloca double
%4 = alloca double
%5 = alloca double
store double %0, double* %4
store double %1, double* %5
%6 = load double, double* %4
%7 = fcmp oeq double %6, 1.000000e+00
br i1 %7, label %8, label %10
8: ; preds = %2
%9 = load double, double* %5
store double %9, double* %3
br label %29
10: ; preds = %2
%11 = load double, double* %5
%12 = fcmp oeq double %11, 1.000000e+00
br i1 %12, label %13, label %15
13: ; preds = %10
%14 = load double, double* %4
store double %14, double* %3
br label %29
15: ; preds = %10
%16 = load double, double* %5
%17 = fcmp oeq double %16, 0.000000e+00
br i1 %17, label %21, label %18
18: ; preds = %15
%19 = load double, double* %4
%20 = fcmp oeq double %19, 0.000000e+00
br i1 %20, label %21, label %22
21: ; preds = %18, %15
store double 0.000000e+00, double* %3
br label %29
22: ; preds = %18
%23 = load double, double* %4
%24 = load double, double* %4
%25 = load double, double* %5
%26 = fsub double %25, 1.000000e+00
%27 = call double @multRec(double %24, double %26)
%28 = fadd double %23, %27
store double %28, double* %3
br label %29
29: ; preds = %22, %21, %13, %8
%30 = load double, double* %3
ret double %30
}

LLVM IR (-O2):
define double @multRec(double %0, double %1) {
%3 = fcmp oeq double %0, 1.000000e+00
br i1 %3, label %10, label %4
4: ; preds = %2
%5 = fcmp oeq double %1, 1.000000e+00
br i1 %5, label %10, label %6
6: ; preds = %4
%7 = fcmp oeq double %1, 0.000000e+00
%8 = fcmp oeq double %0, 0.000000e+00
%9 = or i1 %8, %7
br i1 %9, label %10, label %12
10: ; preds = %2, %4, %6, %12
%11 = phi double [ %15, %12 ], [ %1, %2 ], [ %0, %4 ], [ 0.000000e+00, %6 ]
ret double %11
12: ; preds = %6
%13 = fadd double %1, -1.000000e+00
%14 = tail call double @multRec(double %0, double %13)
%15 = fadd double %14, %0
br label %10
}