void evolve(int width, int height, unsigned universe[height][width]) {
  unsigned newUniverse[height][width];
  for (int x = 0; x < width; x++) {
    for (int y = 0; y < height; y++) {
      int n = 0;
      for (int y1 = y - 1; y1 <= y + 1; y1++) {
        for (int x1 = x - 1; x1 <= x + 1; x1++) {
          if (universe[(y1 + height) % height][(x1 + width) % width]) {
            n++;
          }
        }
      }
      if (universe[y][x]) {
        n--;
      }
      newUniverse[y][x] = (n == 3 || (n == 2 && universe[y][x]));
    }
  }
  for (int x = 0; x < width; x++) {
    for (int y = 0; y < height; y++) {
      universe[y][x] = newUniverse[y][x];
    }
  }
}


x86 assembly (clang, -O0):
<evolve>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,%ecx
mov    -0x4(%rbp),%eax
mov    %eax,%esi
mov    %rsi,-0x60(%rbp)
mov    %rsi,%rax
mov    %rax,-0x58(%rbp)
mov    %rsp,%rdx
mov    %rdx,-0x18(%rbp)
mov    %rcx,%rdx
imul   %rsi,%rdx
lea    0xf(,%rdx,4),%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rdx
sub    %rsi,%rdx
mov    %rdx,-0x50(%rbp)
mov    %rdx,%rsp
mov    %rcx,-0x20(%rbp)
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    12f1 <evolve+0x1f1>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    12de <evolve+0x1de>
movl   $0x0,-0x34(%rbp)
mov    -0x30(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jg     1232 <evolve+0x132>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jg     121f <evolve+0x11f>
mov    -0x10(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x38(%rbp),%eax
add    -0x8(%rbp),%eax
cltd
idivl  -0x8(%rbp)
mov    -0x70(%rbp),%rax
mov    %edx,%ecx
mov    -0x60(%rbp),%rdx
movslq %ecx,%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x3c(%rbp),%eax
add    -0x4(%rbp),%eax
cltd
idivl  -0x4(%rbp)
mov    -0x68(%rbp),%rax
movslq %edx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     120c <evolve+0x10c>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1211 <evolve+0x111>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11a9 <evolve+0xa9>
jmp    1224 <evolve+0x124>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    118f <evolve+0x8f>
mov    -0x60(%rbp),%rdx
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1260 <evolve+0x160>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
mov    $0x1,%al
cmpl   $0x3,-0x34(%rbp)
mov    %al,-0x71(%rbp)
je     12a9 <evolve+0x1a9>
xor    %eax,%eax
cmpl   $0x2,-0x34(%rbp)
mov    %al,-0x72(%rbp)
jne    12a3 <evolve+0x1a3>
mov    -0x60(%rbp),%rdx
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
setne  %al
mov    %al,-0x72(%rbp)
mov    -0x72(%rbp),%al
mov    %al,-0x71(%rbp)
mov    -0x50(%rbp),%rax
mov    -0x58(%rbp),%rsi
mov    -0x71(%rbp),%cl
and    $0x1,%cl
movzbl %cl,%edx
movslq -0x30(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1173 <evolve+0x73>
jmp    12e3 <evolve+0x1e3>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1160 <evolve+0x60>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1374 <evolve+0x274>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1361 <evolve+0x261>
mov    -0x60(%rbp),%rsi
mov    -0x50(%rbp),%rax
mov    -0x58(%rbp),%rdx
movslq -0x44(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x40(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    130b <evolve+0x20b>
jmp    1366 <evolve+0x266>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    12f8 <evolve+0x1f8>
mov    -0x18(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<evolve>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x88,%rsp
mov    %edi,%ecx
mov    %esi,-0x30(%rbp)
mov    %esi,%r12d
mov    %r12,%rax
mov    %rcx,-0x38(%rbp)
imul   %rcx,%rax
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%rcx
sub    %rax,%rcx
mov    %rcx,-0x58(%rbp)
mov    %rcx,%rsp
test   %edi,%edi
jle    1591 <evolve+0x491>
mov    %rdx,%r9
mov    -0x38(%rbp),%rsi
lea    0x0(,%rsi,4),%rax
mov    %rax,-0x40(%rbp)
xor    %ebx,%ebx
mov    -0x30(%rbp),%r8d
mov    %rdi,-0x48(%rbp)
jmp    1184 <evolve+0x84>
nopw   0x0(%rax,%rax,1)
mov    -0x50(%rbp),%rax
mov    %rax,%rbx
mov    -0x48(%rbp),%rdi
cmp    %rsi,%rax
je     12c0 <evolve+0x1c0>
test   %r8d,%r8d
jle    12b0 <evolve+0x1b0>
lea    (%rbx,%rdi,1),%eax
add    $0xffffffff,%eax
cltd
idiv   %edi
movslq %edx,%r15
lea    (%rbx,%rdi,1),%eax
cltd
idiv   %edi
movslq %edx,%r13
lea    0x1(%rbx),%rax
mov    %rax,-0x50(%rbp)
add    %edi,%eax
cltd
idiv   %edi
movslq %edx,%r11
shl    $0x2,%rbx
mov    $0xffffffffffffffff,%r10
xor    %ecx,%ecx
jmp    11e9 <evolve+0xe9>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    $0x1,%al
movzbl %al,%eax
mov    -0x58(%rbp),%rdx
mov    %eax,(%rdx,%rbx,1)
add    $0x1,%r10
add    -0x40(%rbp),%rbx
cmp    %rcx,%r12
je     1170 <evolve+0x70>
lea    (%r12,%r10,1),%eax
cltd
idiv   %r8d
movslq %edx,%rax
imul   %rsi,%rax
lea    (%r9,%rax,4),%rax
xor    %r14d,%r14d
cmpl   $0x0,(%rax,%r15,4)
setne  %r14b
cmpl   $0x1,(%rax,%r13,4)
sbb    $0xffffffff,%r14d
cmpl   $0x1,(%rax,%r11,4)
sbb    $0xffffffff,%r14d
mov    %ecx,%edi
lea    (%r12,%rdi,1),%eax
cltd
idiv   %r8d
movslq %edx,%rax
imul   %rsi,%rax
lea    (%r9,%rax,4),%rax
cmpl   $0x1,(%rax,%r15,4)
sbb    $0xffffffff,%r14d
cmpl   $0x1,(%rax,%r13,4)
sbb    $0xffffffff,%r14d
cmpl   $0x1,(%rax,%r11,4)
sbb    $0xffffffff,%r14d
add    $0x1,%rcx
lea    (%r12,%rdi,1),%eax
add    $0x1,%eax
cltd
idiv   %r12d
movslq %edx,%rax
imul   %rsi,%rax
lea    (%r9,%rax,4),%rax
cmpl   $0x1,(%rax,%r15,4)
sbb    $0xffffffff,%r14d
cmpl   $0x1,(%rax,%r13,4)
sbb    $0xffffffff,%r14d
cmpl   $0x1,(%rax,%r11,4)
sbb    $0xffffffff,%r14d
xor    %eax,%eax
cmpl   $0x0,(%r9,%rbx,1)
setne  %al
sub    %eax,%r14d
cmp    $0x3,%r14d
je     11d0 <evolve+0xd0>
cmp    $0x2,%r14d
je     11d2 <evolve+0xd2>
xor    %eax,%eax
jmp    11d2 <evolve+0xd2>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rbx
mov    %rbx,%rax
cmp    %rsi,%rax
jne    1184 <evolve+0x84>
test   %edi,%edi
jle    1591 <evolve+0x491>
mov    %r12d,%eax
and    $0xfffffff8,%eax
mov    %rax,-0x90(%rbp)
add    $0xfffffffffffffff8,%rax
mov    %rax,-0x88(%rbp)
mov    %rax,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
cmpl   $0x8,-0x30(%rbp)
setae  %al
cmp    $0x1,%edi
sete   %dl
and    %al,%dl
mov    %dl,-0x29(%rbp)
mov    %ecx,%eax
and    $0x3,%eax
mov    %rax,-0x60(%rbp)
and    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x78(%rbp)
mov    %r12d,%ecx
and    $0x3,%ecx
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
shl    $0x7,%rdx
mov    %rdx,-0x70(%rbp)
mov    %rax,%r8
shl    $0x5,%r8
mov    %rcx,-0x98(%rbp)
neg    %rcx
mov    %rcx,-0x80(%rbp)
shl    $0x4,%rax
mov    %rax,-0xa8(%rbp)
xor    %eax,%eax
mov    %rax,-0x68(%rbp)
mov    -0x58(%rbp),%r10
mov    %r9,%r13
xor    %eax,%eax
jmp    1382 <evolve+0x282>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    -0xa0(%rbp),%rax
add    $0x1,%rax
add    $0x4,%r13
add    $0x4,%r10
addq   $0x4,-0x68(%rbp)
cmp    -0x38(%rbp),%rax
je     1591 <evolve+0x491>
mov    %rax,-0xa0(%rbp)
cmpl   $0x0,-0x30(%rbp)
jle    1360 <evolve+0x260>
cmpb   $0x0,-0x29(%rbp)
je     13b0 <evolve+0x2b0>
cmpq   $0x18,-0x88(%rbp)
18
jae    13b8 <evolve+0x2b8>
mov    -0x40(%rbp),%r11
xor    %edi,%edi
jmp    144e <evolve+0x34e>
nopw   0x0(%rax,%rax,1)
xor    %r15d,%r15d
jmp    1493 <evolve+0x393>
mov    -0x40(%rbp),%r11
mov    -0x78(%rbp),%rcx
xor    %r14d,%r14d
xor    %edi,%edi
mov    -0x70(%rbp),%rsi
nopl   0x0(%rax)
lea    (%r10,%r14,1),%rax
movups (%r10,%r14,1),%xmm0
movups 0x10(%r10,%r14,1),%xmm1
lea    (%r14,%r13,1),%rdx
movups %xmm0,0x0(%r13,%r14,1)
movups %xmm1,0x10(%r13,%r14,1)
lea    (%rax,%r8,1),%rbx
movups (%r8,%rax,1),%xmm0
movups 0x10(%r8,%rax,1),%xmm1
lea    (%rdx,%r8,1),%rax
movups %xmm0,(%r8,%rdx,1)
movups %xmm1,0x10(%r8,%rdx,1)
lea    (%rbx,%r8,1),%rdx
movups (%r8,%rbx,1),%xmm0
movups 0x10(%r8,%rbx,1),%xmm1
lea    (%rax,%r8,1),%rbx
movups %xmm0,(%r8,%rax,1)
movups %xmm1,0x10(%r8,%rax,1)
movups (%r8,%rdx,1),%xmm0
movups 0x10(%r8,%rdx,1),%xmm1
movups %xmm0,(%r8,%rbx,1)
movups %xmm1,0x10(%r8,%rbx,1)
add    $0x20,%rdi
add    %rsi,%r14
add    $0xfffffffffffffffc,%rcx
jne    13d0 <evolve+0x2d0>
cmpq   $0x0,-0x60(%rbp)
je     1480 <evolve+0x380>
imul   %r11,%rdi
mov    -0x60(%rbp),%rax
nopl   (%rax)
movups (%r10,%rdi,1),%xmm0
movups 0x10(%r10,%rdi,1),%xmm1
movups %xmm0,0x0(%r13,%rdi,1)
movups %xmm1,0x10(%r13,%rdi,1)
add    %r8,%rdi
add    $0xffffffffffffffff,%rax
jne    1460 <evolve+0x360>
mov    -0x90(%rbp),%rax
mov    %rax,%r15
cmp    %r12,%rax
je     1360 <evolve+0x260>
mov    %r15,%rax
not    %rax
add    %r12,%rax
cmpq   $0x0,-0x98(%rbp)
je     14d8 <evolve+0x3d8>
mov    -0x40(%rbp),%rsi
mov    %rsi,%rcx
imul   %r15,%rcx
xor    %edi,%edi
mov    -0x80(%rbp),%rbx
nopw   0x0(%rax,%rax,1)
mov    (%r10,%rcx,1),%edx
mov    %edx,0x0(%r13,%rcx,1)
add    $0xffffffffffffffff,%rdi
add    %rsi,%rcx
cmp    %rdi,%rbx
jne    14c0 <evolve+0x3c0>
sub    %rdi,%r15
cmp    $0x3,%rax
jb     1360 <evolve+0x260>
mov    %r12,%rcx
sub    %r15,%rcx
lea    0x3(%r15),%rax
mov    -0x38(%rbp),%rsi
imul   %rsi,%rax
lea    (%r9,%rax,4),%rdx
mov    %rdx,-0x50(%rbp)
mov    -0x58(%rbp),%rdi
lea    (%rdi,%rax,4),%rax
mov    %rax,-0x48(%rbp)
lea    0x2(%r15),%rax
imul   %rsi,%rax
lea    (%r9,%rax,4),%rdx
mov    %rdx,-0xb0(%rbp)
lea    (%rdi,%rax,4),%rdx
mov    %rsi,%rax
imul   %r15,%rax
lea    (%r9,%rax,4),%r14
lea    (%rdi,%rax,4),%r11
add    $0x1,%r15
imul   %rsi,%r15
lea    (%r9,%r15,4),%rax
lea    (%rdi,%r15,4),%rdi
mov    -0x68(%rbp),%r15
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%r11,%r15,1),%ebx
mov    %ebx,(%r14,%r15,1)
mov    (%rdi,%r15,1),%ebx
mov    %ebx,(%rax,%r15,1)
mov    (%rdx,%r15,1),%ebx
mov    -0xb0(%rbp),%rsi
mov    %ebx,(%rsi,%r15,1)
mov    -0x48(%rbp),%rsi
mov    (%rsi,%r15,1),%ebx
mov    -0x50(%rbp),%rsi
mov    %ebx,(%rsi,%r15,1)
add    -0xa8(%rbp),%r15
add    $0xfffffffffffffffc,%rcx
jne    1550 <evolve+0x450>
jmp    1360 <evolve+0x260>
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @evolve(i32 %0, i32 %1, i32* %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i8*
%8 = alloca i64
%9 = alloca i64
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
store i32* %2, i32** %6
%17 = load i32, i32* %5
%18 = zext i32 %17 to i64
%19 = load i32, i32* %4
%20 = zext i32 %19 to i64
%21 = load i32, i32* %5
%22 = zext i32 %21 to i64
%23 = load i32, i32* %4
%24 = zext i32 %23 to i64
%25 = call i8* @llvm.stacksave()
store i8* %25, i8** %7
%26 = mul nuw i64 %22, %24
%27 = alloca i32, i64 %26
store i64 %22, i64* %8
store i64 %24, i64* %9
store i32 0, i32* %10
br label %28
28: ; preds = %130, %3
%29 = load i32, i32* %10
%30 = load i32, i32* %4
%31 = icmp slt i32 %29, %30
br i1 %31, label %32, label %133
32: ; preds = %28
store i32 0, i32* %11
br label %33
33: ; preds = %126, %32
%34 = load i32, i32* %11
%35 = load i32, i32* %5
%36 = icmp slt i32 %34, %35
br i1 %36, label %37, label %129
37: ; preds = %33
store i32 0, i32* %12
%38 = load i32, i32* %11
%39 = sub nsw i32 %38, 1
store i32 %39, i32* %13
br label %40
40: ; preds = %80, %37
%41 = load i32, i32* %13
%42 = load i32, i32* %11
%43 = add nsw i32 %42, 1
%44 = icmp sle i32 %41, %43
br i1 %44, label %45, label %83
45: ; preds = %40
%46 = load i32, i32* %10
%47 = sub nsw i32 %46, 1
store i32 %47, i32* %14
br label %48
48: ; preds = %76, %45
%49 = load i32, i32* %14
%50 = load i32, i32* %10
%51 = add nsw i32 %50, 1
%52 = icmp sle i32 %49, %51
br i1 %52, label %53, label %79
53: ; preds = %48
%54 = load i32*, i32** %6
%55 = load i32, i32* %13
%56 = load i32, i32* %5
%57 = add nsw i32 %55, %56
%58 = load i32, i32* %5
%59 = srem i32 %57, %58
%60 = sext i32 %59 to i64
%61 = mul nsw i64 %60, %20
%62 = getelementptr inbounds i32, i32* %54, i64 %61
%63 = load i32, i32* %14
%64 = load i32, i32* %4
%65 = add nsw i32 %63, %64
%66 = load i32, i32* %4
%67 = srem i32 %65, %66
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i32, i32* %62, i64 %68
%70 = load i32, i32* %69
%71 = icmp ne i32 %70, 0
br i1 %71, label %72, label %75
72: ; preds = %53
%73 = load i32, i32* %12
%74 = add nsw i32 %73, 1
store i32 %74, i32* %12
br label %75
75: ; preds = %72, %53
br label %76
76: ; preds = %75
%77 = load i32, i32* %14
%78 = add nsw i32 %77, 1
store i32 %78, i32* %14
br label %48
79: ; preds = %48
br label %80
80: ; preds = %79
%81 = load i32, i32* %13
%82 = add nsw i32 %81, 1
store i32 %82, i32* %13
br label %40
83: ; preds = %40
%84 = load i32*, i32** %6
%85 = load i32, i32* %11
%86 = sext i32 %85 to i64
%87 = mul nsw i64 %86, %20
%88 = getelementptr inbounds i32, i32* %84, i64 %87
%89 = load i32, i32* %10
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds i32, i32* %88, i64 %90
%92 = load i32, i32* %91
%93 = icmp ne i32 %92, 0
br i1 %93, label %94, label %97
94: ; preds = %83
%95 = load i32, i32* %12
%96 = add nsw i32 %95, -1
store i32 %96, i32* %12
br label %97
97: ; preds = %94, %83
%98 = load i32, i32* %12
%99 = icmp eq i32 %98, 3
br i1 %99, label %116, label %100
100: ; preds = %97
%101 = load i32, i32* %12
%102 = icmp eq i32 %101, 2
br i1 %102, label %103, label %114
103: ; preds = %100
%104 = load i32*, i32** %6
%105 = load i32, i32* %11
%106 = sext i32 %105 to i64
%107 = mul nsw i64 %106, %20
%108 = getelementptr inbounds i32, i32* %104, i64 %107
%109 = load i32, i32* %10
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i32, i32* %108, i64 %110
%112 = load i32, i32* %111
%113 = icmp ne i32 %112, 0
br label %114
114: ; preds = %103, %100
%115 = phi i1 [ false, %100 ], [ %113, %103 ]
br label %116
116: ; preds = %114, %97
%117 = phi i1 [ true, %97 ], [ %115, %114 ]
%118 = zext i1 %117 to i32
%119 = load i32, i32* %11
%120 = sext i32 %119 to i64
%121 = mul nsw i64 %120, %24
%122 = getelementptr inbounds i32, i32* %27, i64 %121
%123 = load i32, i32* %10
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i32, i32* %122, i64 %124
store i32 %118, i32* %125
br label %126
126: ; preds = %116
%127 = load i32, i32* %11
%128 = add nsw i32 %127, 1
store i32 %128, i32* %11
br label %33
129: ; preds = %33
br label %130
130: ; preds = %129
%131 = load i32, i32* %10
%132 = add nsw i32 %131, 1
store i32 %132, i32* %10
br label %28
133: ; preds = %28
store i32 0, i32* %15
br label %134
134: ; preds = %164, %133
%135 = load i32, i32* %15
%136 = load i32, i32* %4
%137 = icmp slt i32 %135, %136
br i1 %137, label %138, label %167
138: ; preds = %134
store i32 0, i32* %16
br label %139
139: ; preds = %160, %138
%140 = load i32, i32* %16
%141 = load i32, i32* %5
%142 = icmp slt i32 %140, %141
br i1 %142, label %143, label %163
143: ; preds = %139
%144 = load i32, i32* %16
%145 = sext i32 %144 to i64
%146 = mul nsw i64 %145, %24
%147 = getelementptr inbounds i32, i32* %27, i64 %146
%148 = load i32, i32* %15
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds i32, i32* %147, i64 %149
%151 = load i32, i32* %150
%152 = load i32*, i32** %6
%153 = load i32, i32* %16
%154 = sext i32 %153 to i64
%155 = mul nsw i64 %154, %20
%156 = getelementptr inbounds i32, i32* %152, i64 %155
%157 = load i32, i32* %15
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds i32, i32* %156, i64 %158
store i32 %151, i32* %159
br label %160
160: ; preds = %143
%161 = load i32, i32* %16
%162 = add nsw i32 %161, 1
store i32 %162, i32* %16
br label %139
163: ; preds = %139
br label %164
164: ; preds = %163
%165 = load i32, i32* %15
%166 = add nsw i32 %165, 1
store i32 %166, i32* %15
br label %134
167: ; preds = %134
%168 = load i8*, i8** %7
ret void
}

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