double s_(double x) {
  if (x <= -2.0)
    return 0;
  else if ((x > -2) && (x <= -1))
    return (2.0 + x) * (2.0 + x) * (2.0 + x);
  else if ((x > -1) && (x <= 0))
    return 1.0 + 3.0 * (1.0 + x) + 3.0 * (1.0 + x) * (1.0 + x) -
           3.0 * (1.0 + x) * (1.0 + x) * (1.0 + x);
  else if ((x > 0) && (x <= 1))
    return 1.0 + 3.0 * (1.0 - x) + 3.0 * (1.0 - x) * (1.0 - x) -
           3.0 * (1.0 - x) * (1.0 - x) * (1.0 - x);
  else if ((x > 1) && (x <= 2))
    return (2.0 - x) * (2.0 - x) * (2.0 - x);
  else if (x > 2.0)
    return 0;
  else
    return 0;
}


x86 assembly (clang, -O0):
<s_>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
movsd  0xeef(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jb     1129 <s_+0x29>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13cb <s_+0x2cb>
movsd  -0x10(%rbp),%xmm0
movsd  0xeca(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    118c <s_+0x8c>
movsd  0xec0(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jb     118c <s_+0x8c>
movsd  0xebd(%rip),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  0xeb0(%rip),%xmm1
addsd  -0x10(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xe9f(%rip),%xmm1
addsd  -0x10(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13cb <s_+0x2cb>
movsd  -0x10(%rbp),%xmm0
movsd  0xe6f(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1264 <s_+0x164>
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
jb     1264 <s_+0x164>
movsd  0xe57(%rip),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  0xe5a(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xe3e(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  0xe32(%rip),%xmm2
addsd  -0x10(%rbp),%xmm2
movsd  0xe35(%rip),%xmm1
mulsd  %xmm2,%xmm1
movsd  0xe19(%rip),%xmm2
addsd  -0x10(%rbp),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  0xe04(%rip),%xmm2
addsd  -0x10(%rbp),%xmm2
movsd  0xe07(%rip),%xmm0
mulsd  %xmm2,%xmm0
movsd  0xdeb(%rip),%xmm2
addsd  -0x10(%rbp),%xmm2
mulsd  %xmm2,%xmm0
movsd  0xdda(%rip),%xmm2
addsd  -0x10(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13cb <s_+0x2cb>
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    133c <s_+0x23c>
movsd  0xd92(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jb     133c <s_+0x23c>
movsd  0xd7f(%rip),%xmm0
subsd  -0x10(%rbp),%xmm0
movsd  0xd82(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xd66(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  0xd5a(%rip),%xmm2
subsd  -0x10(%rbp),%xmm2
movsd  0xd5d(%rip),%xmm1
mulsd  %xmm2,%xmm1
movsd  0xd41(%rip),%xmm2
subsd  -0x10(%rbp),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  0xd2c(%rip),%xmm2
subsd  -0x10(%rbp),%xmm2
movsd  0xd2f(%rip),%xmm0
mulsd  %xmm2,%xmm0
movsd  0xd13(%rip),%xmm2
subsd  -0x10(%rbp),%xmm2
mulsd  %xmm2,%xmm0
movsd  0xd02(%rip),%xmm2
subsd  -0x10(%rbp),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13cb <s_+0x2cb>
movsd  -0x10(%rbp),%xmm0
movsd  0xcc7(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    139f <s_+0x29f>
movsd  0xcbd(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jb     139f <s_+0x29f>
movsd  0xcaa(%rip),%xmm0
subsd  -0x10(%rbp),%xmm0
movsd  0xc9d(%rip),%xmm1
subsd  -0x10(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xc8c(%rip),%xmm1
subsd  -0x10(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13cb <s_+0x2cb>
movsd  -0x10(%rbp),%xmm0
movsd  0xc6c(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    13c3 <s_+0x2c3>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13cb <s_+0x2cb>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<s_>:
xorpd  %xmm1,%xmm1
movsd  0xef4(%rip),%xmm2
ucomisd %xmm0,%xmm2
jae    11f9 <s_+0xf9>
ucomisd 0xee2(%rip),%xmm0
jbe    1147 <s_+0x47>
movsd  0xee0(%rip),%xmm1
ucomisd %xmm0,%xmm1
jb     1147 <s_+0x47>
addsd  0xee2(%rip),%xmm0
movapd %xmm0,%xmm1
mulsd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
ret
ucomisd 0xeb9(%rip),%xmm0
jbe    118c <s_+0x8c>
xorpd  %xmm1,%xmm1
ucomisd %xmm0,%xmm1
jb     118c <s_+0x8c>
movsd  0xead(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  0xeb1(%rip),%xmm2
mulsd  %xmm0,%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm0,%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm0,%xmm2
subsd  %xmm2,%xmm1
movapd %xmm1,%xmm0
ret
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    11d1 <s_+0xd1>
movsd  0xe72(%rip),%xmm2
ucomisd %xmm0,%xmm2
jb     11d1 <s_+0xd1>
movapd %xmm2,%xmm1
subsd  %xmm0,%xmm1
movsd  0xe6c(%rip),%xmm0
mulsd  %xmm1,%xmm0
addsd  %xmm0,%xmm2
mulsd  %xmm1,%xmm0
addsd  %xmm0,%xmm2
mulsd  %xmm1,%xmm0
subsd  %xmm0,%xmm2
movapd %xmm2,%xmm0
ret
ucomisd 0xe37(%rip),%xmm0
jbe    11f9 <s_+0xf9>
movsd  0xe35(%rip),%xmm2
ucomisd %xmm0,%xmm2
jb     11f9 <s_+0xf9>
subsd  %xmm0,%xmm2
movapd %xmm2,%xmm1
mulsd  %xmm2,%xmm1
mulsd  %xmm2,%xmm1
movapd %xmm1,%xmm0
ret

LLVM IR (-O0):
define double @s_(double %0) {
%2 = alloca double
%3 = alloca double
store double %0, double* %3
%4 = load double, double* %3
%5 = fcmp ole double %4, -2.000000e+00
br i1 %5, label %6, label %7
6: ; preds = %1
store double 0.000000e+00, double* %2
br label %94
7: ; preds = %1
%8 = load double, double* %3
%9 = fcmp ogt double %8, -2.000000e+00
br i1 %9, label %10, label %22
10: ; preds = %7
%11 = load double, double* %3
%12 = fcmp ole double %11, -1.000000e+00
br i1 %12, label %13, label %22
13: ; preds = %10
%14 = load double, double* %3
%15 = fadd double 2.000000e+00, %14
%16 = load double, double* %3
%17 = fadd double 2.000000e+00, %16
%18 = fmul double %15, %17
%19 = load double, double* %3
%20 = fadd double 2.000000e+00, %19
%21 = fmul double %18, %20
store double %21, double* %2
br label %94
22: ; preds = %10, %7
%23 = load double, double* %3
%24 = fcmp ogt double %23, -1.000000e+00
br i1 %24, label %25, label %48
25: ; preds = %22
%26 = load double, double* %3
%27 = fcmp ole double %26, 0.000000e+00
br i1 %27, label %28, label %48
28: ; preds = %25
%29 = load double, double* %3
%30 = fadd double 1.000000e+00, %29
%31 = call double @llvm.fmuladd.f64(double 3.000000e+00, double %30, double 1.000000e+00)
%32 = load double, double* %3
%33 = fadd double 1.000000e+00, %32
%34 = fmul double 3.000000e+00, %33
%35 = load double, double* %3
%36 = fadd double 1.000000e+00, %35
%37 = call double @llvm.fmuladd.f64(double %34, double %36, double %31)
%38 = load double, double* %3
%39 = fadd double 1.000000e+00, %38
%40 = fmul double 3.000000e+00, %39
%41 = load double, double* %3
%42 = fadd double 1.000000e+00, %41
%43 = fmul double %40, %42
%44 = load double, double* %3
%45 = fadd double 1.000000e+00, %44
%46 = fneg double %43
%47 = call double @llvm.fmuladd.f64(double %46, double %45, double %37)
store double %47, double* %2
br label %94
48: ; preds = %25, %22
%49 = load double, double* %3
%50 = fcmp ogt double %49, 0.000000e+00
br i1 %50, label %51, label %74
51: ; preds = %48
%52 = load double, double* %3
%53 = fcmp ole double %52, 1.000000e+00
br i1 %53, label %54, label %74
54: ; preds = %51
%55 = load double, double* %3
%56 = fsub double 1.000000e+00, %55
%57 = call double @llvm.fmuladd.f64(double 3.000000e+00, double %56, double 1.000000e+00)
%58 = load double, double* %3
%59 = fsub double 1.000000e+00, %58
%60 = fmul double 3.000000e+00, %59
%61 = load double, double* %3
%62 = fsub double 1.000000e+00, %61
%63 = call double @llvm.fmuladd.f64(double %60, double %62, double %57)
%64 = load double, double* %3
%65 = fsub double 1.000000e+00, %64
%66 = fmul double 3.000000e+00, %65
%67 = load double, double* %3
%68 = fsub double 1.000000e+00, %67
%69 = fmul double %66, %68
%70 = load double, double* %3
%71 = fsub double 1.000000e+00, %70
%72 = fneg double %69
%73 = call double @llvm.fmuladd.f64(double %72, double %71, double %63)
store double %73, double* %2
br label %94
74: ; preds = %51, %48
%75 = load double, double* %3
%76 = fcmp ogt double %75, 1.000000e+00
br i1 %76, label %77, label %89
77: ; preds = %74
%78 = load double, double* %3
%79 = fcmp ole double %78, 2.000000e+00
br i1 %79, label %80, label %89
80: ; preds = %77
%81 = load double, double* %3
%82 = fsub double 2.000000e+00, %81
%83 = load double, double* %3
%84 = fsub double 2.000000e+00, %83
%85 = fmul double %82, %84
%86 = load double, double* %3
%87 = fsub double 2.000000e+00, %86
%88 = fmul double %85, %87
store double %88, double* %2
br label %94
89: ; preds = %77, %74
%90 = load double, double* %3
%91 = fcmp ogt double %90, 2.000000e+00
br i1 %91, label %92, label %93
92: ; preds = %89
store double 0.000000e+00, double* %2
br label %94
93: ; preds = %89
store double 0.000000e+00, double* %2
br label %94
94: ; preds = %93, %92, %80, %54, %28, %13, %6
%95 = load double, double* %2
ret double %95
}

LLVM IR (-O2):
define double @s_(double %0) {
%2 = fcmp ugt double %0, -2.000000e+00
br i1 %2, label %3, label %43
3: ; preds = %1
%4 = fcmp ogt double %0, -2.000000e+00
%5 = fcmp ole double %0, -1.000000e+00
%6 = and i1 %4, %5
br i1 %6, label %7, label %11
7: ; preds = %3
%8 = fadd double %0, 2.000000e+00
%9 = fmul double %8, %8
%10 = fmul double %8, %9
br label %43
11: ; preds = %3
%12 = fcmp ogt double %0, -1.000000e+00
%13 = fcmp ole double %0, 0.000000e+00
%14 = and i1 %12, %13
br i1 %14, label %15, label %23
15: ; preds = %11
%16 = fadd double %0, 1.000000e+00
%17 = tail call double @llvm.fmuladd.f64(double %16, double 3.000000e+00, double 1.000000e+00)
%18 = fmul double %16, 3.000000e+00
%19 = tail call double @llvm.fmuladd.f64(double %18, double %16, double %17)
%20 = fneg double %18
%21 = fmul double %16, %20
%22 = tail call double @llvm.fmuladd.f64(double %21, double %16, double %19)
br label %43
23: ; preds = %11
%24 = fcmp ogt double %0, 0.000000e+00
%25 = fcmp ole double %0, 1.000000e+00
%26 = and i1 %24, %25
br i1 %26, label %27, label %35
27: ; preds = %23
%28 = fsub double 1.000000e+00, %0
%29 = tail call double @llvm.fmuladd.f64(double %28, double 3.000000e+00, double 1.000000e+00)
%30 = fmul double %28, 3.000000e+00
%31 = tail call double @llvm.fmuladd.f64(double %30, double %28, double %29)
%32 = fneg double %30
%33 = fmul double %28, %32
%34 = tail call double @llvm.fmuladd.f64(double %33, double %28, double %31)
br label %43
35: ; preds = %23
%36 = fcmp ogt double %0, 1.000000e+00
%37 = fcmp ole double %0, 2.000000e+00
%38 = and i1 %36, %37
br i1 %38, label %39, label %43
39: ; preds = %35
%40 = fsub double 2.000000e+00, %0
%41 = fmul double %40, %40
%42 = fmul double %40, %41
br label %43
43: ; preds = %35, %1, %39, %27, %15, %7
%44 = phi double [ %10, %7 ], [ %22, %15 ], [ %34, %27 ], [ %42, %39 ], [ 0.000000e+00, %1 ], [ 0.000000e+00, %35 ]
ret double %44
}