#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ move_part(int *, size_t, size_t, size_t, size_t, int);
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ swap_parts(int *, size_t, size_t, size_t, size_t, int);
void move_to_beginning(int *A, size_t N, size_t begin, size_t size,
                       int show_steps) {
  assert(begin <= N);
  assert(size <= N);
  size_t part_start = 0;
  size_t end = (begin + size) % N;
  while (part_start != N) {
    size_t i;
    if (show_steps) {
      for (i = 0; i < N; ++i) {
        printf("%d ", A[i]);
      }
      printf("\n");
      printf("part_start %d  begin %d  end %d  size %d\n", part_start, begin,
             end, size);
    }
    assert(part_start < N);
    assert(part_start <= begin && begin <= N);
    assert(part_start <= end && end <= N);
    assert(begin <= end || (N - begin) + (end - part_start) == size);
    assert(begin >= end || end - begin == size);
    assert(begin != end || size == 0 || part_start + size == N);
    if (size == 0 || begin == N || begin == part_start) {
      if (show_steps) {
        printf("Case 1:\nTerminating\n");
      }
      break;
    } else if (end == part_start) {
      if (show_steps) {
        printf("Case 2:\n");
        printf("Setting end to %d.\n", N);
      }
      end = N;
    } else if (begin < end) {
      if (show_steps) {
        printf("Case 3:\n");
      }
      move_part(A, N, part_start, begin, size, show_steps);
      break;
    } else {
      size_t end_size = end - part_start;
      size_t begin_size = N - begin;
      assert(begin_size + end_size == size);
      if (end_size >= begin_size) {
        if (show_steps) {
          printf("Case 4:\n");
        }
        swap_parts(A, N, part_start, begin, begin_size, show_steps);
        assert(begin_size > 0);
        part_start += begin_size;
        size = end_size;
      } else if (begin - part_start <= begin_size) {
        size_t size_moved = begin - part_start;
        assert(size_moved >= end_size);
        if (show_steps) {
          printf("Case 5\n");
        }
        swap_parts(A, N, part_start, begin, end_size, show_steps);
        move_part(A, N, end, begin + end_size, begin - end, show_steps);
        assert(end_size + (begin - end) == size_moved);
        size -= size_moved;
        part_start = begin;
        begin += size_moved;
        end += size_moved;
      } else if (end_size <= begin_size) {
        if (show_steps) {
          printf("Case 6\n");
        }
        swap_parts(A, N, part_start, begin, end_size, show_steps);
        move_part(A, N, end, begin + end_size, begin_size - end_size,
                  show_steps);
        part_start += begin_size;
        size = end_size;
        end = begin + end_size;
      } else {
        assert(0);
      }
    }
  }
}


