#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*/ assert(int);
void matrix_set_layer(unsigned char *matrix, unsigned int size,
                      unsigned int layer, unsigned char *buffer) {
  unsigned int i, offset;
  unsigned int k = 0;
  unsigned int first = layer;
  unsigned int last = size - 1 - layer;
  assert(matrix != NULL);
  assert(buffer != NULL);
  assert(layer < size / 2);
  for (i = first; i < last; i++) {
    offset = i - first;
    matrix[first * size + i] = buffer[k++];
    matrix[i * size + last] = buffer[k++];
    matrix[last * size + last - offset] = buffer[k++];
    matrix[(last - offset) * size + first] = buffer[k++];
  }
}


x86 assembly (clang, -O0):
<matrix_set_layer>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
sub    -0x10(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpq   $0x0,-0x8(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpq   $0x0,-0x18(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
shr    $0x1,%ecx
cmp    %ecx,%eax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x28(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jae    1246 <matrix_set_layer+0x136>
mov    -0x1c(%rbp),%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x24(%rbp)
mov    %ecx,%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
mov    %ecx,%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x24(%rbp)
mov    %ecx,%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x2c(%rbp),%ecx
mov    %ecx,%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x24(%rbp)
mov    %ecx,%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x2c(%rbp),%ecx
sub    -0x20(%rbp),%ecx
mov    %ecx,%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x24(%rbp)
mov    %ecx,%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    -0x20(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x28(%rbp),%ecx
mov    %ecx,%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1181 <matrix_set_layer+0x71>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<matrix_set_layer>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rcx,%r15
mov    %edx,%r12d
mov    %esi,%r14d
mov    %rdi,%r13
mov    %edx,%ebp
not    %ebp
add    %esi,%ebp
xor    %edi,%edi
test   %r13,%r13
setne  %dil
call   1030 <assert@plt>
xor    %edi,%edi
test   %r15,%r15
setne  %dil
call   1030 <assert@plt>
mov    %r14d,%eax
shr    %eax
xor    %edi,%edi
cmp    %r12d,%eax
seta   %dil
call   1030 <assert@plt>
cmp    %r12d,%ebp
jbe    11f3 <matrix_set_layer+0xe3>
mov    %ebp,%eax
imul   %r14d,%eax
lea    (%rax,%rbp,1),%ecx
mov    %r12d,%esi
mov    %ebp,%r9d
sub    %rsi,%r9
add    %r12d,%eax
lea    -0x1(%r14),%esi
imul   %r12d,%esi
add    %r14d,%esi
add    $0xffffffff,%esi
lea    0x1(%r14),%edi
imul   %r12d,%edi
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    0x1(%rbp),%r8d
mov    %ebp,%ebx
movzbl (%r15,%rbx,1),%ebx
mov    %edi,%edx
mov    %bl,0x0(%r13,%rdx,1)
lea    0x2(%rbp),%r10d
movzbl (%r15,%r8,1),%ebx
mov    %esi,%edx
mov    %bl,0x0(%r13,%rdx,1)
lea    0x3(%rbp),%r8d
movzbl (%r15,%r10,1),%ebx
mov    %ecx,%edx
mov    %bl,0x0(%r13,%rdx,1)
add    $0x4,%ebp
movzbl (%r15,%r8,1),%edx
mov    %eax,%ebx
mov    %dl,0x0(%r13,%rbx,1)
add    $0xffffffff,%ecx
sub    %r14d,%eax
add    %r14d,%esi
add    $0x1,%edi
add    $0xffffffffffffffff,%r9
jne    11a0 <matrix_set_layer+0x90>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @matrix_set_layer(i8* writeonly %0, i32 %1, i32 %2, i8* %3) {
%5 = xor i32 %2, -1
%6 = add i32 %5, %1
%7 = icmp ne i8* %0, null
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = icmp ne i8* %3, null
%11 = zext i1 %10 to i32
%12 = tail call i32 @assert(i32 %11)
%13 = lshr i32 %1, 1
%14 = icmp ugt i32 %13, %2
%15 = zext i1 %14 to i32
%16 = tail call i32 @assert(i32 %15)
%17 = icmp ugt i32 %6, %2
br i1 %17, label %18, label %63
18: ; preds = %4
%19 = mul i32 %2, %1
%20 = mul i32 %6, %1
%21 = add i32 %20, %6
%22 = zext i32 %2 to i64
%23 = zext i32 %6 to i64
br label %24
24: ; preds = %18, %24
%25 = phi i64 [ %22, %18 ], [ %61, %24 ]
%26 = phi i32 [ 0, %18 ], [ %52, %24 ]
%27 = or i32 %26, 1
%28 = zext i32 %26 to i64
%29 = getelementptr inbounds i8, i8* %3, i64 %28
%30 = load i8, i8* %29
%31 = trunc i64 %25 to i32
%32 = add i32 %19, %31
%33 = zext i32 %32 to i64
%34 = getelementptr inbounds i8, i8* %0, i64 %33
store i8 %30, i8* %34
%35 = or i32 %26, 2
%36 = zext i32 %27 to i64
%37 = getelementptr inbounds i8, i8* %3, i64 %36
%38 = load i8, i8* %37
%39 = mul i32 %31, %1
%40 = add i32 %39, %6
%41 = zext i32 %40 to i64
%42 = getelementptr inbounds i8, i8* %0, i64 %41
store i8 %38, i8* %42
%43 = or i32 %26, 3
%44 = zext i32 %35 to i64
%45 = getelementptr inbounds i8, i8* %3, i64 %44
%46 = load i8, i8* %45
%47 = trunc i64 %25 to i32
%48 = sub i32 %47, %2
%49 = sub i32 %21, %48
%50 = zext i32 %49 to i64
%51 = getelementptr inbounds i8, i8* %0, i64 %50
store i8 %46, i8* %51
%52 = add i32 %26, 4
%53 = zext i32 %43 to i64
%54 = getelementptr inbounds i8, i8* %3, i64 %53
%55 = load i8, i8* %54
%56 = sub i32 %6, %48
%57 = mul i32 %56, %1
%58 = add i32 %57, %2
%59 = zext i32 %58 to i64
%60 = getelementptr inbounds i8, i8* %0, i64 %59
store i8 %55, i8* %60
%61 = add nuw nsw i64 %25, 1
%62 = icmp eq i64 %61, %23
br i1 %62, label %63, label %24
63: ; preds = %24, %4
ret void
}