void heapify(int *a, int n) {
  int k;
  int i;
  int j;
  int item;
  int *mem_7;
  int *mem_8;
  int *mem_9;
  int *mem_10;
  int *mem_11;
  int *mem_12;
  int *mem_13;
  int *mem_14;
  int *mem_15;
  int *mem_16;
  int *mem_17;
  int *mem_18;
  int *mem_19;
  int *mem_20;
  int *mem_21;
  int *mem_22;
  {
    __CrestCall(106, 5);
    __CrestStore(105, (unsigned long)(&n));
    __CrestInt(&i);
    __CrestInt(&k);
    __CrestLoad(107, (unsigned long)0, (long long)1);
    __CrestStore(108, (unsigned long)(&k));
    k = 1;
    {{__CrestLoad(111, (unsigned long)(&k), (long long)k);
    __CrestLoad(110, (unsigned long)(&n), (long long)n);
    __CrestApply2(109, 16, (long long)(k < n));
    if (k < n) {
      __CrestBranch(112, 35, 1);
      mem_7 = a + k;
      __CrestLoad(114, (unsigned long)mem_7, (long long)*mem_7);
      __CrestStore(115, (unsigned long)(&item));
      item = *mem_7;
      __CrestLoad(116, (unsigned long)(&k), (long long)k);
      __CrestStore(117, (unsigned long)(&i));
      i = k;
      __CrestLoad(122, (unsigned long)(&i), (long long)i);
      __CrestLoad(121, (unsigned long)0, (long long)1);
      __CrestApply2(120, 1, (long long)(i - 1));
      __CrestLoad(119, (unsigned long)0, (long long)2);
      __CrestApply2(118, 3, (long long)((i - 1) / 2));
      __CrestStore(123, (unsigned long)(&j));
      j = (i - 1) / 2;
      {
        {
          __CrestLoad(126, (unsigned long)(&i), (long long)i);
          __CrestLoad(125, (unsigned long)0, (long long)0);
          __CrestApply2(124, 14, (long long)(i > 0));
          if (i > 0) {
            __CrestBranch(127, 38, 1);
            {
              mem_8 = a + j;
              {
                __CrestLoad(131, (unsigned long)(&item), (long long)item);
                __CrestLoad(130, (unsigned long)mem_8, (long long)*mem_8);
                __CrestApply2(129, 14, (long long)(item > *mem_8));
                if (item > *mem_8) {
                  __CrestBranch(132, 41, 1);
                  mem_9 = a + i;
                  mem_10 = a + j;
                  __CrestLoad(134, (unsigned long)mem_10, (long long)*mem_10);
                  __CrestStore(135, (unsigned long)mem_9);
                  *mem_9 = *mem_10;
                  __CrestLoad(136, (unsigned long)(&j), (long long)j);
                  __CrestStore(137, (unsigned long)(&i));
                  i = j;
                  __CrestLoad(142, (unsigned long)(&i), (long long)i);
                  __CrestLoad(141, (unsigned long)0, (long long)1);
                  __CrestApply2(140, 1, (long long)(i - 1));
                  __CrestLoad(139, (unsigned long)0, (long long)2);
                  __CrestApply2(138, 3, (long long)((i - 1) / 2));
                  __CrestStore(143, (unsigned long)(&j));
                  j = (i - 1) / 2;
                } else {
                  __CrestBranch(133, 42, 0);
                }
              }
            }
          } else {
            __CrestBranch(128, 43, 0);
          }
        }
        {
          __CrestLoad(146, (unsigned long)(&i), (long long)i);
          __CrestLoad(145, (unsigned long)0, (long long)0);
          __CrestApply2(144, 14, (long long)(i > 0));
          if (i > 0) {
            __CrestBranch(147, 45, 1);
            {
              mem_11 = a + j;
              {
                __CrestLoad(151, (unsigned long)(&item), (long long)item);
                __CrestLoad(150, (unsigned long)mem_11, (long long)*mem_11);
                __CrestApply2(149, 14, (long long)(item > *mem_11));
                if (item > *mem_11) {
                  __CrestBranch(152, 48, 1);
                  mem_12 = a + i;
                  mem_13 = a + j;
                  __CrestLoad(154, (unsigned long)mem_13, (long long)*mem_13);
                  __CrestStore(155, (unsigned long)mem_12);
                  *mem_12 = *mem_13;
                  __CrestLoad(156, (unsigned long)(&j), (long long)j);
                  __CrestStore(157, (unsigned long)(&i));
                  i = j;
                  __CrestLoad(162, (unsigned long)(&i), (long long)i);
                  __CrestLoad(161, (unsigned long)0, (long long)1);
                  __CrestApply2(160, 1, (long long)(i - 1));
                  __CrestLoad(159, (unsigned long)0, (long long)2);
                  __CrestApply2(158, 3, (long long)((i - 1) / 2));
                  __CrestStore(163, (unsigned long)(&j));
                  j = (i - 1) / 2;
                } else {
                  __CrestBranch(153, 49, 0);
                }
              }
            }
          } else {
            __CrestBranch(148, 50, 0);
          }
        }
      }
      mem_14 = a + i;
      __CrestLoad(164, (unsigned long)(&item), (long long)item);
      __CrestStore(165, (unsigned long)mem_14);
      *mem_14 = item;
      __CrestLoad(168, (unsigned long)(&k), (long long)k);
      __CrestLoad(167, (unsigned long)0, (long long)1);
      __CrestApply2(166, 0, (long long)(k + 1));
      __CrestStore(169, (unsigned long)(&k));
      k++;
    } else {
      __CrestBranch(113, 52, 0);
    }
  }
  {
    __CrestLoad(172, (unsigned long)(&k), (long long)k);
    __CrestLoad(171, (unsigned long)(&n), (long long)n);
    __CrestApply2(170, 16, (long long)(k < n));
    if (k < n) {
      __CrestBranch(173, 54, 1);
      mem_15 = a + k;
      __CrestLoad(175, (unsigned long)mem_15, (long long)*mem_15);
      __CrestStore(176, (unsigned long)(&item));
      item = *mem_15;
      __CrestLoad(177, (unsigned long)(&k), (long long)k);
      __CrestStore(178, (unsigned long)(&i));
      i = k;
      __CrestLoad(183, (unsigned long)(&i), (long long)i);
      __CrestLoad(182, (unsigned long)0, (long long)1);
      __CrestApply2(181, 1, (long long)(i - 1));
      __CrestLoad(180, (unsigned long)0, (long long)2);
      __CrestApply2(179, 3, (long long)((i - 1) / 2));
      __CrestStore(184, (unsigned long)(&j));
      j = (i - 1) / 2;
      {
        {
          __CrestLoad(187, (unsigned long)(&i), (long long)i);
          __CrestLoad(186, (unsigned long)0, (long long)0);
          __CrestApply2(185, 14, (long long)(i > 0));
          if (i > 0) {
            __CrestBranch(188, 57, 1);
            {
              mem_16 = a + j;
              {
                __CrestLoad(192, (unsigned long)(&item), (long long)item);
                __CrestLoad(191, (unsigned long)mem_16, (long long)*mem_16);
                __CrestApply2(190, 14, (long long)(item > *mem_16));
                if (item > *mem_16) {
                  __CrestBranch(193, 60, 1);
                  mem_17 = a + i;
                  mem_18 = a + j;
                  __CrestLoad(195, (unsigned long)mem_18, (long long)*mem_18);
                  __CrestStore(196, (unsigned long)mem_17);
                  *mem_17 = *mem_18;
                  __CrestLoad(197, (unsigned long)(&j), (long long)j);
                  __CrestStore(198, (unsigned long)(&i));
                  i = j;
                  __CrestLoad(203, (unsigned long)(&i), (long long)i);
                  __CrestLoad(202, (unsigned long)0, (long long)1);
                  __CrestApply2(201, 1, (long long)(i - 1));
                  __CrestLoad(200, (unsigned long)0, (long long)2);
                  __CrestApply2(199, 3, (long long)((i - 1) / 2));
                  __CrestStore(204, (unsigned long)(&j));
                  j = (i - 1) / 2;
                } else {
                  __CrestBranch(194, 61, 0);
                }
              }
            }
          } else {
            __CrestBranch(189, 62, 0);
          }
        }
        {
          __CrestLoad(207, (unsigned long)(&i), (long long)i);
          __CrestLoad(206, (unsigned long)0, (long long)0);
          __CrestApply2(205, 14, (long long)(i > 0));
          if (i > 0) {
            __CrestBranch(208, 64, 1);
            {
              mem_19 = a + j;
              {
                __CrestLoad(212, (unsigned long)(&item), (long long)item);
                __CrestLoad(211, (unsigned long)mem_19, (long long)*mem_19);
                __CrestApply2(210, 14, (long long)(item > *mem_19));
                if (item > *mem_19) {
                  __CrestBranch(213, 67, 1);
                  mem_20 = a + i;
                  mem_21 = a + j;
                  __CrestLoad(215, (unsigned long)mem_21, (long long)*mem_21);
                  __CrestStore(216, (unsigned long)mem_20);
                  *mem_20 = *mem_21;
                  __CrestLoad(217, (unsigned long)(&j), (long long)j);
                  __CrestStore(218, (unsigned long)(&i));
                  i = j;
                  __CrestLoad(223, (unsigned long)(&i), (long long)i);
                  __CrestLoad(222, (unsigned long)0, (long long)1);
                  __CrestApply2(221, 1, (long long)(i - 1));
                  __CrestLoad(220, (unsigned long)0, (long long)2);
                  __CrestApply2(219, 3, (long long)((i - 1) / 2));
                  __CrestStore(224, (unsigned long)(&j));
                  j = (i - 1) / 2;
                } else {
                  __CrestBranch(214, 68, 0);
                }
              }
            }
          } else {
            __CrestBranch(209, 69, 0);
          }
        }
      }
      mem_22 = a + i;
      __CrestLoad(225, (unsigned long)(&item), (long long)item);
      __CrestStore(226, (unsigned long)mem_22);
      *mem_22 = item;
      __CrestLoad(229, (unsigned long)(&k), (long long)k);
      __CrestLoad(228, (unsigned long)0, (long long)1);
      __CrestApply2(227, 0, (long long)(k + 1));
      __CrestStore(230, (unsigned long)(&k));
      k++;
    } else {
      __CrestBranch(174, 71, 0);
    }
  }
}
{
  __CrestReturn(231);
  return;
}
}
}


