#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 INT_MAX;
scalar_t__ malloc(int);
int maximumGap(int *nums, int size) {
  if (size < 2)
    return 0;
  int min = INT_MAX, max = 0;
  for (int i = 0; i < size; i++) {
    if (nums[i] < min)
      min = nums[i];
    if (nums[i] > max)
      max = nums[i];
  }
  if (min == max)
    return 0;
  if (min + 1 == max)
    return 1;
  if (size == 2)
    return max - min;
  int gap = (max - min) / (size - 1) + 1;
  int **buckets = (int **)malloc(sizeof(int *) * size);
  for (int i = 0; i < size; i++) {
    buckets[i] = (int *)malloc(sizeof(int) * 2);
    buckets[i][0] = -1;
    buckets[i][1] = 0;
  }
  for (int i = 0; i < size; i++) {
    int k = (nums[i] - min) / gap;
    if (nums[i] > buckets[k][1])
      buckets[k][1] = nums[i];
    if (buckets[k][0] == -1 || nums[i] < buckets[k][0])
      buckets[k][0] = nums[i];
  }
  int start = buckets[0][1];
  int end = buckets[0][0];
  int maxGap = 1;
  for (int i = 0; i < size; i++) {
    if (buckets[i][0] > end) {
      end = buckets[i][0];
      if (end - start > maxGap)
        maxGap = end - start;
      start = buckets[i][1];
    }
  }
  return maxGap;
}


