#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*/ printf(char *, ...);
void RotateMatrix(int matrix[][4], int n) {
  for (int layer = 0; layer < n / 2; ++layer) {
    printf("\n");
    int first = layer;
    printf("first = layer = %d\n", first);
    int last = n - 1 - layer;
    printf("last = %d\n", last);
    for (int i = first; i < last; ++i) {
      printf("\n");
      int offset = i - first;
      printf("offset = %d\n", offset);
      int top = matrix[first][i];
      printf("top = %d \t\t\t=\t matrix[%d][%d] = %d\n", top, first, i,
             matrix[first][i]);
      printf("matrix[%d][%d] = %d \t=\t matrix[%d][%d] = %d\n", first, i,
             matrix[first][i], last - offset, first,
             matrix[last - offset][first]);
      matrix[first][i] = matrix[last - offset][first];
      printf("matrix[%d][%d] = %d \t=\t matrix[%d][%d] = %d\n", last - offset,
             first, matrix[last - offset][first], last, last - offset,
             matrix[last][last - offset]);
      matrix[last - offset][first] = matrix[last][last - offset];
      printf("matrix[%d][%d] = %d \t=\t matrix[%d][%d] = %d\n", last,
             last - offset, matrix[last][last - offset], i, last,
             matrix[i][last]);
      matrix[last][last - offset] = matrix[i][last];
      printf("matrix[%d][%d] = %d \t=\t top = %d\n", i, last, matrix[i][last],
             top);
      matrix[i][last] = top;
    }
  }
}


