double Tri(double b, double x) {
  if (x > -b && x <= 0) {
    return 1 + x / b;
  }
  if (x < b && x > 0) {
    return 1 - x / b;
  }
  return 0;
}


x86 assembly (clang, -O0):
<Tri>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
ucomisd %xmm1,%xmm0
jbe    1167 <Tri+0x67>
xorps  %xmm0,%xmm0
ucomisd -0x18(%rbp),%xmm0
jb     1167 <Tri+0x67>
movsd  -0x18(%rbp),%xmm1
divsd  -0x10(%rbp),%xmm1
movsd  0xea7(%rip),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    11b5 <Tri+0xb5>
movsd  -0x18(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11ad <Tri+0xad>
movsd  -0x18(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    11ad <Tri+0xad>
movsd  -0x18(%rbp),%xmm1
divsd  -0x10(%rbp),%xmm1
movsd  0xe61(%rip),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    11b5 <Tri+0xb5>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<Tri>:
movapd 0xef8(%rip),%xmm2
xorpd  %xmm0,%xmm2
ucomisd %xmm2,%xmm1
jbe    112d <Tri+0x2d>
xorpd  %xmm2,%xmm2
ucomisd %xmm1,%xmm2
jb     112d <Tri+0x2d>
divsd  %xmm0,%xmm1
addsd  0xee8(%rip),%xmm1
movapd %xmm1,%xmm0
ret
ucomisd %xmm1,%xmm0
xorpd  %xmm2,%xmm2
jbe    1151 <Tri+0x51>
xorpd  %xmm3,%xmm3
ucomisd %xmm3,%xmm1
jbe    1151 <Tri+0x51>
divsd  %xmm0,%xmm1
movsd  0xec3(%rip),%xmm2
subsd  %xmm1,%xmm2
movapd %xmm2,%xmm0
ret

LLVM IR (-O0):
define double @Tri(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* %5
%7 = load double, double* %4
%8 = fneg double %7
%9 = fcmp ogt double %6, %8
br i1 %9, label %10, label %18
10: ; preds = %2
%11 = load double, double* %5
%12 = fcmp ole double %11, 0.000000e+00
br i1 %12, label %13, label %18
13: ; preds = %10
%14 = load double, double* %5
%15 = load double, double* %4
%16 = fdiv double %14, %15
%17 = fadd double 1.000000e+00, %16
store double %17, double* %3
br label %31
18: ; preds = %10, %2
%19 = load double, double* %5
%20 = load double, double* %4
%21 = fcmp olt double %19, %20
br i1 %21, label %22, label %30
22: ; preds = %18
%23 = load double, double* %5
%24 = fcmp ogt double %23, 0.000000e+00
br i1 %24, label %25, label %30
25: ; preds = %22
%26 = load double, double* %5
%27 = load double, double* %4
%28 = fdiv double %26, %27
%29 = fsub double 1.000000e+00, %28
store double %29, double* %3
br label %31
30: ; preds = %22, %18
store double 0.000000e+00, double* %3
br label %31
31: ; preds = %30, %25, %13
%32 = load double, double* %3
ret double %32
}

LLVM IR (-O2):
define double @Tri(double %0, double %1) {
%3 = fneg double %0
%4 = fcmp olt double %3, %1
%5 = fcmp ole double %1, 0.000000e+00
%6 = and i1 %4, %5
br i1 %6, label %7, label %10
7: ; preds = %2
%8 = fdiv double %1, %0
%9 = fadd double %8, 1.000000e+00
br label %17
10: ; preds = %2
%11 = fcmp olt double %1, %0
%12 = fcmp ogt double %1, 0.000000e+00
%13 = and i1 %11, %12
br i1 %13, label %14, label %17
14: ; preds = %10
%15 = fdiv double %1, %0
%16 = fsub double 1.000000e+00, %15
br label %17
17: ; preds = %10, %14, %7
%18 = phi double [ %9, %7 ], [ %16, %14 ], [ 0.000000e+00, %10 ]
ret double %18
}