void fun(int a[][10], int m, int n, int x) {
  int i;
  if (m <= 0 || n <= 0)
    return;
  for (i = 0; i < m; i++)
    a[i][0] = x++;
  for (i = 1; i < n; i++)
    a[m - 1][i] = x++;
  for (i = m - 2; i >= 0 && n > 1; i--)
    a[i][n - 1] = x++;
  for (i = n - 2; i >= 1 && m > 1; i--)
    a[0][i] = x++;
  fun(*(a + 1) + 1, m - 2, n - 2, x);
}


x86 assembly (clang, -O0):
<fun>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
cmpl   $0x0,-0xc(%rbp)
jle    1139 <fun+0x29>
cmpl   $0x0,-0x10(%rbp)
jg     113e <fun+0x2e>
jmp    129e <fun+0x18e>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    117b <fun+0x6b>
mov    -0x14(%rbp),%ecx
mov    %ecx,%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rdx
imul   $0x28,%rdx,%rdx
add    %rdx,%rax
mov    %ecx,(%rax)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1145 <fun+0x35>
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11c2 <fun+0xb2>
mov    -0x14(%rbp),%edx
mov    %edx,%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1182 <fun+0x72>
mov    -0xc(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x18(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x18(%rbp)
mov    %al,-0x19(%rbp)
jl     11e4 <fun+0xd4>
cmpl   $0x1,-0x10(%rbp)
setg   %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    11f4 <fun+0xe4>
jmp    1228 <fun+0x118>
mov    -0x14(%rbp),%edx
mov    %edx,%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    11cb <fun+0xbb>
mov    -0x10(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x18(%rbp)
xor    %eax,%eax
cmpl   $0x1,-0x18(%rbp)
mov    %al,-0x1a(%rbp)
jl     124a <fun+0x13a>
cmpl   $0x1,-0xc(%rbp)
setg   %al
mov    %al,-0x1a(%rbp)
mov    -0x1a(%rbp),%al
test   $0x1,%al
jne    125a <fun+0x14a>
jmp    127e <fun+0x16e>
mov    -0x14(%rbp),%edx
mov    %edx,%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    1231 <fun+0x121>
mov    -0x8(%rbp),%rdi
add    $0x28,%rdi
add    $0x4,%rdi
mov    -0xc(%rbp),%esi
sub    $0x2,%esi
mov    -0x10(%rbp),%edx
sub    $0x2,%edx
mov    -0x14(%rbp),%ecx
call   1030 <fun@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fun>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdx,-0x48(%rsp)
test   %esi,%esi
jle    1617 <fun+0x517>
cmpl   $0x0,-0x48(%rsp)
jle    1617 <fun+0x517>
mov    -0x48(%rsp),%rax
lea    -0x3(%rax),%edx
lea    0x3(%rsi),%ebp
mov    %ebp,-0x18(%rsp)
lea    -0x2(%rsi),%ebp
lea    0x24(%rdi),%rbx
mov    %rbx,-0x10(%rsp)
lea    -0x1(%rsi),%r10d
lea    -0x1(%rax),%r12d
lea    -0x1c(%rdi),%r14
lea    -0x2(%rax),%r15d
xor    %eax,%eax
mov    %rax,-0x28(%rsp)
movdqa 0xea4(%rip),%xmm0
movdqa 0xeac(%rip),%xmm1
movdqa 0xeb4(%rip),%xmm2
movdqa 0xebc(%rip),%xmm3
movdqa 0xec4(%rip),%xmm4
mov    %edx,-0x14(%rsp)
mov    %edx,%r8d
mov    %ebp,-0x1c(%rsp)
mov    %ebp,%r13d
nopw   0x0(%rax,%rax,1)
mov    %esi,%r11d
lea    -0x1(%r11),%rax
cmp    $0x3,%rax
jae    11b0 <fun+0xb0>
xor    %edx,%edx
test   $0x3,%r11b
jne    11fa <fun+0xfa>
jmp    122f <fun+0x12f>
nopw   0x0(%rax,%rax,1)
mov    %rsi,%r9
mov    %r11d,%eax
and    $0xfffffffc,%eax
mov    %ecx,%esi
mov    %rdi,%rbp
xor    %edx,%edx
lea    (%rsi,%rdx,1),%ebx
mov    %ebx,0x0(%rbp)
lea    (%rsi,%rdx,1),%ebx
add    $0x1,%ebx
mov    %ebx,0x28(%rbp)
lea    0x2(%rsi,%rdx,1),%ebx
mov    %ebx,0x50(%rbp)
lea    (%rsi,%rdx,1),%ebx
add    $0x3,%ebx
mov    %ebx,0x78(%rbp)
add    $0x4,%rdx
add    $0xa0,%rbp
cmp    %rdx,%rax
jne    11c0 <fun+0xc0>
add    %edx,%ecx
mov    %r9,%rsi
test   $0x3,%r11b
je     122f <fun+0x12f>
mov    %esi,%eax
and    $0x3,%eax
shl    $0x3,%rax
lea    (%rax,%rax,4),%rax
lea    (%rdx,%rdx,4),%rdx
lea    (%rdi,%rdx,8),%rdx
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %ecx,(%rdx,%rbp,1)
add    $0x1,%ecx
add    $0x28,%rbp
cmp    %rbp,%rax
jne    1220 <fun+0x120>
mov    -0x48(%rsp),%r9d
cmp    $0x2,%r9d
jl     1617 <fun+0x517>
mov    %r11,-0x40(%rsp)
mov    %r14,-0x30(%rsp)
mov    %r10d,%edx
lea    (%rdx,%rdx,4),%r14
lea    -0x1(%r9),%rax
mov    $0x1,%r11d
cmp    $0x8,%rax
mov    %r8d,-0x34(%rsp)
mov    %rdx,-0x8(%rsp)
mov    %r15d,%r8d
mov    %rsi,%r15
jb     133d <fun+0x23d>
lea    -0x9(%r9),%rdx
mov    %rdx,%rbp
shr    $0x3,%rbp
add    $0x1,%rbp
movd   %ecx,%xmm5
pshufd $0x0,%xmm5,%xmm5
paddd  %xmm0,%xmm5
cmp    $0x8,%rdx
jae    12a0 <fun+0x1a0>
xor    %ebx,%ebx
jmp    12fd <fun+0x1fd>
nopl   0x0(%rax)
mov    %rbp,%rsi
and    $0xfffffffffffffffe,%rsi
mov    -0x10(%rsp),%rdx
lea    (%rdx,%r14,8),%rdx
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movdqa %xmm5,%xmm6
paddd  %xmm1,%xmm6
movdqu %xmm5,-0x20(%rdx,%rbx,4)
movdqu %xmm6,-0x10(%rdx,%rbx,4)
movdqa %xmm5,%xmm6
paddd  %xmm2,%xmm6
movdqa %xmm5,%xmm7
paddd  %xmm3,%xmm7
movdqu %xmm6,(%rdx,%rbx,4)
movdqu %xmm7,0x10(%rdx,%rbx,4)
add    $0x10,%rbx
paddd  %xmm4,%xmm5
add    $0xfffffffffffffffe,%rsi
jne    12c0 <fun+0x1c0>
mov    %rax,%r11
and    $0xfffffffffffffff8,%r11
test   $0x1,%bpl
je     1331 <fun+0x231>
mov    -0x40(%rsp),%rdx
add    $0xffffffff,%edx
shl    $0x2,%rbx
lea    (%rdx,%rdx,4),%rdx
lea    (%rdi,%rdx,8),%rdx
or     $0x4,%rbx
movdqu %xmm5,(%rbx,%rdx,1)
paddd  %xmm1,%xmm5
movdqu %xmm5,0x10(%rbx,%rdx,1)
add    %r11d,%ecx
cmp    %r11,%rax
je     1361 <fun+0x261>
or     $0x1,%r11
lea    (%rdi,%r14,8),%rax
lea    (%rax,%r11,4),%rax
mov    %r9,%rdx
sub    %r11,%rdx
mov    %ecx,%ecx
xor    %esi,%esi
nop
lea    (%rcx,%rsi,1),%ebx
mov    %ebx,(%rax,%rsi,4)
add    $0x1,%rsi
cmp    %rsi,%rdx
jne    1350 <fun+0x250>
add    %esi,%ecx
mov    %r15,%rsi
mov    -0x40(%rsp),%rbx
mov    -0x28(%rsp),%rax
lea    (%rax,%rax,1),%r14d
add    $0xfffffffe,%esi
mov    %r12d,%r12d
mov    %r13d,%r13d
cmp    $0x2,%r9d
mov    %r8d,%r15d
jl     1400 <fun+0x300>
cmp    $0x2,%ebx
mov    -0x34(%rsp),%r8d
jl     1457 <fun+0x357>
mov    -0x18(%rsp),%eax
sub    %r14d,%eax
mov    -0x1c(%rsp),%edx
sub    %r14d,%edx
test   $0x3,%al
je     1407 <fun+0x307>
mov    %rsi,%r11
and    $0x3,%r10d
lea    0x0(,%r13,4),%rax
add    %r13,%rax
lea    (%rdi,%rax,8),%rax
lea    (%rax,%r12,4),%rax
mov    %ecx,%ebx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    (%rbx,%rsi,1),%ebp
mov    %ebp,(%rax)
add    $0x1,%rsi
add    $0xffffffffffffffd8,%rax
cmp    %esi,%r10d
jne    13d0 <fun+0x2d0>
mov    %r13,%rbp
sub    %rsi,%rbp
add    %esi,%ecx
mov    %r11,%rsi
mov    -0x40(%rsp),%rbx
cmp    $0x3,%edx
jae    140f <fun+0x30f>
jmp    1457 <fun+0x357>
nopl   0x0(%rax)
mov    -0x34(%rsp),%r8d
jmp    1457 <fun+0x357>
mov    %rsi,%rbp
cmp    $0x3,%edx
jb     1457 <fun+0x357>
lea    0x1(%rbp),%eax
lea    0x0(,%rbp,4),%rdx
add    %rbp,%rdx
lea    (%rdi,%rdx,8),%rdx
lea    (%rdx,%r12,4),%rdx
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ecx,%ebp
mov    %ecx,(%rdx)
lea    0x1(%rbp),%ecx
mov    %ecx,-0x28(%rdx)
lea    0x2(%rbp),%ecx
mov    %ecx,-0x50(%rdx)
lea    0x4(%rbp),%ecx
add    $0x3,%ebp
mov    %ebp,-0x78(%rdx)
add    $0xfffffffc,%eax
add    $0xffffffffffffff60,%rdx
test   %eax,%eax
jg     1430 <fun+0x330>
mov    -0x48(%rsp),%rax
add    $0xfffffffe,%eax
mov    %rax,-0x48(%rsp)
cmp    $0x2,%ebx
jl     1490 <fun+0x390>
cmp    $0x3,%r9d
jl     1490 <fun+0x390>
mov    -0x14(%rsp),%eax
mov    %eax,%edx
sub    %r14d,%edx
cmp    $0x7,%edx
jae    14a0 <fun+0x3a0>
mov    -0x48(%rsp),%rdx
mov    -0x30(%rsp),%r14
jmp    15a1 <fun+0x4a1>
nopl   0x0(%rax)
mov    -0x30(%rsp),%r14
jmp    15c1 <fun+0x4c1>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rdx
mov    %rdx,%r10
movabs $0x1fffffff8,%rax
and    %rax,%r10
lea    -0x8(%r10),%rax
mov    %rax,%r11
shr    $0x3,%r11
add    $0x1,%r11
movd   %ecx,%xmm5
pshufd $0x0,%xmm5,%xmm5
paddd  %xmm0,%xmm5
test   %rax,%rax
mov    -0x30(%rsp),%r14
je     1606 <fun+0x506>
mov    %r8d,%ebx
add    $0x1,%rbx
and    $0xfffffffffffffff8,%rbx
add    $0xfffffffffffffff8,%rbx
shr    $0x3,%rbx
add    $0x1,%rbx
and    $0xfffffffffffffffe,%rbx
mov    %r15d,%eax
lea    (%r14,%rax,4),%rax
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movdqa %xmm5,%xmm6
paddd  %xmm1,%xmm6
pshufd $0x1b,%xmm5,%xmm7
movdqu %xmm7,0x10(%rax,%rbp,4)
pshufd $0x1b,%xmm6,%xmm6
movdqu %xmm6,(%rax,%rbp,4)
movdqa %xmm5,%xmm6
paddd  %xmm2,%xmm6
movdqa %xmm5,%xmm7
paddd  %xmm3,%xmm7
pshufd $0x1b,%xmm6,%xmm6
movdqu %xmm6,-0x10(%rax,%rbp,4)
pshufd $0x1b,%xmm7,%xmm6
movdqu %xmm6,-0x20(%rax,%rbp,4)
paddd  %xmm4,%xmm5
add    $0xfffffffffffffff0,%rbp
add    $0xfffffffffffffffe,%rbx
jne    1510 <fun+0x410>
neg    %rbp
test   $0x1,%r11b
je     158c <fun+0x48c>
mov    -0x48(%rsp),%rax
sub    %rbp,%rax
pshufd $0x1b,%xmm5,%xmm6
paddd  %xmm1,%xmm5
movdqu %xmm6,-0xc(%rdi,%rax,4)
pshufd $0x1b,%xmm5,%xmm5
movdqu %xmm5,-0x1c(%rdi,%rax,4)
add    %r10d,%ecx
cmp    %r10,%rdx
mov    -0x40(%rsp),%rbx
je     15c1 <fun+0x4c1>
mov    -0x48(%rsp),%rdx
sub    %r10,%rdx
lea    0x1(%rdx),%eax
lea    (%rdi,%rdx,4),%rdx
nopl   0x0(%rax,%rax,1)
mov    %ecx,(%rdx)
add    $0x1,%ecx
add    $0xffffffff,%eax
add    $0xfffffffffffffffc,%rdx
cmp    $0x1,%eax
jg     15b0 <fun+0x4b0>
cmp    $0x3,%ebx
jl     1617 <fun+0x517>
add    $0x2c,%rdi
mov    -0x28(%rsp),%rax
add    $0x1,%eax
mov    %rax,-0x28(%rsp)
addq   $0x2c,-0x10(%rsp)
mov    -0x8(%rsp),%r10
add    $0xfffffffe,%r10d
add    $0xfffffffe,%r13d
add    $0xfffffffe,%r12d
add    $0xfffffffe,%r8d
add    $0x2c,%r14
add    $0xfffffffe,%r15d
cmp    $0x2,%r9d
jg     1190 <fun+0x90>
jmp    1617 <fun+0x517>
xor    %ebp,%ebp
test   $0x1,%r11b
jne    156a <fun+0x46a>
jmp    158c <fun+0x48c>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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