#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 BN_num_bits_word(unsigned long);
int /*<<< orphan*/ assert(int);
unsigned long bn_div_words(unsigned long h, unsigned long l, unsigned long d) {
  unsigned long dh, dl, q, ret = 0, th, tl, t;
  int i, count = 2;
  if (d == 0)
    return ((0xffffffffL));
  i = BN_num_bits_word(d);
  assert((i == 32) || (h > (unsigned long)1 << i));
  i = 32 - i;
  if (h >= d)
    h -= d;
  if (i) {
    d <<= i;
    h = (h << i) | (l >> (32 - i));
    l <<= i;
  }
  dh = (d & (0xffff0000L)) >> 16;
  dl = (d & (0xffff));
  for (;;) {
    if ((h >> 16) == dh)
      q = (0xffff);
    else
      q = h / dh;
    th = q * dh;
    tl = dl * q;
    for (;;) {
      t = h - th;
      if ((t & (0xffff0000L)) ||
          ((tl) <= ((t << 16) | ((l & (0xffff0000L)) >> 16))))
        break;
      q--;
      th -= dh;
      tl -= dl;
    }
    t = (tl >> 16);
    tl = (tl << 16) & (0xffff0000L);
    th += t;
    if (l < tl)
      th++;
    l -= tl;
    if (h < th) {
      h += d;
      q--;
    }
    h -= th;
    if (--count == 0)
      break;
    ret = q << 16;
    h = ((h << 16) | (l >> 16)) & (0xffffffffL);
    l = (l & (0xffff)) << 16;
  }
  ret |= q;
  return (ret);
}