x86 assembly (clang, -O0):
<move_to_beginning>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
movq   $0x0,-0x30(%rbp)
mov    -0x18(%rbp),%rax
add    -0x20(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x10(%rbp)
mov    %rdx,-0x38(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     164b <move_to_beginning+0x50b>
cmpl   $0x0,-0x24(%rbp)
je     1226 <move_to_beginning+0xe6>
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    11fa <move_to_beginning+0xba>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xe1e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11c2 <move_to_beginning+0x82>
lea    0xe5d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x30(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x38(%rbp),%rcx
mov    -0x20(%rbp),%r8
lea    0xde5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x30(%rbp),%rax
cmp    -0x10(%rbp),%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x30(%rbp),%rcx
xor    %eax,%eax
cmp    -0x18(%rbp),%rcx
mov    %al,-0x59(%rbp)
ja     125c <move_to_beginning+0x11c>
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
setbe  %al
mov    %al,-0x59(%rbp)
mov    -0x59(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x30(%rbp),%rcx
xor    %eax,%eax
cmp    -0x38(%rbp),%rcx
mov    %al,-0x5a(%rbp)
ja     128a <move_to_beginning+0x14a>
mov    -0x38(%rbp),%rax
cmp    -0x10(%rbp),%rax
setbe  %al
mov    %al,-0x5a(%rbp)
mov    -0x5a(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x18(%rbp),%rcx
mov    $0x1,%al
cmp    -0x38(%rbp),%rcx
mov    %al,-0x5b(%rbp)
jbe    12c7 <move_to_beginning+0x187>
mov    -0x10(%rbp),%rax
sub    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
sub    -0x30(%rbp),%rcx
add    %rcx,%rax
cmp    -0x20(%rbp),%rax
sete   %al
mov    %al,-0x5b(%rbp)
mov    -0x5b(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x18(%rbp),%rcx
mov    $0x1,%al
cmp    -0x38(%rbp),%rcx
mov    %al,-0x5c(%rbp)
jae    12f9 <move_to_beginning+0x1b9>
mov    -0x38(%rbp),%rax
sub    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
sete   %al
mov    %al,-0x5c(%rbp)
mov    -0x5c(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x18(%rbp),%rcx
mov    $0x1,%al
cmp    -0x38(%rbp),%rcx
mov    %al,-0x5d(%rbp)
jne    133b <move_to_beginning+0x1fb>
mov    $0x1,%al
cmpq   $0x0,-0x20(%rbp)
mov    %al,-0x5d(%rbp)
je     133b <move_to_beginning+0x1fb>
mov    -0x30(%rbp),%rax
add    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
sete   %al
mov    %al,-0x5d(%rbp)
mov    -0x5d(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cmpq   $0x0,-0x20(%rbp)
je     136f <move_to_beginning+0x22f>
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     136f <move_to_beginning+0x22f>
mov    -0x18(%rbp),%rax
cmp    -0x30(%rbp),%rax
jne    138c <move_to_beginning+0x24c>
cmpl   $0x0,-0x24(%rbp)
je     1387 <move_to_beginning+0x247>
lea    0xcae(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    164b <move_to_beginning+0x50b>
mov    -0x38(%rbp),%rax
cmp    -0x30(%rbp),%rax
jne    13d1 <move_to_beginning+0x291>
cmpl   $0x0,-0x24(%rbp)
je     13c4 <move_to_beginning+0x284>
lea    0xc98(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x10(%rbp),%rsi
lea    0xc8f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    1641 <move_to_beginning+0x501>
mov    -0x18(%rbp),%rax
cmp    -0x38(%rbp),%rax
jae    1419 <move_to_beginning+0x2d9>
cmpl   $0x0,-0x24(%rbp)
je     13f7 <move_to_beginning+0x2b7>
lea    0xc70(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    -0x18(%rbp),%rcx
mov    -0x20(%rbp),%r8
mov    -0x24(%rbp),%r9d
call   1040 <move_part@plt>
jmp    164b <move_to_beginning+0x50b>
mov    -0x38(%rbp),%rax
sub    -0x30(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
sub    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
add    -0x48(%rbp),%rax
cmp    -0x20(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x48(%rbp),%rax
cmp    -0x50(%rbp),%rax
jb     14b8 <move_to_beginning+0x378>
cmpl   $0x0,-0x24(%rbp)
je     1470 <move_to_beginning+0x330>
lea    0xc00(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    -0x18(%rbp),%rcx
mov    -0x50(%rbp),%r8
mov    -0x24(%rbp),%r9d
call   1060 <swap_parts@plt>
cmpq   $0x0,-0x50(%rbp)
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x50(%rbp),%rax
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    1637 <move_to_beginning+0x4f7>
mov    -0x18(%rbp),%rax
sub    -0x30(%rbp),%rax
cmp    -0x50(%rbp),%rax
ja     1599 <move_to_beginning+0x459>
mov    -0x18(%rbp),%rax
sub    -0x30(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
cmp    -0x48(%rbp),%rax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cmpl   $0x0,-0x24(%rbp)
je     1503 <move_to_beginning+0x3c3>
lea    0xb76(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    -0x18(%rbp),%rcx
mov    -0x48(%rbp),%r8
mov    -0x24(%rbp),%r9d
call   1060 <swap_parts@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x38(%rbp),%rdx
mov    -0x18(%rbp),%rcx
add    -0x48(%rbp),%rcx
mov    -0x18(%rbp),%r8
sub    -0x38(%rbp),%r8
mov    -0x24(%rbp),%r9d
call   1040 <move_part@plt>
mov    -0x48(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    -0x38(%rbp),%rcx
add    %rcx,%rax
cmp    -0x58(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x58(%rbp),%rcx
mov    -0x20(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x58(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x58(%rbp),%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    1632 <move_to_beginning+0x4f2>
mov    -0x48(%rbp),%rax
cmp    -0x50(%rbp),%rax
ja     1626 <move_to_beginning+0x4e6>
cmpl   $0x0,-0x24(%rbp)
je     15bf <move_to_beginning+0x47f>
lea    0xac2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    -0x18(%rbp),%rcx
mov    -0x48(%rbp),%r8
mov    -0x24(%rbp),%r9d
call   1060 <swap_parts@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x38(%rbp),%rdx
mov    -0x18(%rbp),%rcx
add    -0x48(%rbp),%rcx
mov    -0x50(%rbp),%r8
sub    -0x48(%rbp),%r8
mov    -0x24(%rbp),%r9d
call   1040 <move_part@plt>
mov    -0x50(%rbp),%rax
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    -0x48(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    162d <move_to_beginning+0x4ed>
xor    %edi,%edi
call   1050 <assert@plt>
jmp    1632 <move_to_beginning+0x4f2>
jmp    1637 <move_to_beginning+0x4f7>
jmp    163c <move_to_beginning+0x4fc>
jmp    1641 <move_to_beginning+0x501>
jmp    1646 <move_to_beginning+0x506>
jmp    11a2 <move_to_beginning+0x62>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<move_to_beginning>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r8d,0xc(%rsp)
mov    %rcx,%rbp
mov    %rdx,%rbx
mov    %rsi,%r15
mov    %rdi,%r12
xor    %edi,%edi
cmp    %rsi,%rdx
setbe  %dil
call   1070 <assert@plt>
xor    %edi,%edi
mov    %rbp,(%rsp)
cmp    %r15,%rbp
setbe  %dil
call   1070 <assert@plt>
test   %r15,%r15
je     152c <move_to_beginning+0x3cc>
mov    (%rsp),%rax
add    %rbx,%rax
mov    %rax,%rcx
or     %r15,%rcx
shr    $0x20,%rcx
je     11c5 <move_to_beginning+0x65>
xor    %edx,%edx
div    %r15
mov    %rdx,%r14
jmp    11cd <move_to_beginning+0x6d>
xor    %edx,%edx
div    %r15d
mov    %edx,%r14d
lea    0xe2c(%rip),%rbp
xor    %r13d,%r13d
jmp    11fb <move_to_beginning+0x9b>
nopl   0x0(%rax)
mov    %r15,%r14
mov    (%rsp),%rcx
lea    0xe12(%rip),%rbp
mov    %rcx,(%rsp)
cmp    %r15,%r13
je     152c <move_to_beginning+0x3cc>
cmpl   $0x0,0xc(%rsp)
mov    %rbx,0x10(%rsp)
je     1251 <move_to_beginning+0xf1>
xor    %ebx,%ebx
nopl   0x0(%rax)
mov    (%r12,%rbx,4),%esi
mov    %rbp,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0x1,%rbx
cmp    %rbx,%r15
jne    1210 <move_to_beginning+0xb0>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xdcc(%rip),%rdi
mov    %r13,%rsi
mov    0x10(%rsp),%rbx
mov    %rbx,%rdx
mov    %r14,%rcx
mov    (%rsp),%r8
xor    %eax,%eax
call   1050 <printf@plt>
xor    %edi,%edi
cmp    %r15,%r13
setb   %dil
call   1070 <assert@plt>
cmp    %r13,%rbx
setae  %al
mov    %r15,%rbp
sub    %rbx,%rbp
setae  %cl
and    %al,%cl
movzbl %cl,%edi
call   1070 <assert@plt>
mov    %r14,%rbx
mov    %r13,0x20(%rsp)
sub    %r13,%rbx
setae  %al
cmp    %r15,%r14
setbe  %cl
and    %al,%cl
movzbl %cl,%edi
call   1070 <assert@plt>
mov    %rbx,0x18(%rsp)
lea    (%rbx,%rbp,1),%rax
mov    (%rsp),%r13
mov    %rax,0x30(%rsp)
cmp    %r13,%rax
sete   %al
mov    %r14,%rbx
sub    0x10(%rsp),%rbx
setae  %cl
mov    %r14,0x28(%rsp)
setbe  %r14b
or     %al,%cl
movzbl %cl,%edi
call   1070 <assert@plt>
cmp    %r13,%rbx
mov    0x10(%rsp),%rbx
sete   %al
or     %r14b,%al
movzbl %al,%edi
call   1070 <assert@plt>
mov    $0x1,%al
cmp    %rbx,0x28(%rsp)
jne    12fe <move_to_beginning+0x19e>
test   %r13,%r13
je     12fe <move_to_beginning+0x19e>
mov    0x20(%rsp),%rax
add    %r13,%rax
cmp    %r15,%rax
sete   %al
movzbl %al,%edi
call   1070 <assert@plt>
test   %r13,%r13
mov    0x20(%rsp),%r13
je     150b <move_to_beginning+0x3ab>
cmp    %r15,%rbx
je     150b <move_to_beginning+0x3ab>
mov    %rbx,%r14
sub    %r13,%r14
je     150b <move_to_beginning+0x3ab>
mov    0x28(%rsp),%rcx
cmp    %r13,%rcx
jne    1360 <move_to_beginning+0x200>
cmpl   $0x0,0xc(%rsp)
je     11e0 <move_to_beginning+0x80>
lea    0xd1b(%rip),%rdi
call   1040 <puts@plt>
lea    0xcdd(%rip),%rdi
mov    %r15,%rsi
xor    %eax,%eax
call   1050 <printf@plt>
jmp    11e0 <move_to_beginning+0x80>
mov    %rbx,%r13
mov    0xc(%rsp),%ebx
sub    %rcx,%r13
jb     153b <move_to_beginning+0x3db>
xor    %edi,%edi
mov    0x30(%rsp),%rax
cmp    (%rsp),%rax
sete   %dil
call   1070 <assert@plt>
mov    %rbp,%rcx
mov    0x18(%rsp),%rax
sub    %rax,%rcx
jbe    1420 <move_to_beginning+0x2c0>
cmp    %rbp,%r14
jbe    147a <move_to_beginning+0x31a>
mov    %rcx,(%rsp)
mov    %ebx,%r9d
test   %ebx,%ebx
je     13bb <move_to_beginning+0x25b>
lea    0xc92(%rip),%rdi
mov    %r9d,%r14d
call   1040 <puts@plt>
mov    %r14d,%r9d
mov    %r12,%rdi
mov    %r15,%rsi
mov    0x20(%rsp),%r13
mov    %r13,%rdx
mov    0x10(%rsp),%rcx
mov    0x18(%rsp),%r14
mov    %r14,%r8
call   1080 <swap_parts@plt>
mov    0x10(%rsp),%rax
lea    (%rax,%r14,1),%rcx
mov    %rcx,0x30(%rsp)
mov    %r12,%rdi
mov    %r15,%rsi
mov    0x28(%rsp),%rdx
mov    (%rsp),%r8
mov    %ebx,%r9d
call   1060 <move_part@plt>
mov    %r14,%rcx
add    %rbp,%r13
mov    0x30(%rsp),%r14
mov    0x10(%rsp),%rbx
jmp    11e7 <move_to_beginning+0x87>
cs nopw 0x0(%rax,%rax,1)
nop
test   %ebx,%ebx
je     1430 <move_to_beginning+0x2d0>
lea    0xc25(%rip),%rdi
call   1040 <puts@plt>
mov    %r12,%rdi
mov    %r15,%rsi
mov    0x20(%rsp),%r13
mov    %r13,%rdx
mov    0x10(%rsp),%rbx
mov    %rbx,%rcx
mov    %rbp,%r8
mov    0xc(%rsp),%r9d
call   1080 <swap_parts@plt>
xor    %edi,%edi
test   %rbp,%rbp
setne  %dil
call   1070 <assert@plt>
add    %rbp,%r13
lea    0xb95(%rip),%rbp
mov    0x28(%rsp),%r14
mov    0x18(%rsp),%rcx
jmp    11ee <move_to_beginning+0x8e>
xor    %edi,%edi
cmp    %rax,%r14
setae  %dil
call   1070 <assert@plt>
test   %ebx,%ebx
je     1498 <move_to_beginning+0x338>
lea    0xbb6(%rip),%rdi
call   1040 <puts@plt>
mov    %r12,%rdi
mov    %r15,%rsi
mov    0x20(%rsp),%rdx
mov    0x10(%rsp),%rbp
mov    %rbp,%rcx
mov    0x18(%rsp),%r8
mov    %ebx,%r9d
call   1080 <swap_parts@plt>
mov    0x18(%rsp),%rax
lea    (%rax,%rbp,1),%rcx
mov    %r12,%rdi
mov    %r15,%rsi
mov    0x28(%rsp),%rbp
mov    %rbp,%rdx
mov    %r13,%r8
mov    %ebx,%r9d
call   1060 <move_part@plt>
add    0x18(%rsp),%r13
xor    %edi,%edi
cmp    %r14,%r13
sete   %dil
call   1070 <assert@plt>
mov    (%rsp),%rcx
sub    %r14,%rcx
mov    0x10(%rsp),%rax
mov    %rax,%r13
lea    (%r14,%rax,1),%rbx
add    %r14,%rbp
mov    %rbp,%r14
jmp    11e7 <move_to_beginning+0x87>
cmpl   $0x0,0xc(%rsp)
je     152c <move_to_beginning+0x3cc>
lea    0xb4f(%rip),%rdi
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <puts@plt>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
test   %ebx,%ebx
je     154b <move_to_beginning+0x3eb>
lea    0xb12(%rip),%rdi
call   1040 <puts@plt>
mov    %r12,%rdi
mov    %r15,%rsi
mov    0x20(%rsp),%rdx
mov    0x10(%rsp),%rcx
mov    (%rsp),%r8
mov    %ebx,%r9d
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1060 <move_part@plt>

LLVM IR (-O0):
@.str = [4 x i8] c"%d \00"
@.str.1 = [2 x i8] c"\0A\00"
@.str.2 = [42 x i8] c"part_start %d begin %d end %d size %d\0A\00"
@.str.3 = [21 x i8] c"Case 1:\0ATerminating\0A\00"
@.str.4 = [9 x i8] c"Case 2:\0A\00"
@.str.5 = [20 x i8] c"Setting end to %d.\0A\00"
@.str.6 = [9 x i8] c"Case 3:\0A\00"
@.str.7 = [9 x i8] c"Case 4:\0A\00"
@.str.8 = [8 x i8] c"Case 5\0A\00"
@.str.9 = [8 x i8] c"Case 6\0A\00"
define void @move_to_beginning(i32* %0, i64 %1, i64 %2, i64 %3, i32 %4) {
%6 = alloca i32*
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i32
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
store i32* %0, i32** %6
store i64 %1, i64* %7
store i64 %2, i64* %8
store i64 %3, i64* %9
store i32 %4, i32* %10
%17 = load i64, i64* %8
%18 = load i64, i64* %7
%19 = icmp ule i64 %17, %18
%20 = zext i1 %19 to i32
%21 = call i32 @assert(i32 %20)
%22 = load i64, i64* %9
%23 = load i64, i64* %7
%24 = icmp ule i64 %22, %23
%25 = zext i1 %24 to i32
%26 = call i32 @assert(i32 %25)
store i64 0, i64* %11
%27 = load i64, i64* %8
%28 = load i64, i64* %9
%29 = add i64 %27, %28
%30 = load i64, i64* %7
%31 = urem i64 %29, %30
store i64 %31, i64* %12
br label %32
32: ; preds = %317, %5
%33 = load i64, i64* %11
%34 = load i64, i64* %7
%35 = icmp ne i64 %33, %34
br i1 %35, label %36, label %318
36: ; preds = %32
%37 = load i32, i32* %10
%38 = icmp ne i32 %37, 0
br i1 %38, label %39, label %60
39: ; preds = %36
store i64 0, i64* %13
br label %40
40: ; preds = %50, %39
%41 = load i64, i64* %13
%42 = load i64, i64* %7
%43 = icmp ult i64 %41, %42
br i1 %43, label %44, label %53
44: ; preds = %40
%45 = load i32*, i32** %6
%46 = load i64, i64* %13
%47 = getelementptr inbounds i32, i32* %45, i64 %46
%48 = load i32, i32* %47
%49 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %48)
br label %50
50: ; preds = %44
%51 = load i64, i64* %13
%52 = add i64 %51, 1
store i64 %52, i64* %13
br label %40
53: ; preds = %40
%54 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%55 = load i64, i64* %11
%56 = load i64, i64* %8
%57 = load i64, i64* %12
%58 = load i64, i64* %9
%59 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.2, i64 0, i64 0), i64 %55, i64 %56, i64 %57, i64 %58)
br label %60
60: ; preds = %53, %36
%61 = load i64, i64* %11
%62 = load i64, i64* %7
%63 = icmp ult i64 %61, %62
%64 = zext i1 %63 to i32
%65 = call i32 @assert(i32 %64)
%66 = load i64, i64* %11
%67 = load i64, i64* %8
%68 = icmp ule i64 %66, %67
br i1 %68, label %69, label %73
69: ; preds = %60
%70 = load i64, i64* %8
%71 = load i64, i64* %7
%72 = icmp ule i64 %70, %71
br label %73
73: ; preds = %69, %60
%74 = phi i1 [ false, %60 ], [ %72, %69 ]
%75 = zext i1 %74 to i32
%76 = call i32 @assert(i32 %75)
%77 = load i64, i64* %11
%78 = load i64, i64* %12
%79 = icmp ule i64 %77, %78
br i1 %79, label %80, label %84
80: ; preds = %73
%81 = load i64, i64* %12
%82 = load i64, i64* %7
%83 = icmp ule i64 %81, %82
br label %84
84: ; preds = %80, %73
%85 = phi i1 [ false, %73 ], [ %83, %80 ]
%86 = zext i1 %85 to i32
%87 = call i32 @assert(i32 %86)
%88 = load i64, i64* %8
%89 = load i64, i64* %12
%90 = icmp ule i64 %88, %89
br i1 %90, label %101, label %91
91: ; preds = %84
%92 = load i64, i64* %7
%93 = load i64, i64* %8
%94 = sub i64 %92, %93
%95 = load i64, i64* %12
%96 = load i64, i64* %11
%97 = sub i64 %95, %96
%98 = add i64 %94, %97
%99 = load i64, i64* %9
%100 = icmp eq i64 %98, %99
br label %101
101: ; preds = %91, %84
%102 = phi i1 [ true, %84 ], [ %100, %91 ]
%103 = zext i1 %102 to i32
%104 = call i32 @assert(i32 %103)
%105 = load i64, i64* %8
%106 = load i64, i64* %12
%107 = icmp uge i64 %105, %106
br i1 %107, label %114, label %108
108: ; preds = %101
%109 = load i64, i64* %12
%110 = load i64, i64* %8
%111 = sub i64 %109, %110
%112 = load i64, i64* %9
%113 = icmp eq i64 %111, %112
br label %114
114: ; preds = %108, %101
%115 = phi i1 [ true, %101 ], [ %113, %108 ]
%116 = zext i1 %115 to i32
%117 = call i32 @assert(i32 %116)
%118 = load i64, i64* %8
%119 = load i64, i64* %12
%120 = icmp ne i64 %118, %119
br i1 %120, label %130, label %121
121: ; preds = %114
%122 = load i64, i64* %9
%123 = icmp eq i64 %122, 0
br i1 %123, label %130, label %124
124: ; preds = %121
%125 = load i64, i64* %11
%126 = load i64, i64* %9
%127 = add i64 %125, %126
%128 = load i64, i64* %7
%129 = icmp eq i64 %127, %128
br label %130
130: ; preds = %124, %121, %114
%131 = phi i1 [ true, %121 ], [ true, %114 ], [ %129, %124 ]
%132 = zext i1 %131 to i32
%133 = call i32 @assert(i32 %132)
%134 = load i64, i64* %9
%135 = icmp eq i64 %134, 0
br i1 %135, label %144, label %136
136: ; preds = %130
%137 = load i64, i64* %8
%138 = load i64, i64* %7
%139 = icmp eq i64 %137, %138
br i1 %139, label %144, label %140
140: ; preds = %136
%141 = load i64, i64* %8
%142 = load i64, i64* %11
%143 = icmp eq i64 %141, %142
br i1 %143, label %144, label %150
144: ; preds = %140, %136, %130
%145 = load i32, i32* %10
%146 = icmp ne i32 %145, 0
br i1 %146, label %147, label %149
147: ; preds = %144
%148 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.3, i64 0, i64 0))
br label %149
149: ; preds = %147, %144
br label %318
150: ; preds = %140
%151 = load i64, i64* %12
%152 = load i64, i64* %11
%153 = icmp eq i64 %151, %152
br i1 %153, label %154, label %163
154: ; preds = %150
%155 = load i32, i32* %10
%156 = icmp ne i32 %155, 0
br i1 %156, label %157, label %161
157: ; preds = %154
%158 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.4, i64 0, i64 0))
%159 = load i64, i64* %7
%160 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.5, i64 0, i64 0), i64 %159)
br label %161
161: ; preds = %157, %154
%162 = load i64, i64* %7
store i64 %162, i64* %12
br label %316
163: ; preds = %150
%164 = load i64, i64* %8
%165 = load i64, i64* %12
%166 = icmp ult i64 %164, %165
br i1 %166, label %167, label %180
167: ; preds = %163
%168 = load i32, i32* %10
%169 = icmp ne i32 %168, 0
br i1 %169, label %170, label %172
170: ; preds = %167
%171 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.6, i64 0, i64 0))
br label %172
172: ; preds = %170, %167
%173 = load i32*, i32** %6
%174 = load i64, i64* %7
%175 = load i64, i64* %11
%176 = load i64, i64* %8
%177 = load i64, i64* %9
%178 = load i32, i32* %10
%179 = call i32 @move_part(i32* %173, i64 %174, i64 %175, i64 %176, i64 %177, i32 %178)
br label %318
180: ; preds = %163
%181 = load i64, i64* %12
%182 = load i64, i64* %11
%183 = sub i64 %181, %182
store i64 %183, i64* %14
%184 = load i64, i64* %7
%185 = load i64, i64* %8
%186 = sub i64 %184, %185
store i64 %186, i64* %15
%187 = load i64, i64* %15
%188 = load i64, i64* %14
%189 = add i64 %187, %188
%190 = load i64, i64* %9
%191 = icmp eq i64 %189, %190
%192 = zext i1 %191 to i32
%193 = call i32 @assert(i32 %192)
%194 = load i64, i64* %14
%195 = load i64, i64* %15
%196 = icmp uge i64 %194, %195
br i1 %196, label %197, label %218
197: ; preds = %180
%198 = load i32, i32* %10
%199 = icmp ne i32 %198, 0
br i1 %199, label %200, label %202
200: ; preds = %197
%201 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.7, i64 0, i64 0))
br label %202
202: ; preds = %200, %197
%203 = load i32*, i32** %6
%204 = load i64, i64* %7
%205 = load i64, i64* %11
%206 = load i64, i64* %8
%207 = load i64, i64* %15
%208 = load i32, i32* %10
%209 = call i32 @swap_parts(i32* %203, i64 %204, i64 %205, i64 %206, i64 %207, i32 %208)
%210 = load i64, i64* %15
%211 = icmp ugt i64 %210, 0
%212 = zext i1 %211 to i32
%213 = call i32 @assert(i32 %212)
%214 = load i64, i64* %15
%215 = load i64, i64* %11
%216 = add i64 %215, %214
store i64 %216, i64* %11
%217 = load i64, i64* %14
store i64 %217, i64* %9
br label %314
218: ; preds = %180
%219 = load i64, i64* %8
%220 = load i64, i64* %11
%221 = sub i64 %219, %220
%222 = load i64, i64* %15
%223 = icmp ule i64 %221, %222
br i1 %223, label %224, label %275
224: ; preds = %218
%225 = load i64, i64* %8
%226 = load i64, i64* %11
%227 = sub i64 %225, %226
store i64 %227, i64* %16
%228 = load i64, i64* %16
%229 = load i64, i64* %14
%230 = icmp uge i64 %228, %229
%231 = zext i1 %230 to i32
%232 = call i32 @assert(i32 %231)
%233 = load i32, i32* %10
%234 = icmp ne i32 %233, 0
br i1 %234, label %235, label %237
235: ; preds = %224
%236 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.8, i64 0, i64 0))
br label %237
237: ; preds = %235, %224
%238 = load i32*, i32** %6
%239 = load i64, i64* %7
%240 = load i64, i64* %11
%241 = load i64, i64* %8
%242 = load i64, i64* %14
%243 = load i32, i32* %10
%244 = call i32 @swap_parts(i32* %238, i64 %239, i64 %240, i64 %241, i64 %242, i32 %243)
%245 = load i32*, i32** %6
%246 = load i64, i64* %7
%247 = load i64, i64* %12
%248 = load i64, i64* %8
%249 = load i64, i64* %14
%250 = add i64 %248, %249
%251 = load i64, i64* %8
%252 = load i64, i64* %12
%253 = sub i64 %251, %252
%254 = load i32, i32* %10
%255 = call i32 @move_part(i32* %245, i64 %246, i64 %247, i64 %250, i64 %253, i32 %254)
%256 = load i64, i64* %14
%257 = load i64, i64* %8
%258 = load i64, i64* %12
%259 = sub i64 %257, %258
%260 = add i64 %256, %259
%261 = load i64, i64* %16
%262 = icmp eq i64 %260, %261
%263 = zext i1 %262 to i32
%264 = call i32 @assert(i32 %263)
%265 = load i64, i64* %16
%266 = load i64, i64* %9
%267 = sub i64 %266, %265
store i64 %267, i64* %9
%268 = load i64, i64* %8
store i64 %268, i64* %11
%269 = load i64, i64* %16
%270 = load i64, i64* %8
%271 = add i64 %270, %269
store i64 %271, i64* %8
%272 = load i64, i64* %16
%273 = load i64, i64* %12
%274 = add i64 %273, %272
store i64 %274, i64* %12
br label %313
275: ; preds = %218
%276 = load i64, i64* %14
%277 = load i64, i64* %15
%278 = icmp ule i64 %276, %277
br i1 %278, label %279, label %310
279: ; preds = %275
%280 = load i32, i32* %10
%281 = icmp ne i32 %280, 0
br i1 %281, label %282, label %284
282: ; preds = %279
%283 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0))
br label %284
284: ; preds = %282, %279
%285 = load i32*, i32** %6
%286 = load i64, i64* %7
%287 = load i64, i64* %11
%288 = load i64, i64* %8
%289 = load i64, i64* %14
%290 = load i32, i32* %10
%291 = call i32 @swap_parts(i32* %285, i64 %286, i64 %287, i64 %288, i64 %289, i32 %290)
%292 = load i32*, i32** %6
%293 = load i64, i64* %7
%294 = load i64, i64* %12
%295 = load i64, i64* %8
%296 = load i64, i64* %14
%297 = add i64 %295, %296
%298 = load i64, i64* %15
%299 = load i64, i64* %14
%300 = sub i64 %298, %299
%301 = load i32, i32* %10
%302 = call i32 @move_part(i32* %292, i64 %293, i64 %294, i64 %297, i64 %300, i32 %301)
%303 = load i64, i64* %15
%304 = load i64, i64* %11
%305 = add i64 %304, %303
store i64 %305, i64* %11
%306 = load i64, i64* %14
store i64 %306, i64* %9
%307 = load i64, i64* %8
%308 = load i64, i64* %14
%309 = add i64 %307, %308
store i64 %309, i64* %12
br label %312
310: ; preds = %275
%311 = call i32 @assert(i32 0)
br label %312
312: ; preds = %310, %284
br label %313
313: ; preds = %312, %237
br label %314
314: ; preds = %313, %202
br label %315
315: ; preds = %314
br label %316
316: ; preds = %315, %161
br label %317
317: ; preds = %316
br label %32
318: ; preds = %172, %149, %32
ret void
}

LLVM IR (-O2):
@.str = [4 x i8] c"%d \00"
@.str.2 = [42 x i8] c"part_start %d begin %d end %d size %d\0A\00"
@.str.5 = [20 x i8] c"Setting end to %d.\0A\00"
@str = [7 x i8] c"Case 6\00"
@str.10 = [7 x i8] c"Case 5\00"
@str.11 = [8 x i8] c"Case 4:\00"
@str.12 = [8 x i8] c"Case 3:\00"
@str.13 = [8 x i8] c"Case 2:\00"
@str.14 = [20 x i8] c"Case 1:\0ATerminating\00"
define void @move_to_beginning(i32* %0, i64 %1, i64 %2, i64 %3, i32 %4) {
%6 = icmp ule i64 %2, %1
%7 = zext i1 %6 to i32
%8 = tail call i32 @assert(i32 %7)
%9 = icmp ule i64 %3, %1
%10 = zext i1 %9 to i32
%11 = tail call i32 @assert(i32 %10)
%12 = icmp eq i64 %1, 0
br i1 %12, label %139, label %13
13: ; preds = %5
%14 = add i64 %3, %2
%15 = urem i64 %14, %1
%16 = icmp eq i32 %4, 0
br label %17
17: ; preds = %13, %133
%18 = phi i64 [ %2, %13 ], [ %137, %133 ]
%19 = phi i64 [ %3, %13 ], [ %136, %133 ]
%20 = phi i64 [ 0, %13 ], [ %135, %133 ]
%21 = phi i64 [ %15, %13 ], [ %134, %133 ]
br i1 %16, label %32, label %22
22: ; preds = %17, %22
%23 = phi i64 [ %27, %22 ], [ 0, %17 ]
%24 = getelementptr inbounds i32, i32* %0, i64 %23
%25 = load i32, i32* %24
%26 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %25)
%27 = add nuw i64 %23, 1
%28 = icmp eq i64 %27, %1
br i1 %28, label %29, label %22
29: ; preds = %22
%30 = tail call i32 @putchar(i32 10)
%31 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @.str.2, i64 0, i64 0), i64 %20, i64 %18, i64 %21, i64 %19)
br label %32
32: ; preds = %29, %17
%33 = icmp ult i64 %20, %1
%34 = zext i1 %33 to i32
%35 = tail call i32 @assert(i32 %34)
%36 = icmp uge i64 %18, %20
%37 = icmp ule i64 %18, %1
%38 = and i1 %36, %37
%39 = zext i1 %38 to i32
%40 = tail call i32 @assert(i32 %39)
%41 = icmp uge i64 %21, %20
%42 = icmp ule i64 %21, %1
%43 = and i1 %42, %41
%44 = zext i1 %43 to i32
%45 = tail call i32 @assert(i32 %44)
%46 = icmp ule i64 %18, %21
%47 = sub i64 %1, %18
%48 = sub i64 %21, %20
%49 = add i64 %47, %48
%50 = icmp eq i64 %49, %19
%51 = select i1 %46, i1 true, i1 %50
%52 = zext i1 %51 to i32
%53 = tail call i32 @assert(i32 %52)
%54 = icmp ult i64 %18, %21
%55 = sub i64 %21, %18
%56 = icmp eq i64 %55, %19
%57 = xor i1 %54, true
%58 = select i1 %57, i1 true, i1 %56
%59 = zext i1 %58 to i32
%60 = tail call i32 @assert(i32 %59)
%61 = icmp ne i64 %18, %21
%62 = icmp eq i64 %19, 0
%63 = select i1 %61, i1 true, i1 %62
br i1 %63, label %67, label %64
64: ; preds = %32
%65 = add i64 %19, %20
%66 = icmp eq i64 %65, %1
br label %67
67: ; preds = %64, %32
%68 = phi i1 [ true, %32 ], [ %66, %64 ]
%69 = zext i1 %68 to i32
%70 = tail call i32 @assert(i32 %69)
%71 = icmp eq i64 %18, %1
%72 = select i1 %62, i1 true, i1 %71
%73 = icmp eq i64 %18, %20
%74 = select i1 %72, i1 true, i1 %73
br i1 %74, label %75, label %78
75: ; preds = %67
br i1 %16, label %139, label %76
76: ; preds = %75
%77 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @str.14, i64 0, i64 0))
br label %139
78: ; preds = %67
%79 = icmp eq i64 %21, %20
br i1 %79, label %80, label %84
80: ; preds = %78
br i1 %16, label %133, label %81
81: ; preds = %80
%82 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @str.13, i64 0, i64 0))
%83 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @.str.5, i64 0, i64 0), i64 %1)
br label %133
84: ; preds = %78
br i1 %54, label %85, label %90
85: ; preds = %84
br i1 %16, label %88, label %86
86: ; preds = %85
%87 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @str.12, i64 0, i64 0))
br label %88
88: ; preds = %86, %85
%89 = tail call i32 @move_part(i32* %0, i64 %1, i64 %20, i64 %18, i64 %19, i32 %4)
br label %139
90: ; preds = %84
%91 = zext i1 %50 to i32
%92 = tail call i32 @assert(i32 %91)
%93 = icmp ugt i64 %47, %48
br i1 %93, label %103, label %94
94: ; preds = %90
br i1 %16, label %97, label %95
95: ; preds = %94
%96 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @str.11, i64 0, i64 0))
br label %97
97: ; preds = %95, %94
%98 = tail call i32 @swap_parts(i32* %0, i64 %1, i64 %20, i64 %18, i64 %47, i32 %4)
%99 = icmp ne i64 %47, 0
%100 = zext i1 %99 to i32
%101 = tail call i32 @assert(i32 %100)
%102 = add i64 %47, %20
br label %133
103: ; preds = %90
%104 = sub i64 %18, %20
%105 = icmp ugt i64 %104, %47
br i1 %105, label %124, label %106
106: ; preds = %103
%107 = icmp uge i64 %104, %48
%108 = zext i1 %107 to i32
%109 = tail call i32 @assert(i32 %108)
br i1 %16, label %112, label %110
110: ; preds = %106
%111 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @str.10, i64 0, i64 0))
br label %112
112: ; preds = %110, %106
%113 = tail call i32 @swap_parts(i32* %0, i64 %1, i64 %20, i64 %18, i64 %48, i32 %4)
%114 = add i64 %18, %48
%115 = sub i64 %18, %21
%116 = tail call i32 @move_part(i32* %0, i64 %1, i64 %21, i64 %114, i64 %115, i32 %4)
%117 = add i64 %115, %48
%118 = icmp eq i64 %117, %104
%119 = zext i1 %118 to i32
%120 = tail call i32 @assert(i32 %119)
%121 = sub i64 %19, %104
%122 = add i64 %104, %18
%123 = add i64 %104, %21
br label %133
124: ; preds = %103
br i1 %16, label %127, label %125
125: ; preds = %124
%126 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @str, i64 0, i64 0))
br label %127
127: ; preds = %125, %124
%128 = tail call i32 @swap_parts(i32* %0, i64 %1, i64 %20, i64 %18, i64 %48, i32 %4)
%129 = add i64 %18, %48
%130 = sub i64 %47, %48
%131 = tail call i32 @move_part(i32* %0, i64 %1, i64 %21, i64 %129, i64 %130, i32 %4)
%132 = add i64 %47, %20
br label %133
133: ; preds = %81, %80, %112, %127, %97
%134 = phi i64 [ %1, %81 ], [ %1, %80 ], [ %21, %97 ], [ %123, %112 ], [ %129, %127 ]
%135 = phi i64 [ %20, %81 ], [ %20, %80 ], [ %102, %97 ], [ %18, %112 ], [ %132, %127 ]
%136 = phi i64 [ %19, %81 ], [ %19, %80 ], [ %48, %97 ], [ %121, %112 ], [ %48, %127 ]
%137 = phi i64 [ %18, %81 ], [ %18, %80 ], [ %18, %97 ], [ %122, %112 ], [ %18, %127 ]
%138 = icmp eq i64 %135, %1
br i1 %138, label %139, label %17
139: ; preds = %133, %5, %75, %76, %88
ret void
}