int main() {
  int i = 0;
  int j = 123;
  double a = 1.5;
  float b = 2.2;
  double c = a + b;
  double d = b - a;
  double e = b / a;
  double f = a * b;
  double g = j + a;
  double h = j + b;
  if ((3.7 - c) > 0.1) {
    goto Error;
  } else {
    i = 1;
  }
  if ((0.7 - d) > 0.0) {
    goto Error;
  } else {
    i = 2;
  }
  if ((1.47 - e) > 0.1) {
    goto Error;
  } else {
    i = 3;
  }
  if ((3.3 - f) > 0.0) {
    goto Error;
  } else {
    i = 4;
  }
  if ((123.5 - g) > 0.0) {
    goto Error;
  } else {
    i = 5;
  }
  double x = 125.2 - h;
  if (x > 0.0) {
    goto Error;
  } else {
    i = 6;
  }
  return 0;
Error:
  return -1;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
movl   $0x7b,-0xc(%rbp)
movsd  0xeef(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movss  0xf12(%rip),%xmm0
movss  %xmm0,-0x1c(%rbp)
movsd  -0x18(%rbp),%xmm0
movss  -0x1c(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movss  -0x1c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
subsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movss  -0x1c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
divsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x18(%rbp),%xmm0
movss  -0x1c(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
cvtsi2sdl -0xc(%rbp),%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
cvtsi2ssl -0xc(%rbp),%xmm0
addss  -0x1c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  0xe57(%rip),%xmm0
subsd  -0x28(%rbp),%xmm0
movsd  0xe42(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    11cd <main+0xcd>
jmp    12ad <main+0x1ad>
movl   $0x1,-0x8(%rbp)
movsd  0xe3c(%rip),%xmm0
subsd  -0x30(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    11f3 <main+0xf3>
jmp    12ad <main+0x1ad>
movl   $0x2,-0x8(%rbp)
movsd  0xe1e(%rip),%xmm0
subsd  -0x38(%rbp),%xmm0
movsd  0xdf1(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    121e <main+0x11e>
jmp    12ad <main+0x1ad>
movl   $0x3,-0x8(%rbp)
movsd  0xdfb(%rip),%xmm0
subsd  -0x40(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    1244 <main+0x144>
jmp    12ad <main+0x1ad>
movl   $0x4,-0x8(%rbp)
movsd  0xddd(%rip),%xmm0
subsd  -0x48(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    126a <main+0x16a>
jmp    12ad <main+0x1ad>
movl   $0x5,-0x8(%rbp)
movsd  0xdbf(%rip),%xmm0
subsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x58(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    129a <main+0x19a>
jmp    12ad <main+0x1ad>
movl   $0x6,-0x8(%rbp)
movl   $0x0,-0x4(%rbp)
jmp    12b4 <main+0x1b4>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
mov    $0xffffffff,%eax
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca double
%5 = alloca float
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
%12 = alloca double
store i32 0, i32* %1
store i32 0, i32* %2
store i32 123, i32* %3
store double 1.500000e+00, double* %4
store float 0x40019999A0000000, float* %5
%13 = load double, double* %4
%14 = load float, float* %5
%15 = fpext float %14 to double
%16 = fadd double %13, %15
store double %16, double* %6
%17 = load float, float* %5
%18 = fpext float %17 to double
%19 = load double, double* %4
%20 = fsub double %18, %19
store double %20, double* %7
%21 = load float, float* %5
%22 = fpext float %21 to double
%23 = load double, double* %4
%24 = fdiv double %22, %23
store double %24, double* %8
%25 = load double, double* %4
%26 = load float, float* %5
%27 = fpext float %26 to double
%28 = fmul double %25, %27
store double %28, double* %9
%29 = load i32, i32* %3
%30 = sitofp i32 %29 to double
%31 = load double, double* %4
%32 = fadd double %30, %31
store double %32, double* %10
%33 = load i32, i32* %3
%34 = sitofp i32 %33 to float
%35 = load float, float* %5
%36 = fadd float %34, %35
%37 = fpext float %36 to double
store double %37, double* %11
%38 = load double, double* %6
%39 = fsub double 3.700000e+00, %38
%40 = fcmp ogt double %39, 1.000000e-01
br i1 %40, label %41, label %42
41: ; preds = %0
br label %75
42: ; preds = %0
store i32 1, i32* %2
br label %43
43: ; preds = %42
%44 = load double, double* %7
%45 = fsub double 0x3FE6666666666666, %44
%46 = fcmp ogt double %45, 0.000000e+00
br i1 %46, label %47, label %48
47: ; preds = %43
br label %75
48: ; preds = %43
store i32 2, i32* %2
br label %49
49: ; preds = %48
%50 = load double, double* %8
%51 = fsub double 1.470000e+00, %50
%52 = fcmp ogt double %51, 1.000000e-01
br i1 %52, label %53, label %54
53: ; preds = %49
br label %75
54: ; preds = %49
store i32 3, i32* %2
br label %55
55: ; preds = %54
%56 = load double, double* %9
%57 = fsub double 3.300000e+00, %56
%58 = fcmp ogt double %57, 0.000000e+00
br i1 %58, label %59, label %60
59: ; preds = %55
br label %75
60: ; preds = %55
store i32 4, i32* %2
br label %61
61: ; preds = %60
%62 = load double, double* %10
%63 = fsub double 1.235000e+02, %62
%64 = fcmp ogt double %63, 0.000000e+00
br i1 %64, label %65, label %66
65: ; preds = %61
br label %75
66: ; preds = %61
store i32 5, i32* %2
br label %67
67: ; preds = %66
%68 = load double, double* %11
%69 = fsub double 1.252000e+02, %68
store double %69, double* %12
%70 = load double, double* %12
%71 = fcmp ogt double %70, 0.000000e+00
br i1 %71, label %72, label %73
72: ; preds = %67
br label %75
73: ; preds = %67
store i32 6, i32* %2
br label %74
74: ; preds = %73
store i32 0, i32* %1
br label %76
75: ; preds = %72, %65, %59, %53, %47, %41
store i32 -1, i32* %1
br label %76
76: ; preds = %75, %74
%77 = load i32, i32* %1
ret i32 %77
}

LLVM IR (-O2):
define i32 @main() {
ret i32 -1
}