#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*/ abort();
char *malloc(int);
int /*<<< orphan*/ memmove(char *, char *, int);
int /*<<< orphan*/ printf(char *, int);
int /*<<< orphan*/ puts(char *);
int rand();
int main(int argc, char **argv) {
  char *mem, *memp;
  char *rand_mem;
  char *lo_around, *hi_around;
  int size, max_size;
  int src_off, dst_off;
  int i;
  int space_around = 10;
  max_size = 256;
  mem = malloc(max_size + 2 * max_size + 2 * space_around);
  rand_mem = malloc(max_size);
  lo_around = malloc(space_around);
  hi_around = malloc(space_around);
  memp = mem + space_around;
  for (i = 0; i < max_size; i++) {
    int x;
    do
      x = rand();
    while (x == 0);
    rand_mem[i] = x;
  }
  for (size = 0; size < max_size; size++) {
    printf("phase %d\n", size);
    for (src_off = 0; src_off <= 16; src_off++) {
      for (dst_off = 0; dst_off <= 16; dst_off++) {
        for (i = 1; i < space_around; i++) {
          memp[dst_off - i] = 0;
          memp[dst_off + size - 1 + i] = 0;
        }
        for (i = 0; i < size; i++)
          memp[src_off + i] = rand_mem[i];
        for (i = 1; i < space_around; i++) {
          lo_around[i] = memp[dst_off - i];
          hi_around[i] = memp[dst_off + size - 1 + i];
        }
        memmove(memp + dst_off, memp + src_off, size);
        for (i = 0; i < size; i++) {
          if (memp[dst_off + i] != rand_mem[i])
            abort();
        }
        for (i = 1; i < space_around; i++) {
          if (memp[dst_off - i] != lo_around[i])
            abort();
          if (memp[dst_off + size - 1 + i] != hi_around[i])
            abort();
        }
      }
    }
  }
  puts("Test succeeded.");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0xa,-0x50(%rbp)
movl   $0x100,-0x40(%rbp)
mov    -0x40(%rbp),%edi
mov    -0x40(%rbp),%eax
shl    $0x1,%eax
add    %eax,%edi
mov    -0x50(%rbp),%eax
shl    $0x1,%eax
add    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x18(%rbp)
mov    -0x40(%rbp),%edi
call   1060 <malloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x50(%rbp),%edi
call   1060 <malloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x50(%rbp),%edi
call   1060 <malloc@plt>
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x50(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    121d <main+0xbd>
jmp    11eb <main+0x8b>
mov    $0x0,%al
call   1080 <rand@plt>
mov    %eax,-0x54(%rbp)
cmpl   $0x0,-0x54(%rbp)
je     11eb <main+0x8b>
mov    -0x54(%rbp),%eax
mov    %al,%dl
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    11da <main+0x7a>
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    1470 <main+0x310>
mov    -0x3c(%rbp),%esi
lea    0xdc6(%rip),%rdi
call   1050 <printf@plt>
movl   $0x0,-0x44(%rbp)
cmpl   $0x10,-0x44(%rbp)
jg     145d <main+0x2fd>
movl   $0x0,-0x48(%rbp)
cmpl   $0x10,-0x48(%rbp)
jg     144a <main+0x2ea>
movl   $0x1,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x50(%rbp),%eax
jge    12aa <main+0x14a>
mov    -0x20(%rbp),%rax
mov    -0x48(%rbp),%ecx
sub    -0x4c(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
mov    -0x48(%rbp),%ecx
add    -0x3c(%rbp),%ecx
sub    $0x1,%ecx
add    -0x4c(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1268 <main+0x108>
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    12e6 <main+0x186>
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x20(%rbp),%rax
mov    -0x44(%rbp),%ecx
add    -0x4c(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    12b1 <main+0x151>
movl   $0x1,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x50(%rbp),%eax
jge    1343 <main+0x1e3>
mov    -0x20(%rbp),%rax
mov    -0x48(%rbp),%ecx
sub    -0x4c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x30(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
mov    -0x48(%rbp),%ecx
add    -0x3c(%rbp),%ecx
sub    $0x1,%ecx
add    -0x4c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x38(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    12ed <main+0x18d>
mov    -0x20(%rbp),%rdi
movslq -0x48(%rbp),%rax
add    %rax,%rdi
mov    -0x20(%rbp),%rsi
movslq -0x44(%rbp),%rax
add    %rax,%rsi
mov    -0x3c(%rbp),%edx
call   1070 <memmove@plt>
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    13b3 <main+0x253>
mov    -0x20(%rbp),%rax
mov    -0x48(%rbp),%ecx
add    -0x4c(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x28(%rbp),%rcx
movslq -0x4c(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     13a0 <main+0x240>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    13a5 <main+0x245>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1368 <main+0x208>
movl   $0x1,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x50(%rbp),%eax
jge    1437 <main+0x2d7>
mov    -0x20(%rbp),%rax
mov    -0x48(%rbp),%ecx
sub    -0x4c(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x30(%rbp),%rcx
movslq -0x4c(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     13f2 <main+0x292>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x20(%rbp),%rax
mov    -0x48(%rbp),%ecx
add    -0x3c(%rbp),%ecx
sub    $0x1,%ecx
add    -0x4c(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x38(%rbp),%rcx
movslq -0x4c(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     1424 <main+0x2c4>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1429 <main+0x2c9>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    13ba <main+0x25a>
jmp    143c <main+0x2dc>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1257 <main+0xf7>
jmp    144f <main+0x2ef>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1246 <main+0xe6>
jmp    1462 <main+0x302>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1224 <main+0xc4>
lea    0xb93(%rip),%rdi
call   1040 <puts@plt>
xor    %eax,%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    $0x314,%edi
call   1070 <malloc@plt>
mov    %rax,0x8(%rsp)
mov    $0x100,%edi
call   1070 <malloc@plt>
mov    %rax,0x10(%rsp)
mov    $0xa,%edi
call   1070 <malloc@plt>
mov    %rax,0x18(%rsp)
mov    %rax,%r12
xor    %ebx,%ebx
xor    %eax,%eax
call   1090 <rand@plt>
test   %eax,%eax
je     11b0 <main+0x40>
mov    0x10(%rsp),%rcx
mov    %al,(%rcx,%rbx,1)
add    $0x1,%rbx
cmp    $0x100,%rbx
jne    11b0 <main+0x40>
mov    0x8(%rsp),%rax
lea    0xa(%rax),%rbp
addq   $0x1,0x18(%rsp)
xor    %ebx,%ebx
mov    %r12,0x30(%rsp)
cs nopw 0x0(%rax,%rax,1)
lea    0xa(%rbx),%rax
mov    %rax,0x40(%rsp)
lea    0xe00(%rip),%rdi
mov    %ebx,%esi
call   1050 <printf@plt>
lea    -0x1(%rbx),%rax
mov    %rax,0x38(%rsp)
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x8(%rsp),%rax
add    %rcx,%rax
add    $0xa,%rax
mov    %rax,0x28(%rsp)
mov    %rcx,0x20(%rsp)
lea    (%rcx,%rbp,1),%rax
mov    %rax,0x48(%rsp)
mov    %rbp,%r13
xor    %r15d,%r15d
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x40(%rsp),%rax
lea    (%rax,%r15,1),%r12
mov    0x8(%rsp),%rax
add    %rax,%r12
mov    0x38(%rsp),%rcx
lea    (%rcx,%r15,1),%r14
lea    (%rbx,%r15,1),%rcx
movb   $0x0,0x9(%rax,%r15,1)
mov    %rcx,0x50(%rsp)
movb   $0x0,0xa(%rax,%rcx,1)
movb   $0x0,0x8(%rax,%r15,1)
movb   $0x0,0xc(%rax,%r14,1)
movb   $0x0,0x7(%rax,%r15,1)
movb   $0x0,0xd(%rax,%r14,1)
movb   $0x0,0x6(%rax,%r15,1)
movb   $0x0,0xe(%rax,%r14,1)
movb   $0x0,0x5(%rax,%r15,1)
movb   $0x0,0xf(%rax,%r14,1)
movb   $0x0,0x4(%rax,%r15,1)
movb   $0x0,0x10(%rax,%r14,1)
movb   $0x0,0x3(%rax,%r15,1)
movb   $0x0,0x11(%rax,%r14,1)
movb   $0x0,0x2(%rax,%r15,1)
movb   $0x0,0x12(%rax,%r14,1)
movb   $0x0,0x1(%rax,%r15,1)
movb   $0x0,0x13(%rax,%r14,1)
test   %rbx,%rbx
je     12f5 <main+0x185>
mov    0x28(%rsp),%rdi
mov    0x10(%rsp),%rsi
mov    %rbx,%rdx
call   1060 <memcpy@plt>
mov    0x8(%r12),%al
mov    0x18(%rsp),%rcx
mov    %al,0x8(%rcx)
mov    (%r12),%rax
mov    %rax,(%rcx)
lea    0x0(%rbp,%r15,1),%rdi
mov    -0x1(%rbp,%r15,1),%r12b
mov    -0x2(%rbp,%r15,1),%al
mov    %al,0x7(%rsp)
mov    -0x3(%rbp,%r15,1),%al
mov    %al,0x6(%rsp)
mov    -0x4(%rbp,%r15,1),%al
mov    %al,0x5(%rsp)
mov    -0x5(%rbp,%r15,1),%al
mov    %al,0x4(%rsp)
mov    -0x6(%rbp,%r15,1),%al
mov    %al,0x3(%rsp)
mov    -0x7(%rbp,%r15,1),%al
mov    %al,0x2(%rsp)
mov    -0x9(%rbp,%r15,1),%al
mov    %al,(%rsp)
mov    -0x8(%rbp,%r15,1),%al
mov    %al,0x1(%rsp)
mov    0x48(%rsp),%rsi
mov    %ebx,%edx
call   1080 <memmove@plt>
test   %rbx,%rbx
mov    0x10(%rsp),%rdx
je     1398 <main+0x228>
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl 0x0(%r13,%rax,1),%ecx
cmp    (%rdx,%rax,1),%cl
jne    14f8 <main+0x388>
add    $0x1,%rax
cmp    %rax,%rbx
jne    1380 <main+0x210>
cmp    %r12b,-0x1(%rbp,%r15,1)
mov    0x30(%rsp),%r12
jne    14f8 <main+0x388>
mov    0x50(%rsp),%rax
mov    0x0(%rbp,%rax,1),%al
mov    0x18(%rsp),%rcx
cmp    (%rcx),%al
jne    14f8 <main+0x388>
mov    0x7(%rsp),%al
cmp    %al,-0x2(%rbp,%r15,1)
jne    14f8 <main+0x388>
mov    0x2(%rbp,%r14,1),%al
cmp    0x2(%r12),%al
jne    14f8 <main+0x388>
mov    0x6(%rsp),%al
cmp    %al,-0x3(%rbp,%r15,1)
jne    14f8 <main+0x388>
mov    0x3(%rbp,%r14,1),%al
cmp    0x3(%r12),%al
jne    14f8 <main+0x388>
mov    0x5(%rsp),%al
cmp    %al,-0x4(%rbp,%r15,1)
jne    14f8 <main+0x388>
mov    0x4(%rbp,%r14,1),%al
cmp    0x4(%r12),%al
jne    14f8 <main+0x388>
mov    0x4(%rsp),%al
cmp    %al,-0x5(%rbp,%r15,1)
jne    14f8 <main+0x388>
mov    0x5(%rbp,%r14,1),%al
cmp    0x5(%r12),%al
jne    14f8 <main+0x388>
mov    0x3(%rsp),%al
cmp    %al,-0x6(%rbp,%r15,1)
jne    14f8 <main+0x388>
mov    0x6(%rbp,%r14,1),%al
cmp    0x6(%r12),%al
jne    14f8 <main+0x388>
mov    0x2(%rsp),%al
cmp    %al,-0x7(%rbp,%r15,1)
jne    14f8 <main+0x388>
mov    0x7(%rbp,%r14,1),%al
cmp    0x7(%r12),%al
jne    14f8 <main+0x388>
mov    0x1(%rsp),%al
cmp    %al,-0x8(%rbp,%r15,1)
jne    14f8 <main+0x388>
mov    0x8(%rbp,%r14,1),%al
cmp    0x8(%r12),%al
jne    14f8 <main+0x388>
mov    (%rsp),%al
cmp    %al,-0x9(%rbp,%r15,1)
jne    14f8 <main+0x388>
mov    0x9(%rbp,%r14,1),%al
cmp    0x9(%r12),%al
jne    14f8 <main+0x388>
add    $0x1,%r15
add    $0x1,%r13
cmp    $0x11,%r15
jne    1250 <main+0xe0>
mov    0x20(%rsp),%rcx
add    $0x1,%rcx
cmp    $0x11,%rcx
jne    1220 <main+0xb0>
add    $0x1,%rbx
cmp    $0x100,%rbx
jne    11f0 <main+0x80>
lea    0xb28(%rip),%rdi
call   1040 <puts@plt>
xor    %eax,%eax
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %eax,%eax
call   1030 <abort@plt>

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

LLVM IR (-O2):
@.str = [10 x i8] c"phase %d\0A\00"
@.str.1 = [16 x i8] c"Test succeeded.\00"
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = tail call dereferenceable_or_null(788) i8* @malloc(i32 788)
%4 = tail call dereferenceable_or_null(256) i8* @malloc(i32 256)
%5 = tail call dereferenceable_or_null(10) i8* @malloc(i32 10)
br label %6
6: ; preds = %2, %11
%7 = phi i64 [ 0, %2 ], [ %14, %11 ]
br label %8
8: ; preds = %6, %8
%9 = tail call i32 (...) @rand()
%10 = icmp eq i32 %9, 0
br i1 %10, label %8, label %11
11: ; preds = %8
%12 = trunc i32 %9 to i8
%13 = getelementptr inbounds i8, i8* %4, i64 %7
store i8 %12, i8* %13
%14 = add nuw nsw i64 %7, 1
%15 = icmp eq i64 %14, 256
br i1 %15, label %16, label %6
16: ; preds = %11
%17 = getelementptr inbounds i8, i8* %3, i64 10
%18 = getelementptr i8, i8* %5, i64 1
%19 = getelementptr inbounds i8, i8* %5, i64 2
%20 = getelementptr inbounds i8, i8* %5, i64 3
%21 = getelementptr inbounds i8, i8* %5, i64 4
%22 = getelementptr inbounds i8, i8* %5, i64 5
%23 = getelementptr inbounds i8, i8* %5, i64 6
%24 = getelementptr inbounds i8, i8* %5, i64 7
%25 = getelementptr inbounds i8, i8* %5, i64 8
%26 = getelementptr inbounds i8, i8* %5, i64 9
br label %27
27: ; preds = %16, %179
%28 = phi i64 [ 0, %16 ], [ %180, %179 ]
%29 = add nuw nsw i64 %28, 10
%30 = trunc i64 %28 to i32
%31 = tail call i32 @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i32 %30)
%32 = add nsw i64 %28, -1
%33 = icmp eq i64 %28, 0
br label %34
34: ; preds = %27, %176
%35 = phi i64 [ 0, %27 ], [ %177, %176 ]
%36 = add nuw nsw i64 %35, 10
%37 = getelementptr i8, i8* %3, i64 %36
%38 = getelementptr inbounds i8, i8* %17, i64 %35
br label %39
39: ; preds = %34, %165
%40 = phi i64 [ 0, %34 ], [ %166, %165 ]
%41 = add nuw nsw i64 %29, %40
%42 = getelementptr i8, i8* %3, i64 %41
%43 = add nsw i64 %32, %40
%44 = add nsw i64 %40, -1
%45 = getelementptr inbounds i8, i8* %17, i64 %44
store i8 0, i8* %45
%46 = add nuw i64 %28, %40
%47 = getelementptr inbounds i8, i8* %17, i64 %46
store i8 0, i8* %47
%48 = add nsw i64 %40, -2
%49 = getelementptr inbounds i8, i8* %17, i64 %48
store i8 0, i8* %49
%50 = add nsw i64 %43, 2
%51 = getelementptr inbounds i8, i8* %17, i64 %50
store i8 0, i8* %51
%52 = add nsw i64 %40, -3
%53 = getelementptr inbounds i8, i8* %17, i64 %52
store i8 0, i8* %53
%54 = add nsw i64 %43, 3
%55 = getelementptr inbounds i8, i8* %17, i64 %54
store i8 0, i8* %55
%56 = add nsw i64 %40, -4
%57 = getelementptr inbounds i8, i8* %17, i64 %56
store i8 0, i8* %57
%58 = add nsw i64 %43, 4
%59 = getelementptr inbounds i8, i8* %17, i64 %58
store i8 0, i8* %59
%60 = add nsw i64 %40, -5
%61 = getelementptr inbounds i8, i8* %17, i64 %60
store i8 0, i8* %61
%62 = add nsw i64 %43, 5
%63 = getelementptr inbounds i8, i8* %17, i64 %62
store i8 0, i8* %63
%64 = add nsw i64 %40, -6
%65 = getelementptr inbounds i8, i8* %17, i64 %64
store i8 0, i8* %65
%66 = add nsw i64 %43, 6
%67 = getelementptr inbounds i8, i8* %17, i64 %66
store i8 0, i8* %67
%68 = add nsw i64 %40, -7
%69 = getelementptr inbounds i8, i8* %17, i64 %68
store i8 0, i8* %69
%70 = add nsw i64 %43, 7
%71 = getelementptr inbounds i8, i8* %17, i64 %70
store i8 0, i8* %71
%72 = add nsw i64 %40, -8
%73 = getelementptr inbounds i8, i8* %17, i64 %72
store i8 0, i8* %73
%74 = add nsw i64 %43, 8
%75 = getelementptr inbounds i8, i8* %17, i64 %74
store i8 0, i8* %75
%76 = add nsw i64 %40, -9
%77 = getelementptr inbounds i8, i8* %17, i64 %76
store i8 0, i8* %77
%78 = add nsw i64 %43, 9
%79 = getelementptr inbounds i8, i8* %17, i64 %78
store i8 0, i8* %79
br i1 %33, label %81, label %80
80: ; preds = %39
br label %81
81: ; preds = %80, %39
%82 = load i8, i8* %45
%83 = load i8, i8* %49
%84 = load i8, i8* %53
%85 = load i8, i8* %57
%86 = load i8, i8* %61
%87 = load i8, i8* %65
%88 = load i8, i8* %69
%89 = load i8, i8* %73
%90 = load i8, i8* %77
%91 = getelementptr inbounds i8, i8* %17, i64 %40
%92 = tail call i32 @memmove(i8* %91, i8* %38, i32 %30)
br i1 %33, label %95, label %98
93: ; preds = %98
%94 = icmp eq i64 %106, %28
br i1 %94, label %95, label %98
95: ; preds = %93, %81
%96 = load i8, i8* %45
%97 = icmp eq i8 %96, %82
br i1 %97, label %170, label %168
98: ; preds = %81, %93
%99 = phi i64 [ %106, %93 ], [ 0, %81 ]
%100 = add nuw nsw i64 %99, %40
%101 = getelementptr inbounds i8, i8* %17, i64 %100
%102 = load i8, i8* %101
%103 = getelementptr inbounds i8, i8* %4, i64 %99
%104 = load i8, i8* %103
%105 = icmp eq i8 %102, %104
%106 = add nuw nsw i64 %99, 1
br i1 %105, label %93, label %107
107: ; preds = %98
%108 = tail call i32 (...) @abort()
unreachable
109: ; preds = %170
%110 = load i8, i8* %49
%111 = icmp eq i8 %110, %83
br i1 %111, label %112, label %168
112: ; preds = %109
%113 = load i8, i8* %51
%114 = load i8, i8* %19
%115 = icmp eq i8 %113, %114
br i1 %115, label %116, label %174
116: ; preds = %112
%117 = load i8, i8* %53
%118 = icmp eq i8 %117, %84
br i1 %118, label %119, label %168
119: ; preds = %116
%120 = load i8, i8* %55
%121 = load i8, i8* %20
%122 = icmp eq i8 %120, %121
br i1 %122, label %123, label %174
123: ; preds = %119
%124 = load i8, i8* %57
%125 = icmp eq i8 %124, %85
br i1 %125, label %126, label %168
126: ; preds = %123
%127 = load i8, i8* %59
%128 = load i8, i8* %21
%129 = icmp eq i8 %127, %128
br i1 %129, label %130, label %174
130: ; preds = %126
%131 = load i8, i8* %61
%132 = icmp eq i8 %131, %86
br i1 %132, label %133, label %168
133: ; preds = %130
%134 = load i8, i8* %63
%135 = load i8, i8* %22
%136 = icmp eq i8 %134, %135
br i1 %136, label %137, label %174
137: ; preds = %133
%138 = load i8, i8* %65
%139 = icmp eq i8 %138, %87
br i1 %139, label %140, label %168
140: ; preds = %137
%141 = load i8, i8* %67
%142 = load i8, i8* %23
%143 = icmp eq i8 %141, %142
br i1 %143, label %144, label %174
144: ; preds = %140
%145 = load i8, i8* %69
%146 = icmp eq i8 %145, %88
br i1 %146, label %147, label %168
147: ; preds = %144
%148 = load i8, i8* %71
%149 = load i8, i8* %24
%150 = icmp eq i8 %148, %149
br i1 %150, label %151, label %174
151: ; preds = %147
%152 = load i8, i8* %73
%153 = icmp eq i8 %152, %89
br i1 %153, label %154, label %168
154: ; preds = %151
%155 = load i8, i8* %75
%156 = load i8, i8* %25
%157 = icmp eq i8 %155, %156
br i1 %157, label %158, label %174
158: ; preds = %154
%159 = load i8, i8* %77
%160 = icmp eq i8 %159, %90
br i1 %160, label %161, label %168
161: ; preds = %158
%162 = load i8, i8* %79
%163 = load i8, i8* %26
%164 = icmp eq i8 %162, %163
br i1 %164, label %165, label %174
165: ; preds = %161
%166 = add nuw nsw i64 %40, 1
%167 = icmp eq i64 %166, 17
br i1 %167, label %176, label %39
168: ; preds = %158, %151, %144, %137, %130, %123, %116, %109, %95
%169 = tail call i32 (...) @abort()
unreachable
170: ; preds = %95
%171 = load i8, i8* %47
%172 = load i8, i8* %18
%173 = icmp eq i8 %171, %172
br i1 %173, label %109, label %174
174: ; preds = %161, %154, %147, %140, %133, %126, %119, %112, %170
%175 = tail call i32 (...) @abort()
unreachable
176: ; preds = %165
%177 = add nuw nsw i64 %35, 1
%178 = icmp eq i64 %177, 17
br i1 %178, label %179, label %34
179: ; preds = %176
%180 = add nuw nsw i64 %28, 1
%181 = icmp eq i64 %180, 256
br i1 %181, label %182, label %27
182: ; preds = %179
%183 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @.str.1, i64 0, i64 0))
ret i32 0
}