void adjust(int *a, int n) {
  int i;
  int j;
  int item;
  int *mem_6;
  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;
  {
    __CrestCall(233, 6);
    __CrestStore(232, (unsigned long)(&n));
    __CrestInt((int *)(&a));
    __CrestInt(&i);
    __CrestLoad(234, (unsigned long)0, (long long)0);
    __CrestStore(235, (unsigned long)(&j));
    j = 0;
    mem_6 = a + j;
    __CrestLoad(236, (unsigned long)mem_6, (long long)*mem_6);
    __CrestStore(237, (unsigned long)(&item));
    item = *mem_6;
    __CrestLoad(242, (unsigned long)0, (long long)2);
    __CrestLoad(241, (unsigned long)(&j), (long long)j);
    __CrestApply2(240, 2, (long long)(2 * j));
    __CrestLoad(239, (unsigned long)0, (long long)1);
    __CrestApply2(238, 0, (long long)(2 * j + 1));
    __CrestStore(243, (unsigned long)(&i));
    i = 2 * j + 1;
    {
      {
        __CrestLoad(248, (unsigned long)(&i), (long long)i);
        __CrestLoad(247, (unsigned long)(&n), (long long)n);
        __CrestLoad(246, (unsigned long)0, (long long)1);
        __CrestApply2(245, 1, (long long)(n - 1));
        __CrestApply2(244, 15, (long long)(i <= n - 1));
        if (i <= n - 1) {
          __CrestBranch(249, 77, 1);
          {
            __CrestLoad(257, (unsigned long)(&i), (long long)i);
            __CrestLoad(256, (unsigned long)0, (long long)1);
            __CrestApply2(255, 0, (long long)(i + 1));
            __CrestLoad(254, (unsigned long)(&n), (long long)n);
            __CrestLoad(253, (unsigned long)0, (long long)1);
            __CrestApply2(252, 1, (long long)(n - 1));
            __CrestApply2(251, 15, (long long)(i + 1 <= n - 1));
            if (i + 1 <= n - 1) {
              __CrestBranch(258, 78, 1);
              {
                mem_7 = a + i;
                mem_8 = a + (i + 1);
                {
                  __CrestLoad(262, (unsigned long)mem_7, (long long)*mem_7);
                  __CrestLoad(261, (unsigned long)mem_8, (long long)*mem_8);
                  __CrestApply2(260, 16, (long long)(*mem_7 < *mem_8));
                  if (*mem_7 < *mem_8) {
                    __CrestBranch(263, 81, 1);
                    __CrestLoad(267, (unsigned long)(&i), (long long)i);
                    __CrestLoad(266, (unsigned long)0, (long long)1);
                    __CrestApply2(265, 0, (long long)(i + 1));
                    __CrestStore(268, (unsigned long)(&i));
                    i++;
                  } else {
                    __CrestBranch(264, 82, 0);
                  }
                }
              }
            } else {
              __CrestBranch(259, 83, 0);
            }
          }
          {
            mem_9 = a + i;
            {
              __CrestLoad(271, (unsigned long)(&item), (long long)item);
              __CrestLoad(270, (unsigned long)mem_9, (long long)*mem_9);
              __CrestApply2(269, 16, (long long)(item < *mem_9));
              if (item < *mem_9) {
                __CrestBranch(272, 87, 1);
                mem_10 = a + j;
                mem_11 = a + i;
                __CrestLoad(274, (unsigned long)mem_11, (long long)*mem_11);
                __CrestStore(275, (unsigned long)mem_10);
                *mem_10 = *mem_11;
                __CrestLoad(276, (unsigned long)(&i), (long long)i);
                __CrestStore(277, (unsigned long)(&j));
                j = i;
                __CrestLoad(282, (unsigned long)0, (long long)2);
                __CrestLoad(281, (unsigned long)(&j), (long long)j);
                __CrestApply2(280, 2, (long long)(2 * j));
                __CrestLoad(279, (unsigned long)0, (long long)1);
                __CrestApply2(278, 0, (long long)(2 * j + 1));
                __CrestStore(283, (unsigned long)(&i));
                i = 2 * j + 1;
              } else {
                __CrestBranch(273, 88, 0);
                __CrestLoad(284, (unsigned long)(&n), (long long)n);
                __CrestStore(285, (unsigned long)(&i));
                i = n;
              }
            }
          }
        } else {
          __CrestBranch(250, 89, 0);
        }
      }
      {
        __CrestLoad(290, (unsigned long)(&i), (long long)i);
        __CrestLoad(289, (unsigned long)(&n), (long long)n);
        __CrestLoad(288, (unsigned long)0, (long long)1);
        __CrestApply2(287, 1, (long long)(n - 1));
        __CrestApply2(286, 15, (long long)(i <= n - 1));
        if (i <= n - 1) {
          __CrestBranch(291, 91, 1);
          {
            __CrestLoad(299, (unsigned long)(&i), (long long)i);
            __CrestLoad(298, (unsigned long)0, (long long)1);
            __CrestApply2(297, 0, (long long)(i + 1));
            __CrestLoad(296, (unsigned long)(&n), (long long)n);
            __CrestLoad(295, (unsigned long)0, (long long)1);
            __CrestApply2(294, 1, (long long)(n - 1));
            __CrestApply2(293, 15, (long long)(i + 1 <= n - 1));
            if (i + 1 <= n - 1) {
              __CrestBranch(300, 92, 1);
              {
                mem_12 = a + i;
                mem_13 = a + (i + 1);
                {
                  __CrestLoad(304, (unsigned long)mem_12, (long long)*mem_12);
                  __CrestLoad(303, (unsigned long)mem_13, (long long)*mem_13);
                  __CrestApply2(302, 16, (long long)(*mem_12 < *mem_13));
                  if (*mem_12 < *mem_13) {
                    __CrestBranch(305, 95, 1);
                    __CrestLoad(309, (unsigned long)(&i), (long long)i);
                    __CrestLoad(308, (unsigned long)0, (long long)1);
                    __CrestApply2(307, 0, (long long)(i + 1));
                    __CrestStore(310, (unsigned long)(&i));
                    i++;
                  } else {
                    __CrestBranch(306, 96, 0);
                  }
                }
              }
            } else {
              __CrestBranch(301, 97, 0);
            }
          }
          {
            mem_14 = a + i;
            {
              __CrestLoad(313, (unsigned long)(&item), (long long)item);
              __CrestLoad(312, (unsigned long)mem_14, (long long)*mem_14);
              __CrestApply2(311, 16, (long long)(item < *mem_14));
              if (item < *mem_14) {
                __CrestBranch(314, 101, 1);
                mem_15 = a + j;
                mem_16 = a + i;
                __CrestLoad(316, (unsigned long)mem_16, (long long)*mem_16);
                __CrestStore(317, (unsigned long)mem_15);
                *mem_15 = *mem_16;
                __CrestLoad(318, (unsigned long)(&i), (long long)i);
                __CrestStore(319, (unsigned long)(&j));
                j = i;
                __CrestLoad(324, (unsigned long)0, (long long)2);
                __CrestLoad(323, (unsigned long)(&j), (long long)j);
                __CrestApply2(322, 2, (long long)(2 * j));
                __CrestLoad(321, (unsigned long)0, (long long)1);
                __CrestApply2(320, 0, (long long)(2 * j + 1));
                __CrestStore(325, (unsigned long)(&i));
                i = 2 * j + 1;
              } else {
                __CrestBranch(315, 102, 0);
                __CrestLoad(326, (unsigned long)(&n), (long long)n);
                __CrestStore(327, (unsigned long)(&i));
                i = n;
              }
            }
          }
        } else {
          __CrestBranch(292, 103, 0);
        }
      }
    }
    mem_17 = a + j;
    __CrestLoad(328, (unsigned long)(&item), (long long)item);
    __CrestStore(329, (unsigned long)mem_17);
    *mem_17 = item;
    {
      __CrestReturn(330);
      return;
    }
  }
}