x86 assembly (clang, -O0):
<heapify>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    $0x6a,%edi
mov    $0x5,%esi
mov    $0x0,%al
call   1070 <__CrestCall@plt>
lea    -0xc(%rbp),%rsi
mov    $0x69,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
lea    -0x14(%rbp),%rdi
mov    $0x0,%al
call   1080 <__CrestInt@plt>
lea    -0x10(%rbp),%rdi
mov    $0x0,%al
call   1080 <__CrestInt@plt>
mov    $0x6b,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x10(%rbp),%rsi
mov    $0x6c,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
movl   $0x1,-0x10(%rbp)
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0x6f,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0xc(%rbp),%rsi
movslq -0xc(%rbp),%rdx
mov    $0x6e,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0x6d,%edi
mov    $0x10,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1871 <heapify+0x701>
mov    $0x70,%edi
mov    $0x23,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rsi
mov    -0x28(%rbp),%rax
movslq (%rax),%rdx
mov    $0x72,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x1c(%rbp),%rsi
mov    $0x73,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x1c(%rbp)
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0x74,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x14(%rbp),%rsi
mov    $0x75,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0x7a,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0x79,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
mov    $0x78,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    $0x77,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x2,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
movslq %eax,%rdx
mov    $0x76,%edi
mov    $0x3,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x18(%rbp),%rsi
mov    $0x7b,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0x7e,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0x7d,%edi
xor    %eax,%eax
mov    %eax,%edx
mov    %rdx,%rsi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
cmpl   $0x0,-0x14(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0x7c,%edi
mov    $0xe,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
cmpl   $0x0,-0x14(%rbp)
jle    1583 <heapify+0x413>
mov    $0x7f,%edi
mov    $0x26,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
lea    -0x1c(%rbp),%rsi
movslq -0x1c(%rbp),%rdx
mov    $0x83,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x30(%rbp),%rsi
mov    -0x30(%rbp),%rax
movslq (%rax),%rdx
mov    $0x82,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x1c(%rbp),%eax
mov    -0x30(%rbp),%rcx
cmp    (%rcx),%eax
setg   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0x81,%edi
mov    $0xe,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x1c(%rbp),%eax
mov    -0x30(%rbp),%rcx
cmp    (%rcx),%eax
jle    156b <heapify+0x3fb>
mov    $0x84,%edi
mov    $0x29,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rsi
mov    -0x40(%rbp),%rax
movslq (%rax),%rdx
mov    $0x86,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x38(%rbp),%rsi
mov    $0x87,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x40(%rbp),%rax
mov    (%rax),%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
lea    -0x18(%rbp),%rsi
movslq -0x18(%rbp),%rdx
mov    $0x88,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x14(%rbp),%rsi
mov    $0x89,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x18(%rbp),%eax
mov    %eax,-0x14(%rbp)
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0x8e,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0x8d,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
mov    $0x8c,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    $0x8b,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x2,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
movslq %eax,%rdx
mov    $0x8a,%edi
mov    $0x3,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x18(%rbp),%rsi
mov    $0x8f,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
jmp    157e <heapify+0x40e>
mov    $0x85,%edi
mov    $0x2a,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
jmp    1596 <heapify+0x426>
mov    $0x80,%edi
mov    $0x2b,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0x92,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0x91,%edi
xor    %eax,%eax
mov    %eax,%edx
mov    %rdx,%rsi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
cmpl   $0x0,-0x14(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0x90,%edi
mov    $0xe,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
cmpl   $0x0,-0x14(%rbp)
jle    17c0 <heapify+0x650>
mov    $0x93,%edi
mov    $0x2d,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
lea    -0x1c(%rbp),%rsi
movslq -0x1c(%rbp),%rdx
mov    $0x97,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x48(%rbp),%rsi
mov    -0x48(%rbp),%rax
movslq (%rax),%rdx
mov    $0x96,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x1c(%rbp),%eax
mov    -0x48(%rbp),%rcx
cmp    (%rcx),%eax
setg   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0x95,%edi
mov    $0xe,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x1c(%rbp),%eax
mov    -0x48(%rbp),%rcx
cmp    (%rcx),%eax
jle    17a8 <heapify+0x638>
mov    $0x98,%edi
mov    $0x30,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rsi
mov    -0x58(%rbp),%rax
movslq (%rax),%rdx
mov    $0x9a,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x50(%rbp),%rsi
mov    $0x9b,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x58(%rbp),%rax
mov    (%rax),%ecx
mov    -0x50(%rbp),%rax
mov    %ecx,(%rax)
lea    -0x18(%rbp),%rsi
movslq -0x18(%rbp),%rdx
mov    $0x9c,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x14(%rbp),%rsi
mov    $0x9d,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x18(%rbp),%eax
mov    %eax,-0x14(%rbp)
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0xa2,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0xa1,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
mov    $0xa0,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    $0x9f,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x2,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
movslq %eax,%rdx
mov    $0x9e,%edi
mov    $0x3,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x18(%rbp),%rsi
mov    $0xa3,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
jmp    17bb <heapify+0x64b>
mov    $0x99,%edi
mov    $0x31,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
jmp    17d3 <heapify+0x663>
mov    $0x94,%edi
mov    $0x32,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
lea    -0x1c(%rbp),%rsi
movslq -0x1c(%rbp),%rdx
mov    $0xa4,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x60(%rbp),%rsi
mov    $0xa5,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x1c(%rbp),%ecx
mov    -0x60(%rbp),%rax
mov    %ecx,(%rax)
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0xa8,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0xa7,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rdx
mov    $0xa6,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x10(%rbp),%rsi
mov    $0xa9,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1884 <heapify+0x714>
mov    $0x71,%edi
mov    $0x34,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0xac,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0xc(%rbp),%rsi
movslq -0xc(%rbp),%rdx
mov    $0xab,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0xaa,%edi
mov    $0x10,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1f3d <heapify+0xdcd>
mov    $0xad,%edi
mov    $0x36,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rsi
mov    -0x68(%rbp),%rax
movslq (%rax),%rdx
mov    $0xaf,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x1c(%rbp),%rsi
mov    $0xb0,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x68(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x1c(%rbp)
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0xb1,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x14(%rbp),%rsi
mov    $0xb2,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0xb7,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0xb6,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
mov    $0xb5,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    $0xb4,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x2,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
movslq %eax,%rdx
mov    $0xb3,%edi
mov    $0x3,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x18(%rbp),%rsi
mov    $0xb8,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0xbb,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0xba,%edi
xor    %eax,%eax
mov    %eax,%edx
mov    %rdx,%rsi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
cmpl   $0x0,-0x14(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0xb9,%edi
mov    $0xe,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
cmpl   $0x0,-0x14(%rbp)
jle    1c22 <heapify+0xab2>
mov    $0xbc,%edi
mov    $0x39,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x70(%rbp)
lea    -0x1c(%rbp),%rsi
movslq -0x1c(%rbp),%rdx
mov    $0xc0,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x70(%rbp),%rsi
mov    -0x70(%rbp),%rax
movslq (%rax),%rdx
mov    $0xbf,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x1c(%rbp),%eax
mov    -0x70(%rbp),%rcx
cmp    (%rcx),%eax
setg   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0xbe,%edi
mov    $0xe,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x1c(%rbp),%eax
mov    -0x70(%rbp),%rcx
cmp    (%rcx),%eax
jle    1c0a <heapify+0xa9a>
mov    $0xc1,%edi
mov    $0x3c,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x78(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x80(%rbp)
mov    -0x80(%rbp),%rsi
mov    -0x80(%rbp),%rax
movslq (%rax),%rdx
mov    $0xc3,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x78(%rbp),%rsi
mov    $0xc4,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x80(%rbp),%rax
mov    (%rax),%ecx
mov    -0x78(%rbp),%rax
mov    %ecx,(%rax)
lea    -0x18(%rbp),%rsi
movslq -0x18(%rbp),%rdx
mov    $0xc5,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x14(%rbp),%rsi
mov    $0xc6,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x18(%rbp),%eax
mov    %eax,-0x14(%rbp)
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0xcb,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0xca,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
mov    $0xc9,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    $0xc8,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x2,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
movslq %eax,%rdx
mov    $0xc7,%edi
mov    $0x3,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x18(%rbp),%rsi
mov    $0xcc,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
jmp    1c1d <heapify+0xaad>
mov    $0xc2,%edi
mov    $0x3d,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
jmp    1c35 <heapify+0xac5>
mov    $0xbd,%edi
mov    $0x3e,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0xcf,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0xce,%edi
xor    %eax,%eax
mov    %eax,%edx
mov    %rdx,%rsi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
cmpl   $0x0,-0x14(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0xcd,%edi
mov    $0xe,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
cmpl   $0x0,-0x14(%rbp)
jle    1e83 <heapify+0xd13>
mov    $0xd0,%edi
mov    $0x40,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x88(%rbp)
lea    -0x1c(%rbp),%rsi
movslq -0x1c(%rbp),%rdx
mov    $0xd4,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x88(%rbp),%rsi
mov    -0x88(%rbp),%rax
movslq (%rax),%rdx
mov    $0xd3,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x1c(%rbp),%eax
mov    -0x88(%rbp),%rcx
cmp    (%rcx),%eax
setg   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0xd2,%edi
mov    $0xe,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x1c(%rbp),%eax
mov    -0x88(%rbp),%rcx
cmp    (%rcx),%eax
jle    1e6b <heapify+0xcfb>
mov    $0xd5,%edi
mov    $0x43,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x90(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rsi
mov    -0x98(%rbp),%rax
movslq (%rax),%rdx
mov    $0xd7,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x90(%rbp),%rsi
mov    $0xd8,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x98(%rbp),%rax
mov    (%rax),%ecx
mov    -0x90(%rbp),%rax
mov    %ecx,(%rax)
lea    -0x18(%rbp),%rsi
movslq -0x18(%rbp),%rdx
mov    $0xd9,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x14(%rbp),%rsi
mov    $0xda,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x18(%rbp),%eax
mov    %eax,-0x14(%rbp)
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0xdf,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0xde,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
mov    $0xdd,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    $0xdc,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x2,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
movslq %eax,%rdx
mov    $0xdb,%edi
mov    $0x3,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x18(%rbp),%rsi
mov    $0xe0,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
jmp    1e7e <heapify+0xd0e>
mov    $0xd6,%edi
mov    $0x44,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
jmp    1e96 <heapify+0xd26>
mov    $0xd1,%edi
mov    $0x45,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0xa0(%rbp)
lea    -0x1c(%rbp),%rsi
movslq -0x1c(%rbp),%rdx
mov    $0xe1,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0xa0(%rbp),%rsi
mov    $0xe2,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x1c(%rbp),%ecx
mov    -0xa0(%rbp),%rax
mov    %ecx,(%rax)
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0xe5,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0xe4,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rdx
mov    $0xe3,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x10(%rbp),%rsi
mov    $0xe6,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1f50 <heapify+0xde0>
mov    $0xae,%edi
mov    $0x47,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    $0xe7,%edi
mov    $0x0,%al
call   1060 <__CrestReturn@plt>
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<heapify>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdi,%r15
mov    %esi,0x14(%rsp)
mov    $0x6a,%edi
mov    $0x5,%esi
xor    %eax,%eax
call   1070 <__CrestCall@plt>
lea    0x14(%rsp),%r14
mov    $0x69,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
lea    0x4(%rsp),%rdi
xor    %eax,%eax
call   1080 <__CrestInt@plt>
lea    0x10(%rsp),%rbx
mov    %rbx,%rdi
xor    %eax,%eax
call   1080 <__CrestInt@plt>
mov    $0x1,%edx
mov    $0x6b,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x6c,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
movl   $0x1,0x10(%rsp)
mov    $0x1,%edx
mov    $0x6f,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x14(%rsp),%rdx
mov    $0x6e,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0x10(%rsp),%eax
xor    %edx,%edx
cmp    0x14(%rsp),%eax
setl   %dl
mov    $0x6d,%edi
mov    $0x10,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    0x10(%rsp),%eax
cmp    0x14(%rsp),%eax
jge    1534 <heapify+0x3c4>
mov    $0x70,%edi
mov    $0x23,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x10(%rsp),%rbx
lea    (%r15,%rbx,4),%rsi
movslq (%r15,%rbx,4),%rdx
mov    $0x72,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
lea    0xc(%rsp),%rsi
mov    $0x73,%edi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    (%r15,%rbx,4),%eax
mov    %eax,0xc(%rsp)
movslq 0x10(%rsp),%rdx
lea    0x10(%rsp),%rsi
mov    $0x74,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
lea    0x4(%rsp),%r14
mov    $0x75,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
movslq 0x10(%rsp),%rdx
mov    %edx,0x4(%rsp)
mov    $0x7a,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0x79,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%rsp),%rdx
add    $0xffffffffffffffff,%rdx
mov    $0x78,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x2,%edx
mov    $0x77,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0x4(%rsp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0xffffffff,%eax
sar    %eax
movslq %eax,%rdx
mov    $0x76,%edi
mov    $0x3,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
lea    0x8(%rsp),%rsi
mov    $0x7b,%edi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
movslq 0x4(%rsp),%rdx
lea    -0x1(%rdx),%eax
shr    $0x1f,%eax
add    %edx,%eax
add    $0xffffffff,%eax
sar    %eax
mov    %eax,0x8(%rsp)
mov    $0x7e,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x7d,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
xor    %edx,%edx
cmpl   $0x0,0x4(%rsp)
setg   %dl
mov    $0x7c,%edi
mov    $0xe,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
cmpl   $0x0,0x4(%rsp)
jle    1550 <heapify+0x3e0>
mov    $0x7f,%edi
mov    $0x26,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x8(%rsp),%rbx
lea    (%r15,%rbx,4),%r14
movslq 0xc(%rsp),%rdx
lea    0xc(%rsp),%rsi
mov    $0x83,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq (%r15,%rbx,4),%rdx
mov    $0x82,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0xc(%rsp),%eax
xor    %edx,%edx
cmp    (%r15,%rbx,4),%eax
setg   %dl
mov    $0x81,%edi
mov    $0xe,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    0xc(%rsp),%eax
cmp    (%r15,%rbx,4),%eax
jle    155c <heapify+0x3ec>
mov    $0x84,%edi
mov    $0x29,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x4(%rsp),%r12
lea    (%r15,%r12,4),%r14
movslq 0x8(%rsp),%rbx
lea    (%r15,%rbx,4),%rsi
movslq (%r15,%rbx,4),%rdx
mov    $0x86,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x87,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    (%r15,%rbx,4),%eax
mov    %eax,(%r15,%r12,4)
movslq 0x8(%rsp),%rdx
lea    0x8(%rsp),%r14
mov    $0x88,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
lea    0x4(%rsp),%rbx
mov    $0x89,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
movslq 0x8(%rsp),%rdx
mov    %edx,0x4(%rsp)
mov    $0x8e,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0x8d,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%rsp),%rdx
add    $0xffffffffffffffff,%rdx
mov    $0x8c,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x2,%edx
mov    $0x8b,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0x4(%rsp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0xffffffff,%eax
sar    %eax
movslq %eax,%rdx
mov    $0x8a,%edi
mov    $0x3,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x8f,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    0x4(%rsp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0xffffffff,%eax
sar    %eax
mov    %eax,0x8(%rsp)
jmp    156f <heapify+0x3ff>
mov    $0x71,%edi
mov    $0x34,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
mov    0x10(%rsp),%eax
jmp    1804 <heapify+0x694>
mov    $0x80,%edi
mov    $0x2b,%esi
jmp    1566 <heapify+0x3f6>
mov    $0x85,%edi
mov    $0x2a,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x4(%rsp),%rdx
lea    0x4(%rsp),%rsi
mov    $0x92,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x91,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
xor    %edx,%edx
cmpl   $0x0,0x4(%rsp)
setg   %dl
mov    $0x90,%edi
mov    $0xe,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
cmpl   $0x0,0x4(%rsp)
jle    1752 <heapify+0x5e2>
mov    $0x93,%edi
mov    $0x2d,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x8(%rsp),%rbx
lea    (%r15,%rbx,4),%r14
movslq 0xc(%rsp),%rdx
lea    0xc(%rsp),%rsi
mov    $0x97,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq (%r15,%rbx,4),%rdx
mov    $0x96,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0xc(%rsp),%eax
xor    %edx,%edx
cmp    (%r15,%rbx,4),%eax
setg   %dl
mov    $0x95,%edi
mov    $0xe,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    0xc(%rsp),%eax
cmp    (%r15,%rbx,4),%eax
jle    175e <heapify+0x5ee>
mov    $0x98,%edi
mov    $0x30,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x4(%rsp),%r12
lea    (%r15,%r12,4),%r14
movslq 0x8(%rsp),%rbx
lea    (%r15,%rbx,4),%rsi
movslq (%r15,%rbx,4),%rdx
mov    $0x9a,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x9b,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    (%r15,%rbx,4),%eax
mov    %eax,(%r15,%r12,4)
movslq 0x8(%rsp),%rdx
lea    0x8(%rsp),%r14
mov    $0x9c,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
lea    0x4(%rsp),%rbx
mov    $0x9d,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
movslq 0x8(%rsp),%rdx
mov    %edx,0x4(%rsp)
mov    $0xa2,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0xa1,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%rsp),%rdx
add    $0xffffffffffffffff,%rdx
mov    $0xa0,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x2,%edx
mov    $0x9f,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0x4(%rsp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0xffffffff,%eax
sar    %eax
movslq %eax,%rdx
mov    $0x9e,%edi
mov    $0x3,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0xa3,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    0x4(%rsp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0xffffffff,%eax
sar    %eax
mov    %eax,0x8(%rsp)
jmp    1771 <heapify+0x601>
mov    $0x94,%edi
mov    $0x32,%esi
jmp    1768 <heapify+0x5f8>
mov    $0x99,%edi
mov    $0x31,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x4(%rsp),%rbx
lea    (%r15,%rbx,4),%r14
movslq 0xc(%rsp),%rdx
lea    0xc(%rsp),%rsi
mov    $0xa4,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0xa5,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    0xc(%rsp),%eax
mov    %eax,(%r15,%rbx,4)
movslq 0x10(%rsp),%rdx
lea    0x10(%rsp),%rbx
mov    $0xa8,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0xa7,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x10(%rsp),%rdx
add    $0x1,%rdx
mov    $0xa6,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0xa9,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    0x10(%rsp),%eax
add    $0x1,%eax
mov    %eax,0x10(%rsp)
movslq %eax,%rdx
lea    0x10(%rsp),%rsi
mov    $0xac,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x14(%rsp),%rdx
lea    0x14(%rsp),%rsi
mov    $0xab,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0x10(%rsp),%eax
xor    %edx,%edx
cmp    0x14(%rsp),%eax
setl   %dl
mov    $0xaa,%edi
mov    $0x10,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    0x10(%rsp),%eax
cmp    0x14(%rsp),%eax
jge    1b4e <heapify+0x9de>
mov    $0xad,%edi
mov    $0x36,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x10(%rsp),%rbx
lea    (%r15,%rbx,4),%rsi
movslq (%r15,%rbx,4),%rdx
mov    $0xaf,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
lea    0xc(%rsp),%rsi
mov    $0xb0,%edi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    (%r15,%rbx,4),%eax
mov    %eax,0xc(%rsp)
movslq 0x10(%rsp),%rdx
lea    0x10(%rsp),%rsi
mov    $0xb1,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
lea    0x4(%rsp),%r14
mov    $0xb2,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
movslq 0x10(%rsp),%rdx
mov    %edx,0x4(%rsp)
mov    $0xb7,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0xb6,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%rsp),%rdx
add    $0xffffffffffffffff,%rdx
mov    $0xb5,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x2,%edx
mov    $0xb4,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0x4(%rsp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0xffffffff,%eax
sar    %eax
movslq %eax,%rdx
mov    $0xb3,%edi
mov    $0x3,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
lea    0x8(%rsp),%rsi
mov    $0xb8,%edi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
movslq 0x4(%rsp),%rdx
lea    -0x1(%rdx),%eax
shr    $0x1f,%eax
add    %edx,%eax
add    $0xffffffff,%eax
sar    %eax
mov    %eax,0x8(%rsp)
mov    $0xbb,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0xba,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
xor    %edx,%edx
cmpl   $0x0,0x4(%rsp)
setg   %dl
mov    $0xb9,%edi
mov    $0xe,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
cmpl   $0x0,0x4(%rsp)
jle    1b66 <heapify+0x9f6>
mov    $0xbc,%edi
mov    $0x39,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x8(%rsp),%rbx
lea    (%r15,%rbx,4),%r14
movslq 0xc(%rsp),%rdx
lea    0xc(%rsp),%rsi
mov    $0xc0,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq (%r15,%rbx,4),%rdx
mov    $0xbf,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0xc(%rsp),%eax
xor    %edx,%edx
cmp    (%r15,%rbx,4),%eax
setg   %dl
mov    $0xbe,%edi
mov    $0xe,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    0xc(%rsp),%eax
cmp    (%r15,%rbx,4),%eax
jle    1b72 <heapify+0xa02>
mov    $0xc1,%edi
mov    $0x3c,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x4(%rsp),%r12
lea    (%r15,%r12,4),%r14
movslq 0x8(%rsp),%rbx
lea    (%r15,%rbx,4),%rsi
movslq (%r15,%rbx,4),%rdx
mov    $0xc3,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0xc4,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    (%r15,%rbx,4),%eax
mov    %eax,(%r15,%r12,4)
movslq 0x8(%rsp),%rdx
lea    0x8(%rsp),%r14
mov    $0xc5,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
lea    0x4(%rsp),%rbx
mov    $0xc6,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
movslq 0x8(%rsp),%rdx
mov    %edx,0x4(%rsp)
mov    $0xcb,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0xca,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%rsp),%rdx
add    $0xffffffffffffffff,%rdx
mov    $0xc9,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x2,%edx
mov    $0xc8,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0x4(%rsp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0xffffffff,%eax
sar    %eax
movslq %eax,%rdx
mov    $0xc7,%edi
mov    $0x3,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0xcc,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    0x4(%rsp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0xffffffff,%eax
sar    %eax
mov    %eax,0x8(%rsp)
jmp    1b85 <heapify+0xa15>
mov    $0xae,%edi
mov    $0x47,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
jmp    1e14 <heapify+0xca4>
mov    $0xbd,%edi
mov    $0x3e,%esi
jmp    1b7c <heapify+0xa0c>
mov    $0xc2,%edi
mov    $0x3d,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x4(%rsp),%rdx
lea    0x4(%rsp),%rsi
mov    $0xcf,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0xce,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
xor    %edx,%edx
cmpl   $0x0,0x4(%rsp)
setg   %dl
mov    $0xcd,%edi
mov    $0xe,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
cmpl   $0x0,0x4(%rsp)
jle    1d68 <heapify+0xbf8>
mov    $0xd0,%edi
mov    $0x40,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x8(%rsp),%rbx
lea    (%r15,%rbx,4),%r14
movslq 0xc(%rsp),%rdx
lea    0xc(%rsp),%rsi
mov    $0xd4,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq (%r15,%rbx,4),%rdx
mov    $0xd3,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0xc(%rsp),%eax
xor    %edx,%edx
cmp    (%r15,%rbx,4),%eax
setg   %dl
mov    $0xd2,%edi
mov    $0xe,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    0xc(%rsp),%eax
cmp    (%r15,%rbx,4),%eax
jle    1d74 <heapify+0xc04>
mov    $0xd5,%edi
mov    $0x43,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x4(%rsp),%r12
lea    (%r15,%r12,4),%r14
movslq 0x8(%rsp),%rbx
lea    (%r15,%rbx,4),%rsi
movslq (%r15,%rbx,4),%rdx
mov    $0xd7,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0xd8,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    (%r15,%rbx,4),%eax
mov    %eax,(%r15,%r12,4)
movslq 0x8(%rsp),%rdx
lea    0x8(%rsp),%r14
mov    $0xd9,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
lea    0x4(%rsp),%rbx
mov    $0xda,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
movslq 0x8(%rsp),%rdx
mov    %edx,0x4(%rsp)
mov    $0xdf,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0xde,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%rsp),%rdx
add    $0xffffffffffffffff,%rdx
mov    $0xdd,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x2,%edx
mov    $0xdc,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0x4(%rsp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0xffffffff,%eax
sar    %eax
movslq %eax,%rdx
mov    $0xdb,%edi
mov    $0x3,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0xe0,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    0x4(%rsp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
shr    $0x1f,%ecx
add    %ecx,%eax
add    $0xffffffff,%eax
sar    %eax
mov    %eax,0x8(%rsp)
jmp    1d87 <heapify+0xc17>
mov    $0xd1,%edi
mov    $0x45,%esi
jmp    1d7e <heapify+0xc0e>
mov    $0xd6,%edi
mov    $0x44,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x4(%rsp),%rbx
lea    (%r15,%rbx,4),%r14
movslq 0xc(%rsp),%rdx
lea    0xc(%rsp),%rsi
mov    $0xe1,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0xe2,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    0xc(%rsp),%eax
mov    %eax,(%r15,%rbx,4)
movslq 0x10(%rsp),%rdx
lea    0x10(%rsp),%rbx
mov    $0xe5,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0xe4,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x10(%rsp),%rdx
add    $0x1,%rdx
mov    $0xe3,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0xe6,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
addl   $0x1,0x10(%rsp)
mov    $0xe7,%edi
xor    %eax,%eax
call   1060 <__CrestReturn@plt>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @heapify(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*
%18 = alloca i32*
%19 = alloca i32*
%20 = alloca i32*
%21 = alloca i32*
%22 = alloca i32*
%23 = alloca i32*
%24 = alloca i32*
store i32* %0, i32** %3
store i32 %1, i32* %4
%25 = call i32 (i32, i32, ...) bitcast (i32 (...)* @__CrestCall to i32 (i32, i32, ...)*)(i32 106, i32 5)
%26 = ptrtoint i32* %4 to i64
%27 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 105, i64 %26)
%28 = call i32 (i32*, ...) bitcast (i32 (...)* @__CrestInt to i32 (i32*, ...)*)(i32* %6)
%29 = call i32 (i32*, ...) bitcast (i32 (...)* @__CrestInt to i32 (i32*, ...)*)(i32* %5)
%30 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 107, i64 0, i64 1)
%31 = ptrtoint i32* %5 to i64
%32 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 108, i64 %31)
store i32 1, i32* %5
%33 = ptrtoint i32* %5 to i64
%34 = load i32, i32* %5
%35 = sext i32 %34 to i64
%36 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 111, i64 %33, i64 %35)
%37 = ptrtoint i32* %4 to i64
%38 = load i32, i32* %4
%39 = sext i32 %38 to i64
%40 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 110, i64 %37, i64 %39)
%41 = load i32, i32* %5
%42 = load i32, i32* %4
%43 = icmp slt i32 %41, %42
%44 = zext i1 %43 to i32
%45 = sext i32 %44 to i64
%46 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 109, i32 16, i64 %45)
%47 = load i32, i32* %5
%48 = load i32, i32* %4
%49 = icmp slt i32 %47, %48
br i1 %49, label %50, label %307
50: ; preds = %2
%51 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 112, i32 35, i32 1)
%52 = load i32*, i32** %3
%53 = load i32, i32* %5
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %52, i64 %54
store i32* %55, i32** %9
%56 = load i32*, i32** %9
%57 = ptrtoint i32* %56 to i64
%58 = load i32*, i32** %9
%59 = load i32, i32* %58
%60 = sext i32 %59 to i64
%61 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 114, i64 %57, i64 %60)
%62 = ptrtoint i32* %8 to i64
%63 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 115, i64 %62)
%64 = load i32*, i32** %9
%65 = load i32, i32* %64
store i32 %65, i32* %8
%66 = ptrtoint i32* %5 to i64
%67 = load i32, i32* %5
%68 = sext i32 %67 to i64
%69 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 116, i64 %66, i64 %68)
%70 = ptrtoint i32* %6 to i64
%71 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 117, i64 %70)
%72 = load i32, i32* %5
store i32 %72, i32* %6
%73 = ptrtoint i32* %6 to i64
%74 = load i32, i32* %6
%75 = sext i32 %74 to i64
%76 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 122, i64 %73, i64 %75)
%77 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 121, i64 0, i64 1)
%78 = load i32, i32* %6
%79 = sub nsw i32 %78, 1
%80 = sext i32 %79 to i64
%81 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 120, i32 1, i64 %80)
%82 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 119, i64 0, i64 2)
%83 = load i32, i32* %6
%84 = sub nsw i32 %83, 1
%85 = sdiv i32 %84, 2
%86 = sext i32 %85 to i64
%87 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 118, i32 3, i64 %86)
%88 = ptrtoint i32* %7 to i64
%89 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 123, i64 %88)
%90 = load i32, i32* %6
%91 = sub nsw i32 %90, 1
%92 = sdiv i32 %91, 2
store i32 %92, i32* %7
%93 = ptrtoint i32* %6 to i64
%94 = load i32, i32* %6
%95 = sext i32 %94 to i64
%96 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 126, i64 %93, i64 %95)
%97 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 125, i64 0, i64 0)
%98 = load i32, i32* %6
%99 = icmp sgt i32 %98, 0
%100 = zext i1 %99 to i32
%101 = sext i32 %100 to i64
%102 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 124, i32 14, i64 %101)
%103 = load i32, i32* %6
%104 = icmp sgt i32 %103, 0
br i1 %104, label %105, label %184
105: ; preds = %50
%106 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 127, i32 38, i32 1)
%107 = load i32*, i32** %3
%108 = load i32, i32* %7
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds i32, i32* %107, i64 %109
store i32* %110, i32** %10
%111 = ptrtoint i32* %8 to i64
%112 = load i32, i32* %8
%113 = sext i32 %112 to i64
%114 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 131, i64 %111, i64 %113)
%115 = load i32*, i32** %10
%116 = ptrtoint i32* %115 to i64
%117 = load i32*, i32** %10
%118 = load i32, i32* %117
%119 = sext i32 %118 to i64
%120 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 130, i64 %116, i64 %119)
%121 = load i32, i32* %8
%122 = load i32*, i32** %10
%123 = load i32, i32* %122
%124 = icmp sgt i32 %121, %123
%125 = zext i1 %124 to i32
%126 = sext i32 %125 to i64
%127 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 129, i32 14, i64 %126)
%128 = load i32, i32* %8
%129 = load i32*, i32** %10
%130 = load i32, i32* %129
%131 = icmp sgt i32 %128, %130
br i1 %131, label %132, label %181
132: ; preds = %105
%133 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 132, i32 41, i32 1)
%134 = load i32*, i32** %3
%135 = load i32, i32* %6
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds i32, i32* %134, i64 %136
store i32* %137, i32** %11
%138 = load i32*, i32** %3
%139 = load i32, i32* %7
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds i32, i32* %138, i64 %140
store i32* %141, i32** %12
%142 = load i32*, i32** %12
%143 = ptrtoint i32* %142 to i64
%144 = load i32*, i32** %12
%145 = load i32, i32* %144
%146 = sext i32 %145 to i64
%147 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 134, i64 %143, i64 %146)
%148 = load i32*, i32** %11
%149 = ptrtoint i32* %148 to i64
%150 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 135, i64 %149)
%151 = load i32*, i32** %12
%152 = load i32, i32* %151
%153 = load i32*, i32** %11
store i32 %152, i32* %153
%154 = ptrtoint i32* %7 to i64
%155 = load i32, i32* %7
%156 = sext i32 %155 to i64
%157 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 136, i64 %154, i64 %156)
%158 = ptrtoint i32* %6 to i64
%159 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 137, i64 %158)
%160 = load i32, i32* %7
store i32 %160, i32* %6
%161 = ptrtoint i32* %6 to i64
%162 = load i32, i32* %6
%163 = sext i32 %162 to i64
%164 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 142, i64 %161, i64 %163)
%165 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 141, i64 0, i64 1)
%166 = load i32, i32* %6
%167 = sub nsw i32 %166, 1
%168 = sext i32 %167 to i64
%169 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 140, i32 1, i64 %168)
%170 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 139, i64 0, i64 2)
%171 = load i32, i32* %6
%172 = sub nsw i32 %171, 1
%173 = sdiv i32 %172, 2
%174 = sext i32 %173 to i64
%175 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 138, i32 3, i64 %174)
%176 = ptrtoint i32* %7 to i64
%177 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 143, i64 %176)
%178 = load i32, i32* %6
%179 = sub nsw i32 %178, 1
%180 = sdiv i32 %179, 2
store i32 %180, i32* %7
br label %183
181: ; preds = %105
%182 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 133, i32 42, i32 0)
br label %183
183: ; preds = %181, %132
br label %186
184: ; preds = %50
%185 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 128, i32 43, i32 0)
br label %186
186: ; preds = %184, %183
%187 = ptrtoint i32* %6 to i64
%188 = load i32, i32* %6
%189 = sext i32 %188 to i64
%190 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 146, i64 %187, i64 %189)
%191 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 145, i64 0, i64 0)
%192 = load i32, i32* %6
%193 = icmp sgt i32 %192, 0
%194 = zext i1 %193 to i32
%195 = sext i32 %194 to i64
%196 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 144, i32 14, i64 %195)
%197 = load i32, i32* %6
%198 = icmp sgt i32 %197, 0
br i1 %198, label %199, label %278
199: ; preds = %186
%200 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 147, i32 45, i32 1)
%201 = load i32*, i32** %3
%202 = load i32, i32* %7
%203 = sext i32 %202 to i64
%204 = getelementptr inbounds i32, i32* %201, i64 %203
store i32* %204, i32** %13
%205 = ptrtoint i32* %8 to i64
%206 = load i32, i32* %8
%207 = sext i32 %206 to i64
%208 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 151, i64 %205, i64 %207)
%209 = load i32*, i32** %13
%210 = ptrtoint i32* %209 to i64
%211 = load i32*, i32** %13
%212 = load i32, i32* %211
%213 = sext i32 %212 to i64
%214 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 150, i64 %210, i64 %213)
%215 = load i32, i32* %8
%216 = load i32*, i32** %13
%217 = load i32, i32* %216
%218 = icmp sgt i32 %215, %217
%219 = zext i1 %218 to i32
%220 = sext i32 %219 to i64
%221 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 149, i32 14, i64 %220)
%222 = load i32, i32* %8
%223 = load i32*, i32** %13
%224 = load i32, i32* %223
%225 = icmp sgt i32 %222, %224
br i1 %225, label %226, label %275
226: ; preds = %199
%227 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 152, i32 48, i32 1)
%228 = load i32*, i32** %3
%229 = load i32, i32* %6
%230 = sext i32 %229 to i64
%231 = getelementptr inbounds i32, i32* %228, i64 %230
store i32* %231, i32** %14
%232 = load i32*, i32** %3
%233 = load i32, i32* %7
%234 = sext i32 %233 to i64
%235 = getelementptr inbounds i32, i32* %232, i64 %234
store i32* %235, i32** %15
%236 = load i32*, i32** %15
%237 = ptrtoint i32* %236 to i64
%238 = load i32*, i32** %15
%239 = load i32, i32* %238
%240 = sext i32 %239 to i64
%241 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 154, i64 %237, i64 %240)
%242 = load i32*, i32** %14
%243 = ptrtoint i32* %242 to i64
%244 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 155, i64 %243)
%245 = load i32*, i32** %15
%246 = load i32, i32* %245
%247 = load i32*, i32** %14
store i32 %246, i32* %247
%248 = ptrtoint i32* %7 to i64
%249 = load i32, i32* %7
%250 = sext i32 %249 to i64
%251 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 156, i64 %248, i64 %250)
%252 = ptrtoint i32* %6 to i64
%253 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 157, i64 %252)
%254 = load i32, i32* %7
store i32 %254, i32* %6
%255 = ptrtoint i32* %6 to i64
%256 = load i32, i32* %6
%257 = sext i32 %256 to i64
%258 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 162, i64 %255, i64 %257)
%259 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 161, i64 0, i64 1)
%260 = load i32, i32* %6
%261 = sub nsw i32 %260, 1
%262 = sext i32 %261 to i64
%263 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 160, i32 1, i64 %262)
%264 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 159, i64 0, i64 2)
%265 = load i32, i32* %6
%266 = sub nsw i32 %265, 1
%267 = sdiv i32 %266, 2
%268 = sext i32 %267 to i64
%269 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 158, i32 3, i64 %268)
%270 = ptrtoint i32* %7 to i64
%271 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 163, i64 %270)
%272 = load i32, i32* %6
%273 = sub nsw i32 %272, 1
%274 = sdiv i32 %273, 2
store i32 %274, i32* %7
br label %277
275: ; preds = %199
%276 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 153, i32 49, i32 0)
br label %277
277: ; preds = %275, %226
br label %280
278: ; preds = %186
%279 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 148, i32 50, i32 0)
br label %280
280: ; preds = %278, %277
%281 = load i32*, i32** %3
%282 = load i32, i32* %6
%283 = sext i32 %282 to i64
%284 = getelementptr inbounds i32, i32* %281, i64 %283
store i32* %284, i32** %16
%285 = ptrtoint i32* %8 to i64
%286 = load i32, i32* %8
%287 = sext i32 %286 to i64
%288 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 164, i64 %285, i64 %287)
%289 = load i32*, i32** %16
%290 = ptrtoint i32* %289 to i64
%291 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 165, i64 %290)
%292 = load i32, i32* %8
%293 = load i32*, i32** %16
store i32 %292, i32* %293
%294 = ptrtoint i32* %5 to i64
%295 = load i32, i32* %5
%296 = sext i32 %295 to i64
%297 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 168, i64 %294, i64 %296)
%298 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 167, i64 0, i64 1)
%299 = load i32, i32* %5
%300 = add nsw i32 %299, 1
%301 = sext i32 %300 to i64
%302 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 166, i32 0, i64 %301)
%303 = ptrtoint i32* %5 to i64
%304 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 169, i64 %303)
%305 = load i32, i32* %5
%306 = add nsw i32 %305, 1
store i32 %306, i32* %5
br label %309
307: ; preds = %2
%308 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 113, i32 52, i32 0)
br label %309
309: ; preds = %307, %280
%310 = ptrtoint i32* %5 to i64
%311 = load i32, i32* %5
%312 = sext i32 %311 to i64
%313 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 172, i64 %310, i64 %312)
%314 = ptrtoint i32* %4 to i64
%315 = load i32, i32* %4
%316 = sext i32 %315 to i64
%317 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 171, i64 %314, i64 %316)
%318 = load i32, i32* %5
%319 = load i32, i32* %4
%320 = icmp slt i32 %318, %319
%321 = zext i1 %320 to i32
%322 = sext i32 %321 to i64
%323 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 170, i32 16, i64 %322)
%324 = load i32, i32* %5
%325 = load i32, i32* %4
%326 = icmp slt i32 %324, %325
br i1 %326, label %327, label %584
327: ; preds = %309
%328 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 173, i32 54, i32 1)
%329 = load i32*, i32** %3
%330 = load i32, i32* %5
%331 = sext i32 %330 to i64
%332 = getelementptr inbounds i32, i32* %329, i64 %331
store i32* %332, i32** %17
%333 = load i32*, i32** %17
%334 = ptrtoint i32* %333 to i64
%335 = load i32*, i32** %17
%336 = load i32, i32* %335
%337 = sext i32 %336 to i64
%338 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 175, i64 %334, i64 %337)
%339 = ptrtoint i32* %8 to i64
%340 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 176, i64 %339)
%341 = load i32*, i32** %17
%342 = load i32, i32* %341
store i32 %342, i32* %8
%343 = ptrtoint i32* %5 to i64
%344 = load i32, i32* %5
%345 = sext i32 %344 to i64
%346 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 177, i64 %343, i64 %345)
%347 = ptrtoint i32* %6 to i64
%348 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 178, i64 %347)
%349 = load i32, i32* %5
store i32 %349, i32* %6
%350 = ptrtoint i32* %6 to i64
%351 = load i32, i32* %6
%352 = sext i32 %351 to i64
%353 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 183, i64 %350, i64 %352)
%354 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 182, i64 0, i64 1)
%355 = load i32, i32* %6
%356 = sub nsw i32 %355, 1
%357 = sext i32 %356 to i64
%358 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 181, i32 1, i64 %357)
%359 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 180, i64 0, i64 2)
%360 = load i32, i32* %6
%361 = sub nsw i32 %360, 1
%362 = sdiv i32 %361, 2
%363 = sext i32 %362 to i64
%364 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 179, i32 3, i64 %363)
%365 = ptrtoint i32* %7 to i64
%366 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 184, i64 %365)
%367 = load i32, i32* %6
%368 = sub nsw i32 %367, 1
%369 = sdiv i32 %368, 2
store i32 %369, i32* %7
%370 = ptrtoint i32* %6 to i64
%371 = load i32, i32* %6
%372 = sext i32 %371 to i64
%373 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 187, i64 %370, i64 %372)
%374 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 186, i64 0, i64 0)
%375 = load i32, i32* %6
%376 = icmp sgt i32 %375, 0
%377 = zext i1 %376 to i32
%378 = sext i32 %377 to i64
%379 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 185, i32 14, i64 %378)
%380 = load i32, i32* %6
%381 = icmp sgt i32 %380, 0
br i1 %381, label %382, label %461
382: ; preds = %327
%383 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 188, i32 57, i32 1)
%384 = load i32*, i32** %3
%385 = load i32, i32* %7
%386 = sext i32 %385 to i64
%387 = getelementptr inbounds i32, i32* %384, i64 %386
store i32* %387, i32** %18
%388 = ptrtoint i32* %8 to i64
%389 = load i32, i32* %8
%390 = sext i32 %389 to i64
%391 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 192, i64 %388, i64 %390)
%392 = load i32*, i32** %18
%393 = ptrtoint i32* %392 to i64
%394 = load i32*, i32** %18
%395 = load i32, i32* %394
%396 = sext i32 %395 to i64
%397 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 191, i64 %393, i64 %396)
%398 = load i32, i32* %8
%399 = load i32*, i32** %18
%400 = load i32, i32* %399
%401 = icmp sgt i32 %398, %400
%402 = zext i1 %401 to i32
%403 = sext i32 %402 to i64
%404 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 190, i32 14, i64 %403)
%405 = load i32, i32* %8
%406 = load i32*, i32** %18
%407 = load i32, i32* %406
%408 = icmp sgt i32 %405, %407
br i1 %408, label %409, label %458
409: ; preds = %382
%410 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 193, i32 60, i32 1)
%411 = load i32*, i32** %3
%412 = load i32, i32* %6
%413 = sext i32 %412 to i64
%414 = getelementptr inbounds i32, i32* %411, i64 %413
store i32* %414, i32** %19
%415 = load i32*, i32** %3
%416 = load i32, i32* %7
%417 = sext i32 %416 to i64
%418 = getelementptr inbounds i32, i32* %415, i64 %417
store i32* %418, i32** %20
%419 = load i32*, i32** %20
%420 = ptrtoint i32* %419 to i64
%421 = load i32*, i32** %20
%422 = load i32, i32* %421
%423 = sext i32 %422 to i64
%424 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 195, i64 %420, i64 %423)
%425 = load i32*, i32** %19
%426 = ptrtoint i32* %425 to i64
%427 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 196, i64 %426)
%428 = load i32*, i32** %20
%429 = load i32, i32* %428
%430 = load i32*, i32** %19
store i32 %429, i32* %430
%431 = ptrtoint i32* %7 to i64
%432 = load i32, i32* %7
%433 = sext i32 %432 to i64
%434 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 197, i64 %431, i64 %433)
%435 = ptrtoint i32* %6 to i64
%436 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 198, i64 %435)
%437 = load i32, i32* %7
store i32 %437, i32* %6
%438 = ptrtoint i32* %6 to i64
%439 = load i32, i32* %6
%440 = sext i32 %439 to i64
%441 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 203, i64 %438, i64 %440)
%442 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 202, i64 0, i64 1)
%443 = load i32, i32* %6
%444 = sub nsw i32 %443, 1
%445 = sext i32 %444 to i64
%446 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 201, i32 1, i64 %445)
%447 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 200, i64 0, i64 2)
%448 = load i32, i32* %6
%449 = sub nsw i32 %448, 1
%450 = sdiv i32 %449, 2
%451 = sext i32 %450 to i64
%452 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 199, i32 3, i64 %451)
%453 = ptrtoint i32* %7 to i64
%454 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 204, i64 %453)
%455 = load i32, i32* %6
%456 = sub nsw i32 %455, 1
%457 = sdiv i32 %456, 2
store i32 %457, i32* %7
br label %460
458: ; preds = %382
%459 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 194, i32 61, i32 0)
br label %460
460: ; preds = %458, %409
br label %463
461: ; preds = %327
%462 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 189, i32 62, i32 0)
br label %463
463: ; preds = %461, %460
%464 = ptrtoint i32* %6 to i64
%465 = load i32, i32* %6
%466 = sext i32 %465 to i64
%467 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 207, i64 %464, i64 %466)
%468 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 206, i64 0, i64 0)
%469 = load i32, i32* %6
%470 = icmp sgt i32 %469, 0
%471 = zext i1 %470 to i32
%472 = sext i32 %471 to i64
%473 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 205, i32 14, i64 %472)
%474 = load i32, i32* %6
%475 = icmp sgt i32 %474, 0
br i1 %475, label %476, label %555
476: ; preds = %463
%477 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 208, i32 64, i32 1)
%478 = load i32*, i32** %3
%479 = load i32, i32* %7
%480 = sext i32 %479 to i64
%481 = getelementptr inbounds i32, i32* %478, i64 %480
store i32* %481, i32** %21
%482 = ptrtoint i32* %8 to i64
%483 = load i32, i32* %8
%484 = sext i32 %483 to i64
%485 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 212, i64 %482, i64 %484)
%486 = load i32*, i32** %21
%487 = ptrtoint i32* %486 to i64
%488 = load i32*, i32** %21
%489 = load i32, i32* %488
%490 = sext i32 %489 to i64
%491 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 211, i64 %487, i64 %490)
%492 = load i32, i32* %8
%493 = load i32*, i32** %21
%494 = load i32, i32* %493
%495 = icmp sgt i32 %492, %494
%496 = zext i1 %495 to i32
%497 = sext i32 %496 to i64
%498 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 210, i32 14, i64 %497)
%499 = load i32, i32* %8
%500 = load i32*, i32** %21
%501 = load i32, i32* %500
%502 = icmp sgt i32 %499, %501
br i1 %502, label %503, label %552
503: ; preds = %476
%504 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 213, i32 67, i32 1)
%505 = load i32*, i32** %3
%506 = load i32, i32* %6
%507 = sext i32 %506 to i64
%508 = getelementptr inbounds i32, i32* %505, i64 %507
store i32* %508, i32** %22
%509 = load i32*, i32** %3
%510 = load i32, i32* %7
%511 = sext i32 %510 to i64
%512 = getelementptr inbounds i32, i32* %509, i64 %511
store i32* %512, i32** %23
%513 = load i32*, i32** %23
%514 = ptrtoint i32* %513 to i64
%515 = load i32*, i32** %23
%516 = load i32, i32* %515
%517 = sext i32 %516 to i64
%518 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 215, i64 %514, i64 %517)
%519 = load i32*, i32** %22
%520 = ptrtoint i32* %519 to i64
%521 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 216, i64 %520)
%522 = load i32*, i32** %23
%523 = load i32, i32* %522
%524 = load i32*, i32** %22
store i32 %523, i32* %524
%525 = ptrtoint i32* %7 to i64
%526 = load i32, i32* %7
%527 = sext i32 %526 to i64
%528 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 217, i64 %525, i64 %527)
%529 = ptrtoint i32* %6 to i64
%530 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 218, i64 %529)
%531 = load i32, i32* %7
store i32 %531, i32* %6
%532 = ptrtoint i32* %6 to i64
%533 = load i32, i32* %6
%534 = sext i32 %533 to i64
%535 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 223, i64 %532, i64 %534)
%536 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 222, i64 0, i64 1)
%537 = load i32, i32* %6
%538 = sub nsw i32 %537, 1
%539 = sext i32 %538 to i64
%540 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 221, i32 1, i64 %539)
%541 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 220, i64 0, i64 2)
%542 = load i32, i32* %6
%543 = sub nsw i32 %542, 1
%544 = sdiv i32 %543, 2
%545 = sext i32 %544 to i64
%546 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 219, i32 3, i64 %545)
%547 = ptrtoint i32* %7 to i64
%548 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 224, i64 %547)
%549 = load i32, i32* %6
%550 = sub nsw i32 %549, 1
%551 = sdiv i32 %550, 2
store i32 %551, i32* %7
br label %554
552: ; preds = %476
%553 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 214, i32 68, i32 0)
br label %554
554: ; preds = %552, %503
br label %557
555: ; preds = %463
%556 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 209, i32 69, i32 0)
br label %557
557: ; preds = %555, %554
%558 = load i32*, i32** %3
%559 = load i32, i32* %6
%560 = sext i32 %559 to i64
%561 = getelementptr inbounds i32, i32* %558, i64 %560
store i32* %561, i32** %24
%562 = ptrtoint i32* %8 to i64
%563 = load i32, i32* %8
%564 = sext i32 %563 to i64
%565 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 225, i64 %562, i64 %564)
%566 = load i32*, i32** %24
%567 = ptrtoint i32* %566 to i64
%568 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 226, i64 %567)
%569 = load i32, i32* %8
%570 = load i32*, i32** %24
store i32 %569, i32* %570
%571 = ptrtoint i32* %5 to i64
%572 = load i32, i32* %5
%573 = sext i32 %572 to i64
%574 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 229, i64 %571, i64 %573)
%575 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 228, i64 0, i64 1)
%576 = load i32, i32* %5
%577 = add nsw i32 %576, 1
%578 = sext i32 %577 to i64
%579 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 227, i32 0, i64 %578)
%580 = ptrtoint i32* %5 to i64
%581 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 230, i64 %580)
%582 = load i32, i32* %5
%583 = add nsw i32 %582, 1
store i32 %583, i32* %5
br label %586
584: ; preds = %309
%585 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 174, i32 71, i32 0)
br label %586
586: ; preds = %584, %557
%587 = call i32 (i32, ...) bitcast (i32 (...)* @__CrestReturn to i32 (i32, ...)*)(i32 231)
ret void
}

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