#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*/ free(int *);
int *malloc(int);
int *realloc(int *, int);
int *add_gap_info_to_hirsch_path(int *hirsch_path, int len_a, int len_b) {
  int i, j;
  int a = 0;
  int b = 0;
  int *np = 0;
  np = malloc(sizeof(int) * (len_a + len_b + 2));
  for (i = 0; i < len_a + len_b + 2; i++) {
    np[i] = 0;
  }
  j = 1;
  b = -1;
  if (hirsch_path[1] == -1) {
    np[j] = 2;
    j++;
  } else {
    if (hirsch_path[1] != 1) {
      for (a = 0; a < hirsch_path[1] - 1; a++) {
        np[j] = 1;
        j++;
      }
      np[j] = 0;
      j++;
    } else {
      np[j] = 0;
      j++;
    }
  }
  b = hirsch_path[1];
  for (i = 2; i <= len_a; i++) {
    if (hirsch_path[i] == -1) {
      np[j] = 2;
      j++;
    } else {
      if (hirsch_path[i] - 1 != b && b != -1) {
        for (a = 0; a < hirsch_path[i] - b - 1; a++) {
          np[j] = 1;
          j++;
        }
        np[j] = 0;
        j++;
      } else {
        np[j] = 0;
        j++;
      }
    }
    b = hirsch_path[i];
  }
  if (hirsch_path[len_a] < len_b && hirsch_path[len_a] != -1) {
    for (a = 0; a < len_b - hirsch_path[len_a]; a++) {
      np[j] = 1;
      j++;
    }
  }
  np[0] = j - 1;
  np[j] = 3;
  np = realloc(np, sizeof(int) * (np[0] + 2));
  free(hirsch_path);
  i = 2;
  while (np[i] != 3) {
    if ((np[i - 1] & 3) && !(np[i] & 3)) {
      if (np[i - 1] & 8) {
        np[i - 1] += 8;
      } else {
        np[i - 1] |= 16;
      }
    } else if (!(np[i - 1] & 3) && (np[i] & 3)) {
      np[i] |= 4;
    } else if ((np[i - 1] & 1) && (np[i] & 1)) {
      np[i] |= 8;
    } else if ((np[i - 1] & 2) && (np[i] & 2)) {
      np[i] |= 8;
    }
    i++;
  }
  i = 1;
  while (np[i] != 0) {
    np[i] |= 32;
    i++;
  }
  j = i;
  i = np[0];
  while (np[i] != 0) {
    np[i] |= 32;
    i--;
  }
  return np;
}


