#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 scalar_t__ u;
typedef scalar_t__ i;

/* Variables and functions */
int /*<<< orphan*/ printf(char *, int, unsigned long long, int, long long,
                          long long, unsigned long long);
int _test_MAX_biggerullong_smallerint(unsigned long long u, int i) {
  if ((((((u) - (u)) - (((u) - (u)) + 1)) < ((u) - (u)))
           ? (((((i) - (i)) - (((i) - (i)) + 1)) < ((i) - (i)))
                  ? ((((long long)(u)) > ((long long)(i)))
                         ? ((sizeof(u) < sizeof(long long)) ? ((long long)(u))
                                                            : (u))
                         : ((sizeof(i) < sizeof(long long)) ? ((long long)(i))
                                                            : (i)))
                  : (((u) < 0)
                         ? ((sizeof(i) < sizeof(long long)) ? ((long long)(i))
                                                            : (i))
                         : ((((unsigned long long)(u)) >
                             ((unsigned long long)(i)))
                                ? ((sizeof(u) < sizeof(long long))
                                       ? ((long long)(u))
                                       : (u))
                                : ((sizeof(i) < sizeof(long long))
                                       ? ((long long)(i))
                                       : (i)))))
           : (((((i) - (i)) - (((i) - (i)) + 1)) < ((i) - (i)))
                  ? (((i) < 0)
                         ? ((sizeof(u) < sizeof(long long)) ? ((long long)(u))
                                                            : (u))
                         : ((((unsigned long long)(u)) >
                             ((unsigned long long)(i)))
                                ? ((sizeof(u) < sizeof(long long))
                                       ? ((long long)(u))
                                       : (u))
                                : ((sizeof(i) < sizeof(long long))
                                       ? ((long long)(i))
                                       : (i))))
                  : ((((unsigned long long)(u)) > ((unsigned long long)(i)))
                         ? ((sizeof(u) < sizeof(long long)) ? ((long long)(u))
                                                            : (u))
                         : ((sizeof(i) < sizeof(long long)) ? ((long long)(i))
                                                            : (i))))) != u) {
    printf(
        "failed test %d MAX(%lluULL, %d): %lldLL == %lluULL != u == %lluULL\n",
        637, u, i,
        (((((u) - (u)) - (((u) - (u)) + 1)) < ((u) - (u)))
             ? (((((i) - (i)) - (((i) - (i)) + 1)) < ((i) - (i)))
                    ? ((((long long)(u)) > ((long long)(i)))
                           ? ((sizeof(u) < sizeof(long long)) ? ((long long)(u))
                                                              : (u))
                           : ((sizeof(i) < sizeof(long long)) ? ((long long)(i))
                                                              : (i)))
                    : (((u) < 0)
                           ? ((sizeof(i) < sizeof(long long)) ? ((long long)(i))
                                                              : (i))
                           : ((((unsigned long long)(u)) >
                               ((unsigned long long)(i)))
                                  ? ((sizeof(u) < sizeof(long long))
                                         ? ((long long)(u))
                                         : (u))
                                  : ((sizeof(i) < sizeof(long long))
                                         ? ((long long)(i))
                                         : (i)))))
             : (((((i) - (i)) - (((i) - (i)) + 1)) < ((i) - (i)))
                    ? (((i) < 0)
                           ? ((sizeof(u) < sizeof(long long)) ? ((long long)(u))
                                                              : (u))
                           : ((((unsigned long long)(u)) >
                               ((unsigned long long)(i)))
                                  ? ((sizeof(u) < sizeof(long long))
                                         ? ((long long)(u))
                                         : (u))
                                  : ((sizeof(i) < sizeof(long long))
                                         ? ((long long)(i))
                                         : (i))))
                    : ((((unsigned long long)(u)) > ((unsigned long long)(i)))
                           ? ((sizeof(u) < sizeof(long long)) ? ((long long)(u))
                                                              : (u))
                           : ((sizeof(i) < sizeof(long long)) ? ((long long)(i))
                                                              : (i))))),
        (((((u) - (u)) - (((u) - (u)) + 1)) < ((u) - (u)))
             ? (((((i) - (i)) - (((i) - (i)) + 1)) < ((i) - (i)))
                    ? ((((long long)(u)) > ((long long)(i)))
                           ? ((sizeof(u) < sizeof(long long)) ? ((long long)(u))
                                                              : (u))
                           : ((sizeof(i) < sizeof(long long)) ? ((long long)(i))
                                                              : (i)))
                    : (((u) < 0)
                           ? ((sizeof(i) < sizeof(long long)) ? ((long long)(i))
                                                              : (i))
                           : ((((unsigned long long)(u)) >
                               ((unsigned long long)(i)))
                                  ? ((sizeof(u) < sizeof(long long))
                                         ? ((long long)(u))
                                         : (u))
                                  : ((sizeof(i) < sizeof(long long))
                                         ? ((long long)(i))
                                         : (i)))))
             : (((((i) - (i)) - (((i) - (i)) + 1)) < ((i) - (i)))
                    ? (((i) < 0)
                           ? ((sizeof(u) < sizeof(long long)) ? ((long long)(u))
                                                              : (u))
                           : ((((unsigned long long)(u)) >
                               ((unsigned long long)(i)))
                                  ? ((sizeof(u) < sizeof(long long))
                                         ? ((long long)(u))
                                         : (u))
                                  : ((sizeof(i) < sizeof(long long))
                                         ? ((long long)(i))
                                         : (i))))
                    : ((((unsigned long long)(u)) > ((unsigned long long)(i)))
                           ? ((sizeof(u) < sizeof(long long)) ? ((long long)(u))
                                                              : (u))
                           : ((sizeof(i) < sizeof(long long)) ? ((long long)(i))
                                                              : (i))))),
        u);
  }
  return 0;
}


