#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*/ memset(int **, int /*<<< orphan*/, int);
void create_spiral_matrix(int nrow, int ncol, int mat[nrow][ncol]) {
  int left = 0, right = ncol - 1, top = 0, bottom = nrow - 1;
  int val = 1;
  memset(mat, 0, sizeof(int[nrow][ncol]));
  while (left <= right && top <= bottom) {
    int i;
    for (i = left; i <= right; i++)
      mat[top][i] = val++;
    for (i = top + 1; i <= bottom; i++)
      mat[i][right] = val++;
    for (i = right - 1; i >= left; i--)
      mat[bottom][i] = val++;
    for (i = bottom - 1; i > top; i--)
      mat[i][left] = val++;
    left++;
    right--;
    top++;
    bottom--;
  }
}


x86 assembly (clang, -O0):
<create_spiral_matrix>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    -0x8(%rbp),%eax
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
movl   $0x1,-0x24(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x4(%rbp),%eax
mov    -0x8(%rbp),%ecx
imul   %rcx,%rax
shl    $0x2,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1030 <memset@plt>
mov    -0x14(%rbp),%ecx
xor    %eax,%eax
cmp    -0x18(%rbp),%ecx
mov    %al,-0x31(%rbp)
jg     1188 <create_spiral_matrix+0x78>
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
setle  %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    1198 <create_spiral_matrix+0x88>
jmp    12ee <create_spiral_matrix+0x1de>
mov    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     11e1 <create_spiral_matrix+0xd1>
mov    -0x30(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    %edx,%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    119e <create_spiral_matrix+0x8e>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     122d <create_spiral_matrix+0x11d>
mov    -0x30(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    %edx,%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11ea <create_spiral_matrix+0xda>
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jl     1279 <create_spiral_matrix+0x169>
mov    -0x30(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    %edx,%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    1236 <create_spiral_matrix+0x126>
mov    -0x20(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jle    12c5 <create_spiral_matrix+0x1b5>
mov    -0x30(%rbp),%rsi
mov    -0x24(%rbp),%edx
mov    %edx,%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    1282 <create_spiral_matrix+0x172>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    116b <create_spiral_matrix+0x5b>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<create_spiral_matrix>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x88,%rsp
mov    %rdx,%rax
mov    %esi,%r13d
mov    %edi,%r14d
mov    %edi,%edx
imul   %esi,%edx
shl    $0x2,%edx
mov    %rax,0x30(%rsp)
mov    %rax,%rdi
xor    %esi,%esi
call   1030 <memset@plt>
test   %r13d,%r13d
jle    162a <create_spiral_matrix+0x51a>
test   %r14d,%r14d
jle    162a <create_spiral_matrix+0x51a>
mov    %r13d,%edi
add    $0xfffffffe,%r13d
mov    %r14d,%edx
add    $0xfffffffe,%r14d
mov    0x30(%rsp),%r8
lea    0x70(%r8),%rcx
lea    0x0(,%rdi,4),%rbx
lea    0x4(,%rdi,4),%rax
mov    %rax,0x78(%rsp)
lea    -0x8(%rdi),%rax
mov    %rax,0x50(%rsp)
lea    -0x4(%r8,%rdi,8),%rax
mov    %rax,0x48(%rsp)
lea    -0x4(,%rdi,4),%rax
ff
mov    %rax,0x70(%rsp)
mov    %rdx,%rbp
lea    -0x1(%rdx),%rax
mov    %rax,0x40(%rsp)
imul   %rdi,%rax
lea    (%r8,%rax,4),%rdx
add    $0xffffffffffffffe4,%rdx
mov    %rdx,0x38(%rsp)
mov    %rbx,%r12
neg    %r12
lea    (%r8,%rax,4),%r11
mov    $0x1,%esi
xor    %r9d,%r9d
movdqa 0xe29(%rip),%xmm8
movdqa 0xe31(%rip),%xmm1
movdqa 0xe39(%rip),%xmm2
movdqa 0xe41(%rip),%xmm3
movdqa 0xe49(%rip),%xmm4
movdqa 0xe50(%rip),%xmm9
movdqa 0xe57(%rip),%xmm10
movdqa 0xe5e(%rip),%xmm11
movdqa 0xe66(%rip),%xmm0
mov    %r8,%rdx
mov    %rdi,%r10
mov    %rdi,0x28(%rsp)
mov    %rbx,0x10(%rsp)
nopw   0x0(%rax,%rax,1)
mov    %rdx,0x60(%rsp)
mov    %r14d,0x1c(%rsp)
movslq %r13d,%r15
cmp    %r15,%r9
mov    %r15,%rax
cmovl  %r9,%rax
mov    %rax,0x80(%rsp)
lea    (%r9,%r9,1),%rax
mov    0x28(%rsp),%rdi
mov    %rdi,%r14
sub    %rax,%r14
cmp    $0x8,%r14
jae    1280 <create_spiral_matrix+0x170>
mov    %r9,%rax
mov    0x10(%rsp),%rbx
mov    %rbp,%rdx
jmp    13e0 <create_spiral_matrix+0x2d0>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r13d,0xc(%rsp)
mov    0x50(%rsp),%rbx
shr    $0x3,%rbx
neg    %rax
add    %rdi,%rax
add    $0xfffffffffffffff8,%rax
mov    %rax,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
movd   %esi,%xmm5
pshufd $0x0,%xmm5,%xmm5
paddd  %xmm8,%xmm5
cmp    $0x18,%rax
mov    %rbp,%rdx
jae    12d0 <create_spiral_matrix+0x1c0>
xor    %r13d,%r13d
jmp    1360 <create_spiral_matrix+0x250>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    0x1(%rbx),%rax
and    $0xfffffffffffffffc,%rax
xor    %r13d,%r13d
nopl   0x0(%rax,%rax,1)
movdqa %xmm5,%xmm6
paddd  %xmm1,%xmm6
movdqu %xmm5,-0x70(%rcx,%r13,4)
movdqu %xmm6,-0x60(%rcx,%r13,4)
movdqa %xmm5,%xmm6
paddd  %xmm2,%xmm6
movdqa %xmm5,%xmm7
paddd  %xmm3,%xmm7
movdqu %xmm6,-0x50(%rcx,%r13,4)
movdqu %xmm7,-0x40(%rcx,%r13,4)
movdqa %xmm5,%xmm6
paddd  %xmm4,%xmm6
movdqa %xmm5,%xmm7
paddd  %xmm9,%xmm7
movdqu %xmm6,-0x30(%rcx,%r13,4)
movdqu %xmm7,-0x20(%rcx,%r13,4)
movdqa %xmm5,%xmm6
paddd  %xmm10,%xmm6
movdqa %xmm5,%xmm7
paddd  %xmm11,%xmm7
movdqu %xmm6,-0x10(%rcx,%r13,4)
movdqu %xmm7,(%rcx,%r13,4)
add    $0x20,%r13
paddd  %xmm0,%xmm5
add    $0xfffffffffffffffc,%rax
jne    12e0 <create_spiral_matrix+0x1d0>
mov    %r14,%rax
and    $0xfffffffffffffff8,%rax
test   $0x3,%dil
je     13b0 <create_spiral_matrix+0x2a0>
add    $0x1,%bl
movzbl %bl,%ebp
and    $0x3,%ebp
shl    $0x5,%rbp
add    %r9,%r13
lea    (%r8,%r13,4),%rbx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa %xmm5,%xmm6
paddd  %xmm1,%xmm6
movdqu %xmm5,(%rbx,%rdi,1)
movdqu %xmm6,0x10(%rbx,%rdi,1)
paddd  %xmm2,%xmm5
add    $0x20,%rdi
cmp    %rdi,%rbp
jne    1390 <create_spiral_matrix+0x280>
add    %eax,%esi
cmp    %rax,%r14
jne    13d0 <create_spiral_matrix+0x2c0>
mov    0xc(%rsp),%r13d
mov    0x10(%rsp),%rbx
jmp    13f0 <create_spiral_matrix+0x2e0>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    %r9,%rax
mov    0xc(%rsp),%r13d
mov    0x10(%rsp),%rbx
nopl   (%rax)
mov    %esi,(%r8,%rax,4)
add    $0x1,%esi
add    $0x1,%rax
cmp    %rax,%r10
jne    13e0 <create_spiral_matrix+0x2d0>
lea    0x1(%r9),%rax
mov    %rax,0x58(%rsp)
cmp    %rdx,%rax
jge    141f <create_spiral_matrix+0x30f>
mov    0x40(%rsp),%rax
mov    0x48(%rsp),%rbp
nopl   0x0(%rax,%rax,1)
mov    %esi,0x0(%rbp)
add    $0x1,%esi
add    %rbx,%rbp
add    $0xffffffffffffffff,%rax
jne    1410 <create_spiral_matrix+0x300>
lea    -0x1(%rdx),%rax
mov    %rax,0x68(%rsp)
lea    -0x2(%r10),%rax
cmp    %r9,%rax
jl     1581 <create_spiral_matrix+0x471>
mov    %rdx,0x20(%rsp)
mov    0x80(%rsp),%rbp
mov    %rbp,%rax
neg    %rax
lea    (%r15,%rax,1),%rdx
add    $0x1,%rdx
cmp    $0x8,%rdx
jb     1560 <create_spiral_matrix+0x450>
mov    %r15,%rax
sub    %rbp,%rax
add    $0xfffffffffffffff9,%rax
mov    %rax,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
movd   %esi,%xmm5
pshufd $0x0,%xmm5,%xmm5
paddd  %xmm8,%xmm5
cmp    $0x8,%rax
jae    1487 <create_spiral_matrix+0x377>
xor    %eax,%eax
jmp    14fd <create_spiral_matrix+0x3ed>
mov    %rdi,%rbp
and    $0xfffffffffffffffe,%rbp
mov    0x38(%rsp),%rax
lea    (%rax,%r15,4),%r14
xor    %eax,%eax
nopl   0x0(%rax)
movdqa %xmm5,%xmm6
paddd  %xmm1,%xmm6
pshufd $0x1b,%xmm5,%xmm7
movdqu %xmm7,0x10(%r14,%rax,4)
pshufd $0x1b,%xmm6,%xmm6
movdqu %xmm6,(%r14,%rax,4)
movdqa %xmm5,%xmm6
paddd  %xmm2,%xmm6
movdqa %xmm5,%xmm7
paddd  %xmm3,%xmm7
pshufd $0x1b,%xmm6,%xmm6
movdqu %xmm6,-0x10(%r14,%rax,4)
pshufd $0x1b,%xmm7,%xmm6
movdqu %xmm6,-0x20(%r14,%rax,4)
paddd  %xmm4,%xmm5
add    $0xfffffffffffffff0,%rax
add    $0xfffffffffffffffe,%rbp
jne    14a0 <create_spiral_matrix+0x390>
neg    %rax
mov    0x10(%rsp),%rbx
mov    %rdx,%rbp
and    $0xfffffffffffffff8,%rbp
test   $0x1,%dil
je     154f <create_spiral_matrix+0x43f>
mov    0x68(%rsp),%rdi
imul   0x28(%rsp),%rdi
mov    %r13d,0xc(%rsp)
mov    0x30(%rsp),%rbx
lea    (%rbx,%rdi,4),%r14
mov    0xc(%rsp),%r13d
mov    %r15,%rdi
sub    %rax,%rdi
pshufd $0x1b,%xmm5,%xmm6
paddd  %xmm1,%xmm5
movdqu %xmm6,-0xc(%r14,%rdi,4)
pshufd $0x1b,%xmm5,%xmm5
movdqu %xmm5,-0x1c(%r14,%rdi,4)
mov    0x10(%rsp),%rbx
add    %ebp,%esi
cmp    %rbp,%rdx
jne    155d <create_spiral_matrix+0x44d>
mov    0x20(%rsp),%rdx
jmp    1581 <create_spiral_matrix+0x471>
sub    %rbp,%r15
mov    0x20(%rsp),%rdx
add    $0x1,%r15
nopl   0x0(%rax)
mov    %esi,-0x4(%r11,%r15,4)
add    $0x1,%esi
add    $0xffffffffffffffff,%r15
cmp    %r9,%r15
jg     1570 <create_spiral_matrix+0x460>
add    $0xffffffffffffffff,%r10
add    $0xfffffffffffffffe,%rdx
cmp    %r9,%rdx
jle    15d0 <create_spiral_matrix+0x4c0>
mov    0x1c(%rsp),%r14d
movslq %r14d,%rax
mov    0x28(%rsp),%rdi
imul   %rax,%rdi
mov    0x60(%rsp),%rdx
lea    (%rdx,%rdi,4),%rbp
mov    0x58(%rsp),%rdi
nopl   (%rax)
mov    %esi,0x0(%rbp)
add    $0x1,%esi
add    $0xffffffffffffffff,%rax
add    %r12,%rbp
cmp    %r9,%rax
jg     15b0 <create_spiral_matrix+0x4a0>
cmp    %r10,%rdi
jl     15e4 <create_spiral_matrix+0x4d4>
jmp    162a <create_spiral_matrix+0x51a>
nopl   0x0(%rax)
mov    0x1c(%rsp),%r14d
mov    0x60(%rsp),%rdx
mov    0x58(%rsp),%rdi
cmp    %r10,%rdi
jge    162a <create_spiral_matrix+0x51a>
add    $0xffffffff,%r13d
add    $0xffffffff,%r14d
add    0x78(%rsp),%rcx
addq   $0xfffffffffffffffe,0x50(%rsp)
add    %rbx,%r8
mov    0x70(%rsp),%rax
add    %rax,0x48(%rsp)
addq   $0xfffffffffffffffe,0x40(%rsp)
add    %r12,0x38(%rsp)
add    %r12,%r11
add    $0x4,%rdx
mov    0x68(%rsp),%rax
mov    %rax,%rbp
mov    %rdi,%r9
cmp    %rax,%rdi
jl     1230 <create_spiral_matrix+0x120>
add    $0x88,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @create_spiral_matrix(i32 %0, i32 %1, i32* %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
store i32* %2, i32** %6
%13 = load i32, i32* %4
%14 = zext i32 %13 to i64
%15 = load i32, i32* %5
%16 = zext i32 %15 to i64
store i32 0, i32* %7
%17 = load i32, i32* %5
%18 = sub nsw i32 %17, 1
store i32 %18, i32* %8
store i32 0, i32* %9
%19 = load i32, i32* %4
%20 = sub nsw i32 %19, 1
store i32 %20, i32* %10
store i32 1, i32* %11
%21 = load i32*, i32** %6
%22 = bitcast i32* %21 to i32**
%23 = load i32, i32* %4
%24 = zext i32 %23 to i64
%25 = load i32, i32* %5
%26 = zext i32 %25 to i64
%27 = mul nuw i64 %24, %26
%28 = mul nuw i64 4, %27
%29 = trunc i64 %28 to i32
%30 = call i32 @memset(i32** %22, i32 0, i32 %29)
br label %31
31: ; preds = %124, %3
%32 = load i32, i32* %7
%33 = load i32, i32* %8
%34 = icmp sle i32 %32, %33
br i1 %34, label %35, label %39
35: ; preds = %31
%36 = load i32, i32* %9
%37 = load i32, i32* %10
%38 = icmp sle i32 %36, %37
br label %39
39: ; preds = %35, %31
%40 = phi i1 [ false, %31 ], [ %38, %35 ]
br i1 %40, label %41, label %133
41: ; preds = %39
%42 = load i32, i32* %7
store i32 %42, i32* %12
br label %43
43: ; preds = %58, %41
%44 = load i32, i32* %12
%45 = load i32, i32* %8
%46 = icmp sle i32 %44, %45
br i1 %46, label %47, label %61
47: ; preds = %43
%48 = load i32, i32* %11
%49 = add nsw i32 %48, 1
store i32 %49, i32* %11
%50 = load i32*, i32** %6
%51 = load i32, i32* %9
%52 = sext i32 %51 to i64
%53 = mul nsw i64 %52, %16
%54 = getelementptr inbounds i32, i32* %50, i64 %53
%55 = load i32, i32* %12
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %54, i64 %56
store i32 %48, i32* %57
br label %58
58: ; preds = %47
%59 = load i32, i32* %12
%60 = add nsw i32 %59, 1
store i32 %60, i32* %12
br label %43
61: ; preds = %43
%62 = load i32, i32* %9
%63 = add nsw i32 %62, 1
store i32 %63, i32* %12
br label %64
64: ; preds = %79, %61
%65 = load i32, i32* %12
%66 = load i32, i32* %10
%67 = icmp sle i32 %65, %66
br i1 %67, label %68, label %82
68: ; preds = %64
%69 = load i32, i32* %11
%70 = add nsw i32 %69, 1
store i32 %70, i32* %11
%71 = load i32*, i32** %6
%72 = load i32, i32* %12
%73 = sext i32 %72 to i64
%74 = mul nsw i64 %73, %16
%75 = getelementptr inbounds i32, i32* %71, i64 %74
%76 = load i32, i32* %8
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %75, i64 %77
store i32 %69, i32* %78
br label %79
79: ; preds = %68
%80 = load i32, i32* %12
%81 = add nsw i32 %80, 1
store i32 %81, i32* %12
br label %64
82: ; preds = %64
%83 = load i32, i32* %8
%84 = sub nsw i32 %83, 1
store i32 %84, i32* %12
br label %85
85: ; preds = %100, %82
%86 = load i32, i32* %12
%87 = load i32, i32* %7
%88 = icmp sge i32 %86, %87
br i1 %88, label %89, label %103
89: ; preds = %85
%90 = load i32, i32* %11
%91 = add nsw i32 %90, 1
store i32 %91, i32* %11
%92 = load i32*, i32** %6
%93 = load i32, i32* %10
%94 = sext i32 %93 to i64
%95 = mul nsw i64 %94, %16
%96 = getelementptr inbounds i32, i32* %92, i64 %95
%97 = load i32, i32* %12
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds i32, i32* %96, i64 %98
store i32 %90, i32* %99
br label %100
100: ; preds = %89
%101 = load i32, i32* %12
%102 = add nsw i32 %101, -1
store i32 %102, i32* %12
br label %85
103: ; preds = %85
%104 = load i32, i32* %10
%105 = sub nsw i32 %104, 1
store i32 %105, i32* %12
br label %106
106: ; preds = %121, %103
%107 = load i32, i32* %12
%108 = load i32, i32* %9
%109 = icmp sgt i32 %107, %108
br i1 %109, label %110, label %124
110: ; preds = %106
%111 = load i32, i32* %11
%112 = add nsw i32 %111, 1
store i32 %112, i32* %11
%113 = load i32*, i32** %6
%114 = load i32, i32* %12
%115 = sext i32 %114 to i64
%116 = mul nsw i64 %115, %16
%117 = getelementptr inbounds i32, i32* %113, i64 %116
%118 = load i32, i32* %7
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i32, i32* %117, i64 %119
store i32 %111, i32* %120
br label %121
121: ; preds = %110
%122 = load i32, i32* %12
%123 = add nsw i32 %122, -1
store i32 %123, i32* %12
br label %106
124: ; preds = %106
%125 = load i32, i32* %7
%126 = add nsw i32 %125, 1
store i32 %126, i32* %7
%127 = load i32, i32* %8
%128 = add nsw i32 %127, -1
store i32 %128, i32* %8
%129 = load i32, i32* %9
%130 = add nsw i32 %129, 1
store i32 %130, i32* %9
%131 = load i32, i32* %10
%132 = add nsw i32 %131, -1
store i32 %132, i32* %10
br label %31
133: ; preds = %39
ret void
}

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