#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 long);
int /*<<< orphan*/ assert(int);
unsigned long long bn_div_words(unsigned long long h, unsigned long long l,
                                unsigned long long d) {
  unsigned long long dh, dl, q, ret = 0, th, tl, t;
  int i, count = 2;
  if (d == 0)
    return ((0xffffffffffffffffLL));
  i = BN_num_bits_word(d);
  assert((i == 64) || (h > (unsigned long long)1 << i));
  i = 64 - i;
  if (h >= d)
    h -= d;
  if (i) {
    d <<= i;
    h = (h << i) | (l >> (64 - i));
    l <<= i;
  }
  dh = (d & (0xffffffff00000000LL)) >> 32;
  dl = (d & (0xffffffffL));
  for (;;) {
    if ((h >> 32) == dh)
      q = (0xffffffffL);
    else
      q = h / dh;
    th = q * dh;
    tl = dl * q;
    for (;;) {
      t = h - th;
      if ((t & (0xffffffff00000000LL)) ||
          ((tl) <= ((t << 32) | ((l & (0xffffffff00000000LL)) >> 32))))
        break;
      q--;
      th -= dh;
      tl -= dl;
    }
    t = (tl >> 32);
    tl = (tl << 32) & (0xffffffff00000000LL);
    th += t;
    if (l < tl)
      th++;
    l -= tl;
    if (h < th) {
      h += d;
      q--;
    }
    h -= th;
    if (--count == 0)
      break;
    ret = q << 32;
    h = ((h << 32) | (l >> 32)) & (0xffffffffffffffffLL);
    l = (l & (0xffffffffL)) << 32;
  }
  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    115b <bn_div_words+0x3b>
movq   $0xffffffffffffffff,-0x8(%rbp)
ff
jmp    1405 <bn_div_words+0x2e5>
mov    -0x20(%rbp),%rdi
call   1030 <BN_num_bits_word@plt>
mov    %eax,-0x5c(%rbp)
mov    $0x1,%al
cmpl   $0x40,-0x5c(%rbp)
mov    %al,-0x61(%rbp)
je     1191 <bn_div_words+0x71>
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    $0x40,%eax
sub    -0x5c(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x20(%rbp),%rax
jb     11c6 <bn_div_words+0xa6>
mov    -0x20(%rbp),%rcx
mov    -0x10(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x10(%rbp)
cmpl   $0x0,-0x5c(%rbp)
je     1215 <bn_div_words+0xf5>
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    $0x40,%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 $0xffffffff00000000,%rax
ff ff ff
and    -0x20(%rbp),%rax
shr    $0x20,%rax
mov    %rax,-0x28(%rbp)
movabs $0xffffffff,%rax
and    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x20,%rax
cmp    -0x28(%rbp),%rax
jne    125d <bn_div_words+0x13d>
mov    $0xffffffff,%eax
mov    %rax,-0x38(%rbp)
jmp    126d <bn_div_words+0x14d>
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 $0xffffffff00000000,%rax
ff ff ff
and    -0x58(%rbp),%rax
cmp    $0x0,%rax
jne    12d5 <bn_div_words+0x1b5>
mov    -0x50(%rbp),%rax
mov    -0x58(%rbp),%rcx
shl    $0x20,%rcx
movabs $0xffffffff00000000,%rdx
ff ff ff
and    -0x18(%rbp),%rdx
shr    $0x20,%rdx
or     %rdx,%rcx
cmp    %rcx,%rax
ja     12da <bn_div_words+0x1ba>
jmp    1309 <bn_div_words+0x1e9>
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    1287 <bn_div_words+0x167>
mov    -0x50(%rbp),%rax
shr    $0x20,%rax
mov    %rax,-0x58(%rbp)
mov    -0x50(%rbp),%rax
shl    $0x20,%rax
movabs $0xffffffff00000000,%rcx
ff ff ff
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    1354 <bn_div_words+0x234>
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    1389 <bn_div_words+0x269>
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    13af <bn_div_words+0x28f>
jmp    13f1 <bn_div_words+0x2d1>
mov    -0x38(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
shl    $0x20,%rax
mov    -0x18(%rbp),%rcx
shr    $0x20,%rcx
or     %rcx,%rax
and    $0xffffffffffffffff,%rax
mov    %rax,-0x10(%rbp)
movabs $0xffffffff,%rax
and    -0x18(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0x18(%rbp)
jmp    123d <bn_div_words+0x11d>
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     11c3 <bn_div_words+0xa3>
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdx,%r15
mov    %rsi,%r12
mov    %rdi,%r14
mov    %rdx,%rdi
call   1030 <BN_num_bits_word@plt>
mov    %eax,%ebp
cmp    $0x40,%eax
sete   %al
mov    $0x1,%edx
mov    %ebp,%ecx
shl    %cl,%rdx
cmp    %r14,%rdx
setb   %cl
or     %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
xor    %eax,%eax
cmp    %r15,%r14
cmovae %r15,%rax
sub    %rax,%r14
cmp    $0x40,%ebp
je     1191 <bn_div_words+0x71>
mov    %ebp,%eax
mov    %eax,%edx
neg    %dl
mov    %edx,%ecx
shl    %cl,%r15
mov    %r12,%rsi
mov    %eax,%ecx
shrd   %cl,%r14,%rsi
mov    %edx,%ecx
shl    %cl,%r12
mov    %rsi,%r14
mov    $0xffffffff,%ecx
mov    %r15,%r9
shr    $0x20,%r9
mov    %r15d,%r10d
mov    %r14,%rax
shr    $0x20,%rax
mov    $0xffffffff,%esi
cmp    %r9,%rax
je     11d5 <bn_div_words+0xb5>
test   %rax,%rax
je     11cb <bn_div_words+0xab>
mov    %r14,%rax
xor    %edx,%edx
div    %r9
mov    %rax,%rsi
jmp    11d5 <bn_div_words+0xb5>
mov    $0xffffffffffffffff,%rax
ret
mov    %r14d,%eax
xor    %edx,%edx
div    %r9d
mov    %eax,%esi
mov    %rsi,%r8
imul   %r9,%r8
mov    %rsi,%rdx
imul   %r10,%rdx
mov    %r14,%rax
sub    %r8,%rax
mov    %rax,%rdi
shr    $0x20,%rdi
jne    1250 <bn_div_words+0x130>
shld   $0x20,%r12,%rax
cmp    %rax,%rdx
jbe    1250 <bn_div_words+0x130>
lea    -0x1(%rsi),%rax
mov    %r9,%rbp
imul   %rax,%rbp
imul   %r10,%rax
mov    %r14,%r11
sub    %rbp,%r11
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0xffffffffffffffff,%rsi
sub    %r10,%rdx
lea    (%r11,%rbx,1),%rbp
mov    %rbp,%rdi
shr    $0x20,%rdi
add    %r9,%rbx
test   %rdi,%rdi
jne    124d <bn_div_words+0x12d>
shld   $0x20,%r12,%rbp
mov    %rax,%rdi
sub    %r10,%rdi
cmp    %rbp,%rax
mov    %rdi,%rax
ja     1220 <bn_div_words+0x100>
sub    %rbx,%r8
mov    %rdx,%rax
shr    $0x20,%rax
shl    $0x20,%rdx
sub    %rdx,%r12
adc    %r8,%rax
cmp    %rax,%r14
sbb    $0x0,%esi
xor    %edx,%edx
sub    %rax,%r14
cmovae %edx,%r15d
add    %r15d,%r14d
shld   $0x20,%r12,%r14
mov    %r14,%rax
shr    $0x20,%rax
cmp    %r9,%rax
je     12a0 <bn_div_words+0x180>
test   %rax,%rax
je     1296 <bn_div_words+0x176>
mov    %r14,%rax
xor    %edx,%edx
div    %r9
mov    %rax,%rcx
jmp    12a0 <bn_div_words+0x180>
mov    %r14d,%eax
xor    %edx,%edx
div    %r9d
mov    %eax,%ecx
shl    $0x20,%r12
shl    $0x20,%rsi
mov    %rcx,%r8
imul   %r9,%r8
mov    %rcx,%rax
imul   %r10,%rax
mov    %r14,%rdx
sub    %r8,%rdx
mov    %rdx,%rdi
shr    $0x20,%rdi
jne    1320 <bn_div_words+0x200>
shld   $0x20,%r12,%rdx
cmp    %rdx,%rax
jbe    1320 <bn_div_words+0x200>
lea    -0x1(%rcx),%rdx
mov    %r9,%rbp
imul   %rdx,%rbp
imul   %r10,%rdx
mov    %r14,%r11
sub    %rbp,%r11
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
add    $0xffffffffffffffff,%rcx
sub    %r10,%rax
lea    (%r11,%rbx,1),%rbp
mov    %rbp,%rdi
shr    $0x20,%rdi
add    %r9,%rbx
test   %rdi,%rdi
jne    131d <bn_div_words+0x1fd>
shld   $0x20,%r12,%rbp
mov    %rdx,%rdi
sub    %r10,%rdi
cmp    %rbp,%rdx
mov    %rdi,%rdx
ja     12f0 <bn_div_words+0x1d0>
sub    %rbx,%r8
mov    %rax,%rdx
shr    $0x20,%rdx
add    %r8,%rdx
shl    $0x20,%rax
cmp    %rax,%r12
adc    $0x0,%rdx
cmp    %rdx,%r14
sbb    $0x0,%rcx
or     %rsi,%rcx
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
mov    %rcx,%rax
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 -1, 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, 64
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 64, %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 64, %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, -4294967296
%69 = lshr i64 %68, 32
store i64 %69, i64* %8
%70 = load i64, i64* %7
%71 = and i64 %70, 4294967295
store i64 %71, i64* %9
br label %72
72: ; preds = %151, %66
%73 = load i64, i64* %5
%74 = lshr i64 %73, 32
%75 = load i64, i64* %8
%76 = icmp eq i64 %74, %75
br i1 %76, label %77, label %78
77: ; preds = %72
store i64 4294967295, 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, -4294967296
%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, 32
%100 = load i64, i64* %6
%101 = and i64 %100, -4294967296
%102 = lshr i64 %101, 32
%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, 32
store i64 %117, i64* %14
%118 = load i64, i64* %13
%119 = shl i64 %118, 32
%120 = and i64 %119, -4294967296
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, 32
store i64 %153, i64* %11
%154 = load i64, i64* %5
%155 = shl i64 %154, 32
%156 = load i64, i64* %6
%157 = lshr i64 %156, 32
%158 = or i64 %155, %157
%159 = and i64 %158, -1
store i64 %159, i64* %5
%160 = load i64, i64* %6
%161 = and i64 %160, 4294967295
%162 = shl i64 %161, 32
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 %115, label %5
5: ; preds = %3
%6 = tail call i32 @BN_num_bits_word(i64 %2)
%7 = icmp eq i32 %6, 64
%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 64, %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, 32
%30 = and i64 %27, 4294967295
%31 = lshr i64 %28, 32
%32 = icmp eq i64 %31, %29
br i1 %32, label %35, label %33
33: ; preds = %25
%34 = udiv i64 %28, %29
br label %35
35: ; preds = %25, %33
%36 = phi i64 [ %34, %33 ], [ 4294967295, %25 ]
%37 = mul i64 %36, %29
%38 = mul i64 %36, %30
%39 = sub i64 %28, %37
%40 = icmp ult i64 %39, 4294967296
%41 = tail call i64 @llvm.fshl.i64(i64 %39, i64 %26, i64 32)
%42 = icmp ugt i64 %38, %41
%43 = select i1 %40, i1 %42, i1 false
br i1 %43, label %44, label %56
44: ; preds = %35, %44
%45 = phi i64 [ %50, %44 ], [ %38, %35 ]
%46 = phi i64 [ %49, %44 ], [ %37, %35 ]
%47 = phi i64 [ %48, %44 ], [ %36, %35 ]
%48 = add i64 %47, -1
%49 = sub i64 %46, %29
%50 = sub i64 %45, %30
%51 = sub i64 %28, %49
%52 = icmp ult i64 %51, 4294967296
%53 = tail call i64 @llvm.fshl.i64(i64 %51, i64 %26, i64 32)
%54 = icmp ugt i64 %50, %53
%55 = select i1 %52, i1 %54, i1 false
br i1 %55, label %44, label %56
56: ; preds = %44, %35
%57 = phi i64 [ %36, %35 ], [ %48, %44 ]
%58 = phi i64 [ %37, %35 ], [ %49, %44 ]
%59 = phi i64 [ %38, %35 ], [ %50, %44 ]
%60 = lshr i64 %59, 32
%61 = shl i64 %59, 32
%62 = add i64 %60, %58
%63 = icmp ult i64 %26, %61
%64 = zext i1 %63 to i64
%65 = add i64 %62, %64
%66 = sub i64 %26, %61
%67 = icmp ult i64 %28, %65
%68 = sext i1 %67 to i64
%69 = add i64 %57, %68
%70 = select i1 %67, i64 %27, i64 0
%71 = sub i64 %28, %65
%72 = add i64 %71, %70
%73 = shl i64 %69, 32
%74 = tail call i64 @llvm.fshl.i64(i64 %72, i64 %66, i64 32)
%75 = shl i64 %66, 32
%76 = lshr i64 %74, 32
%77 = icmp eq i64 %76, %29
br i1 %77, label %80, label %78
78: ; preds = %56
%79 = udiv i64 %74, %29
br label %80
80: ; preds = %78, %56
%81 = phi i64 [ %79, %78 ], [ 4294967295, %56 ]
%82 = mul i64 %81, %29
%83 = mul i64 %81, %30
%84 = sub i64 %74, %82
%85 = icmp ult i64 %84, 4294967296
%86 = tail call i64 @llvm.fshl.i64(i64 %84, i64 %75, i64 32)
%87 = icmp ugt i64 %83, %86
%88 = select i1 %85, i1 %87, i1 false
br i1 %88, label %89, label %101
89: ; preds = %80, %89
%90 = phi i64 [ %95, %89 ], [ %83, %80 ]
%91 = phi i64 [ %94, %89 ], [ %82, %80 ]
%92 = phi i64 [ %93, %89 ], [ %81, %80 ]
%93 = add i64 %92, -1
%94 = sub i64 %91, %29
%95 = sub i64 %90, %30
%96 = sub i64 %74, %94
%97 = icmp ult i64 %96, 4294967296
%98 = tail call i64 @llvm.fshl.i64(i64 %96, i64 %75, i64 32)
%99 = icmp ugt i64 %95, %98
%100 = select i1 %97, i1 %99, i1 false
br i1 %100, label %89, label %101
101: ; preds = %89, %80
%102 = phi i64 [ %81, %80 ], [ %93, %89 ]
%103 = phi i64 [ %82, %80 ], [ %94, %89 ]
%104 = phi i64 [ %83, %80 ], [ %95, %89 ]
%105 = lshr i64 %104, 32
%106 = add i64 %105, %103
%107 = shl i64 %104, 32
%108 = icmp ult i64 %75, %107
%109 = zext i1 %108 to i64
%110 = add i64 %106, %109
%111 = icmp ult i64 %74, %110
%112 = sext i1 %111 to i64
%113 = add i64 %102, %112
%114 = or i64 %113, %73
br label %115
115: ; preds = %3, %101
%116 = phi i64 [ %114, %101 ], [ -1, %3 ]
ret i64 %116
}