int main_without__main() {
  int a = foo(), b = foo();
  unsigned int au = foo(), bu = foo();
  float af = dfoo(), bf = dfoo();
  double ad = dfoo(), bd = dfoo();
  discard(a * b);
  discard(a / b);
  discard(a % b);
  discard(au / bu);
  discard(au % bu);
  discard(a >> b);
  discard(a << b);
  discard(au >> bu);
  discard(au << bu);
  ddiscard(ad + bd);
  ddiscard(ad - bd);
  ddiscard(ad * bd);
  ddiscard(ad / bd);
  ddiscard(-ad);
  ddiscard(af + bf);
  ddiscard(af - bf);
  ddiscard(af * bf);
  ddiscard(af / bf);
  ddiscard(-af);
  discard((int)ad);
  discard((int)af);
  ddiscard((double)a);
  ddiscard((float)a);
  ddiscard((float)ad);
  discard(ad == bd);
  discard(ad < bd);
  discard(ad > bd);
  discard(ad != bd);
  discard(ad <= bd);
  discard(ad >= bd);
  discard(af == bf);
  discard(af < bf);
  discard(af > bf);
  discard(af != bf);
  discard(af <= bf);
  discard(af >= bf);
  return 0;
}


x86 assembly (clang, -O0):
<main_without__main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    $0x0,%al
call   1040 <foo@plt>
mov    %eax,-0x4(%rbp)
mov    $0x0,%al
call   1040 <foo@plt>
mov    %eax,-0x8(%rbp)
mov    $0x0,%al
call   1040 <foo@plt>
mov    %eax,-0xc(%rbp)
mov    $0x0,%al
call   1040 <foo@plt>
mov    %eax,-0x10(%rbp)
mov    $0x0,%al
call   1060 <dfoo@plt>
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x14(%rbp)
mov    $0x0,%al
call   1060 <dfoo@plt>
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x18(%rbp)
mov    $0x0,%al
call   1060 <dfoo@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    $0x0,%al
call   1060 <dfoo@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x4(%rbp),%edi
imul   -0x8(%rbp),%edi
mov    $0x0,%al
call   1050 <discard@plt>
mov    -0x4(%rbp),%eax
cltd
idivl  -0x8(%rbp)
mov    %eax,%edi
mov    $0x0,%al
call   1050 <discard@plt>
mov    -0x4(%rbp),%eax
cltd
idivl  -0x8(%rbp)
mov    %edx,%edi
mov    $0x0,%al
call   1050 <discard@plt>
mov    -0xc(%rbp),%eax
xor    %edx,%edx
divl   -0x10(%rbp)
mov    %eax,%edi
mov    $0x0,%al
call   1050 <discard@plt>
mov    -0xc(%rbp),%eax
xor    %edx,%edx
divl   -0x10(%rbp)
mov    %edx,%edi
mov    $0x0,%al
call   1050 <discard@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%ecx
sar    %cl,%edi
mov    $0x0,%al
call   1050 <discard@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%ecx
shl    %cl,%edi
mov    $0x0,%al
call   1050 <discard@plt>
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%ecx
shr    %cl,%edi
mov    $0x0,%al
call   1050 <discard@plt>
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%ecx
shl    %cl,%edi
mov    $0x0,%al
call   1050 <discard@plt>
movsd  -0x20(%rbp),%xmm0
addsd  -0x28(%rbp),%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movsd  -0x20(%rbp),%xmm0
subsd  -0x28(%rbp),%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movsd  -0x20(%rbp),%xmm0
mulsd  -0x28(%rbp),%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movsd  -0x20(%rbp),%xmm0
divsd  -0x28(%rbp),%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movsd  -0x20(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movss  -0x14(%rbp),%xmm0
addss  -0x18(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movss  -0x14(%rbp),%xmm0
subss  -0x18(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movss  -0x14(%rbp),%xmm0
mulss  -0x18(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movss  -0x14(%rbp),%xmm0
divss  -0x18(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movss  -0x14(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
cvttsd2si -0x20(%rbp),%edi
mov    $0x0,%al
call   1050 <discard@plt>
cvttss2si -0x14(%rbp),%edi
mov    $0x0,%al
call   1050 <discard@plt>
cvtsi2sdl -0x4(%rbp),%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
cvtsi2ssl -0x4(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movsd  -0x20(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movsd  -0x20(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <discard@plt>
movsd  -0x20(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm0
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <discard@plt>
movsd  -0x20(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <discard@plt>
movsd  -0x20(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
setne  %al
setp   %cl
or     %cl,%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <discard@plt>
movsd  -0x20(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm0
ucomisd %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <discard@plt>
movsd  -0x20(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <discard@plt>
movss  -0x14(%rbp),%xmm0
ucomiss -0x18(%rbp),%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <discard@plt>
movss  -0x14(%rbp),%xmm1
movss  -0x18(%rbp),%xmm0
ucomiss %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <discard@plt>
movss  -0x14(%rbp),%xmm0
ucomiss -0x18(%rbp),%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <discard@plt>
movss  -0x14(%rbp),%xmm0
ucomiss -0x18(%rbp),%xmm0
setne  %al
setp   %cl
or     %cl,%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <discard@plt>
movss  -0x14(%rbp),%xmm1
movss  -0x18(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <discard@plt>
movss  -0x14(%rbp),%xmm0
ucomiss -0x18(%rbp),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <discard@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main_without__main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
xor    %eax,%eax
call   1040 <foo@plt>
mov    %eax,%r15d
xor    %eax,%eax
call   1040 <foo@plt>
mov    %eax,%r13d
xor    %eax,%eax
call   1040 <foo@plt>
mov    %eax,%ebp
xor    %eax,%eax
call   1040 <foo@plt>
mov    %eax,%r12d
xor    %eax,%eax
call   1060 <dfoo@plt>
cvtsi2ss %eax,%xmm0
movaps %xmm0,0x10(%rsp)
xor    %eax,%eax
call   1060 <dfoo@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0x4(%rsp)
xor    %eax,%eax
call   1060 <dfoo@plt>
mov    %eax,%r14d
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movapd %xmm0,0x20(%rsp)
xor    %eax,%eax
call   1060 <dfoo@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x8(%rsp)
mov    %r13d,%edi
imul   %r15d,%edi
xor    %eax,%eax
call   1050 <discard@plt>
mov    %r15d,%eax
cltd
idiv   %r13d
mov    %edx,%ebx
mov    %eax,%edi
xor    %eax,%eax
call   1050 <discard@plt>
mov    %ebx,%edi
xor    %eax,%eax
call   1050 <discard@plt>
mov    %ebp,%eax
xor    %edx,%edx
div    %r12d
mov    %edx,%ebx
mov    %eax,%edi
xor    %eax,%eax
call   1050 <discard@plt>
mov    %ebx,%edi
xor    %eax,%eax
call   1050 <discard@plt>
mov    %r15d,%edi
mov    %r13d,%ecx
sar    %cl,%edi
xor    %eax,%eax
call   1050 <discard@plt>
mov    %r15d,%edi
mov    %r13d,%ecx
shl    %cl,%edi
xor    %eax,%eax
call   1050 <discard@plt>
mov    %ebp,%edi
mov    %r12d,%ecx
shr    %cl,%edi
xor    %eax,%eax
call   1050 <discard@plt>
mov    %r12d,%ecx
shl    %cl,%ebp
mov    %ebp,%edi
xor    %eax,%eax
call   1050 <discard@plt>
movapd 0x20(%rsp),%xmm0
addsd  0x8(%rsp),%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movapd 0x20(%rsp),%xmm0
subsd  0x8(%rsp),%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movapd 0x20(%rsp),%xmm0
mulsd  0x8(%rsp),%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movapd 0x20(%rsp),%xmm0
divsd  0x8(%rsp),%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movaps 0xd6b(%rip),%xmm0
xorps  0x20(%rsp),%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movaps 0x10(%rsp),%xmm0
addss  0x4(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movaps 0x10(%rsp),%xmm0
subss  0x4(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movaps 0x10(%rsp),%xmm0
mulss  0x4(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movaps 0x10(%rsp),%xmm0
divss  0x4(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movaps 0xd10(%rip),%xmm0
xorps  0x10(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
mov    %r14d,%edi
xor    %eax,%eax
call   1050 <discard@plt>
cvttss2si 0x10(%rsp),%edi
xor    %eax,%eax
call   1050 <discard@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %r15d,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %r15d,%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %r14d,%xmm0
cvtss2sd %xmm0,%xmm0
mov    $0x1,%al
call   1030 <ddiscard@plt>
movapd 0x20(%rsp),%xmm0
cmpeqsd 0x8(%rsp),%xmm0
movq   %xmm0,%rdi
and    $0x1,%edi
xor    %eax,%eax
call   1050 <discard@plt>
xor    %ebx,%ebx
xor    %r14d,%r14d
movapd 0x20(%rsp),%xmm0
movsd  0x8(%rsp),%xmm1
ucomisd %xmm1,%xmm0
seta   %bl
setae  %r14b
xor    %edi,%edi
xor    %r15d,%r15d
ucomisd %xmm0,%xmm1
seta   %dil
cmpneqsd %xmm1,%xmm0
movq   %xmm0,%rbp
setae  %r15b
xor    %eax,%eax
call   1050 <discard@plt>
mov    %ebx,%edi
xor    %eax,%eax
call   1050 <discard@plt>
and    $0x1,%ebp
mov    %ebp,%edi
xor    %eax,%eax
call   1050 <discard@plt>
mov    %r15d,%edi
xor    %eax,%eax
call   1050 <discard@plt>
mov    %r14d,%edi
xor    %eax,%eax
call   1050 <discard@plt>
movaps 0x10(%rsp),%xmm0
cmpeqss 0x4(%rsp),%xmm0
movd   %xmm0,%edi
and    $0x1,%edi
xor    %eax,%eax
call   1050 <discard@plt>
xor    %ebp,%ebp
xor    %r14d,%r14d
movaps 0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
ucomiss %xmm1,%xmm0
seta   %bpl
setae  %r14b
xor    %edi,%edi
xor    %r15d,%r15d
ucomiss %xmm0,%xmm1
seta   %dil
cmpneqss %xmm1,%xmm0
movd   %xmm0,%ebx
setae  %r15b
xor    %eax,%eax
call   1050 <discard@plt>
mov    %ebp,%edi
xor    %eax,%eax
call   1050 <discard@plt>
and    $0x1,%ebx
mov    %ebx,%edi
xor    %eax,%eax
call   1050 <discard@plt>
mov    %r15d,%edi
xor    %eax,%eax
call   1050 <discard@plt>
mov    %r14d,%edi
xor    %eax,%eax
call   1050 <discard@plt>
xor    %eax,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @main_without__main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca float
%6 = alloca float
%7 = alloca double
%8 = alloca double
%9 = call i32 (...) @foo()
store i32 %9, i32* %1
%10 = call i32 (...) @foo()
store i32 %10, i32* %2
%11 = call i32 (...) @foo()
store i32 %11, i32* %3
%12 = call i32 (...) @foo()
store i32 %12, i32* %4
%13 = call i32 (...) @dfoo()
%14 = sitofp i32 %13 to float
store float %14, float* %5
%15 = call i32 (...) @dfoo()
%16 = sitofp i32 %15 to float
store float %16, float* %6
%17 = call i32 (...) @dfoo()
%18 = sitofp i32 %17 to double
store double %18, double* %7
%19 = call i32 (...) @dfoo()
%20 = sitofp i32 %19 to double
store double %20, double* %8
%21 = load i32, i32* %1
%22 = load i32, i32* %2
%23 = mul nsw i32 %21, %22
%24 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %23)
%25 = load i32, i32* %1
%26 = load i32, i32* %2
%27 = sdiv i32 %25, %26
%28 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %27)
%29 = load i32, i32* %1
%30 = load i32, i32* %2
%31 = srem i32 %29, %30
%32 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %31)
%33 = load i32, i32* %3
%34 = load i32, i32* %4
%35 = udiv i32 %33, %34
%36 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %35)
%37 = load i32, i32* %3
%38 = load i32, i32* %4
%39 = urem i32 %37, %38
%40 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %39)
%41 = load i32, i32* %1
%42 = load i32, i32* %2
%43 = ashr i32 %41, %42
%44 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %43)
%45 = load i32, i32* %1
%46 = load i32, i32* %2
%47 = shl i32 %45, %46
%48 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %47)
%49 = load i32, i32* %3
%50 = load i32, i32* %4
%51 = lshr i32 %49, %50
%52 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %51)
%53 = load i32, i32* %3
%54 = load i32, i32* %4
%55 = shl i32 %53, %54
%56 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %55)
%57 = load double, double* %7
%58 = load double, double* %8
%59 = fadd double %57, %58
%60 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %59)
%61 = load double, double* %7
%62 = load double, double* %8
%63 = fsub double %61, %62
%64 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %63)
%65 = load double, double* %7
%66 = load double, double* %8
%67 = fmul double %65, %66
%68 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %67)
%69 = load double, double* %7
%70 = load double, double* %8
%71 = fdiv double %69, %70
%72 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %71)
%73 = load double, double* %7
%74 = fneg double %73
%75 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %74)
%76 = load float, float* %5
%77 = load float, float* %6
%78 = fadd float %76, %77
%79 = fpext float %78 to double
%80 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %79)
%81 = load float, float* %5
%82 = load float, float* %6
%83 = fsub float %81, %82
%84 = fpext float %83 to double
%85 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %84)
%86 = load float, float* %5
%87 = load float, float* %6
%88 = fmul float %86, %87
%89 = fpext float %88 to double
%90 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %89)
%91 = load float, float* %5
%92 = load float, float* %6
%93 = fdiv float %91, %92
%94 = fpext float %93 to double
%95 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %94)
%96 = load float, float* %5
%97 = fneg float %96
%98 = fpext float %97 to double
%99 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %98)
%100 = load double, double* %7
%101 = fptosi double %100 to i32
%102 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %101)
%103 = load float, float* %5
%104 = fptosi float %103 to i32
%105 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %104)
%106 = load i32, i32* %1
%107 = sitofp i32 %106 to double
%108 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %107)
%109 = load i32, i32* %1
%110 = sitofp i32 %109 to float
%111 = fpext float %110 to double
%112 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %111)
%113 = load double, double* %7
%114 = fptrunc double %113 to float
%115 = fpext float %114 to double
%116 = call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %115)
%117 = load double, double* %7
%118 = load double, double* %8
%119 = fcmp oeq double %117, %118
%120 = zext i1 %119 to i32
%121 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %120)
%122 = load double, double* %7
%123 = load double, double* %8
%124 = fcmp olt double %122, %123
%125 = zext i1 %124 to i32
%126 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %125)
%127 = load double, double* %7
%128 = load double, double* %8
%129 = fcmp ogt double %127, %128
%130 = zext i1 %129 to i32
%131 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %130)
%132 = load double, double* %7
%133 = load double, double* %8
%134 = fcmp une double %132, %133
%135 = zext i1 %134 to i32
%136 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %135)
%137 = load double, double* %7
%138 = load double, double* %8
%139 = fcmp ole double %137, %138
%140 = zext i1 %139 to i32
%141 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %140)
%142 = load double, double* %7
%143 = load double, double* %8
%144 = fcmp oge double %142, %143
%145 = zext i1 %144 to i32
%146 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %145)
%147 = load float, float* %5
%148 = load float, float* %6
%149 = fcmp oeq float %147, %148
%150 = zext i1 %149 to i32
%151 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %150)
%152 = load float, float* %5
%153 = load float, float* %6
%154 = fcmp olt float %152, %153
%155 = zext i1 %154 to i32
%156 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %155)
%157 = load float, float* %5
%158 = load float, float* %6
%159 = fcmp ogt float %157, %158
%160 = zext i1 %159 to i32
%161 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %160)
%162 = load float, float* %5
%163 = load float, float* %6
%164 = fcmp une float %162, %163
%165 = zext i1 %164 to i32
%166 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %165)
%167 = load float, float* %5
%168 = load float, float* %6
%169 = fcmp ole float %167, %168
%170 = zext i1 %169 to i32
%171 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %170)
%172 = load float, float* %5
%173 = load float, float* %6
%174 = fcmp oge float %172, %173
%175 = zext i1 %174 to i32
%176 = call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %175)
ret i32 0
}

