void ClipHistogram(unsigned long *pulHistogram, unsigned int uiNrGreylevels,
                   unsigned long ulClipLimit) {
  unsigned long *pulBinPointer, *pulEndPointer, *pulHisto;
  unsigned long ulNrExcess, ulUpper, ulBinIncr, ulStepSize, i;
  unsigned long ulOldNrExcess;
  long lBinExcess;
  ulNrExcess = 0;
  pulBinPointer = pulHistogram;
  for (i = 0; i < uiNrGreylevels; i++) {
    lBinExcess = (long)pulBinPointer[i] - (long)ulClipLimit;
    if (lBinExcess > 0)
      ulNrExcess += lBinExcess;
  };
  ulBinIncr = ulNrExcess / uiNrGreylevels;
  ulUpper = ulClipLimit - ulBinIncr;
  for (i = 0; i < uiNrGreylevels; i++) {
    if (pulHistogram[i] > ulClipLimit)
      pulHistogram[i] = ulClipLimit;
    else {
      if (pulHistogram[i] > ulUpper) {
        ulNrExcess -= pulHistogram[i] - ulUpper;
        pulHistogram[i] = ulClipLimit;
      } else {
        ulNrExcess -= ulBinIncr;
        pulHistogram[i] += ulBinIncr;
      }
    }
  }
  do {
    pulEndPointer = &pulHistogram[uiNrGreylevels];
    pulHisto = pulHistogram;
    ulOldNrExcess = ulNrExcess;
    while (ulNrExcess && pulHisto < pulEndPointer) {
      ulStepSize = uiNrGreylevels / ulNrExcess;
      if (ulStepSize < 1)
        ulStepSize = 1;
      for (pulBinPointer = pulHisto;
           pulBinPointer < pulEndPointer && ulNrExcess;
           pulBinPointer += ulStepSize) {
        if (*pulBinPointer < ulClipLimit) {
          (*pulBinPointer)++;
          ulNrExcess--;
        }
      }
      pulHisto++;
    }
  } while ((ulNrExcess) && (ulNrExcess < ulOldNrExcess));
}


