float bar(float k, float j) {
  float l = 0.0f;
  if (k > j)
    l = k;
  float t = k / j;
  float v = t * t;
  if (k == 0)
    v = 0.0f;
  if (t > 0.4f)
    v += 0.7;
  if (l != 0)
    v = 1.5 - v;
  return v;
}


x86 assembly (clang, -O0):
<bar>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0xc(%rbp)
movss  -0x4(%rbp),%xmm0
ucomiss -0x8(%rbp),%xmm0
jbe    112f <bar+0x2f>
movss  -0x4(%rbp),%xmm0
movss  %xmm0,-0xc(%rbp)
movss  -0x4(%rbp),%xmm0
divss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x10(%rbp)
movss  -0x10(%rbp),%xmm0
mulss  -0x10(%rbp),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x4(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    116c <bar+0x6c>
jp     116c <bar+0x6c>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x10(%rbp),%xmm0
movss  0xe87(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    11a0 <bar+0xa0>
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe75(%rip),%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0xc(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    11bc <bar+0xbc>
jp     11bc <bar+0xbc>
jmp    11da <bar+0xda>
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe43(%rip),%xmm0
subsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<bar>:
movaps %xmm0,%xmm3
divss  %xmm1,%xmm3
cmpltss %xmm0,%xmm1
andps  %xmm0,%xmm1
movaps %xmm3,%xmm4
mulss  %xmm3,%xmm4
xorps  %xmm2,%xmm2
cmpeqss %xmm2,%xmm0
andnps %xmm4,%xmm0
xorps  %xmm4,%xmm4
cvtss2sd %xmm0,%xmm4
addsd  0xed0(%rip),%xmm4
movss  0xed0(%rip),%xmm5
cmpltss %xmm3,%xmm5
xorps  %xmm3,%xmm3
cvtsd2ss %xmm4,%xmm3
movaps %xmm5,%xmm4
andnps %xmm0,%xmm4
andps  %xmm3,%xmm5
orps   %xmm4,%xmm5
movss  0xeb4(%rip),%xmm0
subss  %xmm5,%xmm0
cmpneqss %xmm1,%xmm2
movaps %xmm2,%xmm1
andnps %xmm5,%xmm1
andps  %xmm0,%xmm2
orps   %xmm1,%xmm2
movaps %xmm2,%xmm0
ret

LLVM IR (-O0):
define float @bar(float %0, float %1) {
%3 = alloca float
%4 = alloca float
%5 = alloca float
%6 = alloca float
%7 = alloca float
store float %0, float* %3
store float %1, float* %4
store float 0.000000e+00, float* %5
%8 = load float, float* %3
%9 = load float, float* %4
%10 = fcmp ogt float %8, %9
br i1 %10, label %11, label %13
11: ; preds = %2
%12 = load float, float* %3
store float %12, float* %5
br label %13
13: ; preds = %11, %2
%14 = load float, float* %3
%15 = load float, float* %4
%16 = fdiv float %14, %15
store float %16, float* %6
%17 = load float, float* %6
%18 = load float, float* %6
%19 = fmul float %17, %18
store float %19, float* %7
%20 = load float, float* %3
%21 = fcmp oeq float %20, 0.000000e+00
br i1 %21, label %22, label %23
22: ; preds = %13
store float 0.000000e+00, float* %7
br label %23
23: ; preds = %22, %13
%24 = load float, float* %6
%25 = fcmp ogt float %24, 0x3FD99999A0000000
br i1 %25, label %26, label %31
26: ; preds = %23
%27 = load float, float* %7
%28 = fpext float %27 to double
%29 = fadd double %28, 0x3FE6666666666666
%30 = fptrunc double %29 to float
store float %30, float* %7
br label %31
31: ; preds = %26, %23
%32 = load float, float* %5
%33 = fcmp une float %32, 0.000000e+00
br i1 %33, label %34, label %39
34: ; preds = %31
%35 = load float, float* %7
%36 = fpext float %35 to double
%37 = fsub double 1.500000e+00, %36
%38 = fptrunc double %37 to float
store float %38, float* %7
br label %39
39: ; preds = %34, %31
%40 = load float, float* %7
ret float %40
}

LLVM IR (-O2):
define float @bar(float %0, float %1) {
%3 = fcmp ogt float %0, %1
%4 = select i1 %3, float %0, float 0.000000e+00
%5 = fdiv float %0, %1
%6 = fmul float %5, %5
%7 = fcmp oeq float %0, 0.000000e+00
%8 = select i1 %7, float 0.000000e+00, float %6
%9 = fcmp ogt float %5, 0x3FD99999A0000000
%10 = fpext float %8 to double
%11 = fadd double %10, 0x3FE6666666666666
%12 = fptrunc double %11 to float
%13 = select i1 %9, float %12, float %8
%14 = fcmp une float %4, 0.000000e+00
%15 = fsub float 1.500000e+00, %13
%16 = select i1 %14, float %15, float %13
ret float %16
}