x86 assembly (clang, -O0):
<RotateMatrix>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x28(%rbp),%eax
cmp    %ecx,%eax
jge    140a <RotateMatrix+0x2fa>
lea    0xf03(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%esi
lea    0xe9e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
sub    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%esi
lea    0xe95(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    13f7 <RotateMatrix+0x2e7>
lea    0xeaf(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1c(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%esi
lea    0xe66(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x1c(%rbp),%ecx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rdi
shl    $0x4,%rdi
add    %rdi,%rax
movslq -0x1c(%rbp),%rdi
mov    (%rax,%rdi,4),%r8d
lea    0xe2c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x14(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x18(%rbp),%r8d
sub    -0x20(%rbp),%r8d
mov    -0x14(%rbp),%r9d
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%edi
sub    -0x20(%rbp),%edi
movslq %edi,%rdi
shl    $0x4,%rdi
add    %rdi,%rax
movslq -0x14(%rbp),%rdi
mov    (%rax,%rdi,4),%eax
lea    0xdff(%rip),%rdi
mov    %eax,(%rsp)
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%esi
sub    -0x20(%rbp),%esi
mov    -0x14(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x18(%rbp),%r8d
mov    -0x18(%rbp),%r9d
sub    -0x20(%rbp),%r9d
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rdi
shl    $0x4,%rdi
add    %rdi,%rax
mov    -0x18(%rbp),%edi
sub    -0x20(%rbp),%edi
movslq %edi,%rdi
mov    (%rax,%rdi,4),%eax
lea    0xd72(%rip),%rdi
mov    %eax,(%rsp)
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%esi
mov    -0x18(%rbp),%edx
sub    -0x20(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x1c(%rbp),%r8d
mov    -0x18(%rbp),%r9d
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rdi
shl    $0x4,%rdi
add    %rdi,%rax
movslq -0x18(%rbp),%rdi
mov    (%rax,%rdi,4),%eax
lea    0xce9(%rip),%rdi
mov    %eax,(%rsp)
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x24(%rbp),%r8d
lea    0xcb4(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x24(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    118c <RotateMatrix+0x7c>
jmp    13fc <RotateMatrix+0x2ec>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1126 <RotateMatrix+0x16>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<RotateMatrix>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
mov    %rsi,0x28(%rsp)
cmp    $0x2,%esi
jl     1388 <RotateMatrix+0x268>
mov    %rdi,%r15
mov    0x28(%rsp),%rax
mov    %eax,%ecx
shr    %ecx
mov    %rcx,0x60(%rsp)
add    $0xffffffff,%eax
mov    %eax,0x18(%rsp)
xor    %eax,%eax
mov    %rax,0x38(%rsp)
xor    %eax,%eax
mov    %rax,0x30(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
jmp    119d <RotateMatrix+0x7d>
nopl   0x0(%rax,%rax,1)
mov    0x10(%rsp),%rcx
add    $0x1,%rcx
addl   $0xffffffff,0x18(%rsp)
addq   $0x14,0x30(%rsp)
addq   $0x4,0x38(%rsp)
mov    %rcx,%rax
mov    %rcx,0x10(%rsp)
cmp    0x60(%rsp),%rcx
je     1388 <RotateMatrix+0x268>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xe52(%rip),%rdi
mov    0x10(%rsp),%r14
mov    %r14d,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r14d,%ebx
not    %ebx
add    0x28(%rsp),%ebx
lea    0xe47(%rip),%rdi
mov    %ebx,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %ebx,0x1c(%rsp)
movslq %ebx,%rax
cmp    %rax,%r14
jge    1170 <RotateMatrix+0x50>
mov    0x18(%rsp),%r13d
movslq %r13d,%rax
lea    0x0(,%rax,4),%rcx
lea    (%rcx,%rcx,4),%rcx
mov    %rcx,0x48(%rsp)
mov    0x10(%rsp),%rdx
lea    (%rdx,%rax,4),%rbx
mov    0x38(%rsp),%rcx
add    %rax,%rcx
mov    %rcx,0x40(%rsp)
mov    %eax,%eax
neg    %rax
add    %rdx,%rax
mov    %rax,0x68(%rsp)
mov    0x30(%rsp),%r12
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
mov    %rbx,0x50(%rsp)
mov    %rcx,0x58(%rsp)
mov    0x10(%rsp),%r14
lea    (%r14,%rcx,1),%ebp
mov    %ebp,0x20(%rsp)
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xdc7(%rip),%rdi
mov    0x58(%rsp),%rsi
xor    %eax,%eax
call   1040 <printf@plt>
mov    (%r15,%r12,1),%esi
mov    %esi,0x24(%rsp)
lea    0xdb9(%rip),%rdi
mov    %r14d,%edx
mov    %ebp,%ecx
mov    %esi,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    (%r15,%r12,1),%ecx
mov    %r12,0x70(%rsp)
mov    (%r15,%rbx,4),%eax
mov    %eax,(%rsp)
lea    0xdb7(%rip),%rdi
mov    %r14d,%esi
mov    %ebp,%edx
mov    %r13d,%r8d
mov    %r14d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    (%r15,%rbx,4),%eax
mov    %eax,(%r15,%r12,1)
mov    (%r15,%rbx,4),%ecx
mov    0x48(%rsp),%r12
mov    (%r15,%r12,1),%eax
mov    %eax,(%rsp)
lea    0xd86(%rip),%rdi
mov    %r13d,%esi
mov    %r14d,%edx
mov    0x1c(%rsp),%ebp
mov    %ebp,%r8d
mov    %r13d,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    (%r15,%r12,1),%eax
mov    0x50(%rsp),%rcx
mov    %eax,(%r15,%rcx,4)
mov    (%r15,%r12,1),%ecx
mov    0x40(%rsp),%r14
mov    (%r15,%r14,4),%eax
mov    %eax,(%rsp)
lea    0xd4b(%rip),%rdi
mov    %ebp,%esi
mov    %r13d,%edx
mov    0x20(%rsp),%ebx
mov    %ebx,%r8d
mov    %ebp,%r9d
xor    %eax,%eax
call   1040 <printf@plt>
mov    (%r15,%r14,4),%eax
mov    %eax,(%r15,%r12,1)
mov    (%r15,%r14,4),%ecx
lea    0xd4f(%rip),%rdi
mov    %ebx,%esi
mov    %ebp,%edx
mov    0x24(%rsp),%ebx
mov    %ebx,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x58(%rsp),%rcx
mov    %ebx,(%r15,%r14,4)
add    $0xffffffff,%r13d
add    $0x1,%rcx
add    $0xfffffffffffffffc,%r12
mov    %r12,0x48(%rsp)
mov    0x50(%rsp),%rbx
add    $0xfffffffffffffffc,%rbx
mov    0x70(%rsp),%r12
add    $0x4,%r12
add    $0x4,%r14
mov    %r14,0x40(%rsp)
mov    0x68(%rsp),%rax
add    %rcx,%rax
jne    1230 <RotateMatrix+0x110>
jmp    1170 <RotateMatrix+0x50>
add    $0x78,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str.1 = [20 x i8] c"first = layer = %d\0A\00"
@.str.2 = [11 x i8] c"last = %d\0A\00"
@.str.3 = [13 x i8] c"offset = %d\0A\00"
@.str.4 = [36 x i8] c"top = %d \09\09\09=\09 matrix[%d][%d] = %d\0A\00"
@.str.5 = [45 x i8] c"matrix[%d][%d] = %d \09=\09 matrix[%d][%d] = %d\0A\00"
@.str.6 = [34 x i8] c"matrix[%d][%d] = %d \09=\09 top = %d\0A\00"
define void @RotateMatrix([4 x i32]* nocapture %0, i32 %1) {
%3 = icmp sgt i32 %1, 1
br i1 %3, label %4, label %7
4: ; preds = %2
%5 = lshr i32 %1, 1
%6 = zext i32 %5 to i64
br label %8
7: ; preds = %23, %2
ret void
8: ; preds = %4, %23
%9 = phi i32 [ %1, %4 ], [ %11, %23 ]
%10 = phi i64 [ 0, %4 ], [ %24, %23 ]
%11 = add i32 %9, -1
%12 = tail call i32 @putchar(i32 10)
%13 = trunc i64 %10 to i32
%14 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @.str.1, i64 0, i64 0), i32 %13)
%15 = trunc i64 %10 to i32
%16 = xor i32 %15, -1
%17 = add i32 %16, %1
%18 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0), i32 %17)
%19 = sext i32 %17 to i64
%20 = icmp slt i64 %10, %19
br i1 %20, label %21, label %23
21: ; preds = %8
%22 = zext i32 %11 to i64
br label %26
23: ; preds = %26, %8
%24 = add nuw nsw i64 %10, 1
%25 = icmp eq i64 %24, %6
br i1 %25, label %7, label %8
26: ; preds = %21, %26
%27 = phi i64 [ %10, %21 ], [ %57, %26 ]
%28 = trunc i64 %27 to i32
%29 = tail call i32 @putchar(i32 10)
%30 = sub nuw nsw i64 %27, %10
%31 = sub i32 %13, %28
%32 = trunc i64 %30 to i32
%33 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([13 x i8], [13 x i8]* @.str.3, i64 0, i64 0), i32 %32)
%34 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 %10, i64 %27
%35 = load i32, i32* %34
%36 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.4, i64 0, i64 0), i32 %35, i32 %13, i32 %28, i32 %35)
%37 = load i32, i32* %34
%38 = sub nsw i64 %19, %30
%39 = add i32 %31, %17
%40 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 %38, i64 %10
%41 = load i32, i32* %40
%42 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([45 x i8], [45 x i8]* @.str.5, i64 0, i64 0), i32 %13, i32 %28, i32 %37, i32 %39, i32 %13, i32 %41)
%43 = load i32, i32* %40
store i32 %43, i32* %34
%44 = load i32, i32* %40
%45 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 %19, i64 %38
%46 = load i32, i32* %45
%47 = trunc i64 %38 to i32
%48 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([45 x i8], [45 x i8]* @.str.5, i64 0, i64 0), i32 %47, i32 %13, i32 %44, i32 %17, i32 %47, i32 %46)
%49 = load i32, i32* %45
store i32 %49, i32* %40
%50 = load i32, i32* %45
%51 = getelementptr inbounds [4 x i32], [4 x i32]* %0, i64 %27, i64 %19
%52 = load i32, i32* %51
%53 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([45 x i8], [45 x i8]* @.str.5, i64 0, i64 0), i32 %17, i32 %39, i32 %50, i32 %28, i32 %17, i32 %52)
%54 = load i32, i32* %51
store i32 %54, i32* %45
%55 = load i32, i32* %51
%56 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @.str.6, i64 0, i64 0), i32 %28, i32 %17, i32 %55, i32 %35)
store i32 %35, i32* %51
%57 = add nuw nsw i64 %27, 1
%58 = icmp eq i64 %57, %22
br i1 %58, label %23, label %26
}