x86 assembly (clang, -O0):
<_test_MAX_biggerullong_smallerint>:
push   %rbp
mov    %rsp,%rbp
sub    $0x110,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%rax
sub    -0x8(%rbp),%rax
mov    -0x8(%rbp),%rcx
sub    -0x8(%rbp),%rcx
add    $0x1,%rcx
sub    %rcx,%rax
mov    -0x8(%rbp),%rcx
sub    -0x8(%rbp),%rcx
cmp    %rcx,%rax
jae    11f7 <_test_MAX_biggerullong_smallerint+0xe7>
mov    -0xc(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    -0xc(%rbp),%ecx
add    $0x1,%ecx
sub    %ecx,%eax
mov    -0xc(%rbp),%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jge    119c <_test_MAX_biggerullong_smallerint+0x8c>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmp    %rcx,%rax
jle    1187 <_test_MAX_biggerullong_smallerint+0x77>
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    118f <_test_MAX_biggerullong_smallerint+0x7f>
movslq -0xc(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    11ea <_test_MAX_biggerullong_smallerint+0xda>
cmpq   $0x0,-0x8(%rbp)
jae    11b4 <_test_MAX_biggerullong_smallerint+0xa4>
movslq -0xc(%rbp),%rax
mov    %rax,-0x28(%rbp)
jmp    11e2 <_test_MAX_biggerullong_smallerint+0xd2>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmp    %rcx,%rax
jbe    11d2 <_test_MAX_biggerullong_smallerint+0xc2>
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    11da <_test_MAX_biggerullong_smallerint+0xca>
movslq -0xc(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    129e <_test_MAX_biggerullong_smallerint+0x18e>
mov    -0xc(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    -0xc(%rbp),%ecx
add    $0x1,%ecx
sub    %ecx,%eax
mov    -0xc(%rbp),%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jge    1268 <_test_MAX_biggerullong_smallerint+0x158>
cmpl   $0x0,-0xc(%rbp)
jge    122d <_test_MAX_biggerullong_smallerint+0x11d>
mov    -0x8(%rbp),%rax
mov    %rax,-0x40(%rbp)
jmp    125b <_test_MAX_biggerullong_smallerint+0x14b>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmp    %rcx,%rax
jbe    124b <_test_MAX_biggerullong_smallerint+0x13b>
mov    -0x8(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    1253 <_test_MAX_biggerullong_smallerint+0x143>
movslq -0xc(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    %rax,-0x50(%rbp)
jmp    1296 <_test_MAX_biggerullong_smallerint+0x186>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmp    %rcx,%rax
jbe    1286 <_test_MAX_biggerullong_smallerint+0x176>
mov    -0x8(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    128e <_test_MAX_biggerullong_smallerint+0x17e>
movslq -0xc(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x8(%rbp),%rax
je     166f <_test_MAX_biggerullong_smallerint+0x55f>
mov    -0x8(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x8(%rbp),%rax
sub    -0x8(%rbp),%rax
mov    -0x8(%rbp),%rcx
sub    -0x8(%rbp),%rcx
add    $0x1,%rcx
sub    %rcx,%rax
mov    -0x8(%rbp),%rcx
sub    -0x8(%rbp),%rcx
cmp    %rcx,%rax
jae    139b <_test_MAX_biggerullong_smallerint+0x28b>
mov    -0xc(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    -0xc(%rbp),%ecx
add    $0x1,%ecx
sub    %ecx,%eax
mov    -0xc(%rbp),%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jge    1334 <_test_MAX_biggerullong_smallerint+0x224>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmp    %rcx,%rax
jle    131f <_test_MAX_biggerullong_smallerint+0x20f>
mov    -0x8(%rbp),%rax
mov    %rax,-0x70(%rbp)
jmp    1327 <_test_MAX_biggerullong_smallerint+0x217>
movslq -0xc(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rax
mov    %rax,-0x78(%rbp)
jmp    138b <_test_MAX_biggerullong_smallerint+0x27b>
cmpq   $0x0,-0x8(%rbp)
jae    134c <_test_MAX_biggerullong_smallerint+0x23c>
movslq -0xc(%rbp),%rax
mov    %rax,-0x80(%rbp)
jmp    1383 <_test_MAX_biggerullong_smallerint+0x273>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmp    %rcx,%rax
jbe    136d <_test_MAX_biggerullong_smallerint+0x25d>
mov    -0x8(%rbp),%rax
mov    %rax,-0x88(%rbp)
jmp    1378 <_test_MAX_biggerullong_smallerint+0x268>
movslq -0xc(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    -0x88(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    -0x80(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
mov    %rax,-0x90(%rbp)
jmp    1469 <_test_MAX_biggerullong_smallerint+0x359>
mov    -0xc(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    -0xc(%rbp),%ecx
add    $0x1,%ecx
sub    %ecx,%eax
mov    -0xc(%rbp),%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jge    1421 <_test_MAX_biggerullong_smallerint+0x311>
cmpl   $0x0,-0xc(%rbp)
jge    13d4 <_test_MAX_biggerullong_smallerint+0x2c4>
mov    -0x8(%rbp),%rax
mov    %rax,-0x98(%rbp)
jmp    140e <_test_MAX_biggerullong_smallerint+0x2fe>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmp    %rcx,%rax
jbe    13f5 <_test_MAX_biggerullong_smallerint+0x2e5>
mov    -0x8(%rbp),%rax
mov    %rax,-0xa0(%rbp)
jmp    1400 <_test_MAX_biggerullong_smallerint+0x2f0>
movslq -0xc(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0xa0(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rax
mov    %rax,-0xa8(%rbp)
jmp    145b <_test_MAX_biggerullong_smallerint+0x34b>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmp    %rcx,%rax
jbe    1442 <_test_MAX_biggerullong_smallerint+0x332>
mov    -0x8(%rbp),%rax
mov    %rax,-0xb0(%rbp)
jmp    144d <_test_MAX_biggerullong_smallerint+0x33d>
movslq -0xc(%rbp),%rax
mov    %rax,-0xb0(%rbp)
mov    -0xb0(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x90(%rbp),%rax
mov    %rax,-0xb8(%rbp)
mov    -0x8(%rbp),%rax
sub    -0x8(%rbp),%rax
mov    -0x8(%rbp),%rcx
sub    -0x8(%rbp),%rcx
add    $0x1,%rcx
sub    %rcx,%rax
mov    -0x8(%rbp),%rcx
sub    -0x8(%rbp),%rcx
cmp    %rcx,%rax
jae    1573 <_test_MAX_biggerullong_smallerint+0x463>
mov    -0xc(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    -0xc(%rbp),%ecx
add    $0x1,%ecx
sub    %ecx,%eax
mov    -0xc(%rbp),%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jge    14fd <_test_MAX_biggerullong_smallerint+0x3ed>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmp    %rcx,%rax
jle    14df <_test_MAX_biggerullong_smallerint+0x3cf>
mov    -0x8(%rbp),%rax
mov    %rax,-0xc0(%rbp)
jmp    14ea <_test_MAX_biggerullong_smallerint+0x3da>
movslq -0xc(%rbp),%rax
mov    %rax,-0xc0(%rbp)
mov    -0xc0(%rbp),%rax
mov    %rax,-0xc8(%rbp)
jmp    1560 <_test_MAX_biggerullong_smallerint+0x450>
cmpq   $0x0,-0x8(%rbp)
jae    1518 <_test_MAX_biggerullong_smallerint+0x408>
movslq -0xc(%rbp),%rax
mov    %rax,-0xd0(%rbp)
jmp    1552 <_test_MAX_biggerullong_smallerint+0x442>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmp    %rcx,%rax
jbe    1539 <_test_MAX_biggerullong_smallerint+0x429>
mov    -0x8(%rbp),%rax
mov    %rax,-0xd8(%rbp)
jmp    1544 <_test_MAX_biggerullong_smallerint+0x434>
movslq -0xc(%rbp),%rax
mov    %rax,-0xd8(%rbp)
mov    -0xd8(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0xd0(%rbp),%rax
mov    %rax,-0xc8(%rbp)
mov    -0xc8(%rbp),%rax
mov    %rax,-0xe0(%rbp)
jmp    1641 <_test_MAX_biggerullong_smallerint+0x531>
mov    -0xc(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    -0xc(%rbp),%ecx
add    $0x1,%ecx
sub    %ecx,%eax
mov    -0xc(%rbp),%ecx
sub    -0xc(%rbp),%ecx
cmp    %ecx,%eax
jge    15f9 <_test_MAX_biggerullong_smallerint+0x4e9>
cmpl   $0x0,-0xc(%rbp)
jge    15ac <_test_MAX_biggerullong_smallerint+0x49c>
mov    -0x8(%rbp),%rax
mov    %rax,-0xe8(%rbp)
jmp    15e6 <_test_MAX_biggerullong_smallerint+0x4d6>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmp    %rcx,%rax
jbe    15cd <_test_MAX_biggerullong_smallerint+0x4bd>
mov    -0x8(%rbp),%rax
mov    %rax,-0xf0(%rbp)
jmp    15d8 <_test_MAX_biggerullong_smallerint+0x4c8>
movslq -0xc(%rbp),%rax
mov    %rax,-0xf0(%rbp)
mov    -0xf0(%rbp),%rax
mov    %rax,-0xe8(%rbp)
mov    -0xe8(%rbp),%rax
mov    %rax,-0xf8(%rbp)
jmp    1633 <_test_MAX_biggerullong_smallerint+0x523>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmp    %rcx,%rax
jbe    161a <_test_MAX_biggerullong_smallerint+0x50a>
mov    -0x8(%rbp),%rax
mov    %rax,-0x100(%rbp)
jmp    1625 <_test_MAX_biggerullong_smallerint+0x515>
movslq -0xc(%rbp),%rax
mov    %rax,-0x100(%rbp)
mov    -0x100(%rbp),%rax
mov    %rax,-0xf8(%rbp)
mov    -0xf8(%rbp),%rax
mov    %rax,-0xe0(%rbp)
mov    -0xb8(%rbp),%r8
mov    -0x5c(%rbp),%ecx
mov    -0x68(%rbp),%rdx
mov    -0xe0(%rbp),%r9
mov    -0x8(%rbp),%rax
lea    0x99f(%rip),%rdi
mov    $0x27d,%esi
mov    %rax,(%rsp)
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x110,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<_test_MAX_biggerullong_smallerint>:
movslq %esi,%rax
cmp    %rdi,%rax
mov    %rax,%r8
cmovb  %rdi,%r8
test   %eax,%eax
cmovs  %rdi,%r8
cmp    %rdi,%r8
je     114a <_test_MAX_biggerullong_smallerint+0x3a>
push   %rax
mov    %esi,%ecx
mov    %rdi,%rdx
mov    %rdi,(%rsp)
lea    0xec7(%rip),%rdi
mov    $0x27d,%esi
mov    %r8,%r9
call   1030 <printf@plt>
add    $0x8,%rsp
xor    %eax,%eax
ret

LLVM IR (-O0):
@.str = [68 x i8] c"failed test %d MAX(%lluULL, %d): %lldLL == %lluULL != u == %lluULL\0A\00"
define i32 @_test_MAX_biggerullong_smallerint(i64 %0, i32 %1) {
%3 = alloca i64
%4 = alloca i32
store i64 %0, i64* %3
store i32 %1, i32* %4
%5 = load i64, i64* %3
%6 = load i64, i64* %3
%7 = sub i64 %5, %6
%8 = load i64, i64* %3
%9 = load i64, i64* %3
%10 = sub i64 %8, %9
%11 = add i64 %10, 1
%12 = sub i64 %7, %11
%13 = load i64, i64* %3
%14 = load i64, i64* %3
%15 = sub i64 %13, %14
%16 = icmp ult i64 %12, %15
br i1 %16, label %17, label %64
17: ; preds = %2
%18 = load i32, i32* %4
%19 = load i32, i32* %4
%20 = sub nsw i32 %18, %19
%21 = load i32, i32* %4
%22 = load i32, i32* %4
%23 = sub nsw i32 %21, %22
%24 = add nsw i32 %23, 1
%25 = sub nsw i32 %20, %24
%26 = load i32, i32* %4
%27 = load i32, i32* %4
%28 = sub nsw i32 %26, %27
%29 = icmp slt i32 %25, %28
br i1 %29, label %30, label %42
30: ; preds = %17
%31 = load i64, i64* %3
%32 = load i32, i32* %4
%33 = sext i32 %32 to i64
%34 = icmp sgt i64 %31, %33
br i1 %34, label %35, label %37
35: ; preds = %30
%36 = load i64, i64* %3
br label %40
37: ; preds = %30
%38 = load i32, i32* %4
%39 = sext i32 %38 to i64
br label %40
40: ; preds = %37, %35
%41 = phi i64 [ %36, %35 ], [ %39, %37 ]
br label %62
42: ; preds = %17
%43 = load i64, i64* %3
%44 = icmp ult i64 %43, 0
br i1 %44, label %45, label %48
45: ; preds = %42
%46 = load i32, i32* %4
%47 = sext i32 %46 to i64
br label %60
48: ; preds = %42
%49 = load i64, i64* %3
%50 = load i32, i32* %4
%51 = sext i32 %50 to i64
%52 = icmp ugt i64 %49, %51
br i1 %52, label %53, label %55
53: ; preds = %48
%54 = load i64, i64* %3
br label %58
55: ; preds = %48
%56 = load i32, i32* %4
%57 = sext i32 %56 to i64
br label %58
58: ; preds = %55, %53
%59 = phi i64 [ %54, %53 ], [ %57, %55 ]
br label %60
60: ; preds = %58, %45
%61 = phi i64 [ %47, %45 ], [ %59, %58 ]
br label %62
62: ; preds = %60, %40
%63 = phi i64 [ %41, %40 ], [ %61, %60 ]
br label %110
64: ; preds = %2
%65 = load i32, i32* %4
%66 = load i32, i32* %4
%67 = sub nsw i32 %65, %66
%68 = load i32, i32* %4
%69 = load i32, i32* %4
%70 = sub nsw i32 %68, %69
%71 = add nsw i32 %70, 1
%72 = sub nsw i32 %67, %71
%73 = load i32, i32* %4
%74 = load i32, i32* %4
%75 = sub nsw i32 %73, %74
%76 = icmp slt i32 %72, %75
br i1 %76, label %77, label %96
77: ; preds = %64
%78 = load i32, i32* %4
%79 = icmp slt i32 %78, 0
br i1 %79, label %80, label %82
80: ; preds = %77
%81 = load i64, i64* %3
br label %94
82: ; preds = %77
%83 = load i64, i64* %3
%84 = load i32, i32* %4
%85 = sext i32 %84 to i64
%86 = icmp ugt i64 %83, %85
br i1 %86, label %87, label %89
87: ; preds = %82
%88 = load i64, i64* %3
br label %92
89: ; preds = %82
%90 = load i32, i32* %4
%91 = sext i32 %90 to i64
br label %92
92: ; preds = %89, %87
%93 = phi i64 [ %88, %87 ], [ %91, %89 ]
br label %94
94: ; preds = %92, %80
%95 = phi i64 [ %81, %80 ], [ %93, %92 ]
br label %108
96: ; preds = %64
%97 = load i64, i64* %3
%98 = load i32, i32* %4
%99 = sext i32 %98 to i64
%100 = icmp ugt i64 %97, %99
br i1 %100, label %101, label %103
101: ; preds = %96
%102 = load i64, i64* %3
br label %106
103: ; preds = %96
%104 = load i32, i32* %4
%105 = sext i32 %104 to i64
br label %106
106: ; preds = %103, %101
%107 = phi i64 [ %102, %101 ], [ %105, %103 ]
br label %108
108: ; preds = %106, %94
%109 = phi i64 [ %95, %94 ], [ %107, %106 ]
br label %110
110: ; preds = %108, %62
%111 = phi i64 [ %63, %62 ], [ %109, %108 ]
%112 = load i64, i64* %3
%113 = icmp ne i64 %111, %112
br i1 %113, label %114, label %333
114: ; preds = %110
%115 = load i64, i64* %3
%116 = load i32, i32* %4
%117 = load i64, i64* %3
%118 = load i64, i64* %3
%119 = sub i64 %117, %118
%120 = load i64, i64* %3
%121 = load i64, i64* %3
%122 = sub i64 %120, %121
%123 = add i64 %122, 1
%124 = sub i64 %119, %123
%125 = load i64, i64* %3
%126 = load i64, i64* %3
%127 = sub i64 %125, %126
%128 = icmp ult i64 %124, %127
br i1 %128, label %129, label %176
129: ; preds = %114
%130 = load i32, i32* %4
%131 = load i32, i32* %4
%132 = sub nsw i32 %130, %131
%133 = load i32, i32* %4
%134 = load i32, i32* %4
%135 = sub nsw i32 %133, %134
%136 = add nsw i32 %135, 1
%137 = sub nsw i32 %132, %136
%138 = load i32, i32* %4
%139 = load i32, i32* %4
%140 = sub nsw i32 %138, %139
%141 = icmp slt i32 %137, %140
br i1 %141, label %142, label %154
142: ; preds = %129
%143 = load i64, i64* %3
%144 = load i32, i32* %4
%145 = sext i32 %144 to i64
%146 = icmp sgt i64 %143, %145
br i1 %146, label %147, label %149
147: ; preds = %142
%148 = load i64, i64* %3
br label %152
149: ; preds = %142
%150 = load i32, i32* %4
%151 = sext i32 %150 to i64
br label %152
152: ; preds = %149, %147
%153 = phi i64 [ %148, %147 ], [ %151, %149 ]
br label %174
154: ; preds = %129
%155 = load i64, i64* %3
%156 = icmp ult i64 %155, 0
br i1 %156, label %157, label %160
157: ; preds = %154
%158 = load i32, i32* %4
%159 = sext i32 %158 to i64
br label %172
160: ; preds = %154
%161 = load i64, i64* %3
%162 = load i32, i32* %4
%163 = sext i32 %162 to i64
%164 = icmp ugt i64 %161, %163
br i1 %164, label %165, label %167
165: ; preds = %160
%166 = load i64, i64* %3
br label %170
167: ; preds = %160
%168 = load i32, i32* %4
%169 = sext i32 %168 to i64
br label %170
170: ; preds = %167, %165
%171 = phi i64 [ %166, %165 ], [ %169, %167 ]
br label %172
172: ; preds = %170, %157
%173 = phi i64 [ %159, %157 ], [ %171, %170 ]
br label %174
174: ; preds = %172, %152
%175 = phi i64 [ %153, %152 ], [ %173, %172 ]
br label %222
176: ; preds = %114
%177 = load i32, i32* %4
%178 = load i32, i32* %4
%179 = sub nsw i32 %177, %178
%180 = load i32, i32* %4
%181 = load i32, i32* %4
%182 = sub nsw i32 %180, %181
%183 = add nsw i32 %182, 1
%184 = sub nsw i32 %179, %183
%185 = load i32, i32* %4
%186 = load i32, i32* %4
%187 = sub nsw i32 %185, %186
%188 = icmp slt i32 %184, %187
br i1 %188, label %189, label %208
189: ; preds = %176
%190 = load i32, i32* %4
%191 = icmp slt i32 %190, 0
br i1 %191, label %192, label %194
192: ; preds = %189
%193 = load i64, i64* %3
br label %206
194: ; preds = %189
%195 = load i64, i64* %3
%196 = load i32, i32* %4
%197 = sext i32 %196 to i64
%198 = icmp ugt i64 %195, %197
br i1 %198, label %199, label %201
199: ; preds = %194
%200 = load i64, i64* %3
br label %204
201: ; preds = %194
%202 = load i32, i32* %4
%203 = sext i32 %202 to i64
br label %204
204: ; preds = %201, %199
%205 = phi i64 [ %200, %199 ], [ %203, %201 ]
br label %206
206: ; preds = %204, %192
%207 = phi i64 [ %193, %192 ], [ %205, %204 ]
br label %220
208: ; preds = %176
%209 = load i64, i64* %3
%210 = load i32, i32* %4
%211 = sext i32 %210 to i64
%212 = icmp ugt i64 %209, %211
br i1 %212, label %213, label %215
213: ; preds = %208
%214 = load i64, i64* %3
br label %218
215: ; preds = %208
%216 = load i32, i32* %4
%217 = sext i32 %216 to i64
br label %218
218: ; preds = %215, %213
%219 = phi i64 [ %214, %213 ], [ %217, %215 ]
br label %220
220: ; preds = %218, %206
%221 = phi i64 [ %207, %206 ], [ %219, %218 ]
br label %222
222: ; preds = %220, %174
%223 = phi i64 [ %175, %174 ], [ %221, %220 ]
%224 = load i64, i64* %3
%225 = load i64, i64* %3
%226 = sub i64 %224, %225
%227 = load i64, i64* %3
%228 = load i64, i64* %3
%229 = sub i64 %227, %228
%230 = add i64 %229, 1
%231 = sub i64 %226, %230
%232 = load i64, i64* %3
%233 = load i64, i64* %3
%234 = sub i64 %232, %233
%235 = icmp ult i64 %231, %234
br i1 %235, label %236, label %283
236: ; preds = %222
%237 = load i32, i32* %4
%238 = load i32, i32* %4
%239 = sub nsw i32 %237, %238
%240 = load i32, i32* %4
%241 = load i32, i32* %4
%242 = sub nsw i32 %240, %241
%243 = add nsw i32 %242, 1
%244 = sub nsw i32 %239, %243
%245 = load i32, i32* %4
%246 = load i32, i32* %4
%247 = sub nsw i32 %245, %246
%248 = icmp slt i32 %244, %247
br i1 %248, label %249, label %261
249: ; preds = %236
%250 = load i64, i64* %3
%251 = load i32, i32* %4
%252 = sext i32 %251 to i64
%253 = icmp sgt i64 %250, %252
br i1 %253, label %254, label %256
254: ; preds = %249
%255 = load i64, i64* %3
br label %259
256: ; preds = %249
%257 = load i32, i32* %4
%258 = sext i32 %257 to i64
br label %259
259: ; preds = %256, %254
%260 = phi i64 [ %255, %254 ], [ %258, %256 ]
br label %281
261: ; preds = %236
%262 = load i64, i64* %3
%263 = icmp ult i64 %262, 0
br i1 %263, label %264, label %267
264: ; preds = %261
%265 = load i32, i32* %4
%266 = sext i32 %265 to i64
br label %279
267: ; preds = %261
%268 = load i64, i64* %3
%269 = load i32, i32* %4
%270 = sext i32 %269 to i64
%271 = icmp ugt i64 %268, %270
br i1 %271, label %272, label %274
272: ; preds = %267
%273 = load i64, i64* %3
br label %277
274: ; preds = %267
%275 = load i32, i32* %4
%276 = sext i32 %275 to i64
br label %277
277: ; preds = %274, %272
%278 = phi i64 [ %273, %272 ], [ %276, %274 ]
br label %279
279: ; preds = %277, %264
%280 = phi i64 [ %266, %264 ], [ %278, %277 ]
br label %281
281: ; preds = %279, %259
%282 = phi i64 [ %260, %259 ], [ %280, %279 ]
br label %329
283: ; preds = %222
%284 = load i32, i32* %4
%285 = load i32, i32* %4
%286 = sub nsw i32 %284, %285
%287 = load i32, i32* %4
%288 = load i32, i32* %4
%289 = sub nsw i32 %287, %288
%290 = add nsw i32 %289, 1
%291 = sub nsw i32 %286, %290
%292 = load i32, i32* %4
%293 = load i32, i32* %4
%294 = sub nsw i32 %292, %293
%295 = icmp slt i32 %291, %294
br i1 %295, label %296, label %315
296: ; preds = %283
%297 = load i32, i32* %4
%298 = icmp slt i32 %297, 0
br i1 %298, label %299, label %301
299: ; preds = %296
%300 = load i64, i64* %3
br label %313
301: ; preds = %296
%302 = load i64, i64* %3
%303 = load i32, i32* %4
%304 = sext i32 %303 to i64
%305 = icmp ugt i64 %302, %304
br i1 %305, label %306, label %308
306: ; preds = %301
%307 = load i64, i64* %3
br label %311
308: ; preds = %301
%309 = load i32, i32* %4
%310 = sext i32 %309 to i64
br label %311
311: ; preds = %308, %306
%312 = phi i64 [ %307, %306 ], [ %310, %308 ]
br label %313
313: ; preds = %311, %299
%314 = phi i64 [ %300, %299 ], [ %312, %311 ]
br label %327
315: ; preds = %283
%316 = load i64, i64* %3
%317 = load i32, i32* %4
%318 = sext i32 %317 to i64
%319 = icmp ugt i64 %316, %318
br i1 %319, label %320, label %322
320: ; preds = %315
%321 = load i64, i64* %3
br label %325
322: ; preds = %315
%323 = load i32, i32* %4
%324 = sext i32 %323 to i64
br label %325
325: ; preds = %322, %320
%326 = phi i64 [ %321, %320 ], [ %324, %322 ]
br label %327
327: ; preds = %325, %313
%328 = phi i64 [ %314, %313 ], [ %326, %325 ]
br label %329
329: ; preds = %327, %281
%330 = phi i64 [ %282, %281 ], [ %328, %327 ]
%331 = load i64, i64* %3
%332 = call i32 @printf(i8* getelementptr inbounds ([68 x i8], [68 x i8]* @.str, i64 0, i64 0), i32 637, i64 %115, i32 %116, i64 %223, i64 %330, i64 %331)
br label %333
333: ; preds = %329, %110
ret i32 0
}

LLVM IR (-O2):
@.str = [68 x i8] c"failed test %d MAX(%lluULL, %d): %lldLL == %lluULL != u == %lluULL\0A\00"
define i32 @_test_MAX_biggerullong_smallerint(i64 %0, i32 %1) {
%3 = icmp slt i32 %1, 0
%4 = sext i32 %1 to i64
%5 = icmp ult i64 %4, %0
%6 = or i1 %3, %5
%7 = select i1 %6, i64 %0, i64 %4
%8 = icmp eq i64 %7, %0
br i1 %8, label %11, label %9
9: ; preds = %2
%10 = tail call i32 @printf(i8* getelementptr inbounds ([68 x i8], [68 x i8]* @.str, i64 0, i64 0), i32 637, i64 %0, i32 %1, i64 %7, i64 %7, i64 %0)
br label %11
11: ; preds = %9, %2
ret i32 0
}