#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 */
float glmDotProduct3f(float const *, float const *);
void glmGenerateShadowMatrix4f(float m[16], const float planeOrigin[3],
                               const float planeNormal[3],
                               const float light[3]) {
  float d = -glmDotProduct3f(planeOrigin, planeNormal);
  float p = light[0] * planeNormal[0] + light[1] * planeNormal[1] +
            light[2] * planeNormal[2] + d;
  m[0] = p - light[0] * planeNormal[0];
  m[4] = -light[0] * planeNormal[1];
  m[8] = -light[0] * planeNormal[2];
  m[12] = -light[0] * d;
  m[1] = -light[1] * planeNormal[0];
  m[5] = p - light[1] * planeNormal[1];
  m[9] = -light[1] * planeNormal[2];
  m[13] = -light[1] * d;
  m[2] = -light[2] * planeNormal[0];
  m[6] = -light[2] * planeNormal[1];
  m[10] = p - light[2] * planeNormal[2];
  m[14] = -light[2] * d;
  m[3] = -planeNormal[0];
  m[7] = -planeNormal[1];
  m[11] = -planeNormal[2];
  m[15] = p - d;
}


x86 assembly (clang, -O0):
<glmGenerateShadowMatrix4f>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <glmDotProduct3f@plt>
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x24(%rbp)
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm2
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
mulss  0x4(%rax),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x20(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
addss  -0x24(%rbp),%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x28(%rbp),%xmm1
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mov    -0x18(%rbp),%rax
mulss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x10(%rax)
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mov    -0x18(%rbp),%rax
mulss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x20(%rax)
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  -0x24(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x30(%rax)
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mov    -0x18(%rbp),%rax
mulss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
movss  -0x28(%rbp),%xmm1
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x14(%rax)
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mov    -0x18(%rbp),%rax
mulss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x24(%rax)
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  -0x24(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x34(%rax)
mov    -0x20(%rbp),%rax
movss  0x8(%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mov    -0x18(%rbp),%rax
mulss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x8(%rax)
mov    -0x20(%rbp),%rax
movss  0x8(%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mov    -0x18(%rbp),%rax
mulss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x18(%rax)
movss  -0x28(%rbp),%xmm1
mov    -0x20(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x28(%rax)
mov    -0x20(%rbp),%rax
movss  0x8(%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  -0x24(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x38(%rax)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0xc(%rax)
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x1c(%rax)
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x2c(%rax)
movss  -0x28(%rbp),%xmm0
subss  -0x24(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x3c(%rax)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<glmGenerateShadowMatrix4f>:
push   %r15
push   %r14
push   %rbx
mov    %rcx,%rbx
mov    %rdx,%r14
mov    %rdi,%r15
mov    %rsi,%rdi
mov    %rdx,%rsi
call   1030 <glmDotProduct3f@plt>
movss  (%rbx),%xmm2
movss  0x4(%rbx),%xmm3
mulss  0x4(%r14),%xmm3
mulss  (%r14),%xmm2
addss  %xmm2,%xmm3
movss  0x8(%rbx),%xmm1
mulss  0x8(%r14),%xmm1
addss  %xmm3,%xmm1
subss  %xmm0,%xmm1
movaps %xmm1,%xmm3
subss  %xmm2,%xmm3
movss  %xmm3,(%r15)
movss  (%rbx),%xmm3
movaps 0xe95(%rip),%xmm2
xorps  %xmm2,%xmm3
mulss  0x4(%r14),%xmm3
movss  %xmm3,0x10(%r15)
movss  (%rbx),%xmm3
xorps  %xmm2,%xmm3
mulss  0x8(%r14),%xmm3
movss  %xmm3,0x20(%r15)
movss  (%rbx),%xmm3
mulss  %xmm0,%xmm3
movss  %xmm3,0x30(%r15)
movss  0x4(%rbx),%xmm3
xorps  %xmm2,%xmm3
mulss  (%r14),%xmm3
movss  %xmm3,0x4(%r15)
movss  0x4(%rbx),%xmm3
mulss  0x4(%r14),%xmm3
movaps %xmm1,%xmm4
subss  %xmm3,%xmm4
movss  %xmm4,0x14(%r15)
movss  0x4(%rbx),%xmm3
xorps  %xmm2,%xmm3
mulss  0x8(%r14),%xmm3
movss  %xmm3,0x24(%r15)
movss  0x4(%rbx),%xmm3
mulss  %xmm0,%xmm3
movss  %xmm3,0x34(%r15)
movss  0x8(%rbx),%xmm3
xorps  %xmm2,%xmm3
mulss  (%r14),%xmm3
movss  %xmm3,0x8(%r15)
movss  0x8(%rbx),%xmm3
xorps  %xmm2,%xmm3
mulss  0x4(%r14),%xmm3
movss  %xmm3,0x18(%r15)
movss  0x8(%rbx),%xmm3
mulss  0x8(%r14),%xmm3
movaps %xmm1,%xmm4
subss  %xmm3,%xmm4
movss  %xmm4,0x28(%r15)
movss  0x8(%rbx),%xmm3
mulss  %xmm0,%xmm3
movss  %xmm3,0x38(%r15)
movss  (%r14),%xmm3
xorps  %xmm2,%xmm3
movss  %xmm3,0xc(%r15)
movss  0x4(%r14),%xmm3
xorps  %xmm2,%xmm3
movss  %xmm3,0x1c(%r15)
movss  0x8(%r14),%xmm3
xorps  %xmm2,%xmm3
movss  %xmm3,0x2c(%r15)
addss  %xmm0,%xmm1
movss  %xmm1,0x3c(%r15)
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @glmGenerateShadowMatrix4f(float* %0, float* %1, float* %2, float* %3) {
%5 = alloca float*
%6 = alloca float*
%7 = alloca float*
%8 = alloca float*
%9 = alloca float
%10 = alloca float
store float* %0, float** %5
store float* %1, float** %6
store float* %2, float** %7
store float* %3, float** %8
%11 = load float*, float** %6
%12 = load float*, float** %7
%13 = call float @glmDotProduct3f(float* %11, float* %12)
%14 = fneg float %13
store float %14, float* %9
%15 = load float*, float** %8
%16 = getelementptr inbounds float, float* %15, i64 0
%17 = load float, float* %16
%18 = load float*, float** %7
%19 = getelementptr inbounds float, float* %18, i64 0
%20 = load float, float* %19
%21 = load float*, float** %8
%22 = getelementptr inbounds float, float* %21, i64 1
%23 = load float, float* %22
%24 = load float*, float** %7
%25 = getelementptr inbounds float, float* %24, i64 1
%26 = load float, float* %25
%27 = fmul float %23, %26
%28 = call float @llvm.fmuladd.f32(float %17, float %20, float %27)
%29 = load float*, float** %8
%30 = getelementptr inbounds float, float* %29, i64 2
%31 = load float, float* %30
%32 = load float*, float** %7
%33 = getelementptr inbounds float, float* %32, i64 2
%34 = load float, float* %33
%35 = call float @llvm.fmuladd.f32(float %31, float %34, float %28)
%36 = load float, float* %9
%37 = fadd float %35, %36
store float %37, float* %10
%38 = load float, float* %10
%39 = load float*, float** %8
%40 = getelementptr inbounds float, float* %39, i64 0
%41 = load float, float* %40
%42 = load float*, float** %7
%43 = getelementptr inbounds float, float* %42, i64 0
%44 = load float, float* %43
%45 = fneg float %41
%46 = call float @llvm.fmuladd.f32(float %45, float %44, float %38)
%47 = load float*, float** %5
%48 = getelementptr inbounds float, float* %47, i64 0
store float %46, float* %48
%49 = load float*, float** %8
%50 = getelementptr inbounds float, float* %49, i64 0
%51 = load float, float* %50
%52 = fneg float %51
%53 = load float*, float** %7
%54 = getelementptr inbounds float, float* %53, i64 1
%55 = load float, float* %54
%56 = fmul float %52, %55
%57 = load float*, float** %5
%58 = getelementptr inbounds float, float* %57, i64 4
store float %56, float* %58
%59 = load float*, float** %8
%60 = getelementptr inbounds float, float* %59, i64 0
%61 = load float, float* %60
%62 = fneg float %61
%63 = load float*, float** %7
%64 = getelementptr inbounds float, float* %63, i64 2
%65 = load float, float* %64
%66 = fmul float %62, %65
%67 = load float*, float** %5
%68 = getelementptr inbounds float, float* %67, i64 8
store float %66, float* %68
%69 = load float*, float** %8
%70 = getelementptr inbounds float, float* %69, i64 0
%71 = load float, float* %70
%72 = fneg float %71
%73 = load float, float* %9
%74 = fmul float %72, %73
%75 = load float*, float** %5
%76 = getelementptr inbounds float, float* %75, i64 12
store float %74, float* %76
%77 = load float*, float** %8
%78 = getelementptr inbounds float, float* %77, i64 1
%79 = load float, float* %78
%80 = fneg float %79
%81 = load float*, float** %7
%82 = getelementptr inbounds float, float* %81, i64 0
%83 = load float, float* %82
%84 = fmul float %80, %83
%85 = load float*, float** %5
%86 = getelementptr inbounds float, float* %85, i64 1
store float %84, float* %86
%87 = load float, float* %10
%88 = load float*, float** %8
%89 = getelementptr inbounds float, float* %88, i64 1
%90 = load float, float* %89
%91 = load float*, float** %7
%92 = getelementptr inbounds float, float* %91, i64 1
%93 = load float, float* %92
%94 = fneg float %90
%95 = call float @llvm.fmuladd.f32(float %94, float %93, float %87)
%96 = load float*, float** %5
%97 = getelementptr inbounds float, float* %96, i64 5
store float %95, float* %97
%98 = load float*, float** %8
%99 = getelementptr inbounds float, float* %98, i64 1
%100 = load float, float* %99
%101 = fneg float %100
%102 = load float*, float** %7
%103 = getelementptr inbounds float, float* %102, i64 2
%104 = load float, float* %103
%105 = fmul float %101, %104
%106 = load float*, float** %5
%107 = getelementptr inbounds float, float* %106, i64 9
store float %105, float* %107
%108 = load float*, float** %8
%109 = getelementptr inbounds float, float* %108, i64 1
%110 = load float, float* %109
%111 = fneg float %110
%112 = load float, float* %9
%113 = fmul float %111, %112
%114 = load float*, float** %5
%115 = getelementptr inbounds float, float* %114, i64 13
store float %113, float* %115
%116 = load float*, float** %8
%117 = getelementptr inbounds float, float* %116, i64 2
%118 = load float, float* %117
%119 = fneg float %118
%120 = load float*, float** %7
%121 = getelementptr inbounds float, float* %120, i64 0
%122 = load float, float* %121
%123 = fmul float %119, %122
%124 = load float*, float** %5
%125 = getelementptr inbounds float, float* %124, i64 2
store float %123, float* %125
%126 = load float*, float** %8
%127 = getelementptr inbounds float, float* %126, i64 2
%128 = load float, float* %127
%129 = fneg float %128
%130 = load float*, float** %7
%131 = getelementptr inbounds float, float* %130, i64 1
%132 = load float, float* %131
%133 = fmul float %129, %132
%134 = load float*, float** %5
%135 = getelementptr inbounds float, float* %134, i64 6
store float %133, float* %135
%136 = load float, float* %10
%137 = load float*, float** %8
%138 = getelementptr inbounds float, float* %137, i64 2
%139 = load float, float* %138
%140 = load float*, float** %7
%141 = getelementptr inbounds float, float* %140, i64 2
%142 = load float, float* %141
%143 = fneg float %139
%144 = call float @llvm.fmuladd.f32(float %143, float %142, float %136)
%145 = load float*, float** %5
%146 = getelementptr inbounds float, float* %145, i64 10
store float %144, float* %146
%147 = load float*, float** %8
%148 = getelementptr inbounds float, float* %147, i64 2
%149 = load float, float* %148
%150 = fneg float %149
%151 = load float, float* %9
%152 = fmul float %150, %151
%153 = load float*, float** %5
%154 = getelementptr inbounds float, float* %153, i64 14
store float %152, float* %154
%155 = load float*, float** %7
%156 = getelementptr inbounds float, float* %155, i64 0
%157 = load float, float* %156
%158 = fneg float %157
%159 = load float*, float** %5
%160 = getelementptr inbounds float, float* %159, i64 3
store float %158, float* %160
%161 = load float*, float** %7
%162 = getelementptr inbounds float, float* %161, i64 1
%163 = load float, float* %162
%164 = fneg float %163
%165 = load float*, float** %5
%166 = getelementptr inbounds float, float* %165, i64 7
store float %164, float* %166
%167 = load float*, float** %7
%168 = getelementptr inbounds float, float* %167, i64 2
%169 = load float, float* %168
%170 = fneg float %169
%171 = load float*, float** %5
%172 = getelementptr inbounds float, float* %171, i64 11
store float %170, float* %172
%173 = load float, float* %10
%174 = load float, float* %9
%175 = fsub float %173, %174
%176 = load float*, float** %5
%177 = getelementptr inbounds float, float* %176, i64 15
store float %175, float* %177
ret void
}

LLVM IR (-O2):
define void @glmGenerateShadowMatrix4f(float* nocapture writeonly %0, float* %1, float* %2, float* nocapture %3) {
%5 = tail call float @glmDotProduct3f(float* %1, float* %2)
%6 = load float, float* %3
%7 = load float, float* %2
%8 = getelementptr inbounds float, float* %3, i64 1
%9 = load float, float* %8
%10 = getelementptr inbounds float, float* %2, i64 1
%11 = load float, float* %10
%12 = fmul float %9, %11
%13 = tail call float @llvm.fmuladd.f32(float %6, float %7, float %12)
%14 = getelementptr inbounds float, float* %3, i64 2
%15 = load float, float* %14
%16 = getelementptr inbounds float, float* %2, i64 2
%17 = load float, float* %16
%18 = tail call float @llvm.fmuladd.f32(float %15, float %17, float %13)
%19 = fsub float %18, %5
%20 = fneg float %6
%21 = tail call float @llvm.fmuladd.f32(float %20, float %7, float %19)
store float %21, float* %0
%22 = load float, float* %3
%23 = fneg float %22
%24 = load float, float* %10
%25 = fmul float %24, %23
%26 = getelementptr inbounds float, float* %0, i64 4
store float %25, float* %26
%27 = load float, float* %3
%28 = fneg float %27
%29 = load float, float* %16
%30 = fmul float %29, %28
%31 = getelementptr inbounds float, float* %0, i64 8
store float %30, float* %31
%32 = load float, float* %3
%33 = fmul float %5, %32
%34 = getelementptr inbounds float, float* %0, i64 12
store float %33, float* %34
%35 = load float, float* %8
%36 = fneg float %35
%37 = load float, float* %2
%38 = fmul float %37, %36
%39 = getelementptr inbounds float, float* %0, i64 1
store float %38, float* %39
%40 = load float, float* %8
%41 = load float, float* %10
%42 = fneg float %40
%43 = tail call float @llvm.fmuladd.f32(float %42, float %41, float %19)
%44 = getelementptr inbounds float, float* %0, i64 5
store float %43, float* %44
%45 = load float, float* %8
%46 = fneg float %45
%47 = load float, float* %16
%48 = fmul float %47, %46
%49 = getelementptr inbounds float, float* %0, i64 9
store float %48, float* %49
%50 = load float, float* %8
%51 = fmul float %5, %50
%52 = getelementptr inbounds float, float* %0, i64 13
store float %51, float* %52
%53 = load float, float* %14
%54 = fneg float %53
%55 = load float, float* %2
%56 = fmul float %55, %54
%57 = getelementptr inbounds float, float* %0, i64 2
store float %56, float* %57
%58 = load float, float* %14
%59 = fneg float %58
%60 = load float, float* %10
%61 = fmul float %60, %59
%62 = getelementptr inbounds float, float* %0, i64 6
store float %61, float* %62
%63 = load float, float* %14
%64 = load float, float* %16
%65 = fneg float %63
%66 = tail call float @llvm.fmuladd.f32(float %65, float %64, float %19)
%67 = getelementptr inbounds float, float* %0, i64 10
store float %66, float* %67
%68 = load float, float* %14
%69 = fmul float %5, %68
%70 = getelementptr inbounds float, float* %0, i64 14
store float %69, float* %70
%71 = load float, float* %2
%72 = fneg float %71
%73 = getelementptr inbounds float, float* %0, i64 3
store float %72, float* %73
%74 = load float, float* %10
%75 = fneg float %74
%76 = getelementptr inbounds float, float* %0, i64 7
store float %75, float* %76
%77 = load float, float* %16
%78 = fneg float %77
%79 = getelementptr inbounds float, float* %0, i64 11
store float %78, float* %79
%80 = fadd float %5, %19
%81 = getelementptr inbounds float, float* %0, i64 15
store float %80, float* %81
ret void
}