#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 /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ rrpgebranch(unsigned int *, int /*<<< orphan*/, unsigned int,
                               int, int /*<<< orphan*/);
int main(void) {
  unsigned int a = 0x42CE8U;
  unsigned int b;
  unsigned int x;
  unsigned int d;
  unsigned int r;
  unsigned int p;
  unsigned int cc;
  unsigned int ca[256U];
  unsigned int cb[256U];
  a = (a + 15U) | 0x7U;
  b = 0x100000000ULL / a;
  printf("Comp: %05X (%04X), base: %08X\n", a, a >> 3, b);
  ca[0] = a;
  cc = 1U;
  do {
    r = (0x100000000ULL / a);
    x = b;
    x >>= 2;
    a <<= 2;
    p = ((0U - a) * x) & 0xFFFFFFFFU;
    x += (((p >> 16) * (x & 0xFFFFU)) >> 16);
    p = ((0U - a) * x) & 0xFFFFFFFFU;
    x += (((p >> 16) * (x & 0xFFFFU)) >> 16);
    a >>= 2;
    x <<= 2;
    d = r - x;
    if (d > 0xFU) {
      a = (a + 15U) | 0x7U;
      b = 0x100000000ULL / a;
      printf("Comp: %05X (%04X), base: %08X\n", a, a >> 3, b);
      ca[cc] = a;
      cc++;
    }
    a--;
  } while (a >= 0x4000U);
  printf("\n");
  printf("Finished; compares: %u\n", cc);
  printf("\n");
  x = cc;
  while (x) {
    x -= 1U;
    printf("   }else if (a <= 0x%05XU){ /* 0x%04X */\n", ca[x], ca[x] >> 3);
    printf("    x = 0x%05XU;\n", (unsigned)(0x100000000ULL / ca[x]));
  }
  printf("\n");
  ca[cc] = 0U;
  cc++;
  for (x = 0U; x < cc; x++) {
    cb[x] = ca[cc - x - 1U];
  }
  cb[cc] = 0x7FFFFU;
  rrpgebranch(cb, 0, cc, 8, 0);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x820,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x42ce8,-0x8(%rbp)
mov    -0x8(%rbp),%eax
add    $0xf,%eax
or     $0x7,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,%ecx
movabs $0x100000000,%rax
xor    %edx,%edx
div    %rcx
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%esi
mov    -0x8(%rbp),%edx
shr    $0x3,%edx
mov    -0xc(%rbp),%ecx
lea    0xe91(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x8(%rbp),%eax
mov    %eax,-0x420(%rbp)
movl   $0x1,-0x20(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,%ecx
movabs $0x100000000,%rax
xor    %edx,%edx
div    %rcx
mov    %eax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
shr    $0x2,%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%eax
shl    $0x2,%eax
mov    %eax,-0x8(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
imul   -0x10(%rbp),%eax
and    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
shr    $0x10,%eax
mov    -0x10(%rbp),%ecx
and    $0xffff,%ecx
imul   %ecx,%eax
shr    $0x10,%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
imul   -0x10(%rbp),%eax
and    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
shr    $0x10,%eax
mov    -0x10(%rbp),%ecx
and    $0xffff,%ecx
imul   %ecx,%eax
shr    $0x10,%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%eax
shr    $0x2,%eax
mov    %eax,-0x8(%rbp)
mov    -0x10(%rbp),%eax
shl    $0x2,%eax
mov    %eax,-0x10(%rbp)
mov    -0x18(%rbp),%eax
sub    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
cmpl   $0xf,-0x14(%rbp)
jbe    1281 <main+0x161>
mov    -0x8(%rbp),%eax
add    $0xf,%eax
or     $0x7,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,%ecx
movabs $0x100000000,%rax
xor    %edx,%edx
div    %rcx
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%esi
mov    -0x8(%rbp),%edx
shr    $0x3,%edx
mov    -0xc(%rbp),%ecx
lea    0xd9c(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x8(%rbp),%ecx
mov    -0x20(%rbp),%eax
mov    %ecx,-0x420(%rbp,%rax,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x8(%rbp)
cmpl   $0x4000,-0x8(%rbp)
jae    1186 <main+0x66>
lea    0xdc1(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x20(%rbp),%esi
lea    0xd70(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xda2(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x20(%rbp),%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
je     1332 <main+0x212>
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x420(%rbp,%rax,4),%esi
mov    -0x10(%rbp),%eax
mov    -0x420(%rbp,%rax,4),%edx
shr    $0x3,%edx
lea    0xd3c(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x10(%rbp),%eax
mov    -0x420(%rbp,%rax,4),%eax
mov    %eax,%ecx
movabs $0x100000000,%rax
xor    %edx,%edx
div    %rcx
mov    %eax,%esi
lea    0xd3b(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    12ca <main+0x1aa>
lea    0xd26(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x20(%rbp),%eax
movl   $0x0,-0x420(%rbp,%rax,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x20(%rbp),%eax
jae    1394 <main+0x274>
mov    -0x20(%rbp),%eax
sub    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,%eax
mov    -0x420(%rbp,%rax,4),%ecx
mov    -0x10(%rbp),%eax
mov    %ecx,-0x820(%rbp,%rax,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    135e <main+0x23e>
mov    -0x20(%rbp),%eax
movl   $0x7ffff,-0x820(%rbp,%rax,4)
lea    -0x820(%rbp),%rdi
mov    -0x20(%rbp),%edx
xor    %r8d,%r8d
mov    $0x8,%ecx
mov    %r8d,%esi
call   1030 <rrpgebranch@plt>
xor    %eax,%eax
add    $0x820,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x818,%rsp
lea    0xeb8(%rip),%r14
mov    $0x42cf7,%ebx
mov    $0x3d4e,%r13d
mov    %r14,%rdi
mov    $0x42cf7,%esi
mov    $0x859e,%edx
mov    $0x3d4e,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
movl   $0x42cf7,0x10(%rsp)
mov    $0x1,%r15d
movabs $0x100000000,%r12
jmp    119f <main+0x6f>
cs nopw 0x0(%rax,%rax,1)
add    $0xffffffff,%ebx
cmp    $0x3fff,%ebx
jbe    1225 <main+0xf5>
mov    %ebx,%ecx
mov    %r12,%rax
xor    %edx,%edx
div    %rcx
mov    %r13d,%ecx
shr    $0x2,%ecx
lea    0x0(,%rbx,4),%edx
neg    %edx
mov    %edx,%esi
imul   %ecx,%esi
shr    $0x10,%esi
movzwl %cx,%edi
imul   %esi,%edi
shr    $0x10,%edi
add    %ecx,%edi
imul   %edi,%edx
shr    $0x10,%edx
movzwl %di,%ecx
imul   %edx,%ecx
shr    $0x10,%ecx
add    %edi,%ecx
and    $0x3fffffff,%ebx
shl    $0x2,%ecx
sub    %ecx,%eax
cmp    $0x10,%eax
jb     1190 <main+0x60>
add    $0xf,%ebx
mov    %ebx,%ebp
or     $0x7,%ebp
mov    %r12,%rax
xor    %edx,%edx
div    %rbp
mov    %rax,%r13
shr    $0x3,%ebx
mov    %r14,%rdi
mov    %ebp,%esi
mov    %ebx,%edx
mov    %r13d,%ecx
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r15d,%eax
mov    %ebp,0x10(%rsp,%rax,4)
add    $0x1,%r15d
mov    %ebp,%ebx
jmp    1190 <main+0x60>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xde9(%rip),%rdi
xor    %ebx,%ebx
mov    %r15d,%esi
xor    %eax,%eax
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
test   %r15d,%r15d
je     12b5 <main+0x185>
mov    %r15d,%r13d
lea    0xddc(%rip),%r14
movabs $0x100000000,%r12
lea    0xdf5(%rip),%rbx
mov    %r13,0x8(%rsp)
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0xc(%rsp,%r13,4),%ebp
mov    %ebp,%edx
shr    $0x3,%edx
mov    %r14,%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r12,%rax
xor    %edx,%edx
div    %rbp
mov    %rbx,%rdi
mov    %eax,%esi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0xffffffffffffffff,%r13
jne    1280 <main+0x150>
mov    0x8(%rsp),%rbx
mov    $0xa,%edi
call   1030 <putchar@plt>
movl   $0x0,0x10(%rsp,%rbx,4)
mov    %r15d,%edx
inc    %edx
jne    12d6 <main+0x1a6>
xor    %r8d,%r8d
jmp    146e <main+0x33e>
mov    %edx,%r8d
cmp    $0x8,%edx
jae    138a <main+0x25a>
xor    %ecx,%ecx
mov    %rcx,%rax
not    %rax
add    %r8,%rax
mov    %r8,%rsi
and    $0x3,%rsi
je     131a <main+0x1ea>
mov    %r15d,%edi
sub    %ecx,%edi
nopl   0x0(%rax,%rax,1)
mov    %edi,%ebp
mov    0x10(%rsp,%rbp,4),%ebp
mov    %ebp,0x410(%rsp,%rcx,4)
add    $0x1,%rcx
add    $0xffffffff,%edi
add    $0xffffffffffffffff,%rsi
jne    1300 <main+0x1d0>
cmp    $0x3,%rax
jb     146e <main+0x33e>
mov    %rcx,%r9
sub    %r8,%r9
lea    (%rsp,%rcx,4),%rdi
add    $0x41c,%rdi
mov    %r15d,%ebp
sub    %ecx,%ebp
lea    -0x3(%rbp),%r10d
lea    -0x2(%rbp),%eax
not    %ecx
add    %r15d,%ecx
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
lea    (%rsi,%rbp,1),%ebx
mov    0x10(%rsp,%rbx,4),%ebx
mov    %ebx,-0xc(%rdi)
lea    (%rcx,%rsi,1),%ebx
mov    0x10(%rsp,%rbx,4),%ebx
mov    %ebx,-0x8(%rdi)
lea    (%rax,%rsi,1),%ebx
mov    0x10(%rsp,%rbx,4),%ebx
mov    %ebx,-0x4(%rdi)
lea    (%r10,%rsi,1),%ebx
mov    0x10(%rsp,%rbx,4),%ebx
mov    %ebx,(%rdi)
add    $0xfffffffffffffffc,%rsi
add    $0x10,%rdi
cmp    %rsi,%r9
jne    1350 <main+0x220>
jmp    146e <main+0x33e>
lea    -0x1(%r8),%rsi
xor    %ecx,%ecx
cmp    %esi,%r15d
jb     12e4 <main+0x1b4>
mov    %rsi,%rax
shr    $0x20,%rax
jne    12e4 <main+0x1b4>
mov    %r8d,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rax
mov    %rax,%rbp
shr    $0x3,%rbp
add    $0x1,%rbp
test   %rax,%rax
je     14a5 <main+0x375>
mov    %rbp,%rax
and    $0xfffffffffffffffe,%rax
xor    %edi,%edi
nopl   (%rax)
mov    %esi,%ebx
movdqu -0xc(%rsp,%rbx,4),%xmm0
movdqu 0x4(%rsp,%rbx,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm1,0x410(%rsp,%rdi,4)
movdqa %xmm0,0x420(%rsp,%rdi,4)
lea    -0x8(%rsi),%ebx
movdqu -0xc(%rsp,%rbx,4),%xmm0
movdqu 0x4(%rsp,%rbx,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm1,0x430(%rsp,%rdi,4)
movdqa %xmm0,0x440(%rsp,%rdi,4)
add    $0x10,%rdi
add    $0xfffffff0,%esi
add    $0xfffffffffffffffe,%rax
jne    13d0 <main+0x2a0>
test   $0x1,%bpl
je     1465 <main+0x335>
mov    %r15d,%eax
sub    %edi,%eax
movdqu -0xc(%rsp,%rax,4),%xmm0
movdqu 0x4(%rsp,%rax,4),%xmm1
pshufd $0x1b,%xmm1,%xmm1
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm1,0x410(%rsp,%rdi,4)
movdqa %xmm0,0x420(%rsp,%rdi,4)
cmp    %r8,%rcx
jne    12e4 <main+0x1b4>
movl   $0x7ffff,0x410(%rsp,%r8,4)
lea    0x410(%rsp),%rdi
xor    %esi,%esi
mov    $0x8,%ecx
xor    %r8d,%r8d
call   1040 <rrpgebranch@plt>
xor    %eax,%eax
add    $0x818,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edi,%edi
test   $0x1,%bpl
jne    1438 <main+0x308>
jmp    1465 <main+0x335>

LLVM IR (-O0):
@.str = [31 x i8] c"Comp: %05X (%04X), base: %08X\0A\00"
@.str.1 = [2 x i8] c"\0A\00"
@.str.2 = [24 x i8] c"Finished; compares: %u\0A\00"
@.str.3 = [42 x i8] c" }else if (a <= 0x%05XU){ /* 0x%04X */\0A\00"
@.str.4 = [18 x i8] c" x = 0x%05XU;\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca [256 x i32]
%10 = alloca [256 x i32]
store i32 0, i32* %1
store i32 273640, i32* %2
%11 = load i32, i32* %2
%12 = add i32 %11, 15
%13 = or i32 %12, 7
store i32 %13, i32* %2
%14 = load i32, i32* %2
%15 = zext i32 %14 to i64
%16 = udiv i64 4294967296, %15
%17 = trunc i64 %16 to i32
store i32 %17, i32* %3
%18 = load i32, i32* %2
%19 = load i32, i32* %2
%20 = lshr i32 %19, 3
%21 = load i32, i32* %3
%22 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str, i64 0, i64 0), i32 %18, i32 %20, i32 %21)
%23 = load i32, i32* %2
%24 = getelementptr inbounds [256 x i32], [256 x i32]* %9, i64 0, i64 0
store i32 %23, i32* %24
store i32 1, i32* %8
br label %25
25: ; preds = %92, %0
%26 = load i32, i32* %2
%27 = zext i32 %26 to i64
%28 = udiv i64 4294967296, %27
%29 = trunc i64 %28 to i32
store i32 %29, i32* %6
%30 = load i32, i32* %3
store i32 %30, i32* %4
%31 = load i32, i32* %4
%32 = lshr i32 %31, 2
store i32 %32, i32* %4
%33 = load i32, i32* %2
%34 = shl i32 %33, 2
store i32 %34, i32* %2
%35 = load i32, i32* %2
%36 = sub i32 0, %35
%37 = load i32, i32* %4
%38 = mul i32 %36, %37
%39 = and i32 %38, -1
store i32 %39, i32* %7
%40 = load i32, i32* %7
%41 = lshr i32 %40, 16
%42 = load i32, i32* %4
%43 = and i32 %42, 65535
%44 = mul i32 %41, %43
%45 = lshr i32 %44, 16
%46 = load i32, i32* %4
%47 = add i32 %46, %45
store i32 %47, i32* %4
%48 = load i32, i32* %2
%49 = sub i32 0, %48
%50 = load i32, i32* %4
%51 = mul i32 %49, %50
%52 = and i32 %51, -1
store i32 %52, i32* %7
%53 = load i32, i32* %7
%54 = lshr i32 %53, 16
%55 = load i32, i32* %4
%56 = and i32 %55, 65535
%57 = mul i32 %54, %56
%58 = lshr i32 %57, 16
%59 = load i32, i32* %4
%60 = add i32 %59, %58
store i32 %60, i32* %4
%61 = load i32, i32* %2
%62 = lshr i32 %61, 2
store i32 %62, i32* %2
%63 = load i32, i32* %4
%64 = shl i32 %63, 2
store i32 %64, i32* %4
%65 = load i32, i32* %6
%66 = load i32, i32* %4
%67 = sub i32 %65, %66
store i32 %67, i32* %5
%68 = load i32, i32* %5
%69 = icmp ugt i32 %68, 15
br i1 %69, label %70, label %89
70: ; preds = %25
%71 = load i32, i32* %2
%72 = add i32 %71, 15
%73 = or i32 %72, 7
store i32 %73, i32* %2
%74 = load i32, i32* %2
%75 = zext i32 %74 to i64
%76 = udiv i64 4294967296, %75
%77 = trunc i64 %76 to i32
store i32 %77, i32* %3
%78 = load i32, i32* %2
%79 = load i32, i32* %2
%80 = lshr i32 %79, 3
%81 = load i32, i32* %3
%82 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str, i64 0, i64 0), i32 %78, i32 %80, i32 %81)
%83 = load i32, i32* %2
%84 = load i32, i32* %8
%85 = zext i32 %84 to i64
%86 = getelementptr inbounds [256 x i32], [256 x i32]* %9, i64 0, i64 %85
store i32 %83, i32* %86
%87 = load i32, i32* %8
%88 = add i32 %87, 1
store i32 %88, i32* %8
br label %89
89: ; preds = %70, %25
%90 = load i32, i32* %2
%91 = add i32 %90, -1
store i32 %91, i32* %2
br label %92
92: ; preds = %89
%93 = load i32, i32* %2
%94 = icmp uge i32 %93, 16384
br i1 %94, label %25, label %95
95: ; preds = %92
%96 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%97 = load i32, i32* %8
%98 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.2, i64 0, i64 0), i32 %97)
%99 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%100 = load i32, i32* %8
store i32 %100, i32* %4
br label %101
101: ; preds = %104, %95
%102 = load i32, i32* %4
%103 = icmp ne i32 %102, 0
br i1 %103, label %104, label %125
104: ; preds = %101
%105 = load i32, i32* %4
%106 = sub i32 %105, 1
store i32 %106, i32* %4
%107 = load i32, i32* %4
%108 = zext i32 %107 to i64
%109 = getelementptr inbounds [256 x i32], [256 x i32]* %9, i64 0, i64 %108
%110 = load i32, i32* %109
%111 = load i32, i32* %4
%112 = zext i32 %111 to i64
%113 = getelementptr inbounds [256 x i32], [256 x i32]* %9, i64 0, i64 %112
%114 = load i32, i32* %113
%115 = lshr i32 %114, 3
%116 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.3, i64 0, i64 0), i32 %110, i32 %115)
%117 = load i32, i32* %4
%118 = zext i32 %117 to i64
%119 = getelementptr inbounds [256 x i32], [256 x i32]* %9, i64 0, i64 %118
%120 = load i32, i32* %119
%121 = zext i32 %120 to i64
%122 = udiv i64 4294967296, %121
%123 = trunc i64 %122 to i32
%124 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.4, i64 0, i64 0), i32 %123)
br label %101
125: ; preds = %101
%126 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%127 = load i32, i32* %8
%128 = zext i32 %127 to i64
%129 = getelementptr inbounds [256 x i32], [256 x i32]* %9, i64 0, i64 %128
store i32 0, i32* %129
%130 = load i32, i32* %8
%131 = add i32 %130, 1
store i32 %131, i32* %8
store i32 0, i32* %4
br label %132
132: ; preds = %147, %125
%133 = load i32, i32* %4
%134 = load i32, i32* %8
%135 = icmp ult i32 %133, %134
br i1 %135, label %136, label %150
136: ; preds = %132
%137 = load i32, i32* %8
%138 = load i32, i32* %4
%139 = sub i32 %137, %138
%140 = sub i32 %139, 1
%141 = zext i32 %140 to i64
%142 = getelementptr inbounds [256 x i32], [256 x i32]* %9, i64 0, i64 %141
%143 = load i32, i32* %142
%144 = load i32, i32* %4
%145 = zext i32 %144 to i64
%146 = getelementptr inbounds [256 x i32], [256 x i32]* %10, i64 0, i64 %145
store i32 %143, i32* %146
br label %147
147: ; preds = %136
%148 = load i32, i32* %4
%149 = add i32 %148, 1
store i32 %149, i32* %4
br label %132
150: ; preds = %132
%151 = load i32, i32* %8
%152 = zext i32 %151 to i64
%153 = getelementptr inbounds [256 x i32], [256 x i32]* %10, i64 0, i64 %152
store i32 524287, i32* %153
%154 = getelementptr inbounds [256 x i32], [256 x i32]* %10, i64 0, i64 0
%155 = load i32, i32* %8
%156 = call i32 @rrpgebranch(i32* %154, i32 0, i32 %155, i32 8, i32 0)
ret i32 0
}

LLVM IR (-O2):
@.str = [31 x i8] c"Comp: %05X (%04X), base: %08X\0A\00"
@.str.2 = [24 x i8] c"Finished; compares: %u\0A\00"
@.str.3 = [42 x i8] c" }else if (a <= 0x%05XU){ /* 0x%04X */\0A\00"
@.str.4 = [18 x i8] c" x = 0x%05XU;\0A\00"
define i32 @main() {
%1 = alloca [256 x i32]
%2 = alloca [256 x i32]
%3 = bitcast [256 x i32]* %1 to i8*
%4 = bitcast [256 x i32]* %2 to i8*
%5 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str, i64 0, i64 0), i32 273655, i32 34206, i32 15694)
%6 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 0
store i32 273655, i32* %6
br label %7
7: ; preds = %43, %0
%8 = phi i32 [ 15694, %0 ], [ %44, %43 ]
%9 = phi i32 [ 273655, %0 ], [ %47, %43 ]
%10 = phi i32 [ 1, %0 ], [ %46, %43 ]
%11 = zext i32 %9 to i64
%12 = udiv i64 4294967296, %11
%13 = trunc i64 %12 to i32
%14 = lshr i32 %8, 2
%15 = mul i32 %9, -4
%16 = mul i32 %15, %14
%17 = lshr i32 %16, 16
%18 = and i32 %14, 65535
%19 = mul nuw i32 %17, %18
%20 = lshr i32 %19, 16
%21 = add nuw nsw i32 %20, %14
%22 = mul i32 %21, %15
%23 = lshr i32 %22, 16
%24 = and i32 %21, 65535
%25 = mul nuw i32 %23, %24
%26 = lshr i32 %25, 16
%27 = add nuw nsw i32 %26, %21
%28 = and i32 %9, 1073741823
%29 = mul i32 %27, -4
%30 = add i32 %29, %13
%31 = icmp ugt i32 %30, 15
br i1 %31, label %32, label %43
32: ; preds = %7
%33 = add nuw nsw i32 %28, 15
%34 = or i32 %33, 7
%35 = zext i32 %34 to i64
%36 = udiv i64 4294967296, %35
%37 = trunc i64 %36 to i32
%38 = lshr i32 %33, 3
%39 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str, i64 0, i64 0), i32 %34, i32 %38, i32 %37)
%40 = zext i32 %10 to i64
%41 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %40
store i32 %34, i32* %41
%42 = add i32 %10, 1
br label %43
43: ; preds = %32, %7
%44 = phi i32 [ %37, %32 ], [ %8, %7 ]
%45 = phi i32 [ %34, %32 ], [ %28, %7 ]
%46 = phi i32 [ %42, %32 ], [ %10, %7 ]
%47 = add i32 %45, -1
%48 = icmp ugt i32 %47, 16383
br i1 %48, label %7, label %49
49: ; preds = %43
%50 = tail call i32 @putchar(i32 10)
%51 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([24 x i8], [24 x i8]* @.str.2, i64 0, i64 0), i32 %46)
%52 = tail call i32 @putchar(i32 10)
%53 = icmp eq i32 %46, 0
br i1 %53, label %68, label %54
54: ; preds = %49
%55 = zext i32 %46 to i64
br label %56
56: ; preds = %54, %56
%57 = phi i64 [ %55, %54 ], [ %58, %56 ]
%58 = add nsw i64 %57, -1
%59 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %58
%60 = load i32, i32* %59
%61 = lshr i32 %60, 3
%62 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @.str.3, i64 0, i64 0), i32 %60, i32 %61)
%63 = zext i32 %60 to i64
%64 = udiv i64 4294967296, %63
%65 = trunc i64 %64 to i32
%66 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.4, i64 0, i64 0), i32 %65)
%67 = icmp eq i64 %58, 0
br i1 %67, label %68, label %56
68: ; preds = %56, %49
%69 = phi i64 [ 0, %49 ], [ %55, %56 ]
%70 = tail call i32 @putchar(i32 10)
%71 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %69
store i32 0, i32* %71
%72 = add i32 %46, 1
%73 = icmp eq i32 %72, 0
br i1 %73, label %205, label %74
74: ; preds = %68
%75 = zext i32 %72 to i64
%76 = icmp ult i32 %72, 8
br i1 %76, label %153, label %77
77: ; preds = %74
%78 = add nsw i64 %75, -1
%79 = trunc i64 %78 to i32
%80 = icmp ult i32 %46, %79
%81 = icmp ugt i64 %78, 4294967295
%82 = or i1 %80, %81
br i1 %82, label %153, label %83
83: ; preds = %77
%84 = and i64 %75, 4294967288
%85 = add nsw i64 %84, -8
%86 = lshr exact i64 %85, 3
%87 = add nuw nsw i64 %86, 1
%88 = and i64 %87, 1
%89 = icmp eq i64 %85, 0
br i1 %89, label %131, label %90
90: ; preds = %83
%91 = and i64 %87, 4611686018427387902
br label %92
92: ; preds = %92, %90
%93 = phi i64 [ 0, %90 ], [ %128, %92 ]
%94 = phi i64 [ 0, %90 ], [ %129, %92 ]
%95 = trunc i64 %93 to i32
%96 = sub i32 %46, %95
%97 = zext i32 %96 to i64
%98 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %97
%99 = getelementptr inbounds i32, i32* %98, i64 -3
%100 = bitcast i32* %99 to <4 x i32>*
%101 = load <4 x i32>, <4 x i32>* %100
%102 = shufflevector <4 x i32> %101, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%103 = getelementptr inbounds i32, i32* %98, i64 -7
%104 = bitcast i32* %103 to <4 x i32>*
%105 = load <4 x i32>, <4 x i32>* %104
%106 = shufflevector <4 x i32> %105, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%107 = getelementptr inbounds [256 x i32], [256 x i32]* %2, i64 0, i64 %93
%108 = bitcast i32* %107 to <4 x i32>*
store <4 x i32> %102, <4 x i32>* %108
%109 = getelementptr inbounds i32, i32* %107, i64 4
%110 = bitcast i32* %109 to <4 x i32>*
store <4 x i32> %106, <4 x i32>* %110
%111 = or i64 %93, 8
%112 = trunc i64 %111 to i32
%113 = sub i32 %46, %112
%114 = zext i32 %113 to i64
%115 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %114
%116 = getelementptr inbounds i32, i32* %115, i64 -3
%117 = bitcast i32* %116 to <4 x i32>*
%118 = load <4 x i32>, <4 x i32>* %117
%119 = shufflevector <4 x i32> %118, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%120 = getelementptr inbounds i32, i32* %115, i64 -7
%121 = bitcast i32* %120 to <4 x i32>*
%122 = load <4 x i32>, <4 x i32>* %121
%123 = shufflevector <4 x i32> %122, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%124 = getelementptr inbounds [256 x i32], [256 x i32]* %2, i64 0, i64 %111
%125 = bitcast i32* %124 to <4 x i32>*
store <4 x i32> %119, <4 x i32>* %125
%126 = getelementptr inbounds i32, i32* %124, i64 4
%127 = bitcast i32* %126 to <4 x i32>*
store <4 x i32> %123, <4 x i32>* %127
%128 = add nuw i64 %93, 16
%129 = add i64 %94, 2
%130 = icmp eq i64 %129, %91
br i1 %130, label %131, label %92
131: ; preds = %92, %83
%132 = phi i64 [ 0, %83 ], [ %128, %92 ]
%133 = icmp eq i64 %88, 0
br i1 %133, label %151, label %134
134: ; preds = %131
%135 = trunc i64 %132 to i32
%136 = sub i32 %46, %135
%137 = zext i32 %136 to i64
%138 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %137
%139 = getelementptr inbounds i32, i32* %138, i64 -3
%140 = bitcast i32* %139 to <4 x i32>*
%141 = load <4 x i32>, <4 x i32>* %140
%142 = shufflevector <4 x i32> %141, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%143 = getelementptr inbounds i32, i32* %138, i64 -7
%144 = bitcast i32* %143 to <4 x i32>*
%145 = load <4 x i32>, <4 x i32>* %144
%146 = shufflevector <4 x i32> %145, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%147 = getelementptr inbounds [256 x i32], [256 x i32]* %2, i64 0, i64 %132
%148 = bitcast i32* %147 to <4 x i32>*
store <4 x i32> %142, <4 x i32>* %148
%149 = getelementptr inbounds i32, i32* %147, i64 4
%150 = bitcast i32* %149 to <4 x i32>*
store <4 x i32> %146, <4 x i32>* %150
br label %151
151: ; preds = %131, %134
%152 = icmp eq i64 %84, %75
br i1 %152, label %205, label %153
153: ; preds = %77, %74, %151
%154 = phi i64 [ 0, %77 ], [ 0, %74 ], [ %84, %151 ]
%155 = xor i64 %154, -1
%156 = add nsw i64 %155, %75
%157 = and i64 %75, 3
%158 = icmp eq i64 %157, 0
br i1 %158, label %171, label %159
159: ; preds = %153, %159
%160 = phi i64 [ %168, %159 ], [ %154, %153 ]
%161 = phi i64 [ %169, %159 ], [ 0, %153 ]
%162 = trunc i64 %160 to i32
%163 = sub i32 %46, %162
%164 = zext i32 %163 to i64
%165 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %164
%166 = load i32, i32* %165
%167 = getelementptr inbounds [256 x i32], [256 x i32]* %2, i64 0, i64 %160
store i32 %166, i32* %167
%168 = add nuw nsw i64 %160, 1
%169 = add i64 %161, 1
%170 = icmp eq i64 %169, %157
br i1 %170, label %171, label %159
171: ; preds = %159, %153
%172 = phi i64 [ %154, %153 ], [ %168, %159 ]
%173 = icmp ult i64 %156, 3
br i1 %173, label %205, label %174
174: ; preds = %171, %174
%175 = phi i64 [ %203, %174 ], [ %172, %171 ]
%176 = trunc i64 %175 to i32
%177 = sub i32 %46, %176
%178 = zext i32 %177 to i64
%179 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %178
%180 = load i32, i32* %179
%181 = getelementptr inbounds [256 x i32], [256 x i32]* %2, i64 0, i64 %175
store i32 %180, i32* %181
%182 = add nuw nsw i64 %175, 1
%183 = trunc i64 %182 to i32
%184 = sub i32 %46, %183
%185 = zext i32 %184 to i64
%186 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %185
%187 = load i32, i32* %186
%188 = getelementptr inbounds [256 x i32], [256 x i32]* %2, i64 0, i64 %182
store i32 %187, i32* %188
%189 = add nuw nsw i64 %175, 2
%190 = trunc i64 %189 to i32
%191 = sub i32 %46, %190
%192 = zext i32 %191 to i64
%193 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %192
%194 = load i32, i32* %193
%195 = getelementptr inbounds [256 x i32], [256 x i32]* %2, i64 0, i64 %189
store i32 %194, i32* %195
%196 = add nuw nsw i64 %175, 3
%197 = trunc i64 %196 to i32
%198 = sub i32 %46, %197
%199 = zext i32 %198 to i64
%200 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %199
%201 = load i32, i32* %200
%202 = getelementptr inbounds [256 x i32], [256 x i32]* %2, i64 0, i64 %196
store i32 %201, i32* %202
%203 = add nuw nsw i64 %175, 4
%204 = icmp eq i64 %203, %75
br i1 %204, label %205, label %174
205: ; preds = %171, %174, %151, %68
%206 = phi i64 [ 0, %68 ], [ %75, %151 ], [ %75, %174 ], [ %75, %171 ]
%207 = getelementptr inbounds [256 x i32], [256 x i32]* %2, i64 0, i64 %206
store i32 524287, i32* %207
%208 = getelementptr inbounds [256 x i32], [256 x i32]* %2, i64 0, i64 0
%209 = call i32 @rrpgebranch(i32* %208, i32 0, i32 %72, i32 8, i32 0)
ret i32 0
}