int main() {
  if (2 != 2 || 24 != 24 || (-125) != -125 || 128 != 128 || 1 != 1 || 1 != 1)
    return 0;
  if (!f1(0.0f) || f1(0x1.0p-149f))
    __builtin_abort();
  if (!f2(0x1.63dbc0p-130f))
    __builtin_abort();
  if (f3(0x1.63dbc0p-130f))
    __builtin_abort();
  if (!f4(0x1.c996d0p+108f) || !f4(0x1.c996cep+108f) || f4(0x1.c996ccp+108f))
    __builtin_abort();
  if (f5(0x1.c996d0p+108f) || f5(0x1.c996d2p+108f) || !f5(0x1.c996d4p+108f))
    __builtin_abort();
  if (!f6(0x1.b2ce3p-38f) || f6(0x1.b2ce32p-38f) || f6(0x1.b2ce34p-38f))
    __builtin_abort();
  if (!f7(0x1.b2ce3p-38f) || !f7(0x1.b2ce34p-38f) || !f7(0x1.b2ce36p-38f) ||
      f7(0x1.b2ce38p-38f))
    __builtin_abort();
  if (!f8(0x1.bb166p-130f) || !f8(0x1.bb168p-130f) || f8(0x1.bb16ap-130f) ||
      f8(0x1.bb16cp-130f))
    __builtin_abort();
  if (!f9(0x1.8p-146f) || !f9(0x1.ap-146f) || f9(0x1.cp-146f) ||
      f9(0x1.ep-146f))
    __builtin_abort();
  if (f10(0x1.002004p+0f))
    __builtin_abort();
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
xorps  %xmm0,%xmm0
mov    $0x1,%al
call   1080 <f1@plt>
cmp    $0x0,%eax
je     11ea <main+0x3a>
movsd  0xe26(%rip),%xmm0
mov    $0x1,%al
call   1080 <f1@plt>
cmp    $0x0,%eax
je     11ef <main+0x3f>
call   1060 <abort@plt>
movsd  0xe11(%rip),%xmm0
mov    $0x1,%al
call   1030 <f2@plt>
cmp    $0x0,%eax
jne    120c <main+0x5c>
call   1060 <abort@plt>
movsd  0xdf4(%rip),%xmm0
mov    $0x1,%al
call   1070 <f3@plt>
cmp    $0x0,%eax
je     1229 <main+0x79>
call   1060 <abort@plt>
movsd  0xddf(%rip),%xmm0
mov    $0x1,%al
call   10d0 <f4@plt>
cmp    $0x0,%eax
je     1271 <main+0xc1>
movsd  0xdcf(%rip),%xmm0
mov    $0x1,%al
call   10d0 <f4@plt>
cmp    $0x0,%eax
je     1271 <main+0xc1>
movsd  0xdbf(%rip),%xmm0
mov    $0x1,%al
call   10d0 <f4@plt>
cmp    $0x0,%eax
je     1276 <main+0xc6>
call   1060 <abort@plt>
movsd  0xd92(%rip),%xmm0
mov    $0x1,%al
call   10a0 <f5@plt>
cmp    $0x0,%eax
jne    12be <main+0x10e>
movsd  0xd92(%rip),%xmm0
mov    $0x1,%al
call   10a0 <f5@plt>
cmp    $0x0,%eax
jne    12be <main+0x10e>
movsd  0xd82(%rip),%xmm0
mov    $0x1,%al
call   10a0 <f5@plt>
cmp    $0x0,%eax
jne    12c3 <main+0x113>
call   1060 <abort@plt>
movsd  0xd6d(%rip),%xmm0
mov    $0x1,%al
call   1050 <f6@plt>
cmp    $0x0,%eax
je     130b <main+0x15b>
movsd  0xd5d(%rip),%xmm0
mov    $0x1,%al
call   1050 <f6@plt>
cmp    $0x0,%eax
jne    130b <main+0x15b>
movsd  0xd4d(%rip),%xmm0
mov    $0x1,%al
call   1050 <f6@plt>
cmp    $0x0,%eax
je     1310 <main+0x160>
call   1060 <abort@plt>
movsd  0xd20(%rip),%xmm0
mov    $0x1,%al
call   1090 <f7@plt>
cmp    $0x0,%eax
je     1370 <main+0x1c0>
movsd  0xd18(%rip),%xmm0
mov    $0x1,%al
call   1090 <f7@plt>
cmp    $0x0,%eax
je     1370 <main+0x1c0>
movsd  0xd08(%rip),%xmm0
mov    $0x1,%al
call   1090 <f7@plt>
cmp    $0x0,%eax
je     1370 <main+0x1c0>
movsd  0xcf8(%rip),%xmm0
mov    $0x1,%al
call   1090 <f7@plt>
cmp    $0x0,%eax
je     1375 <main+0x1c5>
call   1060 <abort@plt>
movsd  0xce3(%rip),%xmm0
mov    $0x1,%al
call   1040 <f8@plt>
cmp    $0x0,%eax
je     13d5 <main+0x225>
movsd  0xcd3(%rip),%xmm0
mov    $0x1,%al
call   1040 <f8@plt>
cmp    $0x0,%eax
je     13d5 <main+0x225>
movsd  0xcc3(%rip),%xmm0
mov    $0x1,%al
call   1040 <f8@plt>
cmp    $0x0,%eax
jne    13d5 <main+0x225>
movsd  0xcb3(%rip),%xmm0
mov    $0x1,%al
call   1040 <f8@plt>
cmp    $0x0,%eax
je     13da <main+0x22a>
call   1060 <abort@plt>
movsd  0xc9e(%rip),%xmm0
mov    $0x1,%al
call   10b0 <f9@plt>
cmp    $0x0,%eax
je     143a <main+0x28a>
movsd  0xc8e(%rip),%xmm0
mov    $0x1,%al
call   10b0 <f9@plt>
cmp    $0x0,%eax
je     143a <main+0x28a>
movsd  0xc7e(%rip),%xmm0
mov    $0x1,%al
call   10b0 <f9@plt>
cmp    $0x0,%eax
jne    143a <main+0x28a>
movsd  0xc6e(%rip),%xmm0
mov    $0x1,%al
call   10b0 <f9@plt>
cmp    $0x0,%eax
je     143f <main+0x28f>
call   1060 <abort@plt>
movsd  0xc59(%rip),%xmm0
mov    $0x1,%al
call   10c0 <f10@plt>
cmp    $0x0,%eax
je     145c <main+0x2ac>
call   1060 <abort@plt>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
xorps  %xmm0,%xmm0
mov    $0x1,%al
call   1080 <f1@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xe35(%rip),%xmm0
mov    $0x1,%al
call   1080 <f1@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
movsd  0xe26(%rip),%xmm0
mov    $0x1,%al
call   1030 <f2@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xe0f(%rip),%xmm0
mov    $0x1,%al
call   1070 <f3@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
movsd  0xe00(%rip),%xmm0
mov    $0x1,%al
call   10d0 <f4@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xdf1(%rip),%xmm0
mov    $0x1,%al
call   10d0 <f4@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xde2(%rip),%xmm0
mov    $0x1,%al
call   10d0 <f4@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
movsd  0xdbb(%rip),%xmm0
mov    $0x1,%al
call   10a0 <f5@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
movsd  0xdbc(%rip),%xmm0
mov    $0x1,%al
call   10a0 <f5@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
movsd  0xdad(%rip),%xmm0
mov    $0x1,%al
call   10a0 <f5@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xd9e(%rip),%xmm0
mov    $0x1,%al
call   1050 <f6@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xd8f(%rip),%xmm0
mov    $0x1,%al
call   1050 <f6@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
movsd  0xd80(%rip),%xmm0
mov    $0x1,%al
call   1050 <f6@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
movsd  0xd59(%rip),%xmm0
mov    $0x1,%al
call   1090 <f7@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xd52(%rip),%xmm0
mov    $0x1,%al
call   1090 <f7@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xd43(%rip),%xmm0
mov    $0x1,%al
call   1090 <f7@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xd34(%rip),%xmm0
mov    $0x1,%al
call   1090 <f7@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
movsd  0xd25(%rip),%xmm0
mov    $0x1,%al
call   1040 <f8@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xd16(%rip),%xmm0
mov    $0x1,%al
call   1040 <f8@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xd07(%rip),%xmm0
mov    $0x1,%al
call   1040 <f8@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
movsd  0xcfc(%rip),%xmm0
mov    $0x1,%al
call   1040 <f8@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
movsd  0xcf1(%rip),%xmm0
mov    $0x1,%al
call   10b0 <f9@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xce6(%rip),%xmm0
mov    $0x1,%al
call   10b0 <f9@plt>
test   %eax,%eax
je     13ea <main+0x23a>
movsd  0xcdb(%rip),%xmm0
mov    $0x1,%al
call   10b0 <f9@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
movsd  0xcd0(%rip),%xmm0
mov    $0x1,%al
call   10b0 <f9@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
movsd  0xcc5(%rip),%xmm0
mov    $0x1,%al
call   10c0 <f10@plt>
test   %eax,%eax
jne    13ea <main+0x23a>
xor    %eax,%eax
pop    %rcx
ret
call   1060 <abort@plt>

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
store i32 0, i32* %1
%2 = call i32 (double, ...) bitcast (i32 (...)* @f1 to i32 (double, ...)*)(double 0.000000e+00)
%3 = icmp ne i32 %2, 0
br i1 %3, label %4, label %7
4: ; preds = %0
%5 = call i32 (double, ...) bitcast (i32 (...)* @f1 to i32 (double, ...)*)(double 0x36A0000000000000)
%6 = icmp ne i32 %5, 0
br i1 %6, label %7, label %8
7: ; preds = %4, %0
unreachable
8: ; preds = %4
%9 = call i32 (double, ...) bitcast (i32 (...)* @f2 to i32 (double, ...)*)(double 0x37D63DBC00000000)
%10 = icmp ne i32 %9, 0
br i1 %10, label %12, label %11
11: ; preds = %8
unreachable
12: ; preds = %8
%13 = call i32 (double, ...) bitcast (i32 (...)* @f3 to i32 (double, ...)*)(double 0x37D63DBC00000000)
%14 = icmp ne i32 %13, 0
br i1 %14, label %15, label %16
15: ; preds = %12
unreachable
16: ; preds = %12
%17 = call i32 (double, ...) bitcast (i32 (...)* @f4 to i32 (double, ...)*)(double 0x46BC996D00000000)
%18 = icmp ne i32 %17, 0
br i1 %18, label %19, label %25
19: ; preds = %16
%20 = call i32 (double, ...) bitcast (i32 (...)* @f4 to i32 (double, ...)*)(double 0x46BC996CE0000000)
%21 = icmp ne i32 %20, 0
br i1 %21, label %22, label %25
22: ; preds = %19
%23 = call i32 (double, ...) bitcast (i32 (...)* @f4 to i32 (double, ...)*)(double 0x46BC996CC0000000)
%24 = icmp ne i32 %23, 0
br i1 %24, label %25, label %26
25: ; preds = %22, %19, %16
unreachable
26: ; preds = %22
%27 = call i32 (double, ...) bitcast (i32 (...)* @f5 to i32 (double, ...)*)(double 0x46BC996D00000000)
%28 = icmp ne i32 %27, 0
br i1 %28, label %35, label %29
29: ; preds = %26
%30 = call i32 (double, ...) bitcast (i32 (...)* @f5 to i32 (double, ...)*)(double 0x46BC996D20000000)
%31 = icmp ne i32 %30, 0
br i1 %31, label %35, label %32
32: ; preds = %29
%33 = call i32 (double, ...) bitcast (i32 (...)* @f5 to i32 (double, ...)*)(double 0x46BC996D40000000)
%34 = icmp ne i32 %33, 0
br i1 %34, label %36, label %35
35: ; preds = %32, %29, %26
unreachable
36: ; preds = %32
%37 = call i32 (double, ...) bitcast (i32 (...)* @f6 to i32 (double, ...)*)(double 0x3D9B2CE300000000)
%38 = icmp ne i32 %37, 0
br i1 %38, label %39, label %45
39: ; preds = %36
%40 = call i32 (double, ...) bitcast (i32 (...)* @f6 to i32 (double, ...)*)(double 0x3D9B2CE320000000)
%41 = icmp ne i32 %40, 0
br i1 %41, label %45, label %42
42: ; preds = %39
%43 = call i32 (double, ...) bitcast (i32 (...)* @f6 to i32 (double, ...)*)(double 0x3D9B2CE340000000)
%44 = icmp ne i32 %43, 0
br i1 %44, label %45, label %46
45: ; preds = %42, %39, %36
unreachable
46: ; preds = %42
%47 = call i32 (double, ...) bitcast (i32 (...)* @f7 to i32 (double, ...)*)(double 0x3D9B2CE300000000)
%48 = icmp ne i32 %47, 0
br i1 %48, label %49, label %58
49: ; preds = %46
%50 = call i32 (double, ...) bitcast (i32 (...)* @f7 to i32 (double, ...)*)(double 0x3D9B2CE340000000)
%51 = icmp ne i32 %50, 0
br i1 %51, label %52, label %58
52: ; preds = %49
%53 = call i32 (double, ...) bitcast (i32 (...)* @f7 to i32 (double, ...)*)(double 0x3D9B2CE360000000)
%54 = icmp ne i32 %53, 0
br i1 %54, label %55, label %58
55: ; preds = %52
%56 = call i32 (double, ...) bitcast (i32 (...)* @f7 to i32 (double, ...)*)(double 0x3D9B2CE380000000)
%57 = icmp ne i32 %56, 0
br i1 %57, label %58, label %59
58: ; preds = %55, %52, %49, %46
unreachable
59: ; preds = %55
%60 = call i32 (double, ...) bitcast (i32 (...)* @f8 to i32 (double, ...)*)(double 0x37DBB16600000000)
%61 = icmp ne i32 %60, 0
br i1 %61, label %62, label %71
62: ; preds = %59
%63 = call i32 (double, ...) bitcast (i32 (...)* @f8 to i32 (double, ...)*)(double 0x37DBB16800000000)
%64 = icmp ne i32 %63, 0
br i1 %64, label %65, label %71
65: ; preds = %62
%66 = call i32 (double, ...) bitcast (i32 (...)* @f8 to i32 (double, ...)*)(double 0x37DBB16A00000000)
%67 = icmp ne i32 %66, 0
br i1 %67, label %71, label %68
68: ; preds = %65
%69 = call i32 (double, ...) bitcast (i32 (...)* @f8 to i32 (double, ...)*)(double 0x37DBB16C00000000)
%70 = icmp ne i32 %69, 0
br i1 %70, label %71, label %72
71: ; preds = %68, %65, %62, %59
unreachable
72: ; preds = %68
%73 = call i32 (double, ...) bitcast (i32 (...)* @f9 to i32 (double, ...)*)(double 0x36D8000000000000)
%74 = icmp ne i32 %73, 0
br i1 %74, label %75, label %84
75: ; preds = %72
%76 = call i32 (double, ...) bitcast (i32 (...)* @f9 to i32 (double, ...)*)(double 0x36DA000000000000)
%77 = icmp ne i32 %76, 0
br i1 %77, label %78, label %84
78: ; preds = %75
%79 = call i32 (double, ...) bitcast (i32 (...)* @f9 to i32 (double, ...)*)(double 0x36DC000000000000)
%80 = icmp ne i32 %79, 0
br i1 %80, label %84, label %81
81: ; preds = %78
%82 = call i32 (double, ...) bitcast (i32 (...)* @f9 to i32 (double, ...)*)(double 0x36DE000000000000)
%83 = icmp ne i32 %82, 0
br i1 %83, label %84, label %85
84: ; preds = %81, %78, %75, %72
unreachable
85: ; preds = %81
%86 = call i32 (double, ...) bitcast (i32 (...)* @f10 to i32 (double, ...)*)(double 0x3FF0020040000000)
%87 = icmp ne i32 %86, 0
br i1 %87, label %88, label %89
88: ; preds = %85
unreachable
89: ; preds = %85
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 (double, ...) bitcast (i32 (...)* @f1 to i32 (double, ...)*)(double 0.000000e+00)
%2 = icmp eq i32 %1, 0
br i1 %2, label %6, label %3
3: ; preds = %0
%4 = tail call i32 (double, ...) bitcast (i32 (...)* @f1 to i32 (double, ...)*)(double 0x36A0000000000000)
%5 = icmp eq i32 %4, 0
br i1 %5, label %7, label %6
6: ; preds = %3, %0
tail call void @abort()
unreachable
7: ; preds = %3
%8 = tail call i32 (double, ...) bitcast (i32 (...)* @f2 to i32 (double, ...)*)(double 0x37D63DBC00000000)
%9 = icmp eq i32 %8, 0
br i1 %9, label %10, label %11
10: ; preds = %7
tail call void @abort()
unreachable
11: ; preds = %7
%12 = tail call i32 (double, ...) bitcast (i32 (...)* @f3 to i32 (double, ...)*)(double 0x37D63DBC00000000)
%13 = icmp eq i32 %12, 0
br i1 %13, label %15, label %14
14: ; preds = %11
tail call void @abort()
unreachable
15: ; preds = %11
%16 = tail call i32 (double, ...) bitcast (i32 (...)* @f4 to i32 (double, ...)*)(double 0x46BC996D00000000)
%17 = icmp eq i32 %16, 0
br i1 %17, label %24, label %18
18: ; preds = %15
%19 = tail call i32 (double, ...) bitcast (i32 (...)* @f4 to i32 (double, ...)*)(double 0x46BC996CE0000000)
%20 = icmp eq i32 %19, 0
br i1 %20, label %24, label %21
21: ; preds = %18
%22 = tail call i32 (double, ...) bitcast (i32 (...)* @f4 to i32 (double, ...)*)(double 0x46BC996CC0000000)
%23 = icmp eq i32 %22, 0
br i1 %23, label %25, label %24
24: ; preds = %21, %18, %15
tail call void @abort()
unreachable
25: ; preds = %21
%26 = tail call i32 (double, ...) bitcast (i32 (...)* @f5 to i32 (double, ...)*)(double 0x46BC996D00000000)
%27 = icmp eq i32 %26, 0
br i1 %27, label %28, label %34
28: ; preds = %25
%29 = tail call i32 (double, ...) bitcast (i32 (...)* @f5 to i32 (double, ...)*)(double 0x46BC996D20000000)
%30 = icmp eq i32 %29, 0
br i1 %30, label %31, label %34
31: ; preds = %28
%32 = tail call i32 (double, ...) bitcast (i32 (...)* @f5 to i32 (double, ...)*)(double 0x46BC996D40000000)
%33 = icmp eq i32 %32, 0
br i1 %33, label %34, label %35
34: ; preds = %31, %28, %25
tail call void @abort()
unreachable
35: ; preds = %31
%36 = tail call i32 (double, ...) bitcast (i32 (...)* @f6 to i32 (double, ...)*)(double 0x3D9B2CE300000000)
%37 = icmp eq i32 %36, 0
br i1 %37, label %44, label %38
38: ; preds = %35
%39 = tail call i32 (double, ...) bitcast (i32 (...)* @f6 to i32 (double, ...)*)(double 0x3D9B2CE320000000)
%40 = icmp eq i32 %39, 0
br i1 %40, label %41, label %44
41: ; preds = %38
%42 = tail call i32 (double, ...) bitcast (i32 (...)* @f6 to i32 (double, ...)*)(double 0x3D9B2CE340000000)
%43 = icmp eq i32 %42, 0
br i1 %43, label %45, label %44
44: ; preds = %41, %38, %35
tail call void @abort()
unreachable
45: ; preds = %41
%46 = tail call i32 (double, ...) bitcast (i32 (...)* @f7 to i32 (double, ...)*)(double 0x3D9B2CE300000000)
%47 = icmp eq i32 %46, 0
br i1 %47, label %57, label %48
48: ; preds = %45
%49 = tail call i32 (double, ...) bitcast (i32 (...)* @f7 to i32 (double, ...)*)(double 0x3D9B2CE340000000)
%50 = icmp eq i32 %49, 0
br i1 %50, label %57, label %51
51: ; preds = %48
%52 = tail call i32 (double, ...) bitcast (i32 (...)* @f7 to i32 (double, ...)*)(double 0x3D9B2CE360000000)
%53 = icmp eq i32 %52, 0
br i1 %53, label %57, label %54
54: ; preds = %51
%55 = tail call i32 (double, ...) bitcast (i32 (...)* @f7 to i32 (double, ...)*)(double 0x3D9B2CE380000000)
%56 = icmp eq i32 %55, 0
br i1 %56, label %58, label %57
57: ; preds = %54, %51, %48, %45
tail call void @abort()
unreachable
58: ; preds = %54
%59 = tail call i32 (double, ...) bitcast (i32 (...)* @f8 to i32 (double, ...)*)(double 0x37DBB16600000000)
%60 = icmp eq i32 %59, 0
br i1 %60, label %70, label %61
61: ; preds = %58
%62 = tail call i32 (double, ...) bitcast (i32 (...)* @f8 to i32 (double, ...)*)(double 0x37DBB16800000000)
%63 = icmp eq i32 %62, 0
br i1 %63, label %70, label %64
64: ; preds = %61
%65 = tail call i32 (double, ...) bitcast (i32 (...)* @f8 to i32 (double, ...)*)(double 0x37DBB16A00000000)
%66 = icmp eq i32 %65, 0
br i1 %66, label %67, label %70
67: ; preds = %64
%68 = tail call i32 (double, ...) bitcast (i32 (...)* @f8 to i32 (double, ...)*)(double 0x37DBB16C00000000)
%69 = icmp eq i32 %68, 0
br i1 %69, label %71, label %70
70: ; preds = %67, %64, %61, %58
tail call void @abort()
unreachable
71: ; preds = %67
%72 = tail call i32 (double, ...) bitcast (i32 (...)* @f9 to i32 (double, ...)*)(double 0x36D8000000000000)
%73 = icmp eq i32 %72, 0
br i1 %73, label %83, label %74
74: ; preds = %71
%75 = tail call i32 (double, ...) bitcast (i32 (...)* @f9 to i32 (double, ...)*)(double 0x36DA000000000000)
%76 = icmp eq i32 %75, 0
br i1 %76, label %83, label %77
77: ; preds = %74
%78 = tail call i32 (double, ...) bitcast (i32 (...)* @f9 to i32 (double, ...)*)(double 0x36DC000000000000)
%79 = icmp eq i32 %78, 0
br i1 %79, label %80, label %83
80: ; preds = %77
%81 = tail call i32 (double, ...) bitcast (i32 (...)* @f9 to i32 (double, ...)*)(double 0x36DE000000000000)
%82 = icmp eq i32 %81, 0
br i1 %82, label %84, label %83
83: ; preds = %80, %77, %74, %71
tail call void @abort()
unreachable
84: ; preds = %80
%85 = tail call i32 (double, ...) bitcast (i32 (...)* @f10 to i32 (double, ...)*)(double 0x3FF0020040000000)
%86 = icmp eq i32 %85, 0
br i1 %86, label %88, label %87
87: ; preds = %84
tail call void @abort()
unreachable
88: ; preds = %84
ret i32 0
}