getcase(s0, s1, s2, c) double s0, s1, s2, c;
{
  int instance;
  if (s0 < c)
    if (s1 < c)
      if (s2 < c)
        instance = -1;
      else
        instance = 2;
    else if (s1 == c)
      if (s2 < c)
        instance = 1;
      else
        instance = 0;
    else if (s2 < c)
      instance = 1;
    else
      instance = 0;
  else if (s0 == c)
    if (s1 < c)
      if (s2 < c)
        instance = 0;
      else
        instance = 1;
    else if (s1 == c)
      if (s2 == c)
        instance = -1;
      else
        instance = 2;
    else if (s2 > c)
      instance = 0;
    else
      instance = 1;
  else if (s1 < c)
    if (s2 < c)
      instance = 0;
    else
      instance = 1;
  else if (s1 == c)
    if (s2 > c)
      instance = 1;
    else
      instance = 0;
  else if (s2 > c)
    instance = -1;
  else
    instance = 2;
  return (instance);
}


x86 assembly (clang, -O0):
<getcase>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
movsd  -0x8(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11e4 <getcase+0xe4>
movsd  -0x10(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    116c <getcase+0x6c>
movsd  -0x18(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1160 <getcase+0x60>
movl   $0xffffffff,-0x24(%rbp)
jmp    1167 <getcase+0x67>
movl   $0x2,-0x24(%rbp)
jmp    11df <getcase+0xdf>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jne    11ae <getcase+0xae>
jp     11ae <getcase+0xae>
movsd  -0x18(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11a2 <getcase+0xa2>
movl   $0x1,-0x24(%rbp)
jmp    11a9 <getcase+0xa9>
movl   $0x0,-0x24(%rbp)
jmp    11da <getcase+0xda>
movsd  -0x18(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11ce <getcase+0xce>
movl   $0x1,-0x24(%rbp)
jmp    11d5 <getcase+0xd5>
movl   $0x0,-0x24(%rbp)
jmp    11da <getcase+0xda>
jmp    11df <getcase+0xdf>
jmp    1365 <getcase+0x265>
movsd  -0x8(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jne    12b0 <getcase+0x1b0>
jp     12b0 <getcase+0x1b0>
movsd  -0x10(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    123a <getcase+0x13a>
movsd  -0x18(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    122e <getcase+0x12e>
movl   $0x0,-0x24(%rbp)
jmp    1235 <getcase+0x135>
movl   $0x1,-0x24(%rbp)
jmp    12ab <getcase+0x1ab>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jne    127e <getcase+0x17e>
jp     127e <getcase+0x17e>
movsd  -0x18(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jne    1272 <getcase+0x172>
jp     1272 <getcase+0x172>
movl   $0xffffffff,-0x24(%rbp)
jmp    1279 <getcase+0x179>
movl   $0x2,-0x24(%rbp)
jmp    12a6 <getcase+0x1a6>
movsd  -0x18(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jbe    129a <getcase+0x19a>
movl   $0x0,-0x24(%rbp)
jmp    12a1 <getcase+0x1a1>
movl   $0x1,-0x24(%rbp)
jmp    12a6 <getcase+0x1a6>
jmp    12ab <getcase+0x1ab>
jmp    1360 <getcase+0x260>
movsd  -0x10(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    12f0 <getcase+0x1f0>
movsd  -0x18(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    12e4 <getcase+0x1e4>
movl   $0x0,-0x24(%rbp)
jmp    12eb <getcase+0x1eb>
movl   $0x1,-0x24(%rbp)
jmp    135b <getcase+0x25b>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jne    132e <getcase+0x22e>
jp     132e <getcase+0x22e>
movsd  -0x18(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jbe    1322 <getcase+0x222>
movl   $0x1,-0x24(%rbp)
jmp    1329 <getcase+0x229>
movl   $0x0,-0x24(%rbp)
jmp    1356 <getcase+0x256>
movsd  -0x18(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jbe    134a <getcase+0x24a>
movl   $0xffffffff,-0x24(%rbp)
jmp    1351 <getcase+0x251>
movl   $0x2,-0x24(%rbp)
jmp    1356 <getcase+0x256>
jmp    135b <getcase+0x25b>
jmp    1360 <getcase+0x260>
jmp    1365 <getcase+0x265>
mov    -0x24(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<getcase>:
ucomisd %xmm0,%xmm3
jbe    111c <getcase+0x1c>
ucomisd %xmm1,%xmm3
jbe    1146 <getcase+0x46>
xor    %eax,%eax
ucomisd %xmm2,%xmm3
setbe  %al
lea    (%rax,%rax,2),%eax
add    $0xffffffff,%eax
ret
ucomisd %xmm3,%xmm0
jne    1150 <getcase+0x50>
jp     1150 <getcase+0x50>
ucomisd %xmm1,%xmm3
ja     1156 <getcase+0x56>
ucomisd %xmm3,%xmm1
jne    1172 <getcase+0x72>
jp     1172 <getcase+0x72>
cmpneqsd %xmm3,%xmm2
movq   %xmm2,%rax
and    $0x1,%eax
lea    (%rax,%rax,2),%eax
add    $0xffffffff,%eax
ret
xor    %eax,%eax
ucomisd %xmm2,%xmm3
seta   %al
ret
ucomisd %xmm1,%xmm3
jbe    1160 <getcase+0x60>
xor    %eax,%eax
ucomisd %xmm2,%xmm3
setbe  %al
ret
ucomisd %xmm3,%xmm1
jne    117c <getcase+0x7c>
jp     117c <getcase+0x7c>
xor    %eax,%eax
ucomisd %xmm3,%xmm2
seta   %al
ret
xor    %eax,%eax
ucomisd %xmm3,%xmm2
setbe  %al
ret
xor    %eax,%eax
ucomisd %xmm3,%xmm2
jmp    1112 <getcase+0x12>

LLVM IR (-O0):
define i32 @getcase(double %0, double %1, double %2, double %3) {
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca i32
store double %0, double* %5
store double %1, double* %6
store double %2, double* %7
store double %3, double* %8
%10 = load double, double* %5
%11 = load double, double* %8
%12 = fcmp olt double %10, %11
br i1 %12, label %13, label %44
13: ; preds = %4
%14 = load double, double* %6
%15 = load double, double* %8
%16 = fcmp olt double %14, %15
br i1 %16, label %17, label %24
17: ; preds = %13
%18 = load double, double* %7
%19 = load double, double* %8
%20 = fcmp olt double %18, %19
br i1 %20, label %21, label %22
21: ; preds = %17
store i32 -1, i32* %9
br label %23
22: ; preds = %17
store i32 2, i32* %9
br label %23
23: ; preds = %22, %21
br label %43
24: ; preds = %13
%25 = load double, double* %6
%26 = load double, double* %8
%27 = fcmp oeq double %25, %26
br i1 %27, label %28, label %35
28: ; preds = %24
%29 = load double, double* %7
%30 = load double, double* %8
%31 = fcmp olt double %29, %30
br i1 %31, label %32, label %33
32: ; preds = %28
store i32 1, i32* %9
br label %34
33: ; preds = %28
store i32 0, i32* %9
br label %34
34: ; preds = %33, %32
br label %42
35: ; preds = %24
%36 = load double, double* %7
%37 = load double, double* %8
%38 = fcmp olt double %36, %37
br i1 %38, label %39, label %40
39: ; preds = %35
store i32 1, i32* %9
br label %41
40: ; preds = %35
store i32 0, i32* %9
br label %41
41: ; preds = %40, %39
br label %42
42: ; preds = %41, %34
br label %43
43: ; preds = %42, %23
br label %111
44: ; preds = %4
%45 = load double, double* %5
%46 = load double, double* %8
%47 = fcmp oeq double %45, %46
br i1 %47, label %48, label %79
48: ; preds = %44
%49 = load double, double* %6
%50 = load double, double* %8
%51 = fcmp olt double %49, %50
br i1 %51, label %52, label %59
52: ; preds = %48
%53 = load double, double* %7
%54 = load double, double* %8
%55 = fcmp olt double %53, %54
br i1 %55, label %56, label %57
56: ; preds = %52
store i32 0, i32* %9
br label %58
57: ; preds = %52
store i32 1, i32* %9
br label %58
58: ; preds = %57, %56
br label %78
59: ; preds = %48
%60 = load double, double* %6
%61 = load double, double* %8
%62 = fcmp oeq double %60, %61
br i1 %62, label %63, label %70
63: ; preds = %59
%64 = load double, double* %7
%65 = load double, double* %8
%66 = fcmp oeq double %64, %65
br i1 %66, label %67, label %68
67: ; preds = %63
store i32 -1, i32* %9
br label %69
68: ; preds = %63
store i32 2, i32* %9
br label %69
69: ; preds = %68, %67
br label %77
70: ; preds = %59
%71 = load double, double* %7
%72 = load double, double* %8
%73 = fcmp ogt double %71, %72
br i1 %73, label %74, label %75
74: ; preds = %70
store i32 0, i32* %9
br label %76
75: ; preds = %70
store i32 1, i32* %9
br label %76
76: ; preds = %75, %74
br label %77
77: ; preds = %76, %69
br label %78
78: ; preds = %77, %58
br label %110
79: ; preds = %44
%80 = load double, double* %6
%81 = load double, double* %8
%82 = fcmp olt double %80, %81
br i1 %82, label %83, label %90
83: ; preds = %79
%84 = load double, double* %7
%85 = load double, double* %8
%86 = fcmp olt double %84, %85
br i1 %86, label %87, label %88
87: ; preds = %83
store i32 0, i32* %9
br label %89
88: ; preds = %83
store i32 1, i32* %9
br label %89
89: ; preds = %88, %87
br label %109
90: ; preds = %79
%91 = load double, double* %6
%92 = load double, double* %8
%93 = fcmp oeq double %91, %92
br i1 %93, label %94, label %101
94: ; preds = %90
%95 = load double, double* %7
%96 = load double, double* %8
%97 = fcmp ogt double %95, %96
br i1 %97, label %98, label %99
98: ; preds = %94
store i32 1, i32* %9
br label %100
99: ; preds = %94
store i32 0, i32* %9
br label %100
100: ; preds = %99, %98
br label %108
101: ; preds = %90
%102 = load double, double* %7
%103 = load double, double* %8
%104 = fcmp ogt double %102, %103
br i1 %104, label %105, label %106
105: ; preds = %101
store i32 -1, i32* %9
br label %107
106: ; preds = %101
store i32 2, i32* %9
br label %107
107: ; preds = %106, %105
br label %108
108: ; preds = %107, %100
br label %109
109: ; preds = %108, %89
br label %110
110: ; preds = %109, %78
br label %111
111: ; preds = %110, %43
%112 = load i32, i32* %9
ret i32 %112
}

LLVM IR (-O2):
define i32 @getcase(double %0, double %1, double %2, double %3) {
%5 = fcmp olt double %0, %3
br i1 %5, label %6, label %13
6: ; preds = %4
%7 = fcmp olt double %1, %3
%8 = fcmp olt double %2, %3
br i1 %7, label %9, label %11
9: ; preds = %6
%10 = select i1 %8, i32 -1, i32 2
br label %39
11: ; preds = %6
%12 = zext i1 %8 to i32
br label %39
13: ; preds = %4
%14 = fcmp oeq double %0, %3
%15 = fcmp olt double %1, %3
br i1 %14, label %16, label %28
16: ; preds = %13
br i1 %15, label %17, label %20
17: ; preds = %16
%18 = fcmp uge double %2, %3
%19 = zext i1 %18 to i32
br label %39
20: ; preds = %16
%21 = fcmp oeq double %1, %3
br i1 %21, label %22, label %25
22: ; preds = %20
%23 = fcmp oeq double %2, %3
%24 = select i1 %23, i32 -1, i32 2
br label %39
25: ; preds = %20
%26 = fcmp ule double %2, %3
%27 = zext i1 %26 to i32
br label %39
28: ; preds = %13
br i1 %15, label %29, label %32
29: ; preds = %28
%30 = fcmp uge double %2, %3
%31 = zext i1 %30 to i32
br label %39
32: ; preds = %28
%33 = fcmp oeq double %1, %3
%34 = fcmp ogt double %2, %3
br i1 %33, label %35, label %37
35: ; preds = %32
%36 = zext i1 %34 to i32
br label %39
37: ; preds = %32
%38 = select i1 %34, i32 -1, i32 2
br label %39
39: ; preds = %11, %37, %35, %29, %25, %22, %17, %9
%40 = phi i32 [ %10, %9 ], [ %19, %17 ], [ %24, %22 ], [ %27, %25 ], [ %31, %29 ], [ %36, %35 ], [ %38, %37 ], [ %12, %11 ]
ret i32 %40
}