float f1(int x, int y) {
  float res;
  if (y != 0) {
    res = (float)x / y;
  } else {
    res = (float)1 / x;
  }
  while (x > y) {
    res = res + (float)y / x;
    x = x - 1;
  }
  return res;
}


x86 assembly (clang, -O0):
<f1>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     112c <f1+0x2c>
cvtsi2ssl -0x4(%rbp),%xmm0
cvtsi2ssl -0x8(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0xc(%rbp)
jmp    1142 <f1+0x42>
cvtsi2ssl -0x4(%rbp),%xmm1
movss  0xec7(%rip),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0xc(%rbp)
jmp    1147 <f1+0x47>
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    117d <f1+0x7d>
movss  -0xc(%rbp),%xmm0
cvtsi2ssl -0x8(%rbp),%xmm1
cvtsi2ssl -0x4(%rbp),%xmm2
divss  %xmm2,%xmm1
addss  %xmm1,%xmm0
movss  %xmm0,-0xc(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1147 <f1+0x47>
movss  -0xc(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<f1>:
cvtsi2ss %edi,%xmm2
test   %esi,%esi
je     1115 <f1+0x15>
cvtsi2ss %esi,%xmm1
movaps %xmm2,%xmm0
divss  %xmm1,%xmm0
jmp    1121 <f1+0x21>
movss  0xee3(%rip),%xmm0
divss  %xmm2,%xmm0
mov    %edi,%eax
sub    %esi,%eax
jle    117e <f1+0x7e>
xorps  %xmm1,%xmm1
cvtsi2ss %esi,%xmm1
mov    %esi,%ecx
not    %ecx
test   $0x1,%al
jne    113e <f1+0x3e>
mov    %edi,%eax
add    %edi,%ecx
jne    1150 <f1+0x50>
jmp    117e <f1+0x7e>
movaps %xmm1,%xmm3
divss  %xmm2,%xmm3
addss  %xmm3,%xmm0
lea    -0x1(%rdi),%eax
add    %edi,%ecx
je     117e <f1+0x7e>
xorps  %xmm2,%xmm2
cvtsi2ss %eax,%xmm2
movaps %xmm1,%xmm3
divss  %xmm2,%xmm3
addss  %xmm0,%xmm3
lea    -0x1(%rax),%ecx
xorps  %xmm2,%xmm2
cvtsi2ss %ecx,%xmm2
movaps %xmm1,%xmm0
divss  %xmm2,%xmm0
addss  %xmm3,%xmm0
add    $0xfffffffe,%eax
cmp    %esi,%eax
jg     1150 <f1+0x50>
ret

LLVM IR (-O0):
define float @f1(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca float
store i32 %0, i32* %3
store i32 %1, i32* %4
%6 = load i32, i32* %4
%7 = icmp ne i32 %6, 0
br i1 %7, label %8, label %14
8: ; preds = %2
%9 = load i32, i32* %3
%10 = sitofp i32 %9 to float
%11 = load i32, i32* %4
%12 = sitofp i32 %11 to float
%13 = fdiv float %10, %12
store float %13, float* %5
br label %18
14: ; preds = %2
%15 = load i32, i32* %3
%16 = sitofp i32 %15 to float
%17 = fdiv float 1.000000e+00, %16
store float %17, float* %5
br label %18
18: ; preds = %14, %8
br label %19
19: ; preds = %23, %18
%20 = load i32, i32* %3
%21 = load i32, i32* %4
%22 = icmp sgt i32 %20, %21
br i1 %22, label %23, label %33
23: ; preds = %19
%24 = load float, float* %5
%25 = load i32, i32* %4
%26 = sitofp i32 %25 to float
%27 = load i32, i32* %3
%28 = sitofp i32 %27 to float
%29 = fdiv float %26, %28
%30 = fadd float %24, %29
store float %30, float* %5
%31 = load i32, i32* %3
%32 = sub nsw i32 %31, 1
store i32 %32, i32* %3
br label %19
33: ; preds = %19
%34 = load float, float* %5
ret float %34
}

LLVM IR (-O2):
define float @f1(i32 %0, i32 %1) {
%3 = icmp eq i32 %1, 0
%4 = sitofp i32 %0 to float
br i1 %3, label %8, label %5
5: ; preds = %2
%6 = sitofp i32 %1 to float
%7 = fdiv float %4, %6
br label %10
8: ; preds = %2
%9 = fdiv float 1.000000e+00, %4
br label %10
10: ; preds = %8, %5
%11 = phi float [ %7, %5 ], [ %9, %8 ]
%12 = icmp sgt i32 %0, %1
br i1 %12, label %13, label %42
13: ; preds = %10
%14 = sitofp i32 %1 to float
%15 = sub i32 %0, %1
%16 = xor i32 %1, -1
%17 = and i32 %15, 1
%18 = icmp eq i32 %17, 0
br i1 %18, label %24, label %19
19: ; preds = %13
%20 = sitofp i32 %0 to float
%21 = fdiv float %14, %20
%22 = fadd float %11, %21
%23 = add nsw i32 %0, -1
br label %24
24: ; preds = %19, %13
%25 = phi float [ %11, %13 ], [ %22, %19 ]
%26 = phi i32 [ %0, %13 ], [ %23, %19 ]
%27 = phi float [ undef, %13 ], [ %22, %19 ]
%28 = sub i32 0, %0
%29 = icmp eq i32 %16, %28
br i1 %29, label %42, label %30
30: ; preds = %24, %30
%31 = phi float [ %39, %30 ], [ %25, %24 ]
%32 = phi i32 [ %40, %30 ], [ %26, %24 ]
%33 = sitofp i32 %32 to float
%34 = fdiv float %14, %33
%35 = fadd float %31, %34
%36 = add nsw i32 %32, -1
%37 = sitofp i32 %36 to float
%38 = fdiv float %14, %37
%39 = fadd float %35, %38
%40 = add nsw i32 %32, -2
%41 = icmp sgt i32 %40, %1
br i1 %41, label %30, label %42
42: ; preds = %24, %30, %10
%43 = phi float [ %11, %10 ], [ %27, %24 ], [ %39, %30 ]
ret float %43
}