x86 assembly (clang, -O0):
<adjust>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    $0xe9,%edi
mov    $0x6,%esi
mov    $0x0,%al
call   1070 <__CrestCall@plt>
lea    -0xc(%rbp),%rsi
mov    $0xe8,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
lea    -0x8(%rbp),%rdi
mov    $0x0,%al
call   1080 <__CrestInt@plt>
lea    -0x10(%rbp),%rdi
mov    $0x0,%al
call   1080 <__CrestInt@plt>
mov    $0xea,%edi
xor    %eax,%eax
mov    %eax,%edx
mov    %rdx,%rsi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x14(%rbp),%rsi
mov    $0xeb,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
movl   $0x0,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rsi
mov    -0x20(%rbp),%rax
movslq (%rax),%rdx
mov    $0xec,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x18(%rbp),%rsi
mov    $0xed,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x18(%rbp)
mov    $0xf2,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x2,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0xf1,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
movslq %eax,%rdx
mov    $0xf0,%edi
mov    $0x2,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    $0xef,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
movslq %eax,%rdx
mov    $0xee,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x10(%rbp),%rsi
mov    $0xf3,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0xf8,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0xc(%rbp),%rsi
movslq -0xc(%rbp),%rdx
mov    $0xf7,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0xf6,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
mov    $0xf5,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
setle  %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0xf4,%edi
mov    $0xf,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1742 <adjust+0x5d2>
mov    $0xf9,%edi
mov    $0x4d,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0x101,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0x100,%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    $0xff,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0xc(%rbp),%rsi
movslq -0xc(%rbp),%rdx
mov    $0xfe,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0xfd,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
mov    $0xfc,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
setle  %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0xfb,%edi
mov    $0xf,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     154f <adjust+0x3df>
mov    $0x102,%edi
mov    $0x4e,%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    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rsi
mov    -0x28(%rbp),%rax
movslq (%rax),%rdx
mov    $0x106,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x30(%rbp),%rsi
mov    -0x30(%rbp),%rax
movslq (%rax),%rdx
mov    $0x105,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    -0x30(%rbp),%rcx
cmp    (%rcx),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0x104,%edi
mov    $0x10,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    -0x30(%rbp),%rcx
cmp    (%rcx),%eax
jge    1537 <adjust+0x3c7>
mov    $0x107,%edi
mov    $0x51,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0x10b,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0x10a,%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    $0x109,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x10(%rbp),%rsi
mov    $0x10c,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    154a <adjust+0x3da>
mov    $0x108,%edi
mov    $0x52,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
jmp    1562 <adjust+0x3f2>
mov    $0x103,%edi
mov    $0x53,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
lea    -0x18(%rbp),%rsi
movslq -0x18(%rbp),%rdx
mov    $0x10f,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x38(%rbp),%rsi
mov    -0x38(%rbp),%rax
movslq (%rax),%rdx
mov    $0x10e,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x18(%rbp),%eax
mov    -0x38(%rbp),%rcx
cmp    (%rcx),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0x10d,%edi
mov    $0x10,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x18(%rbp),%eax
mov    -0x38(%rbp),%rcx
cmp    (%rcx),%eax
jge    1700 <adjust+0x590>
mov    $0x110,%edi
mov    $0x57,%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,-0x40(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rsi
mov    -0x48(%rbp),%rax
movslq (%rax),%rdx
mov    $0x112,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x40(%rbp),%rsi
mov    $0x113,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x48(%rbp),%rax
mov    (%rax),%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,(%rax)
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0x114,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x14(%rbp),%rsi
mov    $0x115,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    $0x11a,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x2,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0x119,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
movslq %eax,%rdx
mov    $0x118,%edi
mov    $0x2,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    $0x117,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
movslq %eax,%rdx
mov    $0x116,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x10(%rbp),%rsi
mov    $0x11b,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    173d <adjust+0x5cd>
mov    $0x111,%edi
mov    $0x58,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
lea    -0xc(%rbp),%rsi
movslq -0xc(%rbp),%rdx
mov    $0x11c,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x10(%rbp),%rsi
mov    $0x11d,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1755 <adjust+0x5e5>
mov    $0xfa,%edi
mov    $0x59,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0x122,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0xc(%rbp),%rsi
movslq -0xc(%rbp),%rdx
mov    $0x121,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0x120,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
mov    $0x11f,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
setle  %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0x11e,%edi
mov    $0xf,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1be3 <adjust+0xa73>
mov    $0x123,%edi
mov    $0x5b,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0x12b,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0x12a,%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    $0x129,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0xc(%rbp),%rsi
movslq -0xc(%rbp),%rdx
mov    $0x128,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0x127,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
mov    $0x126,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
setle  %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0x125,%edi
mov    $0xf,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     19f0 <adjust+0x880>
mov    $0x12c,%edi
mov    $0x5c,%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,-0x50(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
mov    -0x50(%rbp),%rsi
mov    -0x50(%rbp),%rax
movslq (%rax),%rdx
mov    $0x130,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x58(%rbp),%rsi
mov    -0x58(%rbp),%rax
movslq (%rax),%rdx
mov    $0x12f,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x50(%rbp),%rax
mov    (%rax),%eax
mov    -0x58(%rbp),%rcx
cmp    (%rcx),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0x12e,%edi
mov    $0x10,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x50(%rbp),%rax
mov    (%rax),%eax
mov    -0x58(%rbp),%rcx
cmp    (%rcx),%eax
jge    19d8 <adjust+0x868>
mov    $0x131,%edi
mov    $0x5f,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0x135,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    $0x134,%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    $0x133,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x10(%rbp),%rsi
mov    $0x136,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    19eb <adjust+0x87b>
mov    $0x132,%edi
mov    $0x60,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
jmp    1a03 <adjust+0x893>
mov    $0x12d,%edi
mov    $0x61,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
lea    -0x18(%rbp),%rsi
movslq -0x18(%rbp),%rdx
mov    $0x139,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x60(%rbp),%rsi
mov    -0x60(%rbp),%rax
movslq (%rax),%rdx
mov    $0x138,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x18(%rbp),%eax
mov    -0x60(%rbp),%rcx
cmp    (%rcx),%eax
setl   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    $0x137,%edi
mov    $0x10,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    -0x18(%rbp),%eax
mov    -0x60(%rbp),%rcx
cmp    (%rcx),%eax
jge    1ba1 <adjust+0xa31>
mov    $0x13a,%edi
mov    $0x65,%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,-0x68(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rsi
mov    -0x70(%rbp),%rax
movslq (%rax),%rdx
mov    $0x13c,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x68(%rbp),%rsi
mov    $0x13d,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x70(%rbp),%rax
mov    (%rax),%ecx
mov    -0x68(%rbp),%rax
mov    %ecx,(%rax)
lea    -0x10(%rbp),%rsi
movslq -0x10(%rbp),%rdx
mov    $0x13e,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x14(%rbp),%rsi
mov    $0x13f,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    $0x144,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x2,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x14(%rbp),%rsi
movslq -0x14(%rbp),%rdx
mov    $0x143,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
movslq %eax,%rdx
mov    $0x142,%edi
mov    $0x2,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
mov    $0x141,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x1,%edx
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
movslq %eax,%rdx
mov    $0x140,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1030 <__CrestApply2@plt>
lea    -0x10(%rbp),%rsi
mov    $0x145,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1bde <adjust+0xa6e>
mov    $0x13b,%edi
mov    $0x66,%esi
xor    %edx,%edx
mov    $0x0,%al
call   1040 <__CrestBranch@plt>
lea    -0xc(%rbp),%rsi
movslq -0xc(%rbp),%rdx
mov    $0x146,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
lea    -0x10(%rbp),%rsi
mov    $0x147,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1bf6 <adjust+0xa86>
mov    $0x124,%edi
mov    $0x67,%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,-0x78(%rbp)
lea    -0x18(%rbp),%rsi
movslq -0x18(%rbp),%rdx
mov    $0x148,%edi
mov    $0x0,%al
call   1090 <__CrestLoad@plt>
mov    -0x78(%rbp),%rsi
mov    $0x149,%edi
mov    $0x0,%al
call   1050 <__CrestStore@plt>
mov    -0x18(%rbp),%ecx
mov    -0x78(%rbp),%rax
mov    %ecx,(%rax)
mov    $0x14a,%edi
mov    $0x0,%al
call   1060 <__CrestReturn@plt>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<adjust>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdi,0x10(%rsp)
mov    %esi,0x4(%rsp)
mov    $0xe9,%edi
mov    $0x6,%esi
xor    %eax,%eax
call   1070 <__CrestCall@plt>
lea    0x4(%rsp),%r14
mov    $0xe8,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
lea    0x10(%rsp),%rdi
xor    %eax,%eax
call   1080 <__CrestInt@plt>
mov    %rsp,%r15
mov    %r15,%rdi
xor    %eax,%eax
call   1080 <__CrestInt@plt>
mov    $0xea,%edi
xor    %esi,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
lea    0x8(%rsp),%r12
mov    $0xeb,%edi
mov    %r12,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
movl   $0x0,0x8(%rsp)
mov    0x10(%rsp),%rbx
movslq (%rbx),%rdx
mov    $0xec,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
lea    0xc(%rsp),%rsi
mov    $0xed,%edi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    (%rbx),%eax
mov    %eax,0xc(%rsp)
mov    $0x2,%edx
mov    $0xf2,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x8(%rsp),%rdx
mov    $0xf1,%edi
mov    %r12,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x8(%rsp),%rdx
add    %rdx,%rdx
mov    $0xf0,%edi
mov    $0x2,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x1,%edx
mov    $0xef,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x8(%rsp),%rax
lea    (%rax,%rax,1),%rdx
add    $0x1,%rdx
mov    $0xee,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0xf3,%edi
mov    %r15,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
movslq 0x8(%rsp),%rax
lea    (%rax,%rax,1),%rdx
add    $0x1,%rdx
mov    %edx,(%rsp)
mov    $0xf8,%edi
mov    %r15,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%rsp),%rdx
mov    $0xf7,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0xf6,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%rsp),%rdx
add    $0xffffffffffffffff,%rdx
mov    $0xf5,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    (%rsp),%eax
xor    %edx,%edx
cmp    0x4(%rsp),%eax
setl   %dl
mov    $0xf4,%edi
mov    $0xf,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    (%rsp),%eax
cmp    0x4(%rsp),%eax
jge    14cf <adjust+0x35f>
mov    $0xf9,%edi
mov    $0x4d,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq (%rsp),%rdx
mov    %rsp,%rsi
mov    $0x101,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0x100,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq (%rsp),%rdx
add    $0x1,%rdx
mov    $0xff,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
movslq 0x4(%rsp),%rdx
lea    0x4(%rsp),%rsi
mov    $0xfe,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0xfd,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%rsp),%rdx
add    $0xffffffffffffffff,%rdx
mov    $0xfc,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    0x4(%rsp),%eax
add    $0xffffffff,%eax
xor    %edx,%edx
cmp    %eax,(%rsp)
setl   %dl
mov    $0xfb,%edi
mov    $0xf,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    0x4(%rsp),%eax
add    $0xffffffff,%eax
cmp    %eax,(%rsp)
jge    14ea <adjust+0x37a>
mov    $0x102,%edi
mov    $0x4e,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
mov    0x10(%rsp),%r15
movslq (%rsp),%rbx
lea    (%r15,%rbx,4),%rsi
lea    (%r15,%rbx,4),%r14
add    $0x4,%r14
movslq (%r15,%rbx,4),%rdx
mov    $0x106,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%r15,%rbx,4),%rdx
mov    $0x105,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    (%r15,%rbx,4),%eax
xor    %edx,%edx
cmp    0x4(%r15,%rbx,4),%eax
setl   %dl
mov    $0x104,%edi
mov    $0x10,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    (%r15,%rbx,4),%eax
cmp    0x4(%r15,%rbx,4),%eax
jge    14f6 <adjust+0x386>
mov    $0x107,%edi
mov    $0x51,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq (%rsp),%rdx
mov    %rsp,%rbx
mov    $0x10b,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0x10a,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq (%rsp),%rdx
add    $0x1,%rdx
mov    $0x109,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x10c,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
addl   $0x1,(%rsp)
jmp    1509 <adjust+0x399>
mov    $0xfa,%edi
mov    $0x59,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
mov    (%rsp),%eax
jmp    16b6 <adjust+0x546>
mov    $0x103,%edi
mov    $0x53,%esi
jmp    1500 <adjust+0x390>
mov    $0x108,%edi
mov    $0x52,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
mov    0x10(%rsp),%r15
movslq (%rsp),%rbx
lea    (%r15,%rbx,4),%r14
movslq 0xc(%rsp),%rdx
lea    0xc(%rsp),%rsi
mov    $0x10f,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq (%r15,%rbx,4),%rdx
mov    $0x10e,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0xc(%rsp),%eax
xor    %edx,%edx
cmp    (%r15,%rbx,4),%eax
setl   %dl
mov    $0x10d,%edi
mov    $0x10,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    0xc(%rsp),%eax
cmp    (%r15,%rbx,4),%eax
jge    1677 <adjust+0x507>
mov    $0x110,%edi
mov    $0x57,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
mov    0x10(%rsp),%rbx
movslq 0x8(%rsp),%r15
lea    (%rbx,%r15,4),%r14
movslq (%rsp),%r12
lea    (%rbx,%r12,4),%rsi
movslq (%rbx,%r12,4),%rdx
mov    $0x112,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x113,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    (%rbx,%r12,4),%eax
mov    %eax,(%rbx,%r15,4)
movslq (%rsp),%rdx
mov    %rsp,%r14
mov    $0x114,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
lea    0x8(%rsp),%rbx
mov    $0x115,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    (%rsp),%eax
mov    %eax,0x8(%rsp)
mov    $0x2,%edx
mov    $0x11a,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x8(%rsp),%rdx
mov    $0x119,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x8(%rsp),%rdx
add    %rdx,%rdx
mov    $0x118,%edi
mov    $0x2,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x1,%edx
mov    $0x117,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x8(%rsp),%rax
lea    (%rax,%rax,1),%rdx
add    $0x1,%rdx
mov    $0x116,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x11b,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    0x8(%rsp),%eax
add    %eax,%eax
add    $0x1,%eax
jmp    16b3 <adjust+0x543>
mov    $0x111,%edi
mov    $0x58,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x4(%rsp),%rdx
lea    0x4(%rsp),%rsi
mov    $0x11c,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    %rsp,%rsi
mov    $0x11d,%edi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    0x4(%rsp),%eax
mov    %eax,(%rsp)
movslq %eax,%rdx
mov    %rsp,%rsi
mov    $0x122,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%rsp),%rdx
lea    0x4(%rsp),%rsi
mov    $0x121,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0x120,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%rsp),%rdx
add    $0xffffffffffffffff,%rdx
mov    $0x11f,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    (%rsp),%eax
xor    %edx,%edx
cmp    0x4(%rsp),%eax
setl   %dl
mov    $0x11e,%edi
mov    $0xf,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    (%rsp),%eax
cmp    0x4(%rsp),%eax
jge    18e1 <adjust+0x771>
mov    $0x123,%edi
mov    $0x5b,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq (%rsp),%rdx
mov    %rsp,%rsi
mov    $0x12b,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0x12a,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq (%rsp),%rdx
add    $0x1,%rdx
mov    $0x129,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
movslq 0x4(%rsp),%rdx
lea    0x4(%rsp),%rsi
mov    $0x128,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0x127,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%rsp),%rdx
add    $0xffffffffffffffff,%rdx
mov    $0x126,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    0x4(%rsp),%eax
add    $0xffffffff,%eax
xor    %edx,%edx
cmp    %eax,(%rsp)
setl   %dl
mov    $0x125,%edi
mov    $0xf,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    0x4(%rsp),%eax
add    $0xffffffff,%eax
cmp    %eax,(%rsp)
jge    18f9 <adjust+0x789>
mov    $0x12c,%edi
mov    $0x5c,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
mov    0x10(%rsp),%r15
movslq (%rsp),%rbx
lea    (%r15,%rbx,4),%rsi
lea    (%r15,%rbx,4),%r14
add    $0x4,%r14
movslq (%r15,%rbx,4),%rdx
mov    $0x130,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x4(%r15,%rbx,4),%rdx
mov    $0x12f,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    (%r15,%rbx,4),%eax
xor    %edx,%edx
cmp    0x4(%r15,%rbx,4),%eax
setl   %dl
mov    $0x12e,%edi
mov    $0x10,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    (%r15,%rbx,4),%eax
cmp    0x4(%r15,%rbx,4),%eax
jge    1905 <adjust+0x795>
mov    $0x131,%edi
mov    $0x5f,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq (%rsp),%rdx
mov    %rsp,%rbx
mov    $0x135,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x1,%edx
mov    $0x134,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq (%rsp),%rdx
add    $0x1,%rdx
mov    $0x133,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x136,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
addl   $0x1,(%rsp)
jmp    1918 <adjust+0x7a8>
mov    $0x124,%edi
mov    $0x67,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
jmp    1ac5 <adjust+0x955>
mov    $0x12d,%edi
mov    $0x61,%esi
jmp    190f <adjust+0x79f>
mov    $0x132,%edi
mov    $0x60,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
mov    0x10(%rsp),%r15
movslq (%rsp),%rbx
lea    (%r15,%rbx,4),%r14
movslq 0xc(%rsp),%rdx
lea    0xc(%rsp),%rsi
mov    $0x139,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq (%r15,%rbx,4),%rdx
mov    $0x138,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    0xc(%rsp),%eax
xor    %edx,%edx
cmp    (%r15,%rbx,4),%eax
setl   %dl
mov    $0x137,%edi
mov    $0x10,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    0xc(%rsp),%eax
cmp    (%r15,%rbx,4),%eax
jge    1a86 <adjust+0x916>
mov    $0x13a,%edi
mov    $0x65,%esi
mov    $0x1,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
mov    0x10(%rsp),%rbx
movslq 0x8(%rsp),%r15
lea    (%rbx,%r15,4),%r14
movslq (%rsp),%r12
lea    (%rbx,%r12,4),%rsi
movslq (%rbx,%r12,4),%rdx
mov    $0x13c,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x13d,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    (%rbx,%r12,4),%eax
mov    %eax,(%rbx,%r15,4)
movslq (%rsp),%rdx
mov    %rsp,%r14
mov    $0x13e,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
lea    0x8(%rsp),%rbx
mov    $0x13f,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    (%rsp),%eax
mov    %eax,0x8(%rsp)
mov    $0x2,%edx
mov    $0x144,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x8(%rsp),%rdx
mov    $0x143,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x8(%rsp),%rdx
add    %rdx,%rdx
mov    $0x142,%edi
mov    $0x2,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x1,%edx
mov    $0x141,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
movslq 0x8(%rsp),%rax
lea    (%rax,%rax,1),%rdx
add    $0x1,%rdx
mov    $0x140,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1030 <__CrestApply2@plt>
mov    $0x145,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    0x8(%rsp),%eax
add    %eax,%eax
add    $0x1,%eax
jmp    1ac2 <adjust+0x952>
mov    $0x13b,%edi
mov    $0x66,%esi
xor    %edx,%edx
xor    %eax,%eax
call   1040 <__CrestBranch@plt>
movslq 0x4(%rsp),%rdx
lea    0x4(%rsp),%rsi
mov    $0x146,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    %rsp,%rsi
mov    $0x147,%edi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    0x4(%rsp),%eax
mov    %eax,(%rsp)
mov    0x10(%rsp),%r15
movslq 0x8(%rsp),%rbx
lea    (%r15,%rbx,4),%r14
movslq 0xc(%rsp),%rdx
lea    0xc(%rsp),%rsi
mov    $0x148,%edi
xor    %eax,%eax
call   1090 <__CrestLoad@plt>
mov    $0x149,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1050 <__CrestStore@plt>
mov    0xc(%rsp),%eax
mov    %eax,(%r15,%rbx,4)
mov    $0x14a,%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 @adjust(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*
store i32* %0, i32** %3
store i32 %1, i32* %4
%20 = call i32 (i32, i32, ...) bitcast (i32 (...)* @__CrestCall to i32 (i32, i32, ...)*)(i32 233, i32 6)
%21 = ptrtoint i32* %4 to i64
%22 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 232, i64 %21)
%23 = bitcast i32** %3 to i32*
%24 = call i32 (i32*, ...) bitcast (i32 (...)* @__CrestInt to i32 (i32*, ...)*)(i32* %23)
%25 = call i32 (i32*, ...) bitcast (i32 (...)* @__CrestInt to i32 (i32*, ...)*)(i32* %5)
%26 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 234, i64 0, i64 0)
%27 = ptrtoint i32* %6 to i64
%28 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 235, i64 %27)
store i32 0, i32* %6
%29 = load i32*, i32** %3
%30 = load i32, i32* %6
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %29, i64 %31
store i32* %32, i32** %8
%33 = load i32*, i32** %8
%34 = ptrtoint i32* %33 to i64
%35 = load i32*, i32** %8
%36 = load i32, i32* %35
%37 = sext i32 %36 to i64
%38 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 236, i64 %34, i64 %37)
%39 = ptrtoint i32* %7 to i64
%40 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 237, i64 %39)
%41 = load i32*, i32** %8
%42 = load i32, i32* %41
store i32 %42, i32* %7
%43 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 242, i64 0, i64 2)
%44 = ptrtoint i32* %6 to i64
%45 = load i32, i32* %6
%46 = sext i32 %45 to i64
%47 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 241, i64 %44, i64 %46)
%48 = load i32, i32* %6
%49 = mul nsw i32 2, %48
%50 = sext i32 %49 to i64
%51 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 240, i32 2, i64 %50)
%52 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 239, i64 0, i64 1)
%53 = load i32, i32* %6
%54 = mul nsw i32 2, %53
%55 = add nsw i32 %54, 1
%56 = sext i32 %55 to i64
%57 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 238, i32 0, i64 %56)
%58 = ptrtoint i32* %5 to i64
%59 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 243, i64 %58)
%60 = load i32, i32* %6
%61 = mul nsw i32 2, %60
%62 = add nsw i32 %61, 1
store i32 %62, i32* %5
%63 = ptrtoint i32* %5 to i64
%64 = load i32, i32* %5
%65 = sext i32 %64 to i64
%66 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 248, i64 %63, i64 %65)
%67 = ptrtoint i32* %4 to i64
%68 = load i32, i32* %4
%69 = sext i32 %68 to i64
%70 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 247, i64 %67, i64 %69)
%71 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 246, i64 0, i64 1)
%72 = load i32, i32* %4
%73 = sub nsw i32 %72, 1
%74 = sext i32 %73 to i64
%75 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 245, i32 1, i64 %74)
%76 = load i32, i32* %5
%77 = load i32, i32* %4
%78 = sub nsw i32 %77, 1
%79 = icmp sle i32 %76, %78
%80 = zext i1 %79 to i32
%81 = sext i32 %80 to i64
%82 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 244, i32 15, i64 %81)
%83 = load i32, i32* %5
%84 = load i32, i32* %4
%85 = sub nsw i32 %84, 1
%86 = icmp sle i32 %83, %85
br i1 %86, label %87, label %261
87: ; preds = %2
%88 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 249, i32 77, i32 1)
%89 = ptrtoint i32* %5 to i64
%90 = load i32, i32* %5
%91 = sext i32 %90 to i64
%92 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 257, i64 %89, i64 %91)
%93 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 256, i64 0, i64 1)
%94 = load i32, i32* %5
%95 = add nsw i32 %94, 1
%96 = sext i32 %95 to i64
%97 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 255, i32 0, i64 %96)
%98 = ptrtoint i32* %4 to i64
%99 = load i32, i32* %4
%100 = sext i32 %99 to i64
%101 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 254, i64 %98, i64 %100)
%102 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 253, i64 0, i64 1)
%103 = load i32, i32* %4
%104 = sub nsw i32 %103, 1
%105 = sext i32 %104 to i64
%106 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 252, i32 1, i64 %105)
%107 = load i32, i32* %5
%108 = add nsw i32 %107, 1
%109 = load i32, i32* %4
%110 = sub nsw i32 %109, 1
%111 = icmp sle i32 %108, %110
%112 = zext i1 %111 to i32
%113 = sext i32 %112 to i64
%114 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 251, i32 15, i64 %113)
%115 = load i32, i32* %5
%116 = add nsw i32 %115, 1
%117 = load i32, i32* %4
%118 = sub nsw i32 %117, 1
%119 = icmp sle i32 %116, %118
br i1 %119, label %120, label %174
120: ; preds = %87
%121 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 258, i32 78, i32 1)
%122 = load i32*, i32** %3
%123 = load i32, i32* %5
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i32, i32* %122, i64 %124
store i32* %125, i32** %9
%126 = load i32*, i32** %3
%127 = load i32, i32* %5
%128 = add nsw i32 %127, 1
%129 = sext i32 %128 to i64
%130 = getelementptr inbounds i32, i32* %126, i64 %129
store i32* %130, i32** %10
%131 = load i32*, i32** %9
%132 = ptrtoint i32* %131 to i64
%133 = load i32*, i32** %9
%134 = load i32, i32* %133
%135 = sext i32 %134 to i64
%136 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 262, i64 %132, i64 %135)
%137 = load i32*, i32** %10
%138 = ptrtoint i32* %137 to i64
%139 = load i32*, i32** %10
%140 = load i32, i32* %139
%141 = sext i32 %140 to i64
%142 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 261, i64 %138, i64 %141)
%143 = load i32*, i32** %9
%144 = load i32, i32* %143
%145 = load i32*, i32** %10
%146 = load i32, i32* %145
%147 = icmp slt i32 %144, %146
%148 = zext i1 %147 to i32
%149 = sext i32 %148 to i64
%150 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 260, i32 16, i64 %149)
%151 = load i32*, i32** %9
%152 = load i32, i32* %151
%153 = load i32*, i32** %10
%154 = load i32, i32* %153
%155 = icmp slt i32 %152, %154
br i1 %155, label %156, label %171
156: ; preds = %120
%157 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 263, i32 81, i32 1)
%158 = ptrtoint i32* %5 to i64
%159 = load i32, i32* %5
%160 = sext i32 %159 to i64
%161 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 267, i64 %158, i64 %160)
%162 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 266, i64 0, i64 1)
%163 = load i32, i32* %5
%164 = add nsw i32 %163, 1
%165 = sext i32 %164 to i64
%166 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 265, i32 0, i64 %165)
%167 = ptrtoint i32* %5 to i64
%168 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 268, i64 %167)
%169 = load i32, i32* %5
%170 = add nsw i32 %169, 1
store i32 %170, i32* %5
br label %173
171: ; preds = %120
%172 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 264, i32 82, i32 0)
br label %173
173: ; preds = %171, %156
br label %176
174: ; preds = %87
%175 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 259, i32 83, i32 0)
br label %176
176: ; preds = %174, %173
%177 = load i32*, i32** %3
%178 = load i32, i32* %5
%179 = sext i32 %178 to i64
%180 = getelementptr inbounds i32, i32* %177, i64 %179
store i32* %180, i32** %11
%181 = ptrtoint i32* %7 to i64
%182 = load i32, i32* %7
%183 = sext i32 %182 to i64
%184 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 271, i64 %181, i64 %183)
%185 = load i32*, i32** %11
%186 = ptrtoint i32* %185 to i64
%187 = load i32*, i32** %11
%188 = load i32, i32* %187
%189 = sext i32 %188 to i64
%190 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 270, i64 %186, i64 %189)
%191 = load i32, i32* %7
%192 = load i32*, i32** %11
%193 = load i32, i32* %192
%194 = icmp slt i32 %191, %193
%195 = zext i1 %194 to i32
%196 = sext i32 %195 to i64
%197 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 269, i32 16, i64 %196)
%198 = load i32, i32* %7
%199 = load i32*, i32** %11
%200 = load i32, i32* %199
%201 = icmp slt i32 %198, %200
br i1 %201, label %202, label %251
202: ; preds = %176
%203 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 272, i32 87, i32 1)
%204 = load i32*, i32** %3
%205 = load i32, i32* %6
%206 = sext i32 %205 to i64
%207 = getelementptr inbounds i32, i32* %204, i64 %206
store i32* %207, i32** %12
%208 = load i32*, i32** %3
%209 = load i32, i32* %5
%210 = sext i32 %209 to i64
%211 = getelementptr inbounds i32, i32* %208, i64 %210
store i32* %211, i32** %13
%212 = load i32*, i32** %13
%213 = ptrtoint i32* %212 to i64
%214 = load i32*, i32** %13
%215 = load i32, i32* %214
%216 = sext i32 %215 to i64
%217 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 274, i64 %213, i64 %216)
%218 = load i32*, i32** %12
%219 = ptrtoint i32* %218 to i64
%220 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 275, i64 %219)
%221 = load i32*, i32** %13
%222 = load i32, i32* %221
%223 = load i32*, i32** %12
store i32 %222, i32* %223
%224 = ptrtoint i32* %5 to i64
%225 = load i32, i32* %5
%226 = sext i32 %225 to i64
%227 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 276, i64 %224, i64 %226)
%228 = ptrtoint i32* %6 to i64
%229 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 277, i64 %228)
%230 = load i32, i32* %5
store i32 %230, i32* %6
%231 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 282, i64 0, i64 2)
%232 = ptrtoint i32* %6 to i64
%233 = load i32, i32* %6
%234 = sext i32 %233 to i64
%235 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 281, i64 %232, i64 %234)
%236 = load i32, i32* %6
%237 = mul nsw i32 2, %236
%238 = sext i32 %237 to i64
%239 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 280, i32 2, i64 %238)
%240 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 279, i64 0, i64 1)
%241 = load i32, i32* %6
%242 = mul nsw i32 2, %241
%243 = add nsw i32 %242, 1
%244 = sext i32 %243 to i64
%245 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 278, i32 0, i64 %244)
%246 = ptrtoint i32* %5 to i64
%247 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 283, i64 %246)
%248 = load i32, i32* %6
%249 = mul nsw i32 2, %248
%250 = add nsw i32 %249, 1
store i32 %250, i32* %5
br label %260
251: ; preds = %176
%252 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 273, i32 88, i32 0)
%253 = ptrtoint i32* %4 to i64
%254 = load i32, i32* %4
%255 = sext i32 %254 to i64
%256 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 284, i64 %253, i64 %255)
%257 = ptrtoint i32* %5 to i64
%258 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 285, i64 %257)
%259 = load i32, i32* %4
store i32 %259, i32* %5
br label %260
260: ; preds = %251, %202
br label %263
261: ; preds = %2
%262 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 250, i32 89, i32 0)
br label %263
263: ; preds = %261, %260
%264 = ptrtoint i32* %5 to i64
%265 = load i32, i32* %5
%266 = sext i32 %265 to i64
%267 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 290, i64 %264, i64 %266)
%268 = ptrtoint i32* %4 to i64
%269 = load i32, i32* %4
%270 = sext i32 %269 to i64
%271 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 289, i64 %268, i64 %270)
%272 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 288, i64 0, i64 1)
%273 = load i32, i32* %4
%274 = sub nsw i32 %273, 1
%275 = sext i32 %274 to i64
%276 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 287, i32 1, i64 %275)
%277 = load i32, i32* %5
%278 = load i32, i32* %4
%279 = sub nsw i32 %278, 1
%280 = icmp sle i32 %277, %279
%281 = zext i1 %280 to i32
%282 = sext i32 %281 to i64
%283 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 286, i32 15, i64 %282)
%284 = load i32, i32* %5
%285 = load i32, i32* %4
%286 = sub nsw i32 %285, 1
%287 = icmp sle i32 %284, %286
br i1 %287, label %288, label %462
288: ; preds = %263
%289 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 291, i32 91, i32 1)
%290 = ptrtoint i32* %5 to i64
%291 = load i32, i32* %5
%292 = sext i32 %291 to i64
%293 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 299, i64 %290, i64 %292)
%294 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 298, i64 0, i64 1)
%295 = load i32, i32* %5
%296 = add nsw i32 %295, 1
%297 = sext i32 %296 to i64
%298 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 297, i32 0, i64 %297)
%299 = ptrtoint i32* %4 to i64
%300 = load i32, i32* %4
%301 = sext i32 %300 to i64
%302 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 296, i64 %299, i64 %301)
%303 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 295, i64 0, i64 1)
%304 = load i32, i32* %4
%305 = sub nsw i32 %304, 1
%306 = sext i32 %305 to i64
%307 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 294, i32 1, i64 %306)
%308 = load i32, i32* %5
%309 = add nsw i32 %308, 1
%310 = load i32, i32* %4
%311 = sub nsw i32 %310, 1
%312 = icmp sle i32 %309, %311
%313 = zext i1 %312 to i32
%314 = sext i32 %313 to i64
%315 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 293, i32 15, i64 %314)
%316 = load i32, i32* %5
%317 = add nsw i32 %316, 1
%318 = load i32, i32* %4
%319 = sub nsw i32 %318, 1
%320 = icmp sle i32 %317, %319
br i1 %320, label %321, label %375
321: ; preds = %288
%322 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 300, i32 92, i32 1)
%323 = load i32*, i32** %3
%324 = load i32, i32* %5
%325 = sext i32 %324 to i64
%326 = getelementptr inbounds i32, i32* %323, i64 %325
store i32* %326, i32** %14
%327 = load i32*, i32** %3
%328 = load i32, i32* %5
%329 = add nsw i32 %328, 1
%330 = sext i32 %329 to i64
%331 = getelementptr inbounds i32, i32* %327, i64 %330
store i32* %331, i32** %15
%332 = load i32*, i32** %14
%333 = ptrtoint i32* %332 to i64
%334 = load i32*, i32** %14
%335 = load i32, i32* %334
%336 = sext i32 %335 to i64
%337 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 304, i64 %333, i64 %336)
%338 = load i32*, i32** %15
%339 = ptrtoint i32* %338 to i64
%340 = load i32*, i32** %15
%341 = load i32, i32* %340
%342 = sext i32 %341 to i64
%343 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 303, i64 %339, i64 %342)
%344 = load i32*, i32** %14
%345 = load i32, i32* %344
%346 = load i32*, i32** %15
%347 = load i32, i32* %346
%348 = icmp slt i32 %345, %347
%349 = zext i1 %348 to i32
%350 = sext i32 %349 to i64
%351 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 302, i32 16, i64 %350)
%352 = load i32*, i32** %14
%353 = load i32, i32* %352
%354 = load i32*, i32** %15
%355 = load i32, i32* %354
%356 = icmp slt i32 %353, %355
br i1 %356, label %357, label %372
357: ; preds = %321
%358 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 305, i32 95, i32 1)
%359 = ptrtoint i32* %5 to i64
%360 = load i32, i32* %5
%361 = sext i32 %360 to i64
%362 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 309, i64 %359, i64 %361)
%363 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 308, i64 0, i64 1)
%364 = load i32, i32* %5
%365 = add nsw i32 %364, 1
%366 = sext i32 %365 to i64
%367 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 307, i32 0, i64 %366)
%368 = ptrtoint i32* %5 to i64
%369 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 310, i64 %368)
%370 = load i32, i32* %5
%371 = add nsw i32 %370, 1
store i32 %371, i32* %5
br label %374
372: ; preds = %321
%373 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 306, i32 96, i32 0)
br label %374
374: ; preds = %372, %357
br label %377
375: ; preds = %288
%376 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 301, i32 97, i32 0)
br label %377
377: ; preds = %375, %374
%378 = load i32*, i32** %3
%379 = load i32, i32* %5
%380 = sext i32 %379 to i64
%381 = getelementptr inbounds i32, i32* %378, i64 %380
store i32* %381, i32** %16
%382 = ptrtoint i32* %7 to i64
%383 = load i32, i32* %7
%384 = sext i32 %383 to i64
%385 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 313, i64 %382, i64 %384)
%386 = load i32*, i32** %16
%387 = ptrtoint i32* %386 to i64
%388 = load i32*, i32** %16
%389 = load i32, i32* %388
%390 = sext i32 %389 to i64
%391 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 312, i64 %387, i64 %390)
%392 = load i32, i32* %7
%393 = load i32*, i32** %16
%394 = load i32, i32* %393
%395 = icmp slt i32 %392, %394
%396 = zext i1 %395 to i32
%397 = sext i32 %396 to i64
%398 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 311, i32 16, i64 %397)
%399 = load i32, i32* %7
%400 = load i32*, i32** %16
%401 = load i32, i32* %400
%402 = icmp slt i32 %399, %401
br i1 %402, label %403, label %452
403: ; preds = %377
%404 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 314, i32 101, i32 1)
%405 = load i32*, i32** %3
%406 = load i32, i32* %6
%407 = sext i32 %406 to i64
%408 = getelementptr inbounds i32, i32* %405, i64 %407
store i32* %408, i32** %17
%409 = load i32*, i32** %3
%410 = load i32, i32* %5
%411 = sext i32 %410 to i64
%412 = getelementptr inbounds i32, i32* %409, i64 %411
store i32* %412, i32** %18
%413 = load i32*, i32** %18
%414 = ptrtoint i32* %413 to i64
%415 = load i32*, i32** %18
%416 = load i32, i32* %415
%417 = sext i32 %416 to i64
%418 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 316, i64 %414, i64 %417)
%419 = load i32*, i32** %17
%420 = ptrtoint i32* %419 to i64
%421 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 317, i64 %420)
%422 = load i32*, i32** %18
%423 = load i32, i32* %422
%424 = load i32*, i32** %17
store i32 %423, i32* %424
%425 = ptrtoint i32* %5 to i64
%426 = load i32, i32* %5
%427 = sext i32 %426 to i64
%428 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 318, i64 %425, i64 %427)
%429 = ptrtoint i32* %6 to i64
%430 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 319, i64 %429)
%431 = load i32, i32* %5
store i32 %431, i32* %6
%432 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 324, i64 0, i64 2)
%433 = ptrtoint i32* %6 to i64
%434 = load i32, i32* %6
%435 = sext i32 %434 to i64
%436 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 323, i64 %433, i64 %435)
%437 = load i32, i32* %6
%438 = mul nsw i32 2, %437
%439 = sext i32 %438 to i64
%440 = call i32 (i32, i32, i64, ...) bitcast (i32 (...)* @__CrestApply2 to i32 (i32, i32, i64, ...)*)(i32 322, i32 2, i64 %439)
%441 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 321, i64 0, i64 1)
%442 = load i32, i32* %6
%443 = mul nsw i32 2, %442
%444 = add 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 320, i32 0, i64 %445)
%447 = ptrtoint i32* %5 to i64
%448 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 325, i64 %447)
%449 = load i32, i32* %6
%450 = mul nsw i32 2, %449
%451 = add nsw i32 %450, 1
store i32 %451, i32* %5
br label %461
452: ; preds = %377
%453 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 315, i32 102, i32 0)
%454 = ptrtoint i32* %4 to i64
%455 = load i32, i32* %4
%456 = sext i32 %455 to i64
%457 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 326, i64 %454, i64 %456)
%458 = ptrtoint i32* %5 to i64
%459 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 327, i64 %458)
%460 = load i32, i32* %4
store i32 %460, i32* %5
br label %461
461: ; preds = %452, %403
br label %464
462: ; preds = %263
%463 = call i32 (i32, i32, i32, ...) bitcast (i32 (...)* @__CrestBranch to i32 (i32, i32, i32, ...)*)(i32 292, i32 103, i32 0)
br label %464
464: ; preds = %462, %461
%465 = load i32*, i32** %3
%466 = load i32, i32* %6
%467 = sext i32 %466 to i64
%468 = getelementptr inbounds i32, i32* %465, i64 %467
store i32* %468, i32** %19
%469 = ptrtoint i32* %7 to i64
%470 = load i32, i32* %7
%471 = sext i32 %470 to i64
%472 = call i32 (i32, i64, i64, ...) bitcast (i32 (...)* @__CrestLoad to i32 (i32, i64, i64, ...)*)(i32 328, i64 %469, i64 %471)
%473 = load i32*, i32** %19
%474 = ptrtoint i32* %473 to i64
%475 = call i32 (i32, i64, ...) bitcast (i32 (...)* @__CrestStore to i32 (i32, i64, ...)*)(i32 329, i64 %474)
%476 = load i32, i32* %7
%477 = load i32*, i32** %19
store i32 %476, i32* %477
%478 = call i32 (i32, ...) bitcast (i32 (...)* @__CrestReturn to i32 (i32, ...)*)(i32 330)
ret void
}

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