x86 assembly (clang, -O0):
<maximumGap>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x2,-0x14(%rbp)
jge    1135 <maximumGap+0x25>
movl   $0x0,-0x4(%rbp)
jmp    13e4 <maximumGap+0x2d4>
mov    0x2eac(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11b2 <maximumGap+0xa2>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jge    117d <maximumGap+0x6d>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jle    119f <maximumGap+0x8f>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
jmp    11a4 <maximumGap+0x94>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    114f <maximumGap+0x3f>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    11ca <maximumGap+0xba>
movl   $0x0,-0x4(%rbp)
jmp    13e4 <maximumGap+0x2d4>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
cmp    -0x1c(%rbp),%eax
jne    11e5 <maximumGap+0xd5>
movl   $0x1,-0x4(%rbp)
jmp    13e4 <maximumGap+0x2d4>
cmpl   $0x2,-0x14(%rbp)
jne    11fd <maximumGap+0xed>
mov    -0x1c(%rbp),%eax
sub    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13e4 <maximumGap+0x2d4>
mov    -0x1c(%rbp),%eax
sub    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cltd
idiv   %ecx
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x3,%rax
mov    %eax,%edi
call   1030 <malloc@plt>
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1284 <maximumGap+0x174>
mov    $0x8,%edi
call   1030 <malloc@plt>
mov    %rax,%rdx
mov    -0x30(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x30(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movl   $0xffffffff,(%rax)
mov    -0x30(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movl   $0x0,0x4(%rax)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    122c <maximumGap+0x11c>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1346 <maximumGap+0x236>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
sub    -0x18(%rbp),%eax
cltd
idivl  -0x24(%rbp)
mov    %eax,-0x3c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x30(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    0x4(%rcx),%eax
jle    12e6 <maximumGap+0x1d6>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x4(%rax)
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
cmpl   $0xffffffff,(%rax)
je     131a <maximumGap+0x20a>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x30(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    (%rcx),%eax
jge    1333 <maximumGap+0x223>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,(%rax)
jmp    1338 <maximumGap+0x228>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    128b <maximumGap+0x17b>
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x40(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
mov    (%rax),%eax
mov    %eax,-0x44(%rbp)
movl   $0x1,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    13de <maximumGap+0x2ce>
mov    -0x30(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%eax
cmp    -0x44(%rbp),%eax
jle    13cb <maximumGap+0x2bb>
mov    -0x30(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
sub    -0x40(%rbp),%eax
cmp    -0x48(%rbp),%eax
jle    13b9 <maximumGap+0x2a9>
mov    -0x44(%rbp),%eax
sub    -0x40(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x40(%rbp)
jmp    13d0 <maximumGap+0x2c0>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    136d <maximumGap+0x25d>
mov    -0x48(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<maximumGap>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
xor    %r13d,%r13d
cmp    $0x2,%esi
jl     14f5 <maximumGap+0x3e5>
mov    %esi,%r12d
mov    %rdi,%rbx
mov    0x2eb1(%rip),%rax
mov    (%rax),%r14d
mov    %esi,%ebp
cmp    $0x8,%esi
jae    114a <maximumGap+0x3a>
xor    %eax,%eax
xor    %ecx,%ecx
jmp    1390 <maximumGap+0x280>
mov    %ebp,%eax
and    $0xfffffff8,%eax
movd   %r14d,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%rax),%rdx
mov    %rdx,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
test   %rdx,%rdx
je     13d6 <maximumGap+0x2c6>
mov    %rcx,%rsi
and    $0xfffffffffffffffe,%rsi
pxor   %xmm2,%xmm2
xor    %edx,%edx
movdqa %xmm0,%xmm1
pxor   %xmm3,%xmm3
cs nopw 0x0(%rax,%rax,1)
movdqu (%rbx,%rdx,4),%xmm5
movdqu 0x10(%rbx,%rdx,4),%xmm10
movdqu 0x20(%rbx,%rdx,4),%xmm9
movdqu 0x30(%rbx,%rdx,4),%xmm8
movdqa %xmm0,%xmm6
pcmpgtd %xmm5,%xmm6
movdqa %xmm5,%xmm4
pand   %xmm6,%xmm4
pandn  %xmm0,%xmm6
por    %xmm4,%xmm6
movdqa %xmm1,%xmm7
pcmpgtd %xmm10,%xmm7
movdqa %xmm10,%xmm0
pand   %xmm7,%xmm0
pandn  %xmm1,%xmm7
por    %xmm0,%xmm7
movdqa %xmm5,%xmm4
pcmpgtd %xmm2,%xmm4
pand   %xmm4,%xmm5
pandn  %xmm2,%xmm4
por    %xmm5,%xmm4
movdqa %xmm10,%xmm5
pcmpgtd %xmm3,%xmm5
pand   %xmm5,%xmm10
pandn  %xmm3,%xmm5
por    %xmm10,%xmm5
movdqa %xmm6,%xmm0
pcmpgtd %xmm9,%xmm0
movdqa %xmm9,%xmm1
pand   %xmm0,%xmm1
pandn  %xmm6,%xmm0
por    %xmm1,%xmm0
movdqa %xmm7,%xmm1
pcmpgtd %xmm8,%xmm1
movdqa %xmm8,%xmm2
pand   %xmm1,%xmm2
pandn  %xmm7,%xmm1
por    %xmm2,%xmm1
movdqa %xmm9,%xmm2
pcmpgtd %xmm4,%xmm2
pand   %xmm2,%xmm9
pandn  %xmm4,%xmm2
por    %xmm9,%xmm2
movdqa %xmm8,%xmm3
pcmpgtd %xmm5,%xmm3
pand   %xmm3,%xmm8
pandn  %xmm5,%xmm3
por    %xmm8,%xmm3
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rsi
jne    1190 <maximumGap+0x80>
test   $0x1,%cl
je     12f5 <maximumGap+0x1e5>
movdqu (%rbx,%rdx,4),%xmm5
movdqu 0x10(%rbx,%rdx,4),%xmm8
movdqa %xmm0,%xmm6
pcmpgtd %xmm5,%xmm6
movdqa %xmm5,%xmm7
pand   %xmm6,%xmm7
pandn  %xmm0,%xmm6
por    %xmm7,%xmm6
movdqa %xmm1,%xmm7
pcmpgtd %xmm8,%xmm7
movdqa %xmm8,%xmm0
pand   %xmm7,%xmm0
pandn  %xmm1,%xmm7
por    %xmm0,%xmm7
movdqa %xmm5,%xmm4
pcmpgtd %xmm2,%xmm4
pand   %xmm4,%xmm5
pandn  %xmm2,%xmm4
por    %xmm5,%xmm4
movdqa %xmm8,%xmm5
pcmpgtd %xmm3,%xmm5
pand   %xmm5,%xmm8
pandn  %xmm3,%xmm5
por    %xmm8,%xmm5
movdqa %xmm6,%xmm0
movdqa %xmm7,%xmm1
movdqa %xmm4,%xmm2
movdqa %xmm5,%xmm3
movdqa %xmm2,%xmm4
pcmpgtd %xmm3,%xmm4
pand   %xmm4,%xmm2
pandn  %xmm3,%xmm4
por    %xmm2,%xmm4
pshufd $0xee,%xmm4,%xmm2
movdqa %xmm4,%xmm3
pcmpgtd %xmm2,%xmm3
pand   %xmm3,%xmm4
pandn  %xmm2,%xmm3
por    %xmm4,%xmm3
pshufd $0x55,%xmm3,%xmm2
movdqa %xmm3,%xmm4
pcmpgtd %xmm2,%xmm4
pand   %xmm4,%xmm3
pandn  %xmm2,%xmm4
por    %xmm3,%xmm4
movd   %xmm4,%ecx
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm1,%xmm2
por    %xmm0,%xmm2
pshufd $0xee,%xmm2,%xmm0
movdqa %xmm0,%xmm1
pcmpgtd %xmm2,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
pshufd $0x55,%xmm1,%xmm0
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm1
pandn  %xmm0,%xmm2
por    %xmm1,%xmm2
movd   %xmm2,%r14d
cmp    %rbp,%rax
je     13a8 <maximumGap+0x298>
nop
mov    (%rbx,%rax,4),%edx
cmp    %r14d,%edx
cmovl  %edx,%r14d
cmp    %ecx,%edx
cmovg  %edx,%ecx
add    $0x1,%rax
cmp    %rax,%rbp
jne    1390 <maximumGap+0x280>
xor    %r13d,%r13d
mov    %ecx,%eax
sub    %r14d,%eax
je     14f5 <maximumGap+0x3e5>
lea    0x1(%r14),%edx
mov    $0x1,%r13d
cmp    %ecx,%edx
je     14f5 <maximumGap+0x3e5>
cmp    $0x2,%r12d
jne    13f2 <maximumGap+0x2e2>
mov    %eax,%r13d
jmp    14f5 <maximumGap+0x3e5>
pxor   %xmm2,%xmm2
xor    %edx,%edx
movdqa %xmm0,%xmm1
pxor   %xmm3,%xmm3
test   $0x1,%cl
jne    127c <maximumGap+0x16c>
jmp    12f5 <maximumGap+0x1e5>
lea    -0x1(%r12),%ecx
cltd
idiv   %ecx
mov    %eax,0xc(%rsp)
lea    0x0(,%r12,8),%edi
call   1030 <malloc@plt>
test   %r12d,%r12d
jle    14f5 <maximumGap+0x3e5>
mov    %rax,%r15
mov    %r12,0x10(%rsp)
addl   $0x1,0xc(%rsp)
xor    %r12d,%r12d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    $0x8,%edi
call   1030 <malloc@plt>
mov    %rax,(%r15,%r12,8)
mov    $0xffffffff,%ecx
mov    %rcx,(%rax)
add    $0x1,%r12
cmp    %r12,%rbp
jne    1430 <maximumGap+0x320>
mov    0x10(%rsp),%r8
test   %r8d,%r8d
jle    14f5 <maximumGap+0x3e5>
xor    %ecx,%ecx
mov    0xc(%rsp),%edi
jmp    147b <maximumGap+0x36b>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edx,(%rax)
add    $0x1,%rcx
cmp    %rcx,%rbp
je     14a4 <maximumGap+0x394>
mov    (%rbx,%rcx,4),%esi
mov    %esi,%eax
sub    %r14d,%eax
cltd
idiv   %edi
cltq
mov    (%r15,%rax,8),%rax
cmp    0x4(%rax),%esi
jle    1494 <maximumGap+0x384>
mov    %esi,0x4(%rax)
mov    (%rax),%esi
mov    (%rbx,%rcx,4),%edx
cmp    $0xffffffff,%esi
je     1470 <maximumGap+0x360>
cmp    %esi,%edx
jge    1472 <maximumGap+0x362>
jmp    1470 <maximumGap+0x360>
test   %r8d,%r8d
jle    14f5 <maximumGap+0x3e5>
mov    (%r15),%rsi
mov    (%rsi),%edx
mov    0x4(%rsi),%ecx
mov    $0x1,%r13d
mov    $0x1,%eax
mov    %edx,%edi
cmp    %edi,%edx
jle    14e0 <maximumGap+0x3d0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %edx,%edi
sub    %ecx,%edi
cmp    %r13d,%edi
cmovg  %edi,%r13d
mov    0x4(%rsi),%ecx
mov    %edx,%edi
cmp    %rax,%rbp
je     14f5 <maximumGap+0x3e5>
mov    (%r15,%rax,8),%rsi
mov    (%rsi),%edx
add    $0x1,%rax
cmp    %edi,%edx
jg     14d0 <maximumGap+0x3c0>
jmp    14e0 <maximumGap+0x3d0>
mov    %r13d,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@INT_MAX = global i32 0
define i32 @maximumGap(i32* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32**
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
%18 = load i32, i32* %5
%19 = icmp slt i32 %18, 2
br i1 %19, label %20, label %21
20: ; preds = %2
store i32 0, i32* %3
br label %252
21: ; preds = %2
%22 = load i32, i32* @INT_MAX
store i32 %22, i32* %6
store i32 0, i32* %7
store i32 0, i32* %8
br label %23
23: ; preds = %56, %21
%24 = load i32, i32* %8
%25 = load i32, i32* %5
%26 = icmp slt i32 %24, %25
br i1 %26, label %27, label %59
27: ; preds = %23
%28 = load i32*, i32** %4
%29 = load i32, i32* %8
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %28, i64 %30
%32 = load i32, i32* %31
%33 = load i32, i32* %6
%34 = icmp slt i32 %32, %33
br i1 %34, label %35, label %41
35: ; preds = %27
%36 = load i32*, i32** %4
%37 = load i32, i32* %8
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i32, i32* %36, i64 %38
%40 = load i32, i32* %39
store i32 %40, i32* %6
br label %41
41: ; preds = %35, %27
%42 = load i32*, i32** %4
%43 = load i32, i32* %8
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i32, i32* %42, i64 %44
%46 = load i32, i32* %45
%47 = load i32, i32* %7
%48 = icmp sgt i32 %46, %47
br i1 %48, label %49, label %55
49: ; preds = %41
%50 = load i32*, i32** %4
%51 = load i32, i32* %8
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i32, i32* %50, i64 %52
%54 = load i32, i32* %53
store i32 %54, i32* %7
br label %55
55: ; preds = %49, %41
br label %56
56: ; preds = %55
%57 = load i32, i32* %8
%58 = add nsw i32 %57, 1
store i32 %58, i32* %8
br label %23
59: ; preds = %23
%60 = load i32, i32* %6
%61 = load i32, i32* %7
%62 = icmp eq i32 %60, %61
br i1 %62, label %63, label %64
63: ; preds = %59
store i32 0, i32* %3
br label %252
64: ; preds = %59
%65 = load i32, i32* %6
%66 = add nsw i32 %65, 1
%67 = load i32, i32* %7
%68 = icmp eq i32 %66, %67
br i1 %68, label %69, label %70
69: ; preds = %64
store i32 1, i32* %3
br label %252
70: ; preds = %64
%71 = load i32, i32* %5
%72 = icmp eq i32 %71, 2
br i1 %72, label %73, label %77
73: ; preds = %70
%74 = load i32, i32* %7
%75 = load i32, i32* %6
%76 = sub nsw i32 %74, %75
store i32 %76, i32* %3
br label %252
77: ; preds = %70
%78 = load i32, i32* %7
%79 = load i32, i32* %6
%80 = sub nsw i32 %78, %79
%81 = load i32, i32* %5
%82 = sub nsw i32 %81, 1
%83 = sdiv i32 %80, %82
%84 = add nsw i32 %83, 1
store i32 %84, i32* %9
%85 = load i32, i32* %5
%86 = sext i32 %85 to i64
%87 = mul i64 8, %86
%88 = trunc i64 %87 to i32
%89 = call i64 @malloc(i32 %88)
%90 = inttoptr i64 %89 to i32**
store i32** %90, i32*** %10
store i32 0, i32* %11
br label %91
91: ; preds = %114, %77
%92 = load i32, i32* %11
%93 = load i32, i32* %5
%94 = icmp slt i32 %92, %93
br i1 %94, label %95, label %117
95: ; preds = %91
%96 = call i64 @malloc(i32 8)
%97 = inttoptr i64 %96 to i32*
%98 = load i32**, i32*** %10
%99 = load i32, i32* %11
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i32*, i32** %98, i64 %100
store i32* %97, i32** %101
%102 = load i32**, i32*** %10
%103 = load i32, i32* %11
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds i32*, i32** %102, i64 %104
%106 = load i32*, i32** %105
%107 = getelementptr inbounds i32, i32* %106, i64 0
store i32 -1, i32* %107
%108 = load i32**, i32*** %10
%109 = load i32, i32* %11
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i32*, i32** %108, i64 %110
%112 = load i32*, i32** %111
%113 = getelementptr inbounds i32, i32* %112, i64 1
store i32 0, i32* %113
br label %114
114: ; preds = %95
%115 = load i32, i32* %11
%116 = add nsw i32 %115, 1
store i32 %116, i32* %11
br label %91
117: ; preds = %91
store i32 0, i32* %12
br label %118
118: ; preds = %193, %117
%119 = load i32, i32* %12
%120 = load i32, i32* %5
%121 = icmp slt i32 %119, %120
br i1 %121, label %122, label %196
122: ; preds = %118
%123 = load i32*, i32** %4
%124 = load i32, i32* %12
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i32, i32* %123, i64 %125
%127 = load i32, i32* %126
%128 = load i32, i32* %6
%129 = sub nsw i32 %127, %128
%130 = load i32, i32* %9
%131 = sdiv i32 %129, %130
store i32 %131, i32* %13
%132 = load i32*, i32** %4
%133 = load i32, i32* %12
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds i32, i32* %132, i64 %134
%136 = load i32, i32* %135
%137 = load i32**, i32*** %10
%138 = load i32, i32* %13
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds i32*, i32** %137, i64 %139
%141 = load i32*, i32** %140
%142 = getelementptr inbounds i32, i32* %141, i64 1
%143 = load i32, i32* %142
%144 = icmp sgt i32 %136, %143
br i1 %144, label %145, label %157
145: ; preds = %122
%146 = load i32*, i32** %4
%147 = load i32, i32* %12
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds i32, i32* %146, i64 %148
%150 = load i32, i32* %149
%151 = load i32**, i32*** %10
%152 = load i32, i32* %13
%153 = sext i32 %152 to i64
%154 = getelementptr inbounds i32*, i32** %151, i64 %153
%155 = load i32*, i32** %154
%156 = getelementptr inbounds i32, i32* %155, i64 1
store i32 %150, i32* %156
br label %157
157: ; preds = %145, %122
%158 = load i32**, i32*** %10
%159 = load i32, i32* %13
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds i32*, i32** %158, i64 %160
%162 = load i32*, i32** %161
%163 = getelementptr inbounds i32, i32* %162, i64 0
%164 = load i32, i32* %163
%165 = icmp eq i32 %164, -1
br i1 %165, label %180, label %166
166: ; preds = %157
%167 = load i32*, i32** %4
%168 = load i32, i32* %12
%169 = sext i32 %168 to i64
%170 = getelementptr inbounds i32, i32* %167, i64 %169
%171 = load i32, i32* %170
%172 = load i32**, i32*** %10
%173 = load i32, i32* %13
%174 = sext i32 %173 to i64
%175 = getelementptr inbounds i32*, i32** %172, i64 %174
%176 = load i32*, i32** %175
%177 = getelementptr inbounds i32, i32* %176, i64 0
%178 = load i32, i32* %177
%179 = icmp slt i32 %171, %178
br i1 %179, label %180, label %192
180: ; preds = %166, %157
%181 = load i32*, i32** %4
%182 = load i32, i32* %12
%183 = sext i32 %182 to i64
%184 = getelementptr inbounds i32, i32* %181, i64 %183
%185 = load i32, i32* %184
%186 = load i32**, i32*** %10
%187 = load i32, i32* %13
%188 = sext i32 %187 to i64
%189 = getelementptr inbounds i32*, i32** %186, i64 %188
%190 = load i32*, i32** %189
%191 = getelementptr inbounds i32, i32* %190, i64 0
store i32 %185, i32* %191
br label %192
192: ; preds = %180, %166
br label %193
193: ; preds = %192
%194 = load i32, i32* %12
%195 = add nsw i32 %194, 1
store i32 %195, i32* %12
br label %118
196: ; preds = %118
%197 = load i32**, i32*** %10
%198 = getelementptr inbounds i32*, i32** %197, i64 0
%199 = load i32*, i32** %198
%200 = getelementptr inbounds i32, i32* %199, i64 1
%201 = load i32, i32* %200
store i32 %201, i32* %14
%202 = load i32**, i32*** %10
%203 = getelementptr inbounds i32*, i32** %202, i64 0
%204 = load i32*, i32** %203
%205 = getelementptr inbounds i32, i32* %204, i64 0
%206 = load i32, i32* %205
store i32 %206, i32* %15
store i32 1, i32* %16
store i32 0, i32* %17
br label %207
207: ; preds = %247, %196
%208 = load i32, i32* %17
%209 = load i32, i32* %5
%210 = icmp slt i32 %208, %209
br i1 %210, label %211, label %250
211: ; preds = %207
%212 = load i32**, i32*** %10
%213 = load i32, i32* %17
%214 = sext i32 %213 to i64
%215 = getelementptr inbounds i32*, i32** %212, i64 %214
%216 = load i32*, i32** %215
%217 = getelementptr inbounds i32, i32* %216, i64 0
%218 = load i32, i32* %217
%219 = load i32, i32* %15
%220 = icmp sgt i32 %218, %219
br i1 %220, label %221, label %246
221: ; preds = %211
%222 = load i32**, i32*** %10
%223 = load i32, i32* %17
%224 = sext i32 %223 to i64
%225 = getelementptr inbounds i32*, i32** %222, i64 %224
%226 = load i32*, i32** %225
%227 = getelementptr inbounds i32, i32* %226, i64 0
%228 = load i32, i32* %227
store i32 %228, i32* %15
%229 = load i32, i32* %15
%230 = load i32, i32* %14
%231 = sub nsw i32 %229, %230
%232 = load i32, i32* %16
%233 = icmp sgt i32 %231, %232
br i1 %233, label %234, label %238
234: ; preds = %221
%235 = load i32, i32* %15
%236 = load i32, i32* %14
%237 = sub nsw i32 %235, %236
store i32 %237, i32* %16
br label %238
238: ; preds = %234, %221
%239 = load i32**, i32*** %10
%240 = load i32, i32* %17
%241 = sext i32 %240 to i64
%242 = getelementptr inbounds i32*, i32** %239, i64 %241
%243 = load i32*, i32** %242
%244 = getelementptr inbounds i32, i32* %243, i64 1
%245 = load i32, i32* %244
store i32 %245, i32* %14
br label %246
246: ; preds = %238, %211
br label %247
247: ; preds = %246
%248 = load i32, i32* %17
%249 = add nsw i32 %248, 1
store i32 %249, i32* %17
br label %207
250: ; preds = %207
%251 = load i32, i32* %16
store i32 %251, i32* %3
br label %252
252: ; preds = %250, %73, %69, %63, %20
%253 = load i32, i32* %3
ret i32 %253
}

LLVM IR (-O2):
@INT_MAX = global i32 0
define i32 @maximumGap(i32* nocapture %0, i32 %1) {
%3 = icmp slt i32 %1, 2
br i1 %3, label %197, label %4
4: ; preds = %2
%5 = load i32, i32* @INT_MAX
%6 = zext i32 %1 to i64
%7 = icmp ult i32 %1, 8
br i1 %7, label %96, label %8
8: ; preds = %4
%9 = and i64 %6, 4294967288
%10 = insertelement <4 x i32> poison, i32 %5, i64 0
%11 = shufflevector <4 x i32> %10, <4 x i32> poison, <4 x i32> zeroinitializer
%12 = add nsw i64 %9, -8
%13 = lshr exact i64 %12, 3
%14 = add nuw nsw i64 %13, 1
%15 = and i64 %14, 1
%16 = icmp eq i64 %12, 0
br i1 %16, label %58, label %17
17: ; preds = %8
%18 = and i64 %14, 4611686018427387902
br label %19
19: ; preds = %19, %17
%20 = phi i64 [ 0, %17 ], [ %55, %19 ]
%21 = phi <4 x i32> [ %11, %17 ], [ %49, %19 ]
%22 = phi <4 x i32> [ %11, %17 ], [ %50, %19 ]
%23 = phi <4 x i32> [ zeroinitializer, %17 ], [ %53, %19 ]
%24 = phi <4 x i32> [ zeroinitializer, %17 ], [ %54, %19 ]
%25 = phi i64 [ 0, %17 ], [ %56, %19 ]
%26 = getelementptr inbounds i32, i32* %0, i64 %20
%27 = bitcast i32* %26 to <4 x i32>*
%28 = load <4 x i32>, <4 x i32>* %27
%29 = getelementptr inbounds i32, i32* %26, i64 4
%30 = bitcast i32* %29 to <4 x i32>*
%31 = load <4 x i32>, <4 x i32>* %30
%32 = icmp slt <4 x i32> %28, %21
%33 = icmp slt <4 x i32> %31, %22
%34 = select <4 x i1> %32, <4 x i32> %28, <4 x i32> %21
%35 = select <4 x i1> %33, <4 x i32> %31, <4 x i32> %22
%36 = icmp sgt <4 x i32> %28, %23
%37 = icmp sgt <4 x i32> %31, %24
%38 = select <4 x i1> %36, <4 x i32> %28, <4 x i32> %23
%39 = select <4 x i1> %37, <4 x i32> %31, <4 x i32> %24
%40 = or i64 %20, 8
%41 = getelementptr inbounds i32, i32* %0, i64 %40
%42 = bitcast i32* %41 to <4 x i32>*
%43 = load <4 x i32>, <4 x i32>* %42
%44 = getelementptr inbounds i32, i32* %41, i64 4
%45 = bitcast i32* %44 to <4 x i32>*
%46 = load <4 x i32>, <4 x i32>* %45
%47 = icmp slt <4 x i32> %43, %34
%48 = icmp slt <4 x i32> %46, %35
%49 = select <4 x i1> %47, <4 x i32> %43, <4 x i32> %34
%50 = select <4 x i1> %48, <4 x i32> %46, <4 x i32> %35
%51 = icmp sgt <4 x i32> %43, %38
%52 = icmp sgt <4 x i32> %46, %39
%53 = select <4 x i1> %51, <4 x i32> %43, <4 x i32> %38
%54 = select <4 x i1> %52, <4 x i32> %46, <4 x i32> %39
%55 = add nuw i64 %20, 16
%56 = add i64 %25, 2
%57 = icmp eq i64 %56, %18
br i1 %57, label %58, label %19
58: ; preds = %19, %8
%59 = phi <4 x i32> [ undef, %8 ], [ %49, %19 ]
%60 = phi <4 x i32> [ undef, %8 ], [ %50, %19 ]
%61 = phi <4 x i32> [ undef, %8 ], [ %53, %19 ]
%62 = phi <4 x i32> [ undef, %8 ], [ %54, %19 ]
%63 = phi i64 [ 0, %8 ], [ %55, %19 ]
%64 = phi <4 x i32> [ %11, %8 ], [ %49, %19 ]
%65 = phi <4 x i32> [ %11, %8 ], [ %50, %19 ]
%66 = phi <4 x i32> [ zeroinitializer, %8 ], [ %53, %19 ]
%67 = phi <4 x i32> [ zeroinitializer, %8 ], [ %54, %19 ]
%68 = icmp eq i64 %15, 0
br i1 %68, label %84, label %69
69: ; preds = %58
%70 = getelementptr inbounds i32, i32* %0, i64 %63
%71 = bitcast i32* %70 to <4 x i32>*
%72 = load <4 x i32>, <4 x i32>* %71
%73 = getelementptr inbounds i32, i32* %70, i64 4
%74 = bitcast i32* %73 to <4 x i32>*
%75 = load <4 x i32>, <4 x i32>* %74
%76 = icmp slt <4 x i32> %72, %64
%77 = icmp slt <4 x i32> %75, %65
%78 = select <4 x i1> %76, <4 x i32> %72, <4 x i32> %64
%79 = select <4 x i1> %77, <4 x i32> %75, <4 x i32> %65
%80 = icmp sgt <4 x i32> %72, %66
%81 = icmp sgt <4 x i32> %75, %67
%82 = select <4 x i1> %80, <4 x i32> %72, <4 x i32> %66
%83 = select <4 x i1> %81, <4 x i32> %75, <4 x i32> %67
br label %84
84: ; preds = %58, %69
%85 = phi <4 x i32> [ %59, %58 ], [ %78, %69 ]
%86 = phi <4 x i32> [ %60, %58 ], [ %79, %69 ]
%87 = phi <4 x i32> [ %61, %58 ], [ %82, %69 ]
%88 = phi <4 x i32> [ %62, %58 ], [ %83, %69 ]
%89 = icmp sgt <4 x i32> %87, %88
%90 = select <4 x i1> %89, <4 x i32> %87, <4 x i32> %88
%91 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %90)
%92 = icmp slt <4 x i32> %85, %86
%93 = select <4 x i1> %92, <4 x i32> %85, <4 x i32> %86
%94 = call i32 @llvm.vector.reduce.smin.v4i32(<4 x i32> %93)
%95 = icmp eq i64 %9, %6
br i1 %95, label %100, label %96
96: ; preds = %4, %84
%97 = phi i64 [ 0, %4 ], [ %9, %84 ]
%98 = phi i32 [ %5, %4 ], [ %94, %84 ]
%99 = phi i32 [ 0, %4 ], [ %91, %84 ]
br label %104
100: ; preds = %104, %84
%101 = phi i32 [ %94, %84 ], [ %111, %104 ]
%102 = phi i32 [ %91, %84 ], [ %113, %104 ]
%103 = icmp eq i32 %102, %101
br i1 %103, label %197, label %116
104: ; preds = %96, %104
%105 = phi i64 [ %114, %104 ], [ %97, %96 ]
%106 = phi i32 [ %111, %104 ], [ %98, %96 ]
%107 = phi i32 [ %113, %104 ], [ %99, %96 ]
%108 = getelementptr inbounds i32, i32* %0, i64 %105
%109 = load i32, i32* %108
%110 = icmp slt i32 %109, %106
%111 = select i1 %110, i32 %109, i32 %106
%112 = icmp sgt i32 %109, %107
%113 = select i1 %112, i32 %109, i32 %107
%114 = add nuw nsw i64 %105, 1
%115 = icmp eq i64 %114, %6
br i1 %115, label %100, label %104
116: ; preds = %100
%117 = add nsw i32 %101, 1
%118 = icmp eq i32 %117, %102
br i1 %118, label %197, label %119
119: ; preds = %116
%120 = icmp eq i32 %1, 2
%121 = sub nsw i32 %102, %101
br i1 %120, label %197, label %122
122: ; preds = %119
%123 = add nsw i32 %1, -1
%124 = sdiv i32 %121, %123
%125 = add nsw i32 %124, 1
%126 = shl i32 %1, 3
%127 = tail call i64 @malloc(i32 %126)
%128 = inttoptr i64 %127 to i32**
%129 = icmp sgt i32 %1, 0
br i1 %129, label %130, label %197
130: ; preds = %122
%131 = zext i32 %1 to i64
br label %135
132: ; preds = %135
br i1 %129, label %133, label %197
133: ; preds = %132
%134 = zext i32 %1 to i64
br label %150
135: ; preds = %130, %135
%136 = phi i64 [ 0, %130 ], [ %141, %135 ]
%137 = tail call i64 @malloc(i32 8)
%138 = inttoptr i64 %137 to i32*
%139 = getelementptr inbounds i32*, i32** %128, i64 %136
store i32* %138, i32** %139
store i32 -1, i32* %138
%140 = getelementptr inbounds i32, i32* %138, i64 1
store i32 0, i32* %140
%141 = add nuw nsw i64 %136, 1
%142 = icmp eq i64 %141, %131
br i1 %142, label %132, label %135
143: ; preds = %170
%144 = load i32*, i32** %128
%145 = load i32, i32* %144
br i1 %129, label %146, label %197
146: ; preds = %143
%147 = getelementptr inbounds i32, i32* %144, i64 1
%148 = load i32, i32* %147
%149 = zext i32 %1 to i64
br label %173
150: ; preds = %133, %170
%151 = phi i64 [ 0, %133 ], [ %171, %170 ]
%152 = getelementptr inbounds i32, i32* %0, i64 %151
%153 = load i32, i32* %152
%154 = sub nsw i32 %153, %101
%155 = sdiv i32 %154, %125
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds i32*, i32** %128, i64 %156
%158 = load i32*, i32** %157
%159 = getelementptr inbounds i32, i32* %158, i64 1
%160 = load i32, i32* %159
%161 = icmp sgt i32 %153, %160
br i1 %161, label %162, label %163
162: ; preds = %150
store i32 %153, i32* %159
br label %163
163: ; preds = %162, %150
%164 = load i32, i32* %158
%165 = icmp eq i32 %164, -1
%166 = load i32, i32* %152
%167 = icmp slt i32 %166, %164
%168 = select i1 %165, i1 true, i1 %167
br i1 %168, label %169, label %170
169: ; preds = %163
store i32 %166, i32* %158
br label %170
170: ; preds = %163, %169
%171 = add nuw nsw i64 %151, 1
%172 = icmp eq i64 %171, %134
br i1 %172, label %143, label %150
173: ; preds = %193, %146
%174 = phi i32 [ %145, %146 ], [ %196, %193 ]
%175 = phi i32* [ %144, %146 ], [ %195, %193 ]
%176 = phi i64 [ 0, %146 ], [ %191, %193 ]
%177 = phi i32 [ 1, %146 ], [ %190, %193 ]
%178 = phi i32 [ %145, %146 ], [ %189, %193 ]
%179 = phi i32 [ %148, %146 ], [ %188, %193 ]
%180 = icmp sgt i32 %174, %178
br i1 %180, label %181, label %187
181: ; preds = %173
%182 = sub nsw i32 %174, %179
%183 = icmp sgt i32 %182, %177
%184 = select i1 %183, i32 %182, i32 %177
%185 = getelementptr inbounds i32, i32* %175, i64 1
%186 = load i32, i32* %185
br label %187
187: ; preds = %173, %181
%188 = phi i32 [ %186, %181 ], [ %179, %173 ]
%189 = phi i32 [ %174, %181 ], [ %178, %173 ]
%190 = phi i32 [ %184, %181 ], [ %177, %173 ]
%191 = add nuw nsw i64 %176, 1
%192 = icmp eq i64 %191, %149
br i1 %192, label %197, label %193
193: ; preds = %187
%194 = getelementptr inbounds i32*, i32** %128, i64 %191
%195 = load i32*, i32** %194
%196 = load i32, i32* %195
br label %173
197: ; preds = %187, %119, %122, %132, %143, %100, %116, %2
%198 = phi i32 [ 0, %2 ], [ 0, %100 ], [ 1, %116 ], [ 1, %143 ], [ 1, %132 ], [ 1, %122 ], [ %121, %119 ], [ %190, %187 ]
ret i32 %198
}