#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int uint64_t;

/* Variables and functions */
int /*<<< orphan*/ cmp(long double, long double);
long double make(int, int, int, int);
void cmps(void) {
  int i, j;
  for (i = 0; i < 2; i++)
    for (j = 0; j < 2; j++)
      cmp(make(i, 0, 0, 0), make(j, 0, 0, 0));
  for (i = 0; i < 2; i++) {
    for (j = 0; j < 64; j++) {
      long double f1 = make(i, 32767, (uint64_t)1 << j, 0);
      long double f2 = make(i, 32767, 0, (uint64_t)1 << j);
      cmp(f1, 0);
      cmp(f2, 0);
      cmp(0, f1);
      cmp(0, f2);
    }
  }
  for (i = 0; i < 6; i++)
    for (j = 0; j < 6; j++)
      cmp(make(i & 1, i >> 1, 0, 0), make(j & 1, j >> 1, 0, 0));
  for (i = 0; i < 2; i++) {
    for (j = 0; j < 2; j++) {
      int a, b;
      for (a = 0; a < 2; a++) {
        for (b = 0; b < 2; b++) {
          cmp(make(i, j, a, b), make(i, j, 0, 0));
          cmp(make(i, j, 0, 0), make(i, j, a, b));
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<cmps>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
movl   $0x0,-0x4(%rbp)
cmpl   $0x2,-0x4(%rbp)
jge    119f <cmps+0x7f>
movl   $0x0,-0x8(%rbp)
cmpl   $0x2,-0x8(%rbp)
jge    118c <cmps+0x6c>
mov    -0x4(%rbp),%edi
xor    %ecx,%ecx
mov    %ecx,%esi
mov    %ecx,%edx
call   1040 <make@plt>
fstpt  -0x44(%rbp)
mov    -0x8(%rbp),%edi
xor    %ecx,%ecx
mov    %ecx,%esi
mov    %ecx,%edx
call   1040 <make@plt>
fldt   -0x44(%rbp)
mov    %rsp,%rax
fxch   %st(1)
fstpt  0x10(%rax)
fstpt  (%rax)
call   1030 <cmp@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1143 <cmps+0x23>
jmp    1191 <cmps+0x71>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1132 <cmps+0x12>
movl   $0x0,-0x4(%rbp)
cmpl   $0x2,-0x4(%rbp)
jge    1273 <cmps+0x153>
movl   $0x0,-0x8(%rbp)
cmpl   $0x40,-0x8(%rbp)
jge    1260 <cmps+0x140>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%cl
mov    $0x1,%edx
mov    %edx,-0x5c(%rbp)
shl    %cl,%edx
mov    $0x7fff,%esi
mov    %esi,-0x58(%rbp)
xor    %ecx,%ecx
mov    %ecx,-0x54(%rbp)
call   1040 <make@plt>
mov    -0x5c(%rbp),%eax
mov    -0x58(%rbp),%esi
mov    -0x54(%rbp),%edx
fstpt  -0x20(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%cl
shl    %cl,%eax
mov    %eax,%ecx
call   1040 <make@plt>
fstpt  -0x30(%rbp)
fldt   -0x20(%rbp)
mov    %rsp,%rax
fldz
fld    %st(0)
fstpt  -0x50(%rbp)
fstpt  0x10(%rax)
fstpt  (%rax)
call   1030 <cmp@plt>
fldt   -0x50(%rbp)
fldt   -0x30(%rbp)
mov    %rsp,%rax
fxch   %st(1)
fstpt  0x10(%rax)
fstpt  (%rax)
call   1030 <cmp@plt>
fldt   -0x50(%rbp)
fldt   -0x20(%rbp)
mov    %rsp,%rax
fstpt  0x10(%rax)
fstpt  (%rax)
call   1030 <cmp@plt>
fldt   -0x30(%rbp)
mov    %rsp,%rax
fstpt  0x10(%rax)
fldz
fstpt  (%rax)
call   1030 <cmp@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    11b7 <cmps+0x97>
jmp    1265 <cmps+0x145>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    11a6 <cmps+0x86>
movl   $0x0,-0x4(%rbp)
cmpl   $0x6,-0x4(%rbp)
jge    12f5 <cmps+0x1d5>
movl   $0x0,-0x8(%rbp)
cmpl   $0x6,-0x8(%rbp)
jge    12e2 <cmps+0x1c2>
mov    -0x4(%rbp),%edi
and    $0x1,%edi
mov    -0x4(%rbp),%esi
sar    $0x1,%esi
xor    %ecx,%ecx
mov    %ecx,%edx
call   1040 <make@plt>
fstpt  -0x68(%rbp)
mov    -0x8(%rbp),%edi
and    $0x1,%edi
mov    -0x8(%rbp),%esi
sar    $0x1,%esi
xor    %ecx,%ecx
mov    %ecx,%edx
call   1040 <make@plt>
fldt   -0x68(%rbp)
mov    %rsp,%rax
fxch   %st(1)
fstpt  0x10(%rax)
fstpt  (%rax)
call   1030 <cmp@plt>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    128b <cmps+0x16b>
jmp    12e7 <cmps+0x1c7>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    127a <cmps+0x15a>
movl   $0x0,-0x4(%rbp)
cmpl   $0x2,-0x4(%rbp)
jge    13ea <cmps+0x2ca>
movl   $0x0,-0x8(%rbp)
cmpl   $0x2,-0x8(%rbp)
jge    13d7 <cmps+0x2b7>
movl   $0x0,-0x34(%rbp)
cmpl   $0x2,-0x34(%rbp)
jge    13c4 <cmps+0x2a4>
movl   $0x0,-0x38(%rbp)
cmpl   $0x2,-0x38(%rbp)
jge    13b1 <cmps+0x291>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x34(%rbp),%edx
mov    -0x38(%rbp),%ecx
call   1040 <make@plt>
fstpt  -0x80(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
xor    %ecx,%ecx
mov    %ecx,%edx
call   1040 <make@plt>
fldt   -0x80(%rbp)
mov    %rsp,%rax
fxch   %st(1)
fstpt  0x10(%rax)
fstpt  (%rax)
call   1030 <cmp@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
xor    %ecx,%ecx
mov    %ecx,%edx
call   1040 <make@plt>
fstpt  -0x74(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x34(%rbp),%edx
mov    -0x38(%rbp),%ecx
call   1040 <make@plt>
fldt   -0x74(%rbp)
mov    %rsp,%rax
fxch   %st(1)
fstpt  0x10(%rax)
fstpt  (%rax)
call   1030 <cmp@plt>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    132f <cmps+0x20f>
jmp    13b6 <cmps+0x296>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    131e <cmps+0x1fe>
jmp    13c9 <cmps+0x2a9>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    130d <cmps+0x1ed>
jmp    13dc <cmps+0x2bc>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12fc <cmps+0x1dc>
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<cmps>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x48,%rsp
xor    %ebx,%ebx
xor    %edi,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
xor    %edi,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
xor    %edi,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    $0x1,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    $0x1,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
xor    %edi,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    $0x1,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    $0x1,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
fldz
fstpt  0x24(%rsp)
cs nopw 0x0(%rax,%rax,1)
mov    $0x1,%ebp
mov    %ebx,%ecx
shl    %cl,%ebp
xor    %edi,%edi
mov    $0x7fff,%esi
mov    %ebp,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x3c(%rsp)
xor    %edi,%edi
mov    $0x7fff,%esi
xor    %edx,%edx
mov    %ebp,%ecx
call   1040 <make@plt>
fstpt  0x30(%rsp)
fldt   0x24(%rsp)
fstpt  0x10(%rsp)
fldt   0x3c(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
fldt   0x24(%rsp)
fstpt  0x10(%rsp)
fldt   0x30(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
fldt   0x3c(%rsp)
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
fldt   0x30(%rsp)
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
add    $0x1,%ebx
cmp    $0x40,%ebx
jne    1200 <cmps+0xe0>
xor    %ebx,%ebx
nop
mov    $0x1,%ebp
mov    %ebx,%ecx
shl    %cl,%ebp
mov    $0x1,%edi
mov    $0x7fff,%esi
mov    %ebp,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x3c(%rsp)
mov    $0x1,%edi
mov    $0x7fff,%esi
xor    %edx,%edx
mov    %ebp,%ecx
call   1040 <make@plt>
fstpt  0x30(%rsp)
fldt   0x24(%rsp)
fstpt  0x10(%rsp)
fldt   0x3c(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
fldt   0x24(%rsp)
fstpt  0x10(%rsp)
fldt   0x30(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
fldt   0x3c(%rsp)
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
fldt   0x30(%rsp)
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
add    $0x1,%ebx
cmp    $0x40,%ebx
jne    1290 <cmps+0x170>
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
mov    %r14d,%ebx
and    $0x1,%ebx
mov    %r14d,%ebp
shr    %ebp
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
xor    %edi,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    $0x1,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
xor    %edi,%edi
mov    $0x1,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    $0x1,%edi
mov    $0x1,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
xor    %edi,%edi
mov    $0x2,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    $0x1,%edi
mov    $0x2,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
add    $0x1,%r14d
cmp    $0x6,%r14d
jne    1330 <cmps+0x210>
xor    %ebx,%ebx
mov    $0x1,%r14b
nopw   0x0(%rax,%rax,1)
mov    $0x1,%r15b
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
mov    $0x1,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
mov    $0x1,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    %ebx,%edi
mov    %ebp,%esi
mov    $0x1,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    %ebx,%edi
mov    %ebp,%esi
mov    $0x1,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    %ebx,%edi
mov    %ebp,%esi
mov    $0x1,%edx
mov    $0x1,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    %ebx,%edi
mov    %ebp,%esi
xor    %edx,%edx
xor    %ecx,%ecx
call   1040 <make@plt>
fstpt  0x24(%rsp)
mov    %ebx,%edi
mov    %ebp,%esi
mov    $0x1,%edx
mov    $0x1,%ecx
call   1040 <make@plt>
fstpt  0x10(%rsp)
fldt   0x24(%rsp)
fstpt  (%rsp)
call   1030 <cmp@plt>
mov    $0x1,%ebp
test   $0x1,%r15b
mov    $0x0,%r15d
jne    1490 <cmps+0x370>
mov    $0x1,%ebx
test   $0x1,%r14b
mov    $0x0,%r14d
jne    1480 <cmps+0x360>
add    $0x48,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @cmps() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca x86_fp80
%4 = alloca x86_fp80
%5 = alloca i32
%6 = alloca i32
store i32 0, i32* %1
br label %7
7: ; preds = %24, %0
%8 = load i32, i32* %1
%9 = icmp slt i32 %8, 2
br i1 %9, label %10, label %27
10: ; preds = %7
store i32 0, i32* %2
br label %11
11: ; preds = %20, %10
%12 = load i32, i32* %2
%13 = icmp slt i32 %12, 2
br i1 %13, label %14, label %23
14: ; preds = %11
%15 = load i32, i32* %1
%16 = call x86_fp80 @make(i32 %15, i32 0, i32 0, i32 0)
%17 = load i32, i32* %2
%18 = call x86_fp80 @make(i32 %17, i32 0, i32 0, i32 0)
%19 = call i32 @cmp(x86_fp80 %16, x86_fp80 %18)
br label %20
20: ; preds = %14
%21 = load i32, i32* %2
%22 = add nsw i32 %21, 1
store i32 %22, i32* %2
br label %11
23: ; preds = %11
br label %24
24: ; preds = %23
%25 = load i32, i32* %1
%26 = add nsw i32 %25, 1
store i32 %26, i32* %1
br label %7
27: ; preds = %7
store i32 0, i32* %1
br label %28
28: ; preds = %56, %27
%29 = load i32, i32* %1
%30 = icmp slt i32 %29, 2
br i1 %30, label %31, label %59
31: ; preds = %28
store i32 0, i32* %2
br label %32
32: ; preds = %52, %31
%33 = load i32, i32* %2
%34 = icmp slt i32 %33, 64
br i1 %34, label %35, label %55
35: ; preds = %32
%36 = load i32, i32* %1
%37 = load i32, i32* %2
%38 = shl i32 1, %37
%39 = call x86_fp80 @make(i32 %36, i32 32767, i32 %38, i32 0)
store x86_fp80 %39, x86_fp80* %3
%40 = load i32, i32* %1
%41 = load i32, i32* %2
%42 = shl i32 1, %41
%43 = call x86_fp80 @make(i32 %40, i32 32767, i32 0, i32 %42)
store x86_fp80 %43, x86_fp80* %4
%44 = load x86_fp80, x86_fp80* %3
%45 = call i32 @cmp(x86_fp80 %44, x86_fp80 0xK00000000000000000000)
%46 = load x86_fp80, x86_fp80* %4
%47 = call i32 @cmp(x86_fp80 %46, x86_fp80 0xK00000000000000000000)
%48 = load x86_fp80, x86_fp80* %3
%49 = call i32 @cmp(x86_fp80 0xK00000000000000000000, x86_fp80 %48)
%50 = load x86_fp80, x86_fp80* %4
%51 = call i32 @cmp(x86_fp80 0xK00000000000000000000, x86_fp80 %50)
br label %52
52: ; preds = %35
%53 = load i32, i32* %2
%54 = add nsw i32 %53, 1
store i32 %54, i32* %2
br label %32
55: ; preds = %32
br label %56
56: ; preds = %55
%57 = load i32, i32* %1
%58 = add nsw i32 %57, 1
store i32 %58, i32* %1
br label %28
59: ; preds = %28
store i32 0, i32* %1
br label %60
60: ; preds = %83, %59
%61 = load i32, i32* %1
%62 = icmp slt i32 %61, 6
br i1 %62, label %63, label %86
63: ; preds = %60
store i32 0, i32* %2
br label %64
64: ; preds = %79, %63
%65 = load i32, i32* %2
%66 = icmp slt i32 %65, 6
br i1 %66, label %67, label %82
67: ; preds = %64
%68 = load i32, i32* %1
%69 = and i32 %68, 1
%70 = load i32, i32* %1
%71 = ashr i32 %70, 1
%72 = call x86_fp80 @make(i32 %69, i32 %71, i32 0, i32 0)
%73 = load i32, i32* %2
%74 = and i32 %73, 1
%75 = load i32, i32* %2
%76 = ashr i32 %75, 1
%77 = call x86_fp80 @make(i32 %74, i32 %76, i32 0, i32 0)
%78 = call i32 @cmp(x86_fp80 %72, x86_fp80 %77)
br label %79
79: ; preds = %67
%80 = load i32, i32* %2
%81 = add nsw i32 %80, 1
store i32 %81, i32* %2
br label %64
82: ; preds = %64
br label %83
83: ; preds = %82
%84 = load i32, i32* %1
%85 = add nsw i32 %84, 1
store i32 %85, i32* %1
br label %60
86: ; preds = %60
store i32 0, i32* %1
br label %87
87: ; preds = %133, %86
%88 = load i32, i32* %1
%89 = icmp slt i32 %88, 2
br i1 %89, label %90, label %136
90: ; preds = %87
store i32 0, i32* %2
br label %91
91: ; preds = %129, %90
%92 = load i32, i32* %2
%93 = icmp slt i32 %92, 2
br i1 %93, label %94, label %132
94: ; preds = %91
store i32 0, i32* %5
br label %95
95: ; preds = %125, %94
%96 = load i32, i32* %5
%97 = icmp slt i32 %96, 2
br i1 %97, label %98, label %128
98: ; preds = %95
store i32 0, i32* %6
br label %99
99: ; preds = %121, %98
%100 = load i32, i32* %6
%101 = icmp slt i32 %100, 2
br i1 %101, label %102, label %124
102: ; preds = %99
%103 = load i32, i32* %1
%104 = load i32, i32* %2
%105 = load i32, i32* %5
%106 = load i32, i32* %6
%107 = call x86_fp80 @make(i32 %103, i32 %104, i32 %105, i32 %106)
%108 = load i32, i32* %1
%109 = load i32, i32* %2
%110 = call x86_fp80 @make(i32 %108, i32 %109, i32 0, i32 0)
%111 = call i32 @cmp(x86_fp80 %107, x86_fp80 %110)
%112 = load i32, i32* %1
%113 = load i32, i32* %2
%114 = call x86_fp80 @make(i32 %112, i32 %113, i32 0, i32 0)
%115 = load i32, i32* %1
%116 = load i32, i32* %2
%117 = load i32, i32* %5
%118 = load i32, i32* %6
%119 = call x86_fp80 @make(i32 %115, i32 %116, i32 %117, i32 %118)
%120 = call i32 @cmp(x86_fp80 %114, x86_fp80 %119)
br label %121
121: ; preds = %102
%122 = load i32, i32* %6
%123 = add nsw i32 %122, 1
store i32 %123, i32* %6
br label %99
124: ; preds = %99
br label %125
125: ; preds = %124
%126 = load i32, i32* %5
%127 = add nsw i32 %126, 1
store i32 %127, i32* %5
br label %95
128: ; preds = %95
br label %129
129: ; preds = %128
%130 = load i32, i32* %2
%131 = add nsw i32 %130, 1
store i32 %131, i32* %2
br label %91
132: ; preds = %91
br label %133
133: ; preds = %132
%134 = load i32, i32* %1
%135 = add nsw i32 %134, 1
store i32 %135, i32* %1
br label %87
136: ; preds = %87
ret void
}

LLVM IR (-O2):
define void @cmps() {
%1 = tail call x86_fp80 @make(i32 0, i32 0, i32 0, i32 0)
%2 = tail call x86_fp80 @make(i32 0, i32 0, i32 0, i32 0)
%3 = tail call i32 @cmp(x86_fp80 %1, x86_fp80 %2)
%4 = tail call x86_fp80 @make(i32 0, i32 0, i32 0, i32 0)
%5 = tail call x86_fp80 @make(i32 1, i32 0, i32 0, i32 0)
%6 = tail call i32 @cmp(x86_fp80 %4, x86_fp80 %5)
%7 = tail call x86_fp80 @make(i32 1, i32 0, i32 0, i32 0)
%8 = tail call x86_fp80 @make(i32 0, i32 0, i32 0, i32 0)
%9 = tail call i32 @cmp(x86_fp80 %7, x86_fp80 %8)
%10 = tail call x86_fp80 @make(i32 1, i32 0, i32 0, i32 0)
%11 = tail call x86_fp80 @make(i32 1, i32 0, i32 0, i32 0)
%12 = tail call i32 @cmp(x86_fp80 %10, x86_fp80 %11)
br label %13
13: ; preds = %0, %13
%14 = phi i32 [ 0, %0 ], [ %22, %13 ]
%15 = shl nuw i32 1, %14
%16 = tail call x86_fp80 @make(i32 0, i32 32767, i32 %15, i32 0)
%17 = tail call x86_fp80 @make(i32 0, i32 32767, i32 0, i32 %15)
%18 = tail call i32 @cmp(x86_fp80 %16, x86_fp80 0xK00000000000000000000)
%19 = tail call i32 @cmp(x86_fp80 %17, x86_fp80 0xK00000000000000000000)
%20 = tail call i32 @cmp(x86_fp80 0xK00000000000000000000, x86_fp80 %16)
%21 = tail call i32 @cmp(x86_fp80 0xK00000000000000000000, x86_fp80 %17)
%22 = add nuw nsw i32 %14, 1
%23 = icmp eq i32 %22, 64
br i1 %23, label %24, label %13
24: ; preds = %13, %24
%25 = phi i32 [ %33, %24 ], [ 0, %13 ]
%26 = shl nuw i32 1, %25
%27 = tail call x86_fp80 @make(i32 1, i32 32767, i32 %26, i32 0)
%28 = tail call x86_fp80 @make(i32 1, i32 32767, i32 0, i32 %26)
%29 = tail call i32 @cmp(x86_fp80 %27, x86_fp80 0xK00000000000000000000)
%30 = tail call i32 @cmp(x86_fp80 %28, x86_fp80 0xK00000000000000000000)
%31 = tail call i32 @cmp(x86_fp80 0xK00000000000000000000, x86_fp80 %27)
%32 = tail call i32 @cmp(x86_fp80 0xK00000000000000000000, x86_fp80 %28)
%33 = add nuw nsw i32 %25, 1
%34 = icmp eq i32 %33, 64
br i1 %34, label %35, label %24
35: ; preds = %24, %35
%36 = phi i32 [ %57, %35 ], [ 0, %24 ]
%37 = and i32 %36, 1
%38 = lshr i32 %36, 1
%39 = tail call x86_fp80 @make(i32 %37, i32 %38, i32 0, i32 0)
%40 = tail call x86_fp80 @make(i32 0, i32 0, i32 0, i32 0)
%41 = tail call i32 @cmp(x86_fp80 %39, x86_fp80 %40)
%42 = tail call x86_fp80 @make(i32 %37, i32 %38, i32 0, i32 0)
%43 = tail call x86_fp80 @make(i32 1, i32 0, i32 0, i32 0)
%44 = tail call i32 @cmp(x86_fp80 %42, x86_fp80 %43)
%45 = tail call x86_fp80 @make(i32 %37, i32 %38, i32 0, i32 0)
%46 = tail call x86_fp80 @make(i32 0, i32 1, i32 0, i32 0)
%47 = tail call i32 @cmp(x86_fp80 %45, x86_fp80 %46)
%48 = tail call x86_fp80 @make(i32 %37, i32 %38, i32 0, i32 0)
%49 = tail call x86_fp80 @make(i32 1, i32 1, i32 0, i32 0)
%50 = tail call i32 @cmp(x86_fp80 %48, x86_fp80 %49)
%51 = tail call x86_fp80 @make(i32 %37, i32 %38, i32 0, i32 0)
%52 = tail call x86_fp80 @make(i32 0, i32 2, i32 0, i32 0)
%53 = tail call i32 @cmp(x86_fp80 %51, x86_fp80 %52)
%54 = tail call x86_fp80 @make(i32 %37, i32 %38, i32 0, i32 0)
%55 = tail call x86_fp80 @make(i32 1, i32 2, i32 0, i32 0)
%56 = tail call i32 @cmp(x86_fp80 %54, x86_fp80 %55)
%57 = add nuw nsw i32 %36, 1
%58 = icmp eq i32 %57, 6
br i1 %58, label %59, label %35
59: ; preds = %35, %89
%60 = phi i1 [ false, %89 ], [ true, %35 ]
%61 = phi i32 [ 1, %89 ], [ 0, %35 ]
br label %62
62: ; preds = %59, %62
%63 = phi i1 [ true, %59 ], [ false, %62 ]
%64 = phi i32 [ 0, %59 ], [ 1, %62 ]
%65 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 0, i32 0)
%66 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 0, i32 0)
%67 = tail call i32 @cmp(x86_fp80 %65, x86_fp80 %66)
%68 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 0, i32 0)
%69 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 0, i32 0)
%70 = tail call i32 @cmp(x86_fp80 %68, x86_fp80 %69)
%71 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 0, i32 1)
%72 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 0, i32 0)
%73 = tail call i32 @cmp(x86_fp80 %71, x86_fp80 %72)
%74 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 0, i32 0)
%75 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 0, i32 1)
%76 = tail call i32 @cmp(x86_fp80 %74, x86_fp80 %75)
%77 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 1, i32 0)
%78 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 0, i32 0)
%79 = tail call i32 @cmp(x86_fp80 %77, x86_fp80 %78)
%80 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 0, i32 0)
%81 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 1, i32 0)
%82 = tail call i32 @cmp(x86_fp80 %80, x86_fp80 %81)
%83 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 1, i32 1)
%84 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 0, i32 0)
%85 = tail call i32 @cmp(x86_fp80 %83, x86_fp80 %84)
%86 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 0, i32 0)
%87 = tail call x86_fp80 @make(i32 %61, i32 %64, i32 1, i32 1)
%88 = tail call i32 @cmp(x86_fp80 %86, x86_fp80 %87)
br i1 %63, label %62, label %89
89: ; preds = %62
br i1 %60, label %59, label %90
90: ; preds = %89
ret void
}