x86 assembly (clang, -O0):
<add_gap_info_to_hirsch_path>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0xc(%rbp),%eax
add    -0x10(%rbp),%eax
add    $0x2,%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    -0x10(%rbp),%ecx
add    $0x2,%ecx
cmp    %ecx,%eax
jge    11aa <add_gap_info_to_hirsch_path+0x7a>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1179 <add_gap_info_to_hirsch_path+0x49>
movl   $0x1,-0x18(%rbp)
movl   $0xffffffff,-0x20(%rbp)
mov    -0x8(%rbp),%rax
cmpl   $0xffffffff,0x4(%rax)
jne    11e3 <add_gap_info_to_hirsch_path+0xb3>
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
movl   $0x2,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    126d <add_gap_info_to_hirsch_path+0x13d>
mov    -0x8(%rbp),%rax
cmpl   $0x1,0x4(%rax)
je     1250 <add_gap_info_to_hirsch_path+0x120>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x8(%rbp),%rcx
mov    0x4(%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1233 <add_gap_info_to_hirsch_path+0x103>
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11f8 <add_gap_info_to_hirsch_path+0xc8>
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1268 <add_gap_info_to_hirsch_path+0x138>
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    126d <add_gap_info_to_hirsch_path+0x13d>
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x20(%rbp)
movl   $0x2,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1379 <add_gap_info_to_hirsch_path+0x249>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpl   $0xffffffff,(%rax,%rcx,4)
jne    12b9 <add_gap_info_to_hirsch_path+0x189>
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
movl   $0x2,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    135d <add_gap_info_to_hirsch_path+0x22d>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
sub    $0x1,%eax
cmp    -0x20(%rbp),%eax
je     1340 <add_gap_info_to_hirsch_path+0x210>
cmpl   $0xffffffff,-0x20(%rbp)
je     1340 <add_gap_info_to_hirsch_path+0x210>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
mov    (%rcx,%rdx,4),%ecx
sub    -0x20(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1323 <add_gap_info_to_hirsch_path+0x1f3>
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    12e1 <add_gap_info_to_hirsch_path+0x1b1>
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1358 <add_gap_info_to_hirsch_path+0x228>
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    135d <add_gap_info_to_hirsch_path+0x22d>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    127e <add_gap_info_to_hirsch_path+0x14e>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x10(%rbp),%eax
jge    13ea <add_gap_info_to_hirsch_path+0x2ba>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmpl   $0xffffffff,(%rax,%rcx,4)
je     13ea <add_gap_info_to_hirsch_path+0x2ba>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%ecx
mov    -0x8(%rbp),%rdx
movslq -0xc(%rbp),%rsi
sub    (%rdx,%rsi,4),%ecx
cmp    %ecx,%eax
jge    13e5 <add_gap_info_to_hirsch_path+0x2b5>
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    13a6 <add_gap_info_to_hirsch_path+0x276>
jmp    13ea <add_gap_info_to_hirsch_path+0x2ba>
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
movl   $0x3,(%rax,%rcx,4)
mov    -0x28(%rbp),%rdi
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
add    $0x2,%eax
cltq
shl    $0x2,%rax
mov    %eax,%esi
call   1050 <realloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <free@plt>
movl   $0x2,-0x14(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpl   $0x3,(%rax,%rcx,4)
je     15bd <add_gap_info_to_hirsch_path+0x48d>
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
and    $0x3,%eax
cmp    $0x0,%eax
je     14ca <add_gap_info_to_hirsch_path+0x39a>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
and    $0x3,%eax
cmp    $0x0,%eax
jne    14ca <add_gap_info_to_hirsch_path+0x39a>
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
and    $0x8,%eax
cmp    $0x0,%eax
je     14af <add_gap_info_to_hirsch_path+0x37f>
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
add    $0x8,%edx
mov    %edx,(%rax,%rcx,4)
jmp    14c5 <add_gap_info_to_hirsch_path+0x395>
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
or     $0x10,%edx
mov    %edx,(%rax,%rcx,4)
jmp    15af <add_gap_info_to_hirsch_path+0x47f>
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
and    $0x3,%eax
cmp    $0x0,%eax
jne    1513 <add_gap_info_to_hirsch_path+0x3e3>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
and    $0x3,%eax
cmp    $0x0,%eax
je     1513 <add_gap_info_to_hirsch_path+0x3e3>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
or     $0x4,%edx
mov    %edx,(%rax,%rcx,4)
jmp    15aa <add_gap_info_to_hirsch_path+0x47a>
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     155c <add_gap_info_to_hirsch_path+0x42c>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     155c <add_gap_info_to_hirsch_path+0x42c>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
or     $0x8,%edx
mov    %edx,(%rax,%rcx,4)
jmp    15a5 <add_gap_info_to_hirsch_path+0x475>
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
and    $0x2,%eax
cmp    $0x0,%eax
je     15a0 <add_gap_info_to_hirsch_path+0x470>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
and    $0x2,%eax
cmp    $0x0,%eax
je     15a0 <add_gap_info_to_hirsch_path+0x470>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
or     $0x8,%edx
mov    %edx,(%rax,%rcx,4)
jmp    15a5 <add_gap_info_to_hirsch_path+0x475>
jmp    15aa <add_gap_info_to_hirsch_path+0x47a>
jmp    15af <add_gap_info_to_hirsch_path+0x47f>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1433 <add_gap_info_to_hirsch_path+0x303>
movl   $0x1,-0x14(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     15f5 <add_gap_info_to_hirsch_path+0x4c5>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
or     $0x20,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    15c4 <add_gap_info_to_hirsch_path+0x494>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x14(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1635 <add_gap_info_to_hirsch_path+0x505>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
or     $0x20,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1604 <add_gap_info_to_hirsch_path+0x4d4>
mov    -0x28(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<add_gap_info_to_hirsch_path>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %edx,%r15d
mov    %esi,%r12d
mov    %rdi,%r14
lea    (%r12,%r15,1),%eax
lea    (%r12,%r15,1),%ebp
add    $0x2,%ebp
lea    0x8(,%rax,4),%edi
call   1050 <malloc@plt>
mov    %rax,%rbx
test   %ebp,%ebp
jle    118e <add_gap_info_to_hirsch_path+0x4e>
lea    (%r15,%r12,1),%eax
add    $0x1,%eax
lea    0x4(,%rax,4),%rdx
mov    %rbx,%rdi
xor    %esi,%esi
call   1040 <memset@plt>
mov    0x4(%r14),%r11d
mov    $0xffffffff,%eax
cmp    %rax,%r11
je     11ab <add_gap_info_to_hirsch_path+0x6b>
cmp    $0x1,%r11d
jne    11bc <add_gap_info_to_hirsch_path+0x7c>
movl   $0x0,0x4(%rbx)
jmp    11b2 <add_gap_info_to_hirsch_path+0x72>
movl   $0x2,0x4(%rbx)
mov    $0x2,%eax
jmp    129f <add_gap_info_to_hirsch_path+0x15f>
mov    $0x1,%eax
jle    1293 <add_gap_info_to_hirsch_path+0x153>
lea    -0x1(%r11),%rsi
mov    $0x1,%edx
cmp    $0x8,%rsi
jb     1280 <add_gap_info_to_hirsch_path+0x140>
mov    %rsi,%rdx
and    $0xfffffffffffffff8,%rdx
lea    -0x8(%rdx),%rcx
mov    %rcx,%rax
shr    $0x3,%rax
add    $0x1,%rax
mov    %eax,%ebp
and    $0x3,%ebp
cmp    $0x18,%rcx
jae    11ff <add_gap_info_to_hirsch_path+0xbf>
xor    %edi,%edi
jmp    1242 <add_gap_info_to_hirsch_path+0x102>
and    $0xfffffffffffffffc,%rax
xor    %edi,%edi
movaps 0xdf4(%rip),%xmm0
nopl   0x0(%rax)
movups %xmm0,0x4(%rbx,%rdi,4)
movups %xmm0,0x14(%rbx,%rdi,4)
movups %xmm0,0x24(%rbx,%rdi,4)
movups %xmm0,0x34(%rbx,%rdi,4)
movups %xmm0,0x44(%rbx,%rdi,4)
movups %xmm0,0x54(%rbx,%rdi,4)
movups %xmm0,0x64(%rbx,%rdi,4)
movups %xmm0,0x74(%rbx,%rdi,4)
add    $0x20,%rdi
add    $0xfffffffffffffffc,%rax
jne    1210 <add_gap_info_to_hirsch_path+0xd0>
test   %rbp,%rbp
je     126f <add_gap_info_to_hirsch_path+0x12f>
movaps 0xdb2(%rip),%xmm0
xchg   %ax,%ax
lea    0x0(,%rdi,4),%rax
or     $0x4,%rax
movups %xmm0,(%rbx,%rax,1)
movups %xmm0,0x10(%rbx,%rax,1)
add    $0x8,%rdi
add    $0xffffffffffffffff,%rbp
jne    1250 <add_gap_info_to_hirsch_path+0x110>
mov    %r11d,%eax
cmp    %rdx,%rsi
je     1293 <add_gap_info_to_hirsch_path+0x153>
or     $0x1,%rdx
nopl   0x0(%rax,%rax,1)
movl   $0x1,(%rbx,%rdx,4)
add    $0x1,%rdx
cmp    %rdx,%r11
jne    1280 <add_gap_info_to_hirsch_path+0x140>
mov    %r11d,%eax
mov    %eax,%ecx
movl   $0x0,(%rbx,%rcx,4)
add    $0x1,%eax
mov    %r15,0x10(%rsp)
cmp    $0x2,%r12d
jge    131e <add_gap_info_to_hirsch_path+0x1de>
movslq %r12d,%rcx
mov    (%r14,%rcx,4),%r9d
mov    0x10(%rsp),%r10
cmp    %r10d,%r9d
jge    152f <add_gap_info_to_hirsch_path+0x3ef>
cmp    $0xffffffff,%r9d
je     152f <add_gap_info_to_hirsch_path+0x3ef>
mov    %r10d,%ecx
sub    %r9d,%ecx
test   %ecx,%ecx
jle    152f <add_gap_info_to_hirsch_path+0x3ef>
cltq
mov    %r9d,%r8d
not    %r8d
add    %r10d,%r8d
xor    %edx,%edx
cmp    $0x7,%r8d
jb     151a <add_gap_info_to_hirsch_path+0x3da>
add    $0x1,%r8
mov    %r8,%rdx
and    $0xfffffffffffffff8,%rdx
lea    -0x8(%rdx),%rcx
mov    %rcx,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%ebp
and    $0x3,%ebp
cmp    $0x18,%rcx
jae    1497 <add_gap_info_to_hirsch_path+0x357>
xor    %esi,%esi
jmp    14e1 <add_gap_info_to_hirsch_path+0x3a1>
lea    0x1(%r12),%r13d
lea    0x70(%rbx),%rcx
mov    %rcx,(%rsp)
lea    0x10(%rbx),%rcx
mov    %rcx,0x8(%rsp)
mov    $0x2,%edx
movaps 0xcc0(%rip),%xmm0
jmp    136a <add_gap_info_to_hirsch_path+0x22a>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    $0x2,%edi
cltq
mov    %edi,(%rbx,%rax,4)
add    $0x1,%eax
add    $0x1,%rdx
cmp    %r13,%rdx
je     12aa <add_gap_info_to_hirsch_path+0x16a>
mov    %r11d,%ecx
mov    (%r14,%rdx,4),%r11d
cmp    $0xffffffff,%r11d
je     1350 <add_gap_info_to_hirsch_path+0x210>
xor    %edi,%edi
cmp    $0xffffffff,%ecx
je     1355 <add_gap_info_to_hirsch_path+0x215>
lea    -0x1(%r11),%esi
cmp    %ecx,%esi
je     1355 <add_gap_info_to_hirsch_path+0x215>
mov    %ecx,%esi
not    %esi
lea    (%r11,%rsi,1),%ebp
test   %ebp,%ebp
jle    1355 <add_gap_info_to_hirsch_path+0x215>
cltq
mov    %r11d,%ebp
sub    %ecx,%ebp
add    $0xfffffffe,%ebp
xor    %r15d,%r15d
cmp    $0x7,%ebp
jb     146a <add_gap_info_to_hirsch_path+0x32a>
add    $0x1,%rbp
mov    %rbp,%r15
movabs $0x1fffffff8,%rcx
and    %rcx,%r15
lea    -0x8(%r15),%rcx
mov    %rcx,%r8
shr    $0x3,%r8
add    $0x1,%r8
mov    %r8d,%r9d
and    $0x3,%r9d
cmp    $0x18,%rcx
jae    13dd <add_gap_info_to_hirsch_path+0x29d>
xor    %r10d,%r10d
jmp    1439 <add_gap_info_to_hirsch_path+0x2f9>
movabs $0x3ffffffffffffffc,%rcx
ff ff 3f
and    %rcx,%r8
mov    (%rsp),%rcx
lea    (%rcx,%rax,4),%rcx
xor    %r10d,%r10d
cs nopw 0x0(%rax,%rax,1)
nop
movups %xmm0,-0x70(%rcx,%r10,4)
movups %xmm0,-0x60(%rcx,%r10,4)
movups %xmm0,-0x50(%rcx,%r10,4)
movups %xmm0,-0x40(%rcx,%r10,4)
movups %xmm0,-0x30(%rcx,%r10,4)
movups %xmm0,-0x20(%rcx,%r10,4)
movups %xmm0,-0x10(%rcx,%r10,4)
movups %xmm0,(%rcx,%r10,4)
add    $0x20,%r10
add    $0xfffffffffffffffc,%r8
jne    1400 <add_gap_info_to_hirsch_path+0x2c0>
test   %r9,%r9
je     1462 <add_gap_info_to_hirsch_path+0x322>
add    %rax,%r10
mov    0x8(%rsp),%rcx
lea    (%rcx,%r10,4),%rcx
shl    $0x5,%r9
xor    %edi,%edi
movups %xmm0,-0x10(%rcx,%rdi,1)
movups %xmm0,(%rcx,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r9
jne    1450 <add_gap_info_to_hirsch_path+0x310>
add    %r15,%rax
cmp    %r15,%rbp
je     1490 <add_gap_info_to_hirsch_path+0x350>
mov    %r11d,%ecx
sub    %r15d,%ecx
add    %ecx,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movl   $0x1,(%rbx,%rax,4)
add    $0x1,%rax
add    $0xffffffff,%esi
jne    1480 <add_gap_info_to_hirsch_path+0x340>
xor    %edi,%edi
jmp    1355 <add_gap_info_to_hirsch_path+0x215>
and    $0xfffffffffffffffc,%rdi
lea    (%rbx,%rax,4),%rcx
add    $0x70,%rcx
xor    %esi,%esi
movaps 0xb54(%rip),%xmm0
nopl   0x0(%rax)
movups %xmm0,-0x70(%rcx,%rsi,4)
movups %xmm0,-0x60(%rcx,%rsi,4)
movups %xmm0,-0x50(%rcx,%rsi,4)
movups %xmm0,-0x40(%rcx,%rsi,4)
movups %xmm0,-0x30(%rcx,%rsi,4)
movups %xmm0,-0x20(%rcx,%rsi,4)
movups %xmm0,-0x10(%rcx,%rsi,4)
movups %xmm0,(%rcx,%rsi,4)
add    $0x20,%rsi
add    $0xfffffffffffffffc,%rdi
jne    14b0 <add_gap_info_to_hirsch_path+0x370>
test   %rbp,%rbp
je     1512 <add_gap_info_to_hirsch_path+0x3d2>
add    %rax,%rsi
lea    (%rbx,%rsi,4),%rcx
add    $0x10,%rcx
shl    $0x5,%rbp
xor    %esi,%esi
movaps 0xb02(%rip),%xmm0
xchg   %ax,%ax
movups %xmm0,-0x10(%rcx,%rsi,1)
movups %xmm0,(%rcx,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%rbp
jne    1500 <add_gap_info_to_hirsch_path+0x3c0>
add    %rdx,%rax
cmp    %rdx,%r8
je     152f <add_gap_info_to_hirsch_path+0x3ef>
add    %r9d,%edx
sub    %r10d,%edx
movl   $0x1,(%rbx,%rax,4)
add    $0x1,%rax
inc    %edx
jne    1520 <add_gap_info_to_hirsch_path+0x3e0>
lea    -0x1(%rax),%ecx
mov    %ecx,(%rbx)
cltq
movl   $0x3,(%rbx,%rax,4)
mov    (%rbx),%eax
lea    0x8(,%rax,4),%esi
mov    %rbx,%rdi
call   1060 <realloc@plt>
mov    %rax,%rbx
mov    %r14,%rdi
call   1030 <free@plt>
mov    0x8(%rbx),%ecx
cmp    $0x3,%ecx
jne    15b2 <add_gap_info_to_hirsch_path+0x472>
mov    0x4(%rbx),%eax
test   %eax,%eax
je     1580 <add_gap_info_to_hirsch_path+0x440>
lea    0x8(%rbx),%rcx
nopl   0x0(%rax)
or     $0x20,%eax
mov    %eax,-0x4(%rcx)
mov    (%rcx),%eax
add    $0x4,%rcx
test   %eax,%eax
jne    1570 <add_gap_info_to_hirsch_path+0x430>
movslq (%rbx),%rcx
mov    (%rbx,%rcx,4),%eax
test   %eax,%eax
je     15a0 <add_gap_info_to_hirsch_path+0x460>
lea    (%rbx,%rcx,4),%rcx
xchg   %ax,%ax
or     $0x20,%eax
mov    %eax,(%rcx)
mov    -0x4(%rcx),%eax
add    $0xfffffffffffffffc,%rcx
test   %eax,%eax
jne    1590 <add_gap_info_to_hirsch_path+0x450>
mov    %rbx,%rax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    0x8(%rbx),%rdx
mov    $0x3,%eax
jmp    15d9 <add_gap_info_to_hirsch_path+0x499>
nopl   (%rax)
add    $0x8,%esi
mov    %esi,-0x8(%rbx,%rax,4)
mov    %eax,%ecx
lea    (%rbx,%rcx,4),%rdx
mov    (%rbx,%rcx,4),%ecx
add    $0x1,%rax
cmp    $0x3,%ecx
je     1561 <add_gap_info_to_hirsch_path+0x421>
mov    -0x8(%rbx,%rax,4),%esi
mov    %ecx,%edi
and    $0x3,%edi
test   $0x3,%sil
je     1600 <add_gap_info_to_hirsch_path+0x4c0>
test   %edi,%edi
jne    1600 <add_gap_info_to_hirsch_path+0x4c0>
test   $0x8,%sil
jne    15c0 <add_gap_info_to_hirsch_path+0x480>
or     $0x10,%esi
jmp    15c3 <add_gap_info_to_hirsch_path+0x483>
nopw   0x0(%rax,%rax,1)
test   $0x3,%sil
jne    1610 <add_gap_info_to_hirsch_path+0x4d0>
test   %edi,%edi
je     1610 <add_gap_info_to_hirsch_path+0x4d0>
or     $0x4,%ecx
jmp    162d <add_gap_info_to_hirsch_path+0x4ed>
nop
test   $0x1,%sil
je     161d <add_gap_info_to_hirsch_path+0x4dd>
mov    %ecx,%edi
and    $0x1,%edi
jne    162a <add_gap_info_to_hirsch_path+0x4ea>
test   $0x2,%sil
je     15c7 <add_gap_info_to_hirsch_path+0x487>
mov    %ecx,%esi
and    $0x2,%esi
je     15c7 <add_gap_info_to_hirsch_path+0x487>
or     $0x8,%ecx
mov    %ecx,(%rdx)
jmp    15c7 <add_gap_info_to_hirsch_path+0x487>

LLVM IR (-O0):
define i32* @add_gap_info_to_hirsch_path(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32*
store i32* %0, i32** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
store i32 0, i32* %9
store i32 0, i32* %10
store i32* null, i32** %11
%12 = load i32, i32* %5
%13 = load i32, i32* %6
%14 = add nsw i32 %12, %13
%15 = add nsw i32 %14, 2
%16 = sext i32 %15 to i64
%17 = mul i64 4, %16
%18 = trunc i64 %17 to i32
%19 = call i32* @malloc(i32 %18)
store i32* %19, i32** %11
store i32 0, i32* %7
br label %20
20: ; preds = %32, %3
%21 = load i32, i32* %7
%22 = load i32, i32* %5
%23 = load i32, i32* %6
%24 = add nsw i32 %22, %23
%25 = add nsw i32 %24, 2
%26 = icmp slt i32 %21, %25
br i1 %26, label %27, label %35
27: ; preds = %20
%28 = load i32*, i32** %11
%29 = load i32, i32* %7
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %28, i64 %30
store i32 0, i32* %31
br label %32
32: ; preds = %27
%33 = load i32, i32* %7
%34 = add nsw i32 %33, 1
store i32 %34, i32* %7
br label %20
35: ; preds = %20
store i32 1, i32* %8
store i32 -1, i32* %10
%36 = load i32*, i32** %4
%37 = getelementptr inbounds i32, i32* %36, i64 1
%38 = load i32, i32* %37
%39 = icmp eq i32 %38, -1
br i1 %39, label %40, label %47
40: ; preds = %35
%41 = load i32*, i32** %11
%42 = load i32, i32* %8
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %41, i64 %43
store i32 2, i32* %44
%45 = load i32, i32* %8
%46 = add nsw i32 %45, 1
store i32 %46, i32* %8
br label %85
47: ; preds = %35
%48 = load i32*, i32** %4
%49 = getelementptr inbounds i32, i32* %48, i64 1
%50 = load i32, i32* %49
%51 = icmp ne i32 %50, 1
br i1 %51, label %52, label %77
52: ; preds = %47
store i32 0, i32* %9
br label %53
53: ; preds = %67, %52
%54 = load i32, i32* %9
%55 = load i32*, i32** %4
%56 = getelementptr inbounds i32, i32* %55, i64 1
%57 = load i32, i32* %56
%58 = sub nsw i32 %57, 1
%59 = icmp slt i32 %54, %58
br i1 %59, label %60, label %70
60: ; preds = %53
%61 = load i32*, i32** %11
%62 = load i32, i32* %8
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i32, i32* %61, i64 %63
store i32 1, i32* %64
%65 = load i32, i32* %8
%66 = add nsw i32 %65, 1
store i32 %66, i32* %8
br label %67
67: ; preds = %60
%68 = load i32, i32* %9
%69 = add nsw i32 %68, 1
store i32 %69, i32* %9
br label %53
70: ; preds = %53
%71 = load i32*, i32** %11
%72 = load i32, i32* %8
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i32, i32* %71, i64 %73
store i32 0, i32* %74
%75 = load i32, i32* %8
%76 = add nsw i32 %75, 1
store i32 %76, i32* %8
br label %84
77: ; preds = %47
%78 = load i32*, i32** %11
%79 = load i32, i32* %8
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %78, i64 %80
store i32 0, i32* %81
%82 = load i32, i32* %8
%83 = add nsw i32 %82, 1
store i32 %83, i32* %8
br label %84
84: ; preds = %77, %70
br label %85
85: ; preds = %84, %40
%86 = load i32*, i32** %4
%87 = getelementptr inbounds i32, i32* %86, i64 1
%88 = load i32, i32* %87
store i32 %88, i32* %10
store i32 2, i32* %7
br label %89
89: ; preds = %162, %85
%90 = load i32, i32* %7
%91 = load i32, i32* %5
%92 = icmp sle i32 %90, %91
br i1 %92, label %93, label %165
93: ; preds = %89
%94 = load i32*, i32** %4
%95 = load i32, i32* %7
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds i32, i32* %94, i64 %96
%98 = load i32, i32* %97
%99 = icmp eq i32 %98, -1
br i1 %99, label %100, label %107
100: ; preds = %93
%101 = load i32*, i32** %11
%102 = load i32, i32* %8
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %101, i64 %103
store i32 2, i32* %104
%105 = load i32, i32* %8
%106 = add nsw i32 %105, 1
store i32 %106, i32* %8
br label %156
107: ; preds = %93
%108 = load i32*, i32** %4
%109 = load i32, i32* %7
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i32, i32* %108, i64 %110
%112 = load i32, i32* %111
%113 = sub nsw i32 %112, 1
%114 = load i32, i32* %10
%115 = icmp ne i32 %113, %114
br i1 %115, label %116, label %148
116: ; preds = %107
%117 = load i32, i32* %10
%118 = icmp ne i32 %117, -1
br i1 %118, label %119, label %148
119: ; preds = %116
store i32 0, i32* %9
br label %120
120: ; preds = %138, %119
%121 = load i32, i32* %9
%122 = load i32*, i32** %4
%123 = load i32, i32* %7
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i32, i32* %122, i64 %124
%126 = load i32, i32* %125
%127 = load i32, i32* %10
%128 = sub nsw i32 %126, %127
%129 = sub nsw i32 %128, 1
%130 = icmp slt i32 %121, %129
br i1 %130, label %131, label %141
131: ; preds = %120
%132 = load i32*, i32** %11
%133 = load i32, i32* %8
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds i32, i32* %132, i64 %134
store i32 1, i32* %135
%136 = load i32, i32* %8
%137 = add nsw i32 %136, 1
store i32 %137, i32* %8
br label %138
138: ; preds = %131
%139 = load i32, i32* %9
%140 = add nsw i32 %139, 1
store i32 %140, i32* %9
br label %120
141: ; preds = %120
%142 = load i32*, i32** %11
%143 = load i32, i32* %8
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i32, i32* %142, i64 %144
store i32 0, i32* %145
%146 = load i32, i32* %8
%147 = add nsw i32 %146, 1
store i32 %147, i32* %8
br label %155
148: ; preds = %116, %107
%149 = load i32*, i32** %11
%150 = load i32, i32* %8
%151 = sext i32 %150 to i64
%152 = getelementptr inbounds i32, i32* %149, i64 %151
store i32 0, i32* %152
%153 = load i32, i32* %8
%154 = add nsw i32 %153, 1
store i32 %154, i32* %8
br label %155
155: ; preds = %148, %141
br label %156
156: ; preds = %155, %100
%157 = load i32*, i32** %4
%158 = load i32, i32* %7
%159 = sext i32 %158 to i64
%160 = getelementptr inbounds i32, i32* %157, i64 %159
%161 = load i32, i32* %160
store i32 %161, i32* %10
br label %162
162: ; preds = %156
%163 = load i32, i32* %7
%164 = add nsw i32 %163, 1
store i32 %164, i32* %7
br label %89
165: ; preds = %89
%166 = load i32*, i32** %4
%167 = load i32, i32* %5
%168 = sext i32 %167 to i64
%169 = getelementptr inbounds i32, i32* %166, i64 %168
%170 = load i32, i32* %169
%171 = load i32, i32* %6
%172 = icmp slt i32 %170, %171
br i1 %172, label %173, label %202
173: ; preds = %165
%174 = load i32*, i32** %4
%175 = load i32, i32* %5
%176 = sext i32 %175 to i64
%177 = getelementptr inbounds i32, i32* %174, i64 %176
%178 = load i32, i32* %177
%179 = icmp ne i32 %178, -1
br i1 %179, label %180, label %202
180: ; preds = %173
store i32 0, i32* %9
br label %181
181: ; preds = %198, %180
%182 = load i32, i32* %9
%183 = load i32, i32* %6
%184 = load i32*, i32** %4
%185 = load i32, i32* %5
%186 = sext i32 %185 to i64
%187 = getelementptr inbounds i32, i32* %184, i64 %186
%188 = load i32, i32* %187
%189 = sub nsw i32 %183, %188
%190 = icmp slt i32 %182, %189
br i1 %190, label %191, label %201
191: ; preds = %181
%192 = load i32*, i32** %11
%193 = load i32, i32* %8
%194 = sext i32 %193 to i64
%195 = getelementptr inbounds i32, i32* %192, i64 %194
store i32 1, i32* %195
%196 = load i32, i32* %8
%197 = add nsw i32 %196, 1
store i32 %197, i32* %8
br label %198
198: ; preds = %191
%199 = load i32, i32* %9
%200 = add nsw i32 %199, 1
store i32 %200, i32* %9
br label %181
201: ; preds = %181
br label %202
202: ; preds = %201, %173, %165
%203 = load i32, i32* %8
%204 = sub nsw i32 %203, 1
%205 = load i32*, i32** %11
%206 = getelementptr inbounds i32, i32* %205, i64 0
store i32 %204, i32* %206
%207 = load i32*, i32** %11
%208 = load i32, i32* %8
%209 = sext i32 %208 to i64
%210 = getelementptr inbounds i32, i32* %207, i64 %209
store i32 3, i32* %210
%211 = load i32*, i32** %11
%212 = load i32*, i32** %11
%213 = getelementptr inbounds i32, i32* %212, i64 0
%214 = load i32, i32* %213
%215 = add nsw i32 %214, 2
%216 = sext i32 %215 to i64
%217 = mul i64 4, %216
%218 = trunc i64 %217 to i32
%219 = call i32* @realloc(i32* %211, i32 %218)
store i32* %219, i32** %11
%220 = load i32*, i32** %4
%221 = call i32 @free(i32* %220)
store i32 2, i32* %7
br label %222
222: ; preds = %347, %202
%223 = load i32*, i32** %11
%224 = load i32, i32* %7
%225 = sext i32 %224 to i64
%226 = getelementptr inbounds i32, i32* %223, i64 %225
%227 = load i32, i32* %226
%228 = icmp ne i32 %227, 3
br i1 %228, label %229, label %350
229: ; preds = %222
%230 = load i32*, i32** %11
%231 = load i32, i32* %7
%232 = sub nsw i32 %231, 1
%233 = sext i32 %232 to i64
%234 = getelementptr inbounds i32, i32* %230, i64 %233
%235 = load i32, i32* %234
%236 = and i32 %235, 3
%237 = icmp ne i32 %236, 0
br i1 %237, label %238, label %272
238: ; preds = %229
%239 = load i32*, i32** %11
%240 = load i32, i32* %7
%241 = sext i32 %240 to i64
%242 = getelementptr inbounds i32, i32* %239, i64 %241
%243 = load i32, i32* %242
%244 = and i32 %243, 3
%245 = icmp ne i32 %244, 0
br i1 %245, label %272, label %246
246: ; preds = %238
%247 = load i32*, i32** %11
%248 = load i32, i32* %7
%249 = sub nsw i32 %248, 1
%250 = sext i32 %249 to i64
%251 = getelementptr inbounds i32, i32* %247, i64 %250
%252 = load i32, i32* %251
%253 = and i32 %252, 8
%254 = icmp ne i32 %253, 0
br i1 %254, label %255, label %263
255: ; preds = %246
%256 = load i32*, i32** %11
%257 = load i32, i32* %7
%258 = sub nsw i32 %257, 1
%259 = sext i32 %258 to i64
%260 = getelementptr inbounds i32, i32* %256, i64 %259
%261 = load i32, i32* %260
%262 = add nsw i32 %261, 8
store i32 %262, i32* %260
br label %271
263: ; preds = %246
%264 = load i32*, i32** %11
%265 = load i32, i32* %7
%266 = sub nsw i32 %265, 1
%267 = sext i32 %266 to i64
%268 = getelementptr inbounds i32, i32* %264, i64 %267
%269 = load i32, i32* %268
%270 = or i32 %269, 16
store i32 %270, i32* %268
br label %271
271: ; preds = %263, %255
br label %347
272: ; preds = %238, %229
%273 = load i32*, i32** %11
%274 = load i32, i32* %7
%275 = sub nsw i32 %274, 1
%276 = sext i32 %275 to i64
%277 = getelementptr inbounds i32, i32* %273, i64 %276
%278 = load i32, i32* %277
%279 = and i32 %278, 3
%280 = icmp ne i32 %279, 0
br i1 %280, label %296, label %281
281: ; preds = %272
%282 = load i32*, i32** %11
%283 = load i32, i32* %7
%284 = sext i32 %283 to i64
%285 = getelementptr inbounds i32, i32* %282, i64 %284
%286 = load i32, i32* %285
%287 = and i32 %286, 3
%288 = icmp ne i32 %287, 0
br i1 %288, label %289, label %296
289: ; preds = %281
%290 = load i32*, i32** %11
%291 = load i32, i32* %7
%292 = sext i32 %291 to i64
%293 = getelementptr inbounds i32, i32* %290, i64 %292
%294 = load i32, i32* %293
%295 = or i32 %294, 4
store i32 %295, i32* %293
br label %346
296: ; preds = %281, %272
%297 = load i32*, i32** %11
%298 = load i32, i32* %7
%299 = sub nsw i32 %298, 1
%300 = sext i32 %299 to i64
%301 = getelementptr inbounds i32, i32* %297, i64 %300
%302 = load i32, i32* %301
%303 = and i32 %302, 1
%304 = icmp ne i32 %303, 0
br i1 %304, label %305, label %320
305: ; preds = %296
%306 = load i32*, i32** %11
%307 = load i32, i32* %7
%308 = sext i32 %307 to i64
%309 = getelementptr inbounds i32, i32* %306, i64 %308
%310 = load i32, i32* %309
%311 = and i32 %310, 1
%312 = icmp ne i32 %311, 0
br i1 %312, label %313, label %320
313: ; preds = %305
%314 = load i32*, i32** %11
%315 = load i32, i32* %7
%316 = sext i32 %315 to i64
%317 = getelementptr inbounds i32, i32* %314, i64 %316
%318 = load i32, i32* %317
%319 = or i32 %318, 8
store i32 %319, i32* %317
br label %345
320: ; preds = %305, %296
%321 = load i32*, i32** %11
%322 = load i32, i32* %7
%323 = sub nsw i32 %322, 1
%324 = sext i32 %323 to i64
%325 = getelementptr inbounds i32, i32* %321, i64 %324
%326 = load i32, i32* %325
%327 = and i32 %326, 2
%328 = icmp ne i32 %327, 0
br i1 %328, label %329, label %344
329: ; preds = %320
%330 = load i32*, i32** %11
%331 = load i32, i32* %7
%332 = sext i32 %331 to i64
%333 = getelementptr inbounds i32, i32* %330, i64 %332
%334 = load i32, i32* %333
%335 = and i32 %334, 2
%336 = icmp ne i32 %335, 0
br i1 %336, label %337, label %344
337: ; preds = %329
%338 = load i32*, i32** %11
%339 = load i32, i32* %7
%340 = sext i32 %339 to i64
%341 = getelementptr inbounds i32, i32* %338, i64 %340
%342 = load i32, i32* %341
%343 = or i32 %342, 8
store i32 %343, i32* %341
br label %344
344: ; preds = %337, %329, %320
br label %345
345: ; preds = %344, %313
br label %346
346: ; preds = %345, %289
br label %347
347: ; preds = %346, %271
%348 = load i32, i32* %7
%349 = add nsw i32 %348, 1
store i32 %349, i32* %7
br label %222
350: ; preds = %222
store i32 1, i32* %7
br label %351
351: ; preds = %358, %350
%352 = load i32*, i32** %11
%353 = load i32, i32* %7
%354 = sext i32 %353 to i64
%355 = getelementptr inbounds i32, i32* %352, i64 %354
%356 = load i32, i32* %355
%357 = icmp ne i32 %356, 0
br i1 %357, label %358, label %367
358: ; preds = %351
%359 = load i32*, i32** %11
%360 = load i32, i32* %7
%361 = sext i32 %360 to i64
%362 = getelementptr inbounds i32, i32* %359, i64 %361
%363 = load i32, i32* %362
%364 = or i32 %363, 32
store i32 %364, i32* %362
%365 = load i32, i32* %7
%366 = add nsw i32 %365, 1
store i32 %366, i32* %7
br label %351
367: ; preds = %351
%368 = load i32, i32* %7
store i32 %368, i32* %8
%369 = load i32*, i32** %11
%370 = getelementptr inbounds i32, i32* %369, i64 0
%371 = load i32, i32* %370
store i32 %371, i32* %7
br label %372
372: ; preds = %379, %367
%373 = load i32*, i32** %11
%374 = load i32, i32* %7
%375 = sext i32 %374 to i64
%376 = getelementptr inbounds i32, i32* %373, i64 %375
%377 = load i32, i32* %376
%378 = icmp ne i32 %377, 0
br i1 %378, label %379, label %388
379: ; preds = %372
%380 = load i32*, i32** %11
%381 = load i32, i32* %7
%382 = sext i32 %381 to i64
%383 = getelementptr inbounds i32, i32* %380, i64 %382
%384 = load i32, i32* %383
%385 = or i32 %384, 32
store i32 %385, i32* %383
%386 = load i32, i32* %7
%387 = add nsw i32 %386, -1
store i32 %387, i32* %7
br label %372
388: ; preds = %372
%389 = load i32*, i32** %11
ret i32* %389
}

LLVM IR (-O2):
define i32* @add_gap_info_to_hirsch_path(i32* nocapture %0, i32 %1, i32 %2) {
%4 = add i32 %1, 2
%5 = add i32 %4, %2
%6 = shl i32 %5, 2
%7 = tail call i32* @malloc(i32 %6)
%8 = icmp sgt i32 %5, 0
br i1 %8, label %9, label %16
9: ; preds = %3
%10 = bitcast i32* %7 to i8*
%11 = add i32 %2, %1
%12 = add i32 %11, 1
%13 = zext i32 %12 to i64
%14 = shl nuw nsw i64 %13, 2
%15 = add nuw nsw i64 %14, 4
br label %16
16: ; preds = %9, %3
%17 = getelementptr inbounds i32, i32* %0, i64 1
%18 = load i32, i32* %17
switch i32 %18, label %19 [
i32 -1, label %79
i32 1, label %91
]
19: ; preds = %16
%20 = icmp sgt i32 %18, 1
br i1 %20, label %21, label %86
21: ; preds = %19
%22 = zext i32 %18 to i64
%23 = add nsw i64 %22, -1
%24 = icmp ult i64 %23, 8
br i1 %24, label %77, label %25
25: ; preds = %21
%26 = and i64 %23, -8
%27 = or i64 %26, 1
%28 = add nsw i64 %26, -8
%29 = lshr exact i64 %28, 3
%30 = add nuw nsw i64 %29, 1
%31 = and i64 %30, 3
%32 = icmp ult i64 %28, 24
br i1 %32, label %61, label %33
33: ; preds = %25
%34 = and i64 %30, 4611686018427387900
br label %35
35: ; preds = %35, %33
%36 = phi i64 [ 0, %33 ], [ %58, %35 ]
%37 = phi i64 [ 0, %33 ], [ %59, %35 ]
%38 = or i64 %36, 1
%39 = getelementptr inbounds i32, i32* %7, i64 %38
%40 = bitcast i32* %39 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %40
%41 = getelementptr inbounds i32, i32* %39, i64 4
%42 = bitcast i32* %41 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %42
%43 = or i64 %36, 9
%44 = getelementptr inbounds i32, i32* %7, i64 %43
%45 = bitcast i32* %44 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %45
%46 = getelementptr inbounds i32, i32* %44, i64 4
%47 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %47
%48 = or i64 %36, 17
%49 = getelementptr inbounds i32, i32* %7, i64 %48
%50 = bitcast i32* %49 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %50
%51 = getelementptr inbounds i32, i32* %49, i64 4
%52 = bitcast i32* %51 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %52
%53 = or i64 %36, 25
%54 = getelementptr inbounds i32, i32* %7, i64 %53
%55 = bitcast i32* %54 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %55
%56 = getelementptr inbounds i32, i32* %54, i64 4
%57 = bitcast i32* %56 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %57
%58 = add nuw i64 %36, 32
%59 = add i64 %37, 4
%60 = icmp eq i64 %59, %34
br i1 %60, label %61, label %35
61: ; preds = %35, %25
%62 = phi i64 [ 0, %25 ], [ %58, %35 ]
%63 = icmp eq i64 %31, 0
br i1 %63, label %75, label %64
64: ; preds = %61, %64
%65 = phi i64 [ %72, %64 ], [ %62, %61 ]
%66 = phi i64 [ %73, %64 ], [ 0, %61 ]
%67 = or i64 %65, 1
%68 = getelementptr inbounds i32, i32* %7, i64 %67
%69 = bitcast i32* %68 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %69
%70 = getelementptr inbounds i32, i32* %68, i64 4
%71 = bitcast i32* %70 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %71
%72 = add nuw i64 %65, 8
%73 = add i64 %66, 1
%74 = icmp eq i64 %73, %31
br i1 %74, label %75, label %64
75: ; preds = %64, %61
%76 = icmp eq i64 %23, %26
br i1 %76, label %86, label %77
77: ; preds = %21, %75
%78 = phi i64 [ 1, %21 ], [ %27, %75 ]
br label %81
79: ; preds = %16
%80 = getelementptr inbounds i32, i32* %7, i64 1
store i32 2, i32* %80
br label %93
81: ; preds = %77, %81
%82 = phi i64 [ %84, %81 ], [ %78, %77 ]
%83 = getelementptr inbounds i32, i32* %7, i64 %82
store i32 1, i32* %83
%84 = add nuw nsw i64 %82, 1
%85 = icmp eq i64 %84, %22
br i1 %85, label %86, label %81
86: ; preds = %81, %75, %19
%87 = phi i32 [ 1, %19 ], [ %18, %75 ], [ %18, %81 ]
%88 = zext i32 %87 to i64
%89 = getelementptr inbounds i32, i32* %7, i64 %88
store i32 0, i32* %89
%90 = add nuw nsw i32 %87, 1
br label %93
91: ; preds = %16
%92 = getelementptr inbounds i32, i32* %7, i64 1
store i32 0, i32* %92
br label %93
93: ; preds = %86, %91, %79
%94 = phi i32 [ 2, %79 ], [ %90, %86 ], [ 2, %91 ]
%95 = icmp slt i32 %1, 2
br i1 %95, label %199, label %96
96: ; preds = %93
%97 = add nuw i32 %1, 1
%98 = zext i32 %97 to i64
br label %99
99: ; preds = %96, %191
%100 = phi i32 [ %18, %96 ], [ %104, %191 ]
%101 = phi i64 [ 2, %96 ], [ %197, %191 ]
%102 = phi i32 [ %94, %96 ], [ %196, %191 ]
%103 = getelementptr inbounds i32, i32* %0, i64 %101
%104 = load i32, i32* %103
%105 = icmp eq i32 %104, -1
br i1 %105, label %191, label %106
106: ; preds = %99
%107 = add nsw i32 %104, -1
%108 = icmp ne i32 %107, %100
%109 = icmp ne i32 %100, -1
%110 = and i1 %109, %108
br i1 %110, label %111, label %191
111: ; preds = %106
%112 = xor i32 %100, -1
%113 = add i32 %104, %112
%114 = icmp sgt i32 %113, 0
br i1 %114, label %115, label %191
115: ; preds = %111
%116 = sext i32 %102 to i64
%117 = add i32 %104, -2
%118 = sub i32 %117, %100
%119 = zext i32 %118 to i64
%120 = add nuw nsw i64 %119, 1
%121 = icmp ult i32 %118, 7
br i1 %121, label %178, label %122
122: ; preds = %115
%123 = and i64 %120, 8589934584
%124 = add nsw i64 %123, %116
%125 = trunc i64 %123 to i32
%126 = add nsw i64 %123, -8
%127 = lshr exact i64 %126, 3
%128 = add nuw nsw i64 %127, 1
%129 = and i64 %128, 3
%130 = icmp ult i64 %126, 24
br i1 %130, label %162, label %131
131: ; preds = %122
%132 = and i64 %128, 4611686018427387900
br label %133
133: ; preds = %133, %131
%134 = phi i64 [ 0, %131 ], [ %159, %133 ]
%135 = phi i64 [ 0, %131 ], [ %160, %133 ]
%136 = add i64 %134, %116
%137 = getelementptr inbounds i32, i32* %7, i64 %136
%138 = bitcast i32* %137 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %138
%139 = getelementptr inbounds i32, i32* %137, i64 4
%140 = bitcast i32* %139 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %140
%141 = or i64 %134, 8
%142 = add i64 %141, %116
%143 = getelementptr inbounds i32, i32* %7, i64 %142
%144 = bitcast i32* %143 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %144
%145 = getelementptr inbounds i32, i32* %143, i64 4
%146 = bitcast i32* %145 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %146
%147 = or i64 %134, 16
%148 = add i64 %147, %116
%149 = getelementptr inbounds i32, i32* %7, i64 %148
%150 = bitcast i32* %149 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %150
%151 = getelementptr inbounds i32, i32* %149, i64 4
%152 = bitcast i32* %151 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %152
%153 = or i64 %134, 24
%154 = add i64 %153, %116
%155 = getelementptr inbounds i32, i32* %7, i64 %154
%156 = bitcast i32* %155 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %156
%157 = getelementptr inbounds i32, i32* %155, i64 4
%158 = bitcast i32* %157 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %158
%159 = add nuw i64 %134, 32
%160 = add i64 %135, 4
%161 = icmp eq i64 %160, %132
br i1 %161, label %162, label %133
162: ; preds = %133, %122
%163 = phi i64 [ 0, %122 ], [ %159, %133 ]
%164 = icmp eq i64 %129, 0
br i1 %164, label %176, label %165
165: ; preds = %162, %165
%166 = phi i64 [ %173, %165 ], [ %163, %162 ]
%167 = phi i64 [ %174, %165 ], [ 0, %162 ]
%168 = add i64 %166, %116
%169 = getelementptr inbounds i32, i32* %7, i64 %168
%170 = bitcast i32* %169 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %170
%171 = getelementptr inbounds i32, i32* %169, i64 4
%172 = bitcast i32* %171 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %172
%173 = add nuw i64 %166, 8
%174 = add i64 %167, 1
%175 = icmp eq i64 %174, %129
br i1 %175, label %176, label %165
176: ; preds = %165, %162
%177 = icmp eq i64 %120, %123
br i1 %177, label %188, label %178
178: ; preds = %115, %176
%179 = phi i64 [ %116, %115 ], [ %124, %176 ]
%180 = phi i32 [ 0, %115 ], [ %125, %176 ]
br label %181
181: ; preds = %178, %181
%182 = phi i64 [ %185, %181 ], [ %179, %178 ]
%183 = phi i32 [ %186, %181 ], [ %180, %178 ]
%184 = getelementptr inbounds i32, i32* %7, i64 %182
store i32 1, i32* %184
%185 = add nsw i64 %182, 1
%186 = add nuw nsw i32 %183, 1
%187 = icmp eq i32 %186, %113
br i1 %187, label %188, label %181
188: ; preds = %181, %176
%189 = phi i64 [ %124, %176 ], [ %185, %181 ]
%190 = trunc i64 %189 to i32
br label %191
191: ; preds = %106, %111, %188, %99
%192 = phi i32 [ %102, %99 ], [ %102, %111 ], [ %190, %188 ], [ %102, %106 ]
%193 = phi i32 [ 2, %99 ], [ 0, %111 ], [ 0, %188 ], [ 0, %106 ]
%194 = sext i32 %192 to i64
%195 = getelementptr inbounds i32, i32* %7, i64 %194
store i32 %193, i32* %195
%196 = add nsw i32 %192, 1
%197 = add nuw nsw i64 %101, 1
%198 = icmp eq i64 %197, %98
br i1 %198, label %199, label %99
199: ; preds = %191, %93
%200 = phi i32 [ %94, %93 ], [ %196, %191 ]
%201 = sext i32 %1 to i64
%202 = getelementptr inbounds i32, i32* %0, i64 %201
%203 = load i32, i32* %202
%204 = icmp sge i32 %203, %2
%205 = icmp eq i32 %203, -1
%206 = or i1 %204, %205
br i1 %206, label %286, label %207
207: ; preds = %199
%208 = sub i32 %2, %203
%209 = icmp sgt i32 %208, 0
br i1 %209, label %210, label %286
210: ; preds = %207
%211 = sext i32 %200 to i64
%212 = xor i32 %203, -1
%213 = add i32 %212, %2
%214 = zext i32 %213 to i64
%215 = add nuw nsw i64 %214, 1
%216 = icmp ult i32 %213, 7
br i1 %216, label %273, label %217
217: ; preds = %210
%218 = and i64 %215, 8589934584
%219 = add nsw i64 %218, %211
%220 = trunc i64 %218 to i32
%221 = add nsw i64 %218, -8
%222 = lshr exact i64 %221, 3
%223 = add nuw nsw i64 %222, 1
%224 = and i64 %223, 3
%225 = icmp ult i64 %221, 24
br i1 %225, label %257, label %226
226: ; preds = %217
%227 = and i64 %223, 4611686018427387900
br label %228
228: ; preds = %228, %226
%229 = phi i64 [ 0, %226 ], [ %254, %228 ]
%230 = phi i64 [ 0, %226 ], [ %255, %228 ]
%231 = add i64 %229, %211
%232 = getelementptr inbounds i32, i32* %7, i64 %231
%233 = bitcast i32* %232 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %233
%234 = getelementptr inbounds i32, i32* %232, i64 4
%235 = bitcast i32* %234 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %235
%236 = or i64 %229, 8
%237 = add i64 %236, %211
%238 = getelementptr inbounds i32, i32* %7, i64 %237
%239 = bitcast i32* %238 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %239
%240 = getelementptr inbounds i32, i32* %238, i64 4
%241 = bitcast i32* %240 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %241
%242 = or i64 %229, 16
%243 = add i64 %242, %211
%244 = getelementptr inbounds i32, i32* %7, i64 %243
%245 = bitcast i32* %244 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %245
%246 = getelementptr inbounds i32, i32* %244, i64 4
%247 = bitcast i32* %246 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %247
%248 = or i64 %229, 24
%249 = add i64 %248, %211
%250 = getelementptr inbounds i32, i32* %7, i64 %249
%251 = bitcast i32* %250 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %251
%252 = getelementptr inbounds i32, i32* %250, i64 4
%253 = bitcast i32* %252 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %253
%254 = add nuw i64 %229, 32
%255 = add i64 %230, 4
%256 = icmp eq i64 %255, %227
br i1 %256, label %257, label %228
257: ; preds = %228, %217
%258 = phi i64 [ 0, %217 ], [ %254, %228 ]
%259 = icmp eq i64 %224, 0
br i1 %259, label %271, label %260
260: ; preds = %257, %260
%261 = phi i64 [ %268, %260 ], [ %258, %257 ]
%262 = phi i64 [ %269, %260 ], [ 0, %257 ]
%263 = add i64 %261, %211
%264 = getelementptr inbounds i32, i32* %7, i64 %263
%265 = bitcast i32* %264 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %265
%266 = getelementptr inbounds i32, i32* %264, i64 4
%267 = bitcast i32* %266 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %267
%268 = add nuw i64 %261, 8
%269 = add i64 %262, 1
%270 = icmp eq i64 %269, %224
br i1 %270, label %271, label %260
271: ; preds = %260, %257
%272 = icmp eq i64 %215, %218
br i1 %272, label %283, label %273
273: ; preds = %210, %271
%274 = phi i64 [ %211, %210 ], [ %219, %271 ]
%275 = phi i32 [ 0, %210 ], [ %220, %271 ]
br label %276
276: ; preds = %273, %276
%277 = phi i64 [ %280, %276 ], [ %274, %273 ]
%278 = phi i32 [ %281, %276 ], [ %275, %273 ]
%279 = getelementptr inbounds i32, i32* %7, i64 %277
store i32 1, i32* %279
%280 = add nsw i64 %277, 1
%281 = add nuw nsw i32 %278, 1
%282 = icmp eq i32 %281, %208
br i1 %282, label %283, label %276
283: ; preds = %276, %271
%284 = phi i64 [ %219, %271 ], [ %280, %276 ]
%285 = trunc i64 %284 to i32
br label %286
286: ; preds = %283, %207, %199
%287 = phi i32 [ %200, %199 ], [ %200, %207 ], [ %285, %283 ]
%288 = add nsw i32 %287, -1
store i32 %288, i32* %7
%289 = sext i32 %287 to i64
%290 = getelementptr inbounds i32, i32* %7, i64 %289
store i32 3, i32* %290
%291 = load i32, i32* %7
%292 = shl i32 %291, 2
%293 = add i32 %292, 8
%294 = tail call i32* @realloc(i32* %7, i32 %293)
%295 = tail call i32 @free(i32* %0)
%296 = getelementptr inbounds i32, i32* %294, i64 2
%297 = load i32, i32* %296
%298 = icmp eq i32 %297, 3
br i1 %298, label %299, label %303
299: ; preds = %342, %286
%300 = getelementptr inbounds i32, i32* %294, i64 1
%301 = load i32, i32* %300
%302 = icmp eq i32 %301, 0
br i1 %302, label %357, label %348
303: ; preds = %286, %342
%304 = phi i64 [ %343, %342 ], [ 2, %286 ]
%305 = phi i32 [ %346, %342 ], [ %297, %286 ]
%306 = phi i32* [ %345, %342 ], [ %296, %286 ]
%307 = add nsw i64 %304, -1
%308 = getelementptr inbounds i32, i32* %294, i64 %307
%309 = load i32, i32* %308
%310 = and i32 %309, 3
%311 = icmp ne i32 %310, 0
%312 = and i32 %305, 3
%313 = icmp eq i32 %312, 0
%314 = select i1 %311, i1 %313, i1 false
br i1 %314, label %315, label %322
315: ; preds = %303
%316 = and i32 %309, 8
%317 = icmp eq i32 %316, 0
br i1 %317, label %320, label %318
318: ; preds = %315
%319 = add nsw i32 %309, 8
store i32 %319, i32* %308
br label %342
320: ; preds = %315
%321 = or i32 %309, 16
store i32 %321, i32* %308
br label %342
322: ; preds = %303
%323 = select i1 %311, i1 true, i1 %313
br i1 %323, label %326, label %324
324: ; preds = %322
%325 = or i32 %305, 4
store i32 %325, i32* %306
br label %342
326: ; preds = %322
%327 = and i32 %309, 1
%328 = icmp eq i32 %327, 0
%329 = and i32 %305, 1
%330 = icmp eq i32 %329, 0
%331 = select i1 %328, i1 true, i1 %330
br i1 %331, label %334, label %332
332: ; preds = %326
%333 = or i32 %305, 8
store i32 %333, i32* %306
br label %342
334: ; preds = %326
%335 = and i32 %309, 2
%336 = icmp eq i32 %335, 0
%337 = and i32 %305, 2
%338 = icmp eq i32 %337, 0
%339 = select i1 %336, i1 true, i1 %338
br i1 %339, label %342, label %340
340: ; preds = %334
%341 = or i32 %305, 8
store i32 %341, i32* %306
br label %342
342: ; preds = %324, %334, %340, %332, %318, %320
%343 = add nuw i64 %304, 1
%344 = and i64 %343, 4294967295
%345 = getelementptr inbounds i32, i32* %294, i64 %344
%346 = load i32, i32* %345
%347 = icmp eq i32 %346, 3
br i1 %347, label %299, label %303
348: ; preds = %299, %348
%349 = phi i64 [ %353, %348 ], [ 1, %299 ]
%350 = phi i32 [ %355, %348 ], [ %301, %299 ]
%351 = phi i32* [ %354, %348 ], [ %300, %299 ]
%352 = or i32 %350, 32
store i32 %352, i32* %351
%353 = add nuw nsw i64 %349, 1
%354 = getelementptr inbounds i32, i32* %294, i64 %353
%355 = load i32, i32* %354
%356 = icmp eq i32 %355, 0
br i1 %356, label %357, label %348
357: ; preds = %348, %299
%358 = load i32, i32* %294
%359 = sext i32 %358 to i64
%360 = getelementptr inbounds i32, i32* %294, i64 %359
%361 = load i32, i32* %360
%362 = icmp eq i32 %361, 0
br i1 %362, label %372, label %363
363: ; preds = %357, %363
%364 = phi i64 [ %368, %363 ], [ %359, %357 ]
%365 = phi i32 [ %370, %363 ], [ %361, %357 ]
%366 = phi i32* [ %369, %363 ], [ %360, %357 ]
%367 = or i32 %365, 32
store i32 %367, i32* %366
%368 = add i64 %364, -1
%369 = getelementptr inbounds i32, i32* %294, i64 %368
%370 = load i32, i32* %369
%371 = icmp eq i32 %370, 0
br i1 %371, label %372, label %363
372: ; preds = %363, %357
ret i32* %294
}