#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 *, float const, float const, float const,
                          float const);
void PrintMatrix(const float p[16]) {
  printf("[ %6.3f %6.3f %6.3f %6.3f ]\n", p[0], p[4], p[8], p[12]);
  printf("[ %6.3f %6.3f %6.3f %6.3f ]\n", p[1], p[5], p[9], p[13]);
  printf("[ %6.3f %6.3f %6.3f %6.3f ]\n", p[2], p[6], p[10], p[14]);
  printf("[ %6.3f %6.3f %6.3f %6.3f ]\n", p[3], p[7], p[11], p[15]);
}


x86 assembly (clang, -O0):
<PrintMatrix>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  0x10(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x20(%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  0x30(%rax),%xmm3
lea    0xeba(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  0x14(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x24(%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  0x34(%rax),%xmm3
lea    0xe8a(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  0x18(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x28(%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  0x38(%rax),%xmm3
lea    0xe5a(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  0x1c(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x2c(%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  0x3c(%rax),%xmm3
lea    0xe2a(%rip),%rdi
call   1030 <printf@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<PrintMatrix>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%rbx
movss  (%rdi),%xmm0
movss  0x10(%rdi),%xmm1
movss  0x20(%rdi),%xmm2
movss  0x30(%rdi),%xmm3
lea    0xecf(%rip),%r14
mov    %r14,%rdi
call   1030 <printf@plt>
movss  0x4(%rbx),%xmm0
movss  0x14(%rbx),%xmm1
movss  0x24(%rbx),%xmm2
movss  0x34(%rbx),%xmm3
mov    %r14,%rdi
call   1030 <printf@plt>
movss  0x8(%rbx),%xmm0
movss  0x18(%rbx),%xmm1
movss  0x28(%rbx),%xmm2
movss  0x38(%rbx),%xmm3
mov    %r14,%rdi
call   1030 <printf@plt>
movss  0xc(%rbx),%xmm0
movss  0x1c(%rbx),%xmm1
movss  0x2c(%rbx),%xmm2
movss  0x3c(%rbx),%xmm3
mov    %r14,%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r14
jmp    1030 <printf@plt>

LLVM IR (-O0):
@.str = [29 x i8] c"[ %6.3f %6.3f %6.3f %6.3f ]\0A\00"
define void @PrintMatrix(float* %0) {
%2 = alloca float*
store float* %0, float** %2
%3 = load float*, float** %2
%4 = getelementptr inbounds float, float* %3, i64 0
%5 = load float, float* %4
%6 = load float*, float** %2
%7 = getelementptr inbounds float, float* %6, i64 4
%8 = load float, float* %7
%9 = load float*, float** %2
%10 = getelementptr inbounds float, float* %9, i64 8
%11 = load float, float* %10
%12 = load float*, float** %2
%13 = getelementptr inbounds float, float* %12, i64 12
%14 = load float, float* %13
%15 = call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0), float %5, float %8, float %11, float %14)
%16 = load float*, float** %2
%17 = getelementptr inbounds float, float* %16, i64 1
%18 = load float, float* %17
%19 = load float*, float** %2
%20 = getelementptr inbounds float, float* %19, i64 5
%21 = load float, float* %20
%22 = load float*, float** %2
%23 = getelementptr inbounds float, float* %22, i64 9
%24 = load float, float* %23
%25 = load float*, float** %2
%26 = getelementptr inbounds float, float* %25, i64 13
%27 = load float, float* %26
%28 = call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0), float %18, float %21, float %24, float %27)
%29 = load float*, float** %2
%30 = getelementptr inbounds float, float* %29, i64 2
%31 = load float, float* %30
%32 = load float*, float** %2
%33 = getelementptr inbounds float, float* %32, i64 6
%34 = load float, float* %33
%35 = load float*, float** %2
%36 = getelementptr inbounds float, float* %35, i64 10
%37 = load float, float* %36
%38 = load float*, float** %2
%39 = getelementptr inbounds float, float* %38, i64 14
%40 = load float, float* %39
%41 = call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0), float %31, float %34, float %37, float %40)
%42 = load float*, float** %2
%43 = getelementptr inbounds float, float* %42, i64 3
%44 = load float, float* %43
%45 = load float*, float** %2
%46 = getelementptr inbounds float, float* %45, i64 7
%47 = load float, float* %46
%48 = load float*, float** %2
%49 = getelementptr inbounds float, float* %48, i64 11
%50 = load float, float* %49
%51 = load float*, float** %2
%52 = getelementptr inbounds float, float* %51, i64 15
%53 = load float, float* %52
%54 = call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0), float %44, float %47, float %50, float %53)
ret void
}

LLVM IR (-O2):
@.str = [29 x i8] c"[ %6.3f %6.3f %6.3f %6.3f ]\0A\00"
define void @PrintMatrix(float* nocapture %0) {
%2 = load float, float* %0
%3 = getelementptr inbounds float, float* %0, i64 4
%4 = load float, float* %3
%5 = getelementptr inbounds float, float* %0, i64 8
%6 = load float, float* %5
%7 = getelementptr inbounds float, float* %0, i64 12
%8 = load float, float* %7
%9 = tail call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0), float %2, float %4, float %6, float %8)
%10 = getelementptr inbounds float, float* %0, i64 1
%11 = load float, float* %10
%12 = getelementptr inbounds float, float* %0, i64 5
%13 = load float, float* %12
%14 = getelementptr inbounds float, float* %0, i64 9
%15 = load float, float* %14
%16 = getelementptr inbounds float, float* %0, i64 13
%17 = load float, float* %16
%18 = tail call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0), float %11, float %13, float %15, float %17)
%19 = getelementptr inbounds float, float* %0, i64 2
%20 = load float, float* %19
%21 = getelementptr inbounds float, float* %0, i64 6
%22 = load float, float* %21
%23 = getelementptr inbounds float, float* %0, i64 10
%24 = load float, float* %23
%25 = getelementptr inbounds float, float* %0, i64 14
%26 = load float, float* %25
%27 = tail call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0), float %20, float %22, float %24, float %26)
%28 = getelementptr inbounds float, float* %0, i64 3
%29 = load float, float* %28
%30 = getelementptr inbounds float, float* %0, i64 7
%31 = load float, float* %30
%32 = getelementptr inbounds float, float* %0, i64 11
%33 = load float, float* %32
%34 = getelementptr inbounds float, float* %0, i64 15
%35 = load float, float* %34
%36 = tail call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0), float %29, float %31, float %33, float %35)
ret void
}