float filter_tri(float k, float r, float w) {
  if (k > r + w / 2)
    return 0.f;
  if (k < r - w / 2)
    return 1.f;
  return 0.5f - k / w + r / w;
}


x86 assembly (clang, -O0):
<filter_tri>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x8(%rbp)
movss  %xmm1,-0xc(%rbp)
movss  %xmm2,-0x10(%rbp)
movss  -0x8(%rbp),%xmm0
movss  -0xc(%rbp),%xmm1
movss  -0x10(%rbp),%xmm2
movss  0xed6(%rip),%xmm3
divss  %xmm3,%xmm2
addss  %xmm2,%xmm1
ucomiss %xmm1,%xmm0
jbe    1148 <filter_tri+0x48>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    11ab <filter_tri+0xab>
movss  -0x8(%rbp),%xmm1
movss  -0xc(%rbp),%xmm0
movss  -0x10(%rbp),%xmm2
movss  0xea1(%rip),%xmm3
divss  %xmm3,%xmm2
subss  %xmm2,%xmm0
ucomiss %xmm1,%xmm0
jbe    1182 <filter_tri+0x82>
movss  0xe90(%rip),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    11ab <filter_tri+0xab>
movss  -0x8(%rbp),%xmm1
divss  -0x10(%rbp),%xmm1
movss  0xe70(%rip),%xmm0
subss  %xmm1,%xmm0
movss  -0xc(%rbp),%xmm1
divss  -0x10(%rbp),%xmm1
addss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<filter_tri>:
movss  0xef8(%rip),%xmm4
mulss  %xmm2,%xmm4
movaps %xmm4,%xmm5
addss  %xmm1,%xmm5
xorps  %xmm3,%xmm3
ucomiss %xmm5,%xmm0
ja     1151 <filter_tri+0x51>
movaps %xmm1,%xmm3
subss  %xmm4,%xmm3
ucomiss %xmm0,%xmm3
jbe    1130 <filter_tri+0x30>
movss  0xed5(%rip),%xmm0
ret
unpcklps %xmm0,%xmm1
shufps $0x0,%xmm2,%xmm2
divps  %xmm2,%xmm1
movaps %xmm1,%xmm0
shufps $0x55,%xmm1,%xmm0
movss  0xeb7(%rip),%xmm3
subss  %xmm0,%xmm3
addss  %xmm1,%xmm3
movaps %xmm3,%xmm0
ret

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

LLVM IR (-O2):
define float @filter_tri(float %0, float %1, float %2) {
%4 = fmul float %2, 5.000000e-01
%5 = fadd float %4, %1
%6 = fcmp olt float %5, %0
br i1 %6, label %20, label %7
7: ; preds = %3
%8 = fsub float %1, %4
%9 = fcmp ogt float %8, %0
br i1 %9, label %20, label %10
10: ; preds = %7
%11 = insertelement <2 x float> poison, float %1, i64 0
%12 = insertelement <2 x float> %11, float %0, i64 1
%13 = insertelement <2 x float> poison, float %2, i64 0
%14 = shufflevector <2 x float> %13, <2 x float> poison, <2 x i32> zeroinitializer
%15 = fdiv <2 x float> %12, %14
%16 = extractelement <2 x float> %15, i64 1
%17 = fsub float 5.000000e-01, %16
%18 = extractelement <2 x float> %15, i64 0
%19 = fadd float %18, %17
br label %20
20: ; preds = %7, %3, %10
%21 = phi float [ %19, %10 ], [ 0.000000e+00, %3 ], [ 1.000000e+00, %7 ]
ret float %21
}