LLVM IR (-O2):
define i32 @main_without__main() {
%1 = tail call i32 (...) @foo()
%2 = tail call i32 (...) @foo()
%3 = tail call i32 (...) @foo()
%4 = tail call i32 (...) @foo()
%5 = tail call i32 (...) @dfoo()
%6 = sitofp i32 %5 to float
%7 = tail call i32 (...) @dfoo()
%8 = sitofp i32 %7 to float
%9 = tail call i32 (...) @dfoo()
%10 = sitofp i32 %9 to double
%11 = tail call i32 (...) @dfoo()
%12 = sitofp i32 %11 to double
%13 = mul nsw i32 %2, %1
%14 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %13)
%15 = sdiv i32 %1, %2
%16 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %15)
%17 = srem i32 %1, %2
%18 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %17)
%19 = udiv i32 %3, %4
%20 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %19)
%21 = urem i32 %3, %4
%22 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %21)
%23 = ashr i32 %1, %2
%24 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %23)
%25 = shl i32 %1, %2
%26 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %25)
%27 = lshr i32 %3, %4
%28 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %27)
%29 = shl i32 %3, %4
%30 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %29)
%31 = fadd double %10, %12
%32 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %31)
%33 = fsub double %10, %12
%34 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %33)
%35 = fmul double %10, %12
%36 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %35)
%37 = fdiv double %10, %12
%38 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %37)
%39 = fneg double %10
%40 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %39)
%41 = fadd float %6, %8
%42 = fpext float %41 to double
%43 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %42)
%44 = fsub float %6, %8
%45 = fpext float %44 to double
%46 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %45)
%47 = fmul float %6, %8
%48 = fpext float %47 to double
%49 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %48)
%50 = fdiv float %6, %8
%51 = fpext float %50 to double
%52 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %51)
%53 = fneg float %6
%54 = fpext float %53 to double
%55 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %54)
%56 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %9)
%57 = fptosi float %6 to i32
%58 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %57)
%59 = sitofp i32 %1 to double
%60 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %59)
%61 = sitofp i32 %1 to float
%62 = fpext float %61 to double
%63 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %62)
%64 = sitofp i32 %9 to float
%65 = fpext float %64 to double
%66 = tail call i32 (double, ...) bitcast (i32 (...)* @ddiscard to i32 (double, ...)*)(double %65)
%67 = fcmp oeq double %10, %12
%68 = zext i1 %67 to i32
%69 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %68)
%70 = fcmp olt double %10, %12
%71 = zext i1 %70 to i32
%72 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %71)
%73 = fcmp ogt double %10, %12
%74 = zext i1 %73 to i32
%75 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %74)
%76 = fcmp une double %10, %12
%77 = zext i1 %76 to i32
%78 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %77)
%79 = fcmp ole double %10, %12
%80 = zext i1 %79 to i32
%81 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %80)
%82 = fcmp oge double %10, %12
%83 = zext i1 %82 to i32
%84 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %83)
%85 = fcmp oeq float %6, %8
%86 = zext i1 %85 to i32
%87 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %86)
%88 = fcmp olt float %6, %8
%89 = zext i1 %88 to i32
%90 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %89)
%91 = fcmp ogt float %6, %8
%92 = zext i1 %91 to i32
%93 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %92)
%94 = fcmp une float %6, %8
%95 = zext i1 %94 to i32
%96 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %95)
%97 = fcmp ole float %6, %8
%98 = zext i1 %97 to i32
%99 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %98)
%100 = fcmp oge float %6, %8
%101 = zext i1 %100 to i32
%102 = tail call i32 (i32, ...) bitcast (i32 (...)* @discard to i32 (i32, ...)*)(i32 %101)
ret i32 0
}