#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 */

/* Variables and functions */
int make_tu(int, int);
scalar_t__ test__ucmpti2(int, int, int);
int main() {
  if (test__ucmpti2(0, 0, 1))
    return 1;
  if (test__ucmpti2(1, 1, 1))
    return 1;
  if (test__ucmpti2(2, 2, 1))
    return 1;
  if (test__ucmpti2(0x7FFFFFFF, 0x7FFFFFFF, 1))
    return 1;
  if (test__ucmpti2(0x80000000, 0x80000000, 1))
    return 1;
  if (test__ucmpti2(0x80000001, 0x80000001, 1))
    return 1;
  if (test__ucmpti2(0xFFFFFFFF, 0xFFFFFFFF, 1))
    return 1;
  if (test__ucmpti2(0x000000010000000LL, 0x000000010000000LL, 1))
    return 1;
  if (test__ucmpti2(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL, 1))
    return 1;
  if (test__ucmpti2(0x0000000200000002LL, 0x0000000300000001LL, 0))
    return 1;
  if (test__ucmpti2(0x0000000200000002LL, 0x0000000300000002LL, 0))
    return 1;
  if (test__ucmpti2(0x0000000200000002LL, 0x0000000300000003LL, 0))
    return 1;
  if (test__ucmpti2(0x0000000200000002LL, 0x0000000100000001LL, 2))
    return 1;
  if (test__ucmpti2(0x0000000200000002LL, 0x0000000100000002LL, 2))
    return 1;
  if (test__ucmpti2(0x0000000200000002LL, 0x0000000100000003LL, 2))
    return 1;
  if (test__ucmpti2(0x0000000200000002LL, 0x0000000200000001LL, 2))
    return 1;
  if (test__ucmpti2(0x0000000200000002LL, 0x0000000200000002LL, 1))
    return 1;
  if (test__ucmpti2(0x0000000200000002LL, 0x0000000200000003LL, 0))
    return 1;
  if (test__ucmpti2(make_tu(0x0000000000000001uLL, 0x0000000000000000uLL),
                    make_tu(0x0000000000000000uLL, 0xFFFFFFFFFFFFFFFFuLL), 2))
    return 1;
  if (test__ucmpti2(make_tu(0x0000000000000001uLL, 0x0000000000000000uLL),
                    make_tu(0x0000000000000001uLL, 0x0000000000000000uLL), 1))
    return 1;
  if (test__ucmpti2(make_tu(0x0000000000000001uLL, 0x0000000000000000uLL),
                    make_tu(0x0000000000000001uLL, 0x0000000000000001uLL), 0))
    return 1;
  if (test__ucmpti2(make_tu(0x8000000000000000uLL, 0x0000000000000000uLL),
                    make_tu(0x7FFFFFFFFFFFFFFFuLL, 0xFFFFFFFFFFFFFFFFuLL), 2))
    return 1;
  if (test__ucmpti2(make_tu(0x8000000000000000uLL, 0x0000000000000000uLL),
                    make_tu(0x8000000000000000uLL, 0x0000000000000000uLL), 1))
    return 1;
  if (test__ucmpti2(make_tu(0x8000000000000000uLL, 0x0000000000000000uLL),
                    make_tu(0x8000000000000000uLL, 0x0000000000000001uLL), 0))
    return 1;
  if (test__ucmpti2(make_tu(0xFFFFFFFFFFFFFFFFuLL, 0xFFFFFFFFFFFFFFFFuLL),
                    make_tu(0xFFFFFFFFFFFFFFFFuLL, 0xFFFFFFFFFFFFFFFEuLL), 2))
    return 1;
  if (test__ucmpti2(make_tu(0xFFFFFFFFFFFFFFFFuLL, 0xFFFFFFFFFFFFFFFFuLL),
                    make_tu(0xFFFFFFFFFFFFFFFFuLL, 0xFFFFFFFFFFFFFFFFuLL), 1))
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
xor    %esi,%esi
mov    $0x1,%edx
mov    %esi,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     1153 <main+0x33>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x1,%edx
mov    %edx,%edi
mov    %edx,%esi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     1177 <main+0x57>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x2,%esi
mov    $0x1,%edx
mov    %esi,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     119e <main+0x7e>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x7fffffff,%esi
mov    $0x1,%edx
mov    %esi,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     11c5 <main+0xa5>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x80000000,%esi
mov    $0x1,%edx
mov    %esi,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     11ec <main+0xcc>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x80000001,%esi
mov    $0x1,%edx
mov    %esi,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     1213 <main+0xf3>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0xffffffff,%esi
mov    $0x1,%edx
mov    %esi,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     123a <main+0x11a>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x10000000,%esi
mov    $0x1,%edx
mov    %esi,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     1261 <main+0x141>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0xffffffff,%esi
mov    $0x1,%edx
mov    %esi,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     1288 <main+0x168>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x2,%edi
mov    $0x1,%esi
xor    %edx,%edx
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     12af <main+0x18f>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x2,%esi
xor    %edx,%edx
mov    %esi,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     12d3 <main+0x1b3>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x2,%edi
mov    $0x3,%esi
xor    %edx,%edx
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     12fa <main+0x1da>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x2,%edx
mov    $0x1,%esi
mov    %edx,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     1321 <main+0x201>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x2,%edx
mov    %edx,%edi
mov    %edx,%esi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     1345 <main+0x225>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x2,%edx
mov    $0x3,%esi
mov    %edx,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     136c <main+0x24c>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x2,%edx
mov    $0x1,%esi
mov    %edx,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     1393 <main+0x273>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x2,%esi
mov    $0x1,%edx
mov    %esi,%edi
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     13ba <main+0x29a>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x2,%edi
mov    $0x3,%esi
xor    %edx,%edx
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     13e1 <main+0x2c1>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x1,%edi
xor    %esi,%esi
call   1040 <make_tu@plt>
mov    %eax,-0x8(%rbp)
xor    %edi,%edi
mov    $0xffffffff,%esi
call   1040 <make_tu@plt>
mov    -0x8(%rbp),%edi
mov    %eax,%esi
mov    $0x2,%edx
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     1421 <main+0x301>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x1,%edi
xor    %esi,%esi
call   1040 <make_tu@plt>
mov    %eax,-0xc(%rbp)
mov    $0x1,%edi
xor    %esi,%esi
call   1040 <make_tu@plt>
mov    -0xc(%rbp),%edi
mov    %eax,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     1461 <main+0x341>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0x1,%edi
xor    %esi,%esi
call   1040 <make_tu@plt>
mov    %eax,-0x10(%rbp)
mov    $0x1,%esi
mov    %esi,%edi
call   1040 <make_tu@plt>
mov    -0x10(%rbp),%edi
mov    %eax,%esi
xor    %edx,%edx
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     149e <main+0x37e>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
xor    %esi,%esi
mov    %esi,%edi
call   1040 <make_tu@plt>
mov    %eax,-0x14(%rbp)
mov    $0xffffffff,%esi
mov    %esi,%edi
call   1040 <make_tu@plt>
mov    -0x14(%rbp),%edi
mov    %eax,%esi
mov    $0x2,%edx
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     14db <main+0x3bb>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
xor    %esi,%esi
mov    %esi,%edi
call   1040 <make_tu@plt>
mov    %eax,-0x18(%rbp)
xor    %esi,%esi
mov    %esi,%edi
call   1040 <make_tu@plt>
mov    -0x18(%rbp),%edi
mov    %eax,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     1515 <main+0x3f5>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
xor    %esi,%esi
mov    %esi,%edi
call   1040 <make_tu@plt>
mov    %eax,-0x1c(%rbp)
xor    %edi,%edi
mov    $0x1,%esi
call   1040 <make_tu@plt>
mov    -0x1c(%rbp),%edi
mov    %eax,%esi
xor    %edx,%edx
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     154f <main+0x42f>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0xffffffff,%esi
mov    %esi,%edi
call   1040 <make_tu@plt>
mov    %eax,-0x20(%rbp)
mov    $0xffffffff,%edi
mov    $0xfffffffe,%esi
call   1040 <make_tu@plt>
mov    -0x20(%rbp),%edi
mov    %eax,%esi
mov    $0x2,%edx
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     1592 <main+0x472>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
mov    $0xffffffff,%esi
mov    %esi,%edi
call   1040 <make_tu@plt>
mov    %eax,-0x24(%rbp)
mov    $0xffffffff,%esi
mov    %esi,%edi
call   1040 <make_tu@plt>
mov    -0x24(%rbp),%edi
mov    %eax,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
cmp    $0x0,%rax
je     15d2 <main+0x4b2>
movl   $0x1,-0x4(%rbp)
jmp    15d9 <main+0x4b9>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %rbx
push   %rax
mov    $0x1,%ebx
xor    %edi,%edi
xor    %esi,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x1,%edi
mov    $0x1,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x2,%edi
mov    $0x2,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x7fffffff,%edi
mov    $0x7fffffff,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x80000000,%edi
mov    $0x80000000,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x80000001,%edi
mov    $0x80000001,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0xffffffff,%edi
mov    $0xffffffff,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x10000000,%edi
mov    $0x10000000,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0xffffffff,%edi
mov    $0xffffffff,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x2,%edi
mov    $0x1,%esi
xor    %edx,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x2,%edi
mov    $0x2,%esi
xor    %edx,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x2,%edi
mov    $0x3,%esi
xor    %edx,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x2,%edi
mov    $0x1,%esi
mov    $0x2,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x2,%edi
mov    $0x2,%esi
mov    $0x2,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x2,%edi
mov    $0x3,%esi
mov    $0x2,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x2,%edi
mov    $0x1,%esi
mov    $0x2,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x2,%edi
mov    $0x2,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x2,%edi
mov    $0x3,%esi
xor    %edx,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x1,%edi
xor    %esi,%esi
call   1040 <make_tu@plt>
mov    %eax,%ebp
xor    %edi,%edi
mov    $0xffffffff,%esi
call   1040 <make_tu@plt>
mov    %ebp,%edi
mov    %eax,%esi
mov    $0x2,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x1,%edi
xor    %esi,%esi
call   1040 <make_tu@plt>
mov    %eax,%ebp
mov    $0x1,%edi
xor    %esi,%esi
call   1040 <make_tu@plt>
mov    %ebp,%edi
mov    %eax,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0x1,%ebx
mov    $0x1,%edi
xor    %esi,%esi
call   1040 <make_tu@plt>
mov    %eax,%ebp
mov    $0x1,%edi
mov    $0x1,%esi
call   1040 <make_tu@plt>
mov    %ebp,%edi
mov    %eax,%esi
xor    %edx,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
xor    %edi,%edi
xor    %esi,%esi
call   1040 <make_tu@plt>
mov    %eax,%ebp
mov    $0xffffffff,%edi
mov    $0xffffffff,%esi
call   1040 <make_tu@plt>
mov    %ebp,%edi
mov    %eax,%esi
mov    $0x2,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
xor    %edi,%edi
xor    %esi,%esi
call   1040 <make_tu@plt>
mov    %eax,%ebp
xor    %edi,%edi
xor    %esi,%esi
call   1040 <make_tu@plt>
mov    $0x1,%ebx
mov    %ebp,%edi
mov    %eax,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
xor    %edi,%edi
xor    %esi,%esi
call   1040 <make_tu@plt>
mov    %eax,%ebp
mov    $0x1,%ebx
xor    %edi,%edi
mov    $0x1,%esi
call   1040 <make_tu@plt>
mov    %ebp,%edi
mov    %eax,%esi
xor    %edx,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0xffffffff,%edi
mov    $0xffffffff,%esi
call   1040 <make_tu@plt>
mov    %eax,%ebp
mov    $0xffffffff,%edi
mov    $0xfffffffe,%esi
call   1040 <make_tu@plt>
mov    %ebp,%edi
mov    %eax,%esi
mov    $0x2,%edx
call   1030 <test__ucmpti2@plt>
test   %rax,%rax
jne    14f4 <main+0x3d4>
mov    $0xffffffff,%edi
mov    $0xffffffff,%esi
call   1040 <make_tu@plt>
mov    %eax,%ebx
mov    $0xffffffff,%edi
mov    $0xffffffff,%esi
call   1040 <make_tu@plt>
mov    %ebx,%edi
mov    %eax,%esi
mov    $0x1,%edx
call   1030 <test__ucmpti2@plt>
xor    %ebx,%ebx
test   %rax,%rax
setne  %bl
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i64 @test__ucmpti2(i32 0, i32 0, i32 1)
%2 = icmp eq i64 %1, 0
br i1 %2, label %3, label %95
3: ; preds = %0
%4 = tail call i64 @test__ucmpti2(i32 1, i32 1, i32 1)
%5 = icmp eq i64 %4, 0
br i1 %5, label %6, label %95
6: ; preds = %3
%7 = tail call i64 @test__ucmpti2(i32 2, i32 2, i32 1)
%8 = icmp eq i64 %7, 0
br i1 %8, label %9, label %95
9: ; preds = %6
%10 = tail call i64 @test__ucmpti2(i32 2147483647, i32 2147483647, i32 1)
%11 = icmp eq i64 %10, 0
br i1 %11, label %12, label %95
12: ; preds = %9
%13 = tail call i64 @test__ucmpti2(i32 -2147483648, i32 -2147483648, i32 1)
%14 = icmp eq i64 %13, 0
br i1 %14, label %15, label %95
15: ; preds = %12
%16 = tail call i64 @test__ucmpti2(i32 -2147483647, i32 -2147483647, i32 1)
%17 = icmp eq i64 %16, 0
br i1 %17, label %18, label %95
18: ; preds = %15
%19 = tail call i64 @test__ucmpti2(i32 -1, i32 -1, i32 1)
%20 = icmp eq i64 %19, 0
br i1 %20, label %21, label %95
21: ; preds = %18
%22 = tail call i64 @test__ucmpti2(i32 268435456, i32 268435456, i32 1)
%23 = icmp eq i64 %22, 0
br i1 %23, label %24, label %95
24: ; preds = %21
%25 = tail call i64 @test__ucmpti2(i32 -1, i32 -1, i32 1)
%26 = icmp eq i64 %25, 0
br i1 %26, label %27, label %95
27: ; preds = %24
%28 = tail call i64 @test__ucmpti2(i32 2, i32 1, i32 0)
%29 = icmp eq i64 %28, 0
br i1 %29, label %30, label %95
30: ; preds = %27
%31 = tail call i64 @test__ucmpti2(i32 2, i32 2, i32 0)
%32 = icmp eq i64 %31, 0
br i1 %32, label %33, label %95
33: ; preds = %30
%34 = tail call i64 @test__ucmpti2(i32 2, i32 3, i32 0)
%35 = icmp eq i64 %34, 0
br i1 %35, label %36, label %95
36: ; preds = %33
%37 = tail call i64 @test__ucmpti2(i32 2, i32 1, i32 2)
%38 = icmp eq i64 %37, 0
br i1 %38, label %39, label %95
39: ; preds = %36
%40 = tail call i64 @test__ucmpti2(i32 2, i32 2, i32 2)
%41 = icmp eq i64 %40, 0
br i1 %41, label %42, label %95
42: ; preds = %39
%43 = tail call i64 @test__ucmpti2(i32 2, i32 3, i32 2)
%44 = icmp eq i64 %43, 0
br i1 %44, label %45, label %95
45: ; preds = %42
%46 = tail call i64 @test__ucmpti2(i32 2, i32 1, i32 2)
%47 = icmp eq i64 %46, 0
br i1 %47, label %48, label %95
48: ; preds = %45
%49 = tail call i64 @test__ucmpti2(i32 2, i32 2, i32 1)
%50 = icmp eq i64 %49, 0
br i1 %50, label %51, label %95
51: ; preds = %48
%52 = tail call i64 @test__ucmpti2(i32 2, i32 3, i32 0)
%53 = icmp eq i64 %52, 0
br i1 %53, label %54, label %95
54: ; preds = %51
%55 = tail call i32 @make_tu(i32 1, i32 0)
%56 = tail call i32 @make_tu(i32 0, i32 -1)
%57 = tail call i64 @test__ucmpti2(i32 %55, i32 %56, i32 2)
%58 = icmp eq i64 %57, 0
br i1 %58, label %59, label %95
59: ; preds = %54
%60 = tail call i32 @make_tu(i32 1, i32 0)
%61 = tail call i32 @make_tu(i32 1, i32 0)
%62 = tail call i64 @test__ucmpti2(i32 %60, i32 %61, i32 1)
%63 = icmp eq i64 %62, 0
br i1 %63, label %64, label %95
64: ; preds = %59
%65 = tail call i32 @make_tu(i32 1, i32 0)
%66 = tail call i32 @make_tu(i32 1, i32 1)
%67 = tail call i64 @test__ucmpti2(i32 %65, i32 %66, i32 0)
%68 = icmp eq i64 %67, 0
br i1 %68, label %69, label %95
69: ; preds = %64
%70 = tail call i32 @make_tu(i32 0, i32 0)
%71 = tail call i32 @make_tu(i32 -1, i32 -1)
%72 = tail call i64 @test__ucmpti2(i32 %70, i32 %71, i32 2)
%73 = icmp eq i64 %72, 0
br i1 %73, label %74, label %95
74: ; preds = %69
%75 = tail call i32 @make_tu(i32 0, i32 0)
%76 = tail call i32 @make_tu(i32 0, i32 0)
%77 = tail call i64 @test__ucmpti2(i32 %75, i32 %76, i32 1)
%78 = icmp eq i64 %77, 0
br i1 %78, label %79, label %95
79: ; preds = %74
%80 = tail call i32 @make_tu(i32 0, i32 0)
%81 = tail call i32 @make_tu(i32 0, i32 1)
%82 = tail call i64 @test__ucmpti2(i32 %80, i32 %81, i32 0)
%83 = icmp eq i64 %82, 0
br i1 %83, label %84, label %95
84: ; preds = %79
%85 = tail call i32 @make_tu(i32 -1, i32 -1)
%86 = tail call i32 @make_tu(i32 -1, i32 -2)
%87 = tail call i64 @test__ucmpti2(i32 %85, i32 %86, i32 2)
%88 = icmp eq i64 %87, 0
br i1 %88, label %89, label %95
89: ; preds = %84
%90 = tail call i32 @make_tu(i32 -1, i32 -1)
%91 = tail call i32 @make_tu(i32 -1, i32 -1)
%92 = tail call i64 @test__ucmpti2(i32 %90, i32 %91, i32 1)
%93 = icmp ne i64 %92, 0
%94 = zext i1 %93 to i32
br label %95
95: ; preds = %89, %84, %79, %74, %69, %64, %59, %54, %51, %48, %45, %42, %39, %36, %33, %30, %27, %24, %21, %18, %15, %12, %9, %6, %3, %0
%96 = phi i32 [ 1, %0 ], [ 1, %3 ], [ 1, %6 ], [ 1, %9 ], [ 1, %12 ], [ 1, %15 ], [ 1, %18 ], [ 1, %21 ], [ 1, %24 ], [ 1, %27 ], [ 1, %30 ], [ 1, %33 ], [ 1, %36 ], [ 1, %39 ], [ 1, %42 ], [ 1, %45 ], [ 1, %48 ], [ 1, %51 ], [ 1, %54 ], [ 1, %59 ], [ 1, %64 ], [ 1, %69 ], [ 1, %74 ], [ 1, %79 ], [ 1, %84 ], [ %94, %89 ]
ret i32 %96
}