#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 random();
int main(void) {
  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 = random();
    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    $0x50,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0xa,-0x48(%rbp)
movl   $0x100,-0x38(%rbp)
mov    -0x38(%rbp),%edi
mov    -0x38(%rbp),%eax
shl    $0x1,%eax
add    %eax,%edi
mov    -0x48(%rbp),%eax
shl    $0x1,%eax
add    %eax,%edi
call   1070 <malloc@plt>
mov    %rax,-0x10(%rbp)
mov    -0x38(%rbp),%edi
call   1070 <malloc@plt>
mov    %rax,-0x20(%rbp)
mov    -0x48(%rbp),%edi
call   1070 <malloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x48(%rbp),%edi
call   1070 <malloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x48(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    1216 <main+0xb6>
jmp    11e4 <main+0x84>
mov    $0x0,%al
call   1060 <random@plt>
mov    %eax,-0x4c(%rbp)
cmpl   $0x0,-0x4c(%rbp)
je     11e4 <main+0x84>
mov    -0x4c(%rbp),%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    11d3 <main+0x73>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    1469 <main+0x309>
mov    -0x34(%rbp),%esi
lea    0xdcd(%rip),%rdi
call   1050 <printf@plt>
movl   $0x0,-0x3c(%rbp)
cmpl   $0x10,-0x3c(%rbp)
jg     1456 <main+0x2f6>
movl   $0x0,-0x40(%rbp)
cmpl   $0x10,-0x40(%rbp)
jg     1443 <main+0x2e3>
movl   $0x1,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x48(%rbp),%eax
jge    12a3 <main+0x143>
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%ecx
sub    -0x44(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    -0x34(%rbp),%ecx
sub    $0x1,%ecx
add    -0x44(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1261 <main+0x101>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    12df <main+0x17f>
mov    -0x20(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    -0x44(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    12aa <main+0x14a>
movl   $0x1,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x48(%rbp),%eax
jge    133c <main+0x1dc>
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%ecx
sub    -0x44(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    -0x34(%rbp),%ecx
sub    $0x1,%ecx
add    -0x44(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x30(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    12e6 <main+0x186>
mov    -0x18(%rbp),%rdi
movslq -0x40(%rbp),%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rsi
movslq -0x3c(%rbp),%rax
add    %rax,%rsi
mov    -0x34(%rbp),%edx
call   1080 <memmove@plt>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    13ac <main+0x24c>
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    -0x44(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x20(%rbp),%rcx
movslq -0x44(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     1399 <main+0x239>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    139e <main+0x23e>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1361 <main+0x201>
movl   $0x1,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x48(%rbp),%eax
jge    1430 <main+0x2d0>
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%ecx
sub    -0x44(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x28(%rbp),%rcx
movslq -0x44(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     13eb <main+0x28b>
mov    $0x0,%al
call   1030 <abort@plt>
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    -0x34(%rbp),%ecx
sub    $0x1,%ecx
add    -0x44(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x30(%rbp),%rcx
movslq -0x44(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     141d <main+0x2bd>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1422 <main+0x2c2>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    13b3 <main+0x253>
jmp    1435 <main+0x2d5>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1250 <main+0xf0>
jmp    1448 <main+0x2e8>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    123f <main+0xdf>
jmp    145b <main+0x2fb>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    121d <main+0xbd>
lea    0xb9a(%rip),%rdi
call   1040 <puts@plt>
xor    %eax,%eax
add    $0x50,%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   1080 <malloc@plt>
mov    %rax,0x8(%rsp)
mov    $0x100,%edi
call   1080 <malloc@plt>
mov    %rax,0x10(%rsp)
mov    $0xa,%edi
call   1080 <malloc@plt>
mov    %rax,0x18(%rsp)
mov    %rax,%r12
xor    %ebx,%ebx
xor    %eax,%eax
call   1070 <random@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   1090 <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() {
%1 = alloca i32
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32 0, i32* %1
store i32 10, i32* %12
store i32 256, i32* %8
%14 = load i32, i32* %8
%15 = load i32, i32* %8
%16 = mul nsw i32 2, %15
%17 = add nsw i32 %14, %16
%18 = load i32, i32* %12
%19 = mul nsw i32 2, %18
%20 = add nsw i32 %17, %19
%21 = call i8* @malloc(i32 %20)
store i8* %21, i8** %2
%22 = load i32, i32* %8
%23 = call i8* @malloc(i32 %22)
store i8* %23, i8** %4
%24 = load i32, i32* %12
%25 = call i8* @malloc(i32 %24)
store i8* %25, i8** %5
%26 = load i32, i32* %12
%27 = call i8* @malloc(i32 %26)
store i8* %27, i8** %6
%28 = load i8*, i8** %2
%29 = load i32, i32* %12
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i8, i8* %28, i64 %30
store i8* %31, i8** %3
store i32 0, i32* %11
br label %32
32: ; preds = %49, %0
%33 = load i32, i32* %11
%34 = load i32, i32* %8
%35 = icmp slt i32 %33, %34
br i1 %35, label %36, label %52
36: ; preds = %32
br label %37
37: ; preds = %39, %36
%38 = call i32 (...) @random()
store i32 %38, i32* %13
br label %39
39: ; preds = %37
%40 = load i32, i32* %13
%41 = icmp eq i32 %40, 0
br i1 %41, label %37, label %42
42: ; preds = %39
%43 = load i32, i32* %13
%44 = trunc i32 %43 to i8
%45 = load i8*, i8** %4
%46 = load i32, i32* %11
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i8, i8* %45, i64 %47
store i8 %44, i8* %48
br label %49
49: ; preds = %42
%50 = load i32, i32* %11
%51 = add nsw i32 %50, 1
store i32 %51, i32* %11
br label %32
52: ; preds = %32
store i32 0, i32* %7
br label %53
53: ; preds = %239, %52
%54 = load i32, i32* %7
%55 = load i32, i32* %8
%56 = icmp slt i32 %54, %55
br i1 %56, label %57, label %242
57: ; preds = %53
%58 = load i32, i32* %7
%59 = call i32 @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i32 %58)
store i32 0, i32* %9
br label %60
60: ; preds = %235, %57
%61 = load i32, i32* %9
%62 = icmp sle i32 %61, 16
br i1 %62, label %63, label %238
63: ; preds = %60
store i32 0, i32* %10
br label %64
64: ; preds = %231, %63
%65 = load i32, i32* %10
%66 = icmp sle i32 %65, 16
br i1 %66, label %67, label %234
67: ; preds = %64
store i32 1, i32* %11
br label %68
68: ; preds = %88, %67
%69 = load i32, i32* %11
%70 = load i32, i32* %12
%71 = icmp slt i32 %69, %70
br i1 %71, label %72, label %91
72: ; preds = %68
%73 = load i8*, i8** %3
%74 = load i32, i32* %10
%75 = load i32, i32* %11
%76 = sub nsw i32 %74, %75
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i8, i8* %73, i64 %77
store i8 0, i8* %78
%79 = load i8*, i8** %3
%80 = load i32, i32* %10
%81 = load i32, i32* %7
%82 = add nsw i32 %80, %81
%83 = sub nsw i32 %82, 1
%84 = load i32, i32* %11
%85 = add nsw i32 %83, %84
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i8, i8* %79, i64 %86
store i8 0, i8* %87
br label %88
88: ; preds = %72
%89 = load i32, i32* %11
%90 = add nsw i32 %89, 1
store i32 %90, i32* %11
br label %68
91: ; preds = %68
store i32 0, i32* %11
br label %92
92: ; preds = %108, %91
%93 = load i32, i32* %11
%94 = load i32, i32* %7
%95 = icmp slt i32 %93, %94
br i1 %95, label %96, label %111
96: ; preds = %92
%97 = load i8*, i8** %4
%98 = load i32, i32* %11
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i8, i8* %97, i64 %99
%101 = load i8, i8* %100
%102 = load i8*, i8** %3
%103 = load i32, i32* %9
%104 = load i32, i32* %11
%105 = add nsw i32 %103, %104
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i8, i8* %102, i64 %106
store i8 %101, i8* %107
br label %108
108: ; preds = %96
%109 = load i32, i32* %11
%110 = add nsw i32 %109, 1
store i32 %110, i32* %11
br label %92
111: ; preds = %92
store i32 1, i32* %11
br label %112
112: ; preds = %142, %111
%113 = load i32, i32* %11
%114 = load i32, i32* %12
%115 = icmp slt i32 %113, %114
br i1 %115, label %116, label %145
116: ; preds = %112
%117 = load i8*, i8** %3
%118 = load i32, i32* %10
%119 = load i32, i32* %11
%120 = sub nsw i32 %118, %119
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds i8, i8* %117, i64 %121
%123 = load i8, i8* %122
%124 = load i8*, i8** %5
%125 = load i32, i32* %11
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds i8, i8* %124, i64 %126
store i8 %123, i8* %127
%128 = load i8*, i8** %3
%129 = load i32, i32* %10
%130 = load i32, i32* %7
%131 = add nsw i32 %129, %130
%132 = sub nsw i32 %131, 1
%133 = load i32, i32* %11
%134 = add nsw i32 %132, %133
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds i8, i8* %128, i64 %135
%137 = load i8, i8* %136
%138 = load i8*, i8** %6
%139 = load i32, i32* %11
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds i8, i8* %138, i64 %140
store i8 %137, i8* %141
br label %142
142: ; preds = %116
%143 = load i32, i32* %11
%144 = add nsw i32 %143, 1
store i32 %144, i32* %11
br label %112
145: ; preds = %112
%146 = load i8*, i8** %3
%147 = load i32, i32* %10
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds i8, i8* %146, i64 %148
%150 = load i8*, i8** %3
%151 = load i32, i32* %9
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i8, i8* %150, i64 %152
%154 = load i32, i32* %7
%155 = call i32 @memmove(i8* %149, i8* %153, i32 %154)
store i32 0, i32* %11
br label %156
156: ; preds = %179, %145
%157 = load i32, i32* %11
%158 = load i32, i32* %7
%159 = icmp slt i32 %157, %158
br i1 %159, label %160, label %182
160: ; preds = %156
%161 = load i8*, i8** %3
%162 = load i32, i32* %10
%163 = load i32, i32* %11
%164 = add nsw i32 %162, %163
%165 = sext i32 %164 to i64
%166 = getelementptr inbounds i8, i8* %161, i64 %165
%167 = load i8, i8* %166
%168 = sext i8 %167 to i32
%169 = load i8*, i8** %4
%170 = load i32, i32* %11
%171 = sext i32 %170 to i64
%172 = getelementptr inbounds i8, i8* %169, i64 %171
%173 = load i8, i8* %172
%174 = sext i8 %173 to i32
%175 = icmp ne i32 %168, %174
br i1 %175, label %176, label %178
176: ; preds = %160
%177 = call i32 (...) @abort()
unreachable
178: ; preds = %160
br label %179
179: ; preds = %178
%180 = load i32, i32* %11
%181 = add nsw i32 %180, 1
store i32 %181, i32* %11
br label %156
182: ; preds = %156
store i32 1, i32* %11
br label %183
183: ; preds = %227, %182
%184 = load i32, i32* %11
%185 = load i32, i32* %12
%186 = icmp slt i32 %184, %185
br i1 %186, label %187, label %230
187: ; preds = %183
%188 = load i8*, i8** %3
%189 = load i32, i32* %10
%190 = load i32, i32* %11
%191 = sub nsw i32 %189, %190
%192 = sext i32 %191 to i64
%193 = getelementptr inbounds i8, i8* %188, i64 %192
%194 = load i8, i8* %193
%195 = sext i8 %194 to i32
%196 = load i8*, i8** %5
%197 = load i32, i32* %11
%198 = sext i32 %197 to i64
%199 = getelementptr inbounds i8, i8* %196, i64 %198
%200 = load i8, i8* %199
%201 = sext i8 %200 to i32
%202 = icmp ne i32 %195, %201
br i1 %202, label %203, label %205
203: ; preds = %187
%204 = call i32 (...) @abort()
unreachable
205: ; preds = %187
%206 = load i8*, i8** %3
%207 = load i32, i32* %10
%208 = load i32, i32* %7
%209 = add nsw i32 %207, %208
%210 = sub nsw i32 %209, 1
%211 = load i32, i32* %11
%212 = add nsw i32 %210, %211
%213 = sext i32 %212 to i64
%214 = getelementptr inbounds i8, i8* %206, i64 %213
%215 = load i8, i8* %214
%216 = sext i8 %215 to i32
%217 = load i8*, i8** %6
%218 = load i32, i32* %11
%219 = sext i32 %218 to i64
%220 = getelementptr inbounds i8, i8* %217, i64 %219
%221 = load i8, i8* %220
%222 = sext i8 %221 to i32
%223 = icmp ne i32 %216, %222
br i1 %223, label %224, label %226
224: ; preds = %205
%225 = call i32 (...) @abort()
unreachable
226: ; preds = %205
br label %227
227: ; preds = %226
%228 = load i32, i32* %11
%229 = add nsw i32 %228, 1
store i32 %229, i32* %11
br label %183
230: ; preds = %183
br label %231
231: ; preds = %230
%232 = load i32, i32* %10
%233 = add nsw i32 %232, 1
store i32 %233, i32* %10
br label %64
234: ; preds = %64
br label %235
235: ; preds = %234
%236 = load i32, i32* %9
%237 = add nsw i32 %236, 1
store i32 %237, i32* %9
br label %60
238: ; preds = %60
br label %239
239: ; preds = %238
%240 = load i32, i32* %7
%241 = add nsw i32 %240, 1
store i32 %241, i32* %7
br label %53
242: ; preds = %53
%243 = 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() {
%1 = tail call dereferenceable_or_null(788) i8* @malloc(i32 788)
%2 = tail call dereferenceable_or_null(256) i8* @malloc(i32 256)
%3 = tail call dereferenceable_or_null(10) i8* @malloc(i32 10)
br label %4
4: ; preds = %0, %9
%5 = phi i64 [ 0, %0 ], [ %12, %9 ]
br label %6
6: ; preds = %4, %6
%7 = tail call i32 (...) @random()
%8 = icmp eq i32 %7, 0
br i1 %8, label %6, label %9
9: ; preds = %6
%10 = trunc i32 %7 to i8
%11 = getelementptr inbounds i8, i8* %2, i64 %5
store i8 %10, i8* %11
%12 = add nuw nsw i64 %5, 1
%13 = icmp eq i64 %12, 256
br i1 %13, label %14, label %4
14: ; preds = %9
%15 = getelementptr inbounds i8, i8* %1, i64 10
%16 = getelementptr i8, i8* %3, i64 1
%17 = getelementptr inbounds i8, i8* %3, i64 2
%18 = getelementptr inbounds i8, i8* %3, i64 3
%19 = getelementptr inbounds i8, i8* %3, i64 4
%20 = getelementptr inbounds i8, i8* %3, i64 5
%21 = getelementptr inbounds i8, i8* %3, i64 6
%22 = getelementptr inbounds i8, i8* %3, i64 7
%23 = getelementptr inbounds i8, i8* %3, i64 8
%24 = getelementptr inbounds i8, i8* %3, i64 9
br label %25
25: ; preds = %14, %177
%26 = phi i64 [ 0, %14 ], [ %178, %177 ]
%27 = add nuw nsw i64 %26, 10
%28 = trunc i64 %26 to i32
%29 = tail call i32 @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i32 %28)
%30 = add nsw i64 %26, -1
%31 = icmp eq i64 %26, 0
br label %32
32: ; preds = %25, %174
%33 = phi i64 [ 0, %25 ], [ %175, %174 ]
%34 = add nuw nsw i64 %33, 10
%35 = getelementptr i8, i8* %1, i64 %34
%36 = getelementptr inbounds i8, i8* %15, i64 %33
br label %37
37: ; preds = %32, %163
%38 = phi i64 [ 0, %32 ], [ %164, %163 ]
%39 = add nuw nsw i64 %27, %38
%40 = getelementptr i8, i8* %1, i64 %39
%41 = add nsw i64 %30, %38
%42 = add nsw i64 %38, -1
%43 = getelementptr inbounds i8, i8* %15, i64 %42
store i8 0, i8* %43
%44 = add nuw i64 %26, %38
%45 = getelementptr inbounds i8, i8* %15, i64 %44
store i8 0, i8* %45
%46 = add nsw i64 %38, -2
%47 = getelementptr inbounds i8, i8* %15, i64 %46
store i8 0, i8* %47
%48 = add nsw i64 %41, 2
%49 = getelementptr inbounds i8, i8* %15, i64 %48
store i8 0, i8* %49
%50 = add nsw i64 %38, -3
%51 = getelementptr inbounds i8, i8* %15, i64 %50
store i8 0, i8* %51
%52 = add nsw i64 %41, 3
%53 = getelementptr inbounds i8, i8* %15, i64 %52
store i8 0, i8* %53
%54 = add nsw i64 %38, -4
%55 = getelementptr inbounds i8, i8* %15, i64 %54
store i8 0, i8* %55
%56 = add nsw i64 %41, 4
%57 = getelementptr inbounds i8, i8* %15, i64 %56
store i8 0, i8* %57
%58 = add nsw i64 %38, -5
%59 = getelementptr inbounds i8, i8* %15, i64 %58
store i8 0, i8* %59
%60 = add nsw i64 %41, 5
%61 = getelementptr inbounds i8, i8* %15, i64 %60
store i8 0, i8* %61
%62 = add nsw i64 %38, -6
%63 = getelementptr inbounds i8, i8* %15, i64 %62
store i8 0, i8* %63
%64 = add nsw i64 %41, 6
%65 = getelementptr inbounds i8, i8* %15, i64 %64
store i8 0, i8* %65
%66 = add nsw i64 %38, -7
%67 = getelementptr inbounds i8, i8* %15, i64 %66
store i8 0, i8* %67
%68 = add nsw i64 %41, 7
%69 = getelementptr inbounds i8, i8* %15, i64 %68
store i8 0, i8* %69
%70 = add nsw i64 %38, -8
%71 = getelementptr inbounds i8, i8* %15, i64 %70
store i8 0, i8* %71
%72 = add nsw i64 %41, 8
%73 = getelementptr inbounds i8, i8* %15, i64 %72
store i8 0, i8* %73
%74 = add nsw i64 %38, -9
%75 = getelementptr inbounds i8, i8* %15, i64 %74
store i8 0, i8* %75
%76 = add nsw i64 %41, 9
%77 = getelementptr inbounds i8, i8* %15, i64 %76
store i8 0, i8* %77
br i1 %31, label %79, label %78
78: ; preds = %37
br label %79
79: ; preds = %78, %37
%80 = load i8, i8* %43
%81 = load i8, i8* %47
%82 = load i8, i8* %51
%83 = load i8, i8* %55
%84 = load i8, i8* %59
%85 = load i8, i8* %63
%86 = load i8, i8* %67
%87 = load i8, i8* %71
%88 = load i8, i8* %75
%89 = getelementptr inbounds i8, i8* %15, i64 %38
%90 = tail call i32 @memmove(i8* %89, i8* %36, i32 %28)
br i1 %31, label %93, label %96
91: ; preds = %96
%92 = icmp eq i64 %104, %26
br i1 %92, label %93, label %96
93: ; preds = %91, %79
%94 = load i8, i8* %43
%95 = icmp eq i8 %94, %80
br i1 %95, label %168, label %166
96: ; preds = %79, %91
%97 = phi i64 [ %104, %91 ], [ 0, %79 ]
%98 = add nuw nsw i64 %97, %38
%99 = getelementptr inbounds i8, i8* %15, i64 %98
%100 = load i8, i8* %99
%101 = getelementptr inbounds i8, i8* %2, i64 %97
%102 = load i8, i8* %101
%103 = icmp eq i8 %100, %102
%104 = add nuw nsw i64 %97, 1
br i1 %103, label %91, label %105
105: ; preds = %96
%106 = tail call i32 (...) @abort()
unreachable
107: ; preds = %168
%108 = load i8, i8* %47
%109 = icmp eq i8 %108, %81
br i1 %109, label %110, label %166
110: ; preds = %107
%111 = load i8, i8* %49
%112 = load i8, i8* %17
%113 = icmp eq i8 %111, %112
br i1 %113, label %114, label %172
114: ; preds = %110
%115 = load i8, i8* %51
%116 = icmp eq i8 %115, %82
br i1 %116, label %117, label %166
117: ; preds = %114
%118 = load i8, i8* %53
%119 = load i8, i8* %18
%120 = icmp eq i8 %118, %119
br i1 %120, label %121, label %172
121: ; preds = %117
%122 = load i8, i8* %55
%123 = icmp eq i8 %122, %83
br i1 %123, label %124, label %166
124: ; preds = %121
%125 = load i8, i8* %57
%126 = load i8, i8* %19
%127 = icmp eq i8 %125, %126
br i1 %127, label %128, label %172
128: ; preds = %124
%129 = load i8, i8* %59
%130 = icmp eq i8 %129, %84
br i1 %130, label %131, label %166
131: ; preds = %128
%132 = load i8, i8* %61
%133 = load i8, i8* %20
%134 = icmp eq i8 %132, %133
br i1 %134, label %135, label %172
135: ; preds = %131
%136 = load i8, i8* %63
%137 = icmp eq i8 %136, %85
br i1 %137, label %138, label %166
138: ; preds = %135
%139 = load i8, i8* %65
%140 = load i8, i8* %21
%141 = icmp eq i8 %139, %140
br i1 %141, label %142, label %172
142: ; preds = %138
%143 = load i8, i8* %67
%144 = icmp eq i8 %143, %86
br i1 %144, label %145, label %166
145: ; preds = %142
%146 = load i8, i8* %69
%147 = load i8, i8* %22
%148 = icmp eq i8 %146, %147
br i1 %148, label %149, label %172
149: ; preds = %145
%150 = load i8, i8* %71
%151 = icmp eq i8 %150, %87
br i1 %151, label %152, label %166
152: ; preds = %149
%153 = load i8, i8* %73
%154 = load i8, i8* %23
%155 = icmp eq i8 %153, %154
br i1 %155, label %156, label %172
156: ; preds = %152
%157 = load i8, i8* %75
%158 = icmp eq i8 %157, %88
br i1 %158, label %159, label %166
159: ; preds = %156
%160 = load i8, i8* %77
%161 = load i8, i8* %24
%162 = icmp eq i8 %160, %161
br i1 %162, label %163, label %172
163: ; preds = %159
%164 = add nuw nsw i64 %38, 1
%165 = icmp eq i64 %164, 17
br i1 %165, label %174, label %37
166: ; preds = %156, %149, %142, %135, %128, %121, %114, %107, %93
%167 = tail call i32 (...) @abort()
unreachable
168: ; preds = %93
%169 = load i8, i8* %45
%170 = load i8, i8* %16
%171 = icmp eq i8 %169, %170
br i1 %171, label %107, label %172
172: ; preds = %159, %152, %145, %138, %131, %124, %117, %110, %168
%173 = tail call i32 (...) @abort()
unreachable
174: ; preds = %163
%175 = add nuw nsw i64 %33, 1
%176 = icmp eq i64 %175, 17
br i1 %176, label %177, label %32
177: ; preds = %174
%178 = add nuw nsw i64 %26, 1
%179 = icmp eq i64 %178, 256
br i1 %179, label %180, label %25
180: ; preds = %177
%181 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @.str.1, i64 0, i64 0))
ret i32 0
}