x86 assembly (clang, -O0):
<bn_div_words>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movq   $0x0,-0x40(%rbp)
movl   $0x2,-0x60(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    115c <bn_div_words+0x3c>
mov    $0xffffffff,%eax
mov    %rax,-0x8(%rbp)
jmp    1406 <bn_div_words+0x2e6>
mov    -0x20(%rbp),%rdi
call   1030 <BN_num_bits_word@plt>
mov    %eax,-0x5c(%rbp)
mov    $0x1,%al
cmpl   $0x20,-0x5c(%rbp)
mov    %al,-0x61(%rbp)
je     1192 <bn_div_words+0x72>
mov    -0x10(%rbp),%rax
mov    -0x5c(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%rdx
mov    %rdx,%rcx
cmp    %rcx,%rax
seta   %al
mov    %al,-0x61(%rbp)
mov    -0x61(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    $0x20,%eax
sub    -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x20(%rbp),%rax
jb     11c7 <bn_div_words+0xa7>
mov    -0x20(%rbp),%rcx
mov    -0x10(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x10(%rbp)
cmpl   $0x0,-0x5c(%rbp)
je     1216 <bn_div_words+0xf6>
mov    -0x5c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,%ecx
shl    %cl,%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x5c(%rbp),%ecx
shl    %cl,%rax
mov    -0x18(%rbp),%rdx
mov    $0x20,%ecx
sub    -0x5c(%rbp),%ecx
mov    %ecx,%ecx
shr    %cl,%rdx
mov    %rdx,%rcx
or     %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x5c(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,%ecx
shl    %cl,%rax
mov    %rax,-0x18(%rbp)
movabs $0xffff0000,%rax
and    -0x20(%rbp),%rax
shr    $0x10,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
and    $0xffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x10,%rax
cmp    -0x28(%rbp),%rax
jne    1259 <bn_div_words+0x139>
movq   $0xffff,-0x38(%rbp)
jmp    1269 <bn_div_words+0x149>
mov    -0x10(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x28(%rbp)
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
imul   -0x28(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
imul   -0x38(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x10(%rbp),%rax
sub    -0x48(%rbp),%rax
mov    %rax,-0x58(%rbp)
movabs $0xffff0000,%rax
and    -0x58(%rbp),%rax
cmp    $0x0,%rax
jne    12d1 <bn_div_words+0x1b1>
mov    -0x50(%rbp),%rax
mov    -0x58(%rbp),%rcx
shl    $0x10,%rcx
movabs $0xffff0000,%rdx
and    -0x18(%rbp),%rdx
shr    $0x10,%rdx
or     %rdx,%rcx
cmp    %rcx,%rax
ja     12d6 <bn_div_words+0x1b6>
jmp    1305 <bn_div_words+0x1e5>
mov    -0x38(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rcx
mov    -0x48(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rcx
mov    -0x50(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x50(%rbp)
jmp    1283 <bn_div_words+0x163>
mov    -0x50(%rbp),%rax
shr    $0x10,%rax
mov    %rax,-0x58(%rbp)
mov    -0x50(%rbp),%rax
shl    $0x10,%rax
movabs $0xffff0000,%rcx
and    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x58(%rbp),%rax
add    -0x48(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x50(%rbp),%rax
jae    1350 <bn_div_words+0x230>
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
mov    -0x50(%rbp),%rcx
mov    -0x18(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x48(%rbp),%rax
jae    1385 <bn_div_words+0x265>
mov    -0x20(%rbp),%rax
add    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x38(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x48(%rbp),%rcx
mov    -0x10(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x60(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x60(%rbp)
cmp    $0x0,%eax
jne    13ab <bn_div_words+0x28b>
jmp    13f2 <bn_div_words+0x2d2>
mov    -0x38(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
shl    $0x10,%rax
mov    -0x18(%rbp),%rcx
shr    $0x10,%rcx
or     %rcx,%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
and    $0xffff,%rax
shl    $0x10,%rax
mov    %rax,-0x18(%rbp)
jmp    123a <bn_div_words+0x11a>
mov    -0x38(%rbp),%rax
or     -0x40(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bn_div_words>:
test   %rdx,%rdx
je     11c8 <bn_div_words+0xa8>
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdx,%r15
mov    %rsi,%r14
mov    %rdi,%r12
mov    %rdx,%rdi
call   1030 <BN_num_bits_word@plt>
mov    %eax,%ebp
cmp    $0x20,%eax
sete   %al
mov    $0x1,%edx
mov    %ebp,%ecx
shl    %cl,%rdx
cmp    %r12,%rdx
setb   %cl
or     %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
xor    %eax,%eax
cmp    %r15,%r12
cmovae %r15,%rax
sub    %rax,%r12
cmp    $0x20,%ebp
je     1196 <bn_div_words+0x76>
mov    %ebp,%eax
mov    $0x20,%dl
sub    %al,%dl
mov    %edx,%ecx
shl    %cl,%r15
shl    %cl,%r12
mov    %r14,%rsi
mov    %eax,%ecx
shr    %cl,%rsi
or     %rsi,%r12
mov    %edx,%ecx
shl    %cl,%r14
mov    %r15d,%r13d
shr    $0x10,%r13d
movzwl %r15w,%r9d
mov    %r12,%rax
shr    $0x10,%rax
mov    $0xffff,%ecx
cmp    %r13,%rax
je     11d8 <bn_div_words+0xb8>
mov    %r12,%rax
shr    $0x20,%rax
je     11ce <bn_div_words+0xae>
mov    %r12,%rax
xor    %edx,%edx
div    %r13
mov    %rax,%rcx
jmp    11d8 <bn_div_words+0xb8>
mov    $0xffffffff,%eax
ret
mov    %r12d,%eax
xor    %edx,%edx
div    %r13d
mov    %eax,%ecx
mov    %rcx,%rax
imul   %r13,%rax
mov    %rcx,%rdx
imul   %r9,%rdx
mov    %r12d,%esi
sub    %eax,%esi
test   $0xffff0000,%esi
jne    1259 <bn_div_words+0x139>
mov    %r14d,%r8d
shr    $0x10,%r8d
mov    %r12,%rbp
shl    $0x10,%rbp
mov    %rcx,%rsi
imul   %r13,%rsi
shl    $0x10,%rsi
sub    %rsi,%rbp
mov    %r13,%r11
shl    $0x10,%r11
lea    -0x1(%rcx),%r10
imul   %r13,%r10
mov    %r12,%rdi
sub    %r10,%rdi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %rbp,%rbx
or     %r8,%rbx
cmp    %rbx,%rdx
jbe    1259 <bn_div_words+0x139>
add    $0xffffffffffffffff,%rcx
sub    %r13,%rax
sub    %r9,%rdx
add    %r11,%rbp
mov    %rdi,%rsi
add    %r13,%rsi
test   $0xffff0000,%edi
mov    %rsi,%rdi
je     1230 <bn_div_words+0x110>
mov    %rdx,%rsi
shr    $0x10,%rsi
shl    $0x10,%edx
sub    %rdx,%r14
adc    %rax,%rsi
cmp    %rsi,%r12
sbb    $0x0,%rcx
xor    %eax,%eax
sub    %rsi,%r12
cmovae %eax,%r15d
add    %r15d,%r12d
shl    $0x10,%r12d
mov    %r14,%r10
shr    $0x10,%r10
or     %r12d,%r10d
mov    %r14d,%r8d
shl    $0x10,%r8d
mov    %r10,%rdx
shr    $0x10,%rdx
mov    $0xffff,%eax
cmp    %r13,%rdx
je     12aa <bn_div_words+0x18a>
mov    %r10d,%eax
xor    %edx,%edx
div    %r13d
shl    $0x10,%rcx
mov    %rax,%rbx
imul   %r13,%rbx
mov    %rax,%rdx
imul   %r9,%rdx
mov    %r10d,%esi
sub    %ebx,%esi
test   $0xffff0000,%esi
jne    1329 <bn_div_words+0x209>
movzwl %r14w,%r11d
mov    %r10,%rsi
shl    $0x10,%rsi
mov    %rax,%rdi
imul   %r13,%rdi
shl    $0x10,%rdi
sub    %rdi,%rsi
mov    %r13,%r14
shl    $0x10,%r14
lea    -0x1(%rax),%rdi
imul   %r13,%rdi
mov    %r10,%rbp
sub    %rdi,%rbp
nopw   0x0(%rax,%rax,1)
mov    %rsi,%rdi
or     %r11,%rdi
cmp    %rdi,%rdx
jbe    1329 <bn_div_words+0x209>
add    $0xffffffffffffffff,%rax
sub    %r13,%rbx
sub    %r9,%rdx
add    %r14,%rsi
mov    %rbp,%rdi
add    %r13,%rdi
test   $0xffff0000,%ebp
mov    %rdi,%rbp
je     1300 <bn_div_words+0x1e0>
mov    %rdx,%rsi
shr    $0x10,%rsi
add    %rbx,%rsi
shl    $0x10,%edx
cmp    %rdx,%r8
adc    $0x0,%rsi
cmp    %rsi,%r10
sbb    $0x0,%rax
or     %rcx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i64 @bn_div_words(i64 %0, i64 %1, i64 %2) {
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i32
%16 = alloca i32
store i64 %0, i64* %5
store i64 %1, i64* %6
store i64 %2, i64* %7
store i64 0, i64* %11
store i32 2, i32* %16
%17 = load i64, i64* %7
%18 = icmp eq i64 %17, 0
br i1 %18, label %19, label %20
19: ; preds = %3
store i64 4294967295, i64* %4
br label %168
20: ; preds = %3
%21 = load i64, i64* %7
%22 = call i32 @BN_num_bits_word(i64 %21)
store i32 %22, i32* %15
%23 = load i32, i32* %15
%24 = icmp eq i32 %23, 32
br i1 %24, label %31, label %25
25: ; preds = %20
%26 = load i64, i64* %5
%27 = load i32, i32* %15
%28 = zext i32 %27 to i64
%29 = shl i64 1, %28
%30 = icmp ugt i64 %26, %29
br label %31
31: ; preds = %25, %20
%32 = phi i1 [ true, %20 ], [ %30, %25 ]
%33 = zext i1 %32 to i32
%34 = call i32 @assert(i32 %33)
%35 = load i32, i32* %15
%36 = sub nsw i32 32, %35
store i32 %36, i32* %15
%37 = load i64, i64* %5
%38 = load i64, i64* %7
%39 = icmp uge i64 %37, %38
br i1 %39, label %40, label %44
40: ; preds = %31
%41 = load i64, i64* %7
%42 = load i64, i64* %5
%43 = sub i64 %42, %41
store i64 %43, i64* %5
br label %44
44: ; preds = %40, %31
%45 = load i32, i32* %15
%46 = icmp ne i32 %45, 0
br i1 %46, label %47, label %66
47: ; preds = %44
%48 = load i32, i32* %15
%49 = load i64, i64* %7
%50 = zext i32 %48 to i64
%51 = shl i64 %49, %50
store i64 %51, i64* %7
%52 = load i64, i64* %5
%53 = load i32, i32* %15
%54 = zext i32 %53 to i64
%55 = shl i64 %52, %54
%56 = load i64, i64* %6
%57 = load i32, i32* %15
%58 = sub nsw i32 32, %57
%59 = zext i32 %58 to i64
%60 = lshr i64 %56, %59
%61 = or i64 %55, %60
store i64 %61, i64* %5
%62 = load i32, i32* %15
%63 = load i64, i64* %6
%64 = zext i32 %62 to i64
%65 = shl i64 %63, %64
store i64 %65, i64* %6
br label %66
66: ; preds = %47, %44
%67 = load i64, i64* %7
%68 = and i64 %67, 4294901760
%69 = lshr i64 %68, 16
store i64 %69, i64* %8
%70 = load i64, i64* %7
%71 = and i64 %70, 65535
store i64 %71, i64* %9
br label %72
72: ; preds = %151, %66
%73 = load i64, i64* %5
%74 = lshr i64 %73, 16
%75 = load i64, i64* %8
%76 = icmp eq i64 %74, %75
br i1 %76, label %77, label %78
77: ; preds = %72
store i64 65535, i64* %10
br label %82
78: ; preds = %72
%79 = load i64, i64* %5
%80 = load i64, i64* %8
%81 = udiv i64 %79, %80
store i64 %81, i64* %10
br label %82
82: ; preds = %78, %77
%83 = load i64, i64* %10
%84 = load i64, i64* %8
%85 = mul i64 %83, %84
store i64 %85, i64* %12
%86 = load i64, i64* %9
%87 = load i64, i64* %10
%88 = mul i64 %86, %87
store i64 %88, i64* %13
br label %89
89: ; preds = %106, %82
%90 = load i64, i64* %5
%91 = load i64, i64* %12
%92 = sub i64 %90, %91
store i64 %92, i64* %14
%93 = load i64, i64* %14
%94 = and i64 %93, 4294901760
%95 = icmp ne i64 %94, 0
br i1 %95, label %105, label %96
96: ; preds = %89
%97 = load i64, i64* %13
%98 = load i64, i64* %14
%99 = shl i64 %98, 16
%100 = load i64, i64* %6
%101 = and i64 %100, 4294901760
%102 = lshr i64 %101, 16
%103 = or i64 %99, %102
%104 = icmp ule i64 %97, %103
br i1 %104, label %105, label %106
105: ; preds = %96, %89
br label %115
106: ; preds = %96
%107 = load i64, i64* %10
%108 = add i64 %107, -1
store i64 %108, i64* %10
%109 = load i64, i64* %8
%110 = load i64, i64* %12
%111 = sub i64 %110, %109
store i64 %111, i64* %12
%112 = load i64, i64* %9
%113 = load i64, i64* %13
%114 = sub i64 %113, %112
store i64 %114, i64* %13
br label %89
115: ; preds = %105
%116 = load i64, i64* %13
%117 = lshr i64 %116, 16
store i64 %117, i64* %14
%118 = load i64, i64* %13
%119 = shl i64 %118, 16
%120 = and i64 %119, 4294901760
store i64 %120, i64* %13
%121 = load i64, i64* %14
%122 = load i64, i64* %12
%123 = add i64 %122, %121
store i64 %123, i64* %12
%124 = load i64, i64* %6
%125 = load i64, i64* %13
%126 = icmp ult i64 %124, %125
br i1 %126, label %127, label %130
127: ; preds = %115
%128 = load i64, i64* %12
%129 = add i64 %128, 1
store i64 %129, i64* %12
br label %130
130: ; preds = %127, %115
%131 = load i64, i64* %13
%132 = load i64, i64* %6
%133 = sub i64 %132, %131
store i64 %133, i64* %6
%134 = load i64, i64* %5
%135 = load i64, i64* %12
%136 = icmp ult i64 %134, %135
br i1 %136, label %137, label %143
137: ; preds = %130
%138 = load i64, i64* %7
%139 = load i64, i64* %5
%140 = add i64 %139, %138
store i64 %140, i64* %5
%141 = load i64, i64* %10
%142 = add i64 %141, -1
store i64 %142, i64* %10
br label %143
143: ; preds = %137, %130
%144 = load i64, i64* %12
%145 = load i64, i64* %5
%146 = sub i64 %145, %144
store i64 %146, i64* %5
%147 = load i32, i32* %16
%148 = add nsw i32 %147, -1
store i32 %148, i32* %16
%149 = icmp eq i32 %148, 0
br i1 %149, label %150, label %151
150: ; preds = %143
br label %163
151: ; preds = %143
%152 = load i64, i64* %10
%153 = shl i64 %152, 16
store i64 %153, i64* %11
%154 = load i64, i64* %5
%155 = shl i64 %154, 16
%156 = load i64, i64* %6
%157 = lshr i64 %156, 16
%158 = or i64 %155, %157
%159 = and i64 %158, 4294967295
store i64 %159, i64* %5
%160 = load i64, i64* %6
%161 = and i64 %160, 65535
%162 = shl i64 %161, 16
store i64 %162, i64* %6
br label %72
163: ; preds = %150
%164 = load i64, i64* %10
%165 = load i64, i64* %11
%166 = or i64 %165, %164
store i64 %166, i64* %11
%167 = load i64, i64* %11
store i64 %167, i64* %4
br label %168
168: ; preds = %163, %19
%169 = load i64, i64* %4
ret i64 %169
}

LLVM IR (-O2):
define i64 @bn_div_words(i64 %0, i64 %1, i64 %2) {
%4 = icmp eq i64 %2, 0
br i1 %4, label %129, label %5
5: ; preds = %3
%6 = tail call i32 @BN_num_bits_word(i64 %2)
%7 = icmp eq i32 %6, 32
%8 = zext i32 %6 to i64
%9 = shl nuw i64 1, %8
%10 = icmp ult i64 %9, %0
%11 = select i1 %7, i1 true, i1 %10
%12 = zext i1 %11 to i32
%13 = tail call i32 @assert(i32 %12)
%14 = icmp ult i64 %0, %2
%15 = select i1 %14, i64 0, i64 %2
%16 = sub i64 %0, %15
br i1 %7, label %25, label %17
17: ; preds = %5
%18 = sub nsw i32 32, %6
%19 = zext i32 %18 to i64
%20 = shl i64 %2, %19
%21 = shl i64 %16, %19
%22 = lshr i64 %1, %8
%23 = or i64 %21, %22
%24 = shl i64 %1, %19
br label %25
25: ; preds = %17, %5
%26 = phi i64 [ %24, %17 ], [ %1, %5 ]
%27 = phi i64 [ %20, %17 ], [ %2, %5 ]
%28 = phi i64 [ %23, %17 ], [ %16, %5 ]
%29 = lshr i64 %27, 16
%30 = and i64 %29, 65535
%31 = and i64 %27, 65535
%32 = lshr i64 %28, 16
%33 = icmp eq i64 %32, %30
br i1 %33, label %36, label %34
34: ; preds = %25
%35 = udiv i64 %28, %30
br label %36
36: ; preds = %25, %34
%37 = phi i64 [ %35, %34 ], [ 65535, %25 ]
%38 = mul i64 %37, %30
%39 = mul i64 %37, %31
%40 = sub i64 %28, %38
%41 = and i64 %40, 4294901760
%42 = icmp eq i64 %41, 0
br i1 %42, label %43, label %61
43: ; preds = %36
%44 = lshr i64 %26, 16
%45 = and i64 %44, 65535
br label %46
46: ; preds = %43, %54
%47 = phi i64 [ %40, %43 ], [ %58, %54 ]
%48 = phi i64 [ %39, %43 ], [ %57, %54 ]
%49 = phi i64 [ %38, %43 ], [ %56, %54 ]
%50 = phi i64 [ %37, %43 ], [ %55, %54 ]
%51 = shl i64 %47, 16
%52 = or i64 %51, %45
%53 = icmp ugt i64 %48, %52
br i1 %53, label %54, label %61
54: ; preds = %46
%55 = add i64 %50, -1
%56 = sub i64 %49, %30
%57 = sub i64 %48, %31
%58 = sub i64 %28, %56
%59 = and i64 %58, 4294901760
%60 = icmp eq i64 %59, 0
br i1 %60, label %46, label %61
61: ; preds = %46, %54, %36
%62 = phi i64 [ %37, %36 ], [ %55, %54 ], [ %50, %46 ]
%63 = phi i64 [ %38, %36 ], [ %56, %54 ], [ %49, %46 ]
%64 = phi i64 [ %39, %36 ], [ %57, %54 ], [ %48, %46 ]
%65 = lshr i64 %64, 16
%66 = shl i64 %64, 16
%67 = and i64 %66, 4294901760
%68 = add i64 %65, %63
%69 = icmp ult i64 %26, %67
%70 = zext i1 %69 to i64
%71 = add i64 %68, %70
%72 = sub i64 %26, %67
%73 = icmp ult i64 %28, %71
%74 = sext i1 %73 to i64
%75 = add i64 %62, %74
%76 = select i1 %73, i64 %27, i64 0
%77 = sub i64 %28, %71
%78 = add i64 %77, %76
%79 = shl i64 %75, 16
%80 = shl i64 %78, 16
%81 = lshr i64 %72, 16
%82 = or i64 %80, %81
%83 = and i64 %82, 4294967295
%84 = shl i64 %72, 16
%85 = and i64 %84, 4294901760
%86 = lshr i64 %83, 16
%87 = icmp eq i64 %86, %30
br i1 %87, label %90, label %88
88: ; preds = %61
%89 = udiv i64 %83, %30
br label %90
90: ; preds = %88, %61
%91 = phi i64 [ %89, %88 ], [ 65535, %61 ]
%92 = mul nsw i64 %91, %30
%93 = mul nsw i64 %91, %31
%94 = sub nsw i64 %83, %92
%95 = and i64 %94, 4294901760
%96 = icmp eq i64 %95, 0
br i1 %96, label %97, label %114
97: ; preds = %90
%98 = and i64 %72, 65535
br label %99
99: ; preds = %107, %97
%100 = phi i64 [ %94, %97 ], [ %111, %107 ]
%101 = phi i64 [ %93, %97 ], [ %110, %107 ]
%102 = phi i64 [ %92, %97 ], [ %109, %107 ]
%103 = phi i64 [ %91, %97 ], [ %108, %107 ]
%104 = shl i64 %100, 16
%105 = or i64 %104, %98
%106 = icmp ugt i64 %101, %105
br i1 %106, label %107, label %114
107: ; preds = %99
%108 = add i64 %103, -1
%109 = sub i64 %102, %30
%110 = sub i64 %101, %31
%111 = sub i64 %83, %109
%112 = and i64 %111, 4294901760
%113 = icmp eq i64 %112, 0
br i1 %113, label %99, label %114
114: ; preds = %107, %99, %90
%115 = phi i64 [ %91, %90 ], [ %108, %107 ], [ %103, %99 ]
%116 = phi i64 [ %92, %90 ], [ %109, %107 ], [ %102, %99 ]
%117 = phi i64 [ %93, %90 ], [ %110, %107 ], [ %101, %99 ]
%118 = lshr i64 %117, 16
%119 = add i64 %118, %116
%120 = shl i64 %117, 16
%121 = and i64 %120, 4294901760
%122 = icmp ult i64 %85, %121
%123 = zext i1 %122 to i64
%124 = add i64 %119, %123
%125 = icmp ult i64 %83, %124
%126 = sext i1 %125 to i64
%127 = add i64 %115, %126
%128 = or i64 %127, %79
br label %129
129: ; preds = %3, %114
%130 = phi i64 [ %128, %114 ], [ 4294967295, %3 ]
ret i64 %130
}