x86 assembly (clang, -O0):
<ClipHistogram>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
movq   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    -0xc(%rbp),%ecx
cmp    %rcx,%rax
jae    1178 <ClipHistogram+0x78>
mov    -0x20(%rbp),%rax
mov    -0x58(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
sub    -0x18(%rbp),%rax
mov    %rax,-0x68(%rbp)
cmpq   $0x0,-0x68(%rbp)
jle    1162 <ClipHistogram+0x62>
mov    -0x68(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    1167 <ClipHistogram+0x67>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    1127 <ClipHistogram+0x27>
mov    -0x38(%rbp),%rax
mov    -0xc(%rbp),%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,-0x48(%rbp)
mov    -0x18(%rbp),%rax
sub    -0x48(%rbp),%rax
mov    %rax,-0x40(%rbp)
movq   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    -0xc(%rbp),%ecx
cmp    %rcx,%rax
jae    125b <ClipHistogram+0x15b>
mov    -0x8(%rbp),%rax
mov    -0x58(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x18(%rbp),%rax
jbe    11d7 <ClipHistogram+0xd7>
mov    -0x18(%rbp),%rdx
mov    -0x8(%rbp),%rax
mov    -0x58(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
jmp    1245 <ClipHistogram+0x145>
mov    -0x8(%rbp),%rax
mov    -0x58(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmp    -0x40(%rbp),%rax
jbe    121d <ClipHistogram+0x11d>
mov    -0x8(%rbp),%rax
mov    -0x58(%rbp),%rcx
mov    (%rax,%rcx,8),%rcx
sub    -0x40(%rbp),%rcx
mov    -0x38(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rdx
mov    -0x8(%rbp),%rax
mov    -0x58(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
jmp    1240 <ClipHistogram+0x140>
mov    -0x48(%rbp),%rcx
mov    -0x38(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x48(%rbp),%rdx
mov    -0x8(%rbp),%rax
mov    -0x58(%rbp),%rcx
add    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
jmp    1245 <ClipHistogram+0x145>
jmp    124a <ClipHistogram+0x14a>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    119c <ClipHistogram+0x9c>
jmp    1260 <ClipHistogram+0x160>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x60(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x38(%rbp)
mov    %al,-0x69(%rbp)
je     12a0 <ClipHistogram+0x1a0>
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
setb   %al
mov    %al,-0x69(%rbp)
mov    -0x69(%rbp),%al
test   $0x1,%al
jne    12b0 <ClipHistogram+0x1b0>
jmp    135e <ClipHistogram+0x25e>
mov    -0xc(%rbp),%eax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x38(%rbp)
mov    %rax,-0x50(%rbp)
cmpq   $0x1,-0x50(%rbp)
jae    12d2 <ClipHistogram+0x1d2>
movq   $0x1,-0x50(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rcx
xor    %eax,%eax
cmp    -0x28(%rbp),%rcx
mov    %al,-0x6a(%rbp)
jae    12f8 <ClipHistogram+0x1f8>
cmpq   $0x0,-0x38(%rbp)
setne  %al
mov    %al,-0x6a(%rbp)
mov    -0x6a(%rbp),%al
test   $0x1,%al
jne    1308 <ClipHistogram+0x208>
jmp    134d <ClipHistogram+0x24d>
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
cmp    -0x18(%rbp),%rax
jae    1333 <ClipHistogram+0x233>
mov    -0x20(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
mov    -0x38(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
jmp    1338 <ClipHistogram+0x238>
mov    -0x50(%rbp),%rax
shl    $0x3,%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    12da <ClipHistogram+0x1da>
mov    -0x30(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x30(%rbp)
jmp    1282 <ClipHistogram+0x182>
jmp    1363 <ClipHistogram+0x263>
xor    %eax,%eax
cmpq   $0x0,-0x38(%rbp)
mov    %al,-0x6b(%rbp)
je     1381 <ClipHistogram+0x281>
mov    -0x38(%rbp),%rax
cmp    -0x60(%rbp),%rax
setb   %al
mov    %al,-0x6b(%rbp)
mov    -0x6b(%rbp),%al
test   $0x1,%al
jne    1260 <ClipHistogram+0x160>
pop    %rbp
ret

x86 assembly (clang, -O2):
<ClipHistogram>:
push   %r15
push   %r14
push   %rbx
mov    %rdx,%r10
mov    %esi,%r8d
test   %esi,%esi
je     1127 <ClipHistogram+0x27>
lea    -0x1(%r8),%rcx
mov    %r8d,%r11d
and    $0x3,%r11d
cmp    $0x3,%rcx
jae    112f <ClipHistogram+0x2f>
xor    %ecx,%ecx
xor    %r9d,%r9d
jmp    1184 <ClipHistogram+0x84>
xor    %r9d,%r9d
jmp    121c <ClipHistogram+0x11c>
mov    %r8d,%r14d
and    $0xfffffffc,%r14d
xor    %ebx,%ebx
xor    %ecx,%ecx
xor    %r9d,%r9d
nopl   (%rax)
mov    (%rdi,%rcx,8),%rax
mov    0x8(%rdi,%rcx,8),%rdx
sub    %r10,%rax
cmovs  %rbx,%rax
add    %r9,%rax
sub    %r10,%rdx
cmovs  %rbx,%rdx
add    %rax,%rdx
mov    0x10(%rdi,%rcx,8),%rax
sub    %r10,%rax
cmovs  %rbx,%rax
add    %rdx,%rax
mov    0x18(%rdi,%rcx,8),%r9
sub    %r10,%r9
cmovs  %rbx,%r9
add    %rax,%r9
add    $0x4,%rcx
cmp    %rcx,%r14
jne    1140 <ClipHistogram+0x40>
test   %r11,%r11
je     11b7 <ClipHistogram+0xb7>
lea    (%rdi,%rcx,8),%rcx
xor    %edx,%edx
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rcx,%rbx,8),%rax
sub    %r10,%rax
cmovs  %rdx,%rax
add    %rax,%r9
add    $0x1,%rbx
cmp    %rbx,%r11
jne    11a0 <ClipHistogram+0xa0>
mov    %r9,%rax
shr    $0x20,%rax
je     11ce <ClipHistogram+0xce>
mov    %r9,%rax
xor    %edx,%edx
div    %r8
test   %esi,%esi
jne    11da <ClipHistogram+0xda>
jmp    121c <ClipHistogram+0x11c>
mov    %r9d,%eax
xor    %edx,%edx
div    %r8d
test   %esi,%esi
je     121c <ClipHistogram+0x11c>
mov    %r10,%rcx
sub    %rax,%rcx
xor    %edx,%edx
jmp    1206 <ClipHistogram+0x106>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    %rcx,%r9
sub    %rbx,%r9
mov    %r10,%rbx
mov    %rbx,(%rdi,%rdx,8)
add    $0x1,%rdx
cmp    %rdx,%r8
je     121c <ClipHistogram+0x11c>
mov    (%rdi,%rdx,8),%rbx
cmp    %r10,%rbx
ja     11f6 <ClipHistogram+0xf6>
cmp    %rbx,%rcx
jb     11f0 <ClipHistogram+0xf0>
sub    %rax,%r9
add    %rax,%rbx
jmp    11f9 <ClipHistogram+0xf9>
lea    (%rdi,%r8,8),%r15
mov    $0x1,%r11d
cs nopw 0x0(%rax,%rax,1)
test   %r9,%r9
je     12ab <ClipHistogram+0x1ab>
test   %esi,%esi
je     12ab <ClipHistogram+0x1ab>
mov    %rdi,%r14
mov    %r9,%rbx
nop
cmp    %rbx,%r8
jb     1250 <ClipHistogram+0x150>
mov    %r8d,%eax
xor    %edx,%edx
div    %ebx
jmp    1252 <ClipHistogram+0x152>
xchg   %ax,%ax
xor    %eax,%eax
cmp    %r8,%rbx
cmova  %r11,%rax
cmp    %r15,%r14
jae    1290 <ClipHistogram+0x190>
shl    $0x3,%rax
mov    %r14,%rdx
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rdx),%rcx
cmp    %r10,%rcx
jae    1283 <ClipHistogram+0x183>
add    $0x1,%rcx
mov    %rcx,(%rdx)
add    $0xffffffffffffffff,%rbx
add    %rax,%rdx
cmp    %r15,%rdx
jae    1290 <ClipHistogram+0x190>
test   %rbx,%rbx
jne    1270 <ClipHistogram+0x170>
test   %rbx,%rbx
je     129e <ClipHistogram+0x19e>
add    $0x8,%r14
cmp    %r15,%r14
jb     1240 <ClipHistogram+0x140>
test   %rbx,%rbx
je     12ab <ClipHistogram+0x1ab>
cmp    %r9,%rbx
mov    %rbx,%r9
jb     1230 <ClipHistogram+0x130>
pop    %rbx
pop    %r14
pop    %r15
ret

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

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