void Frustum(float left, float right, float bottom, float top, float nearZ,
             float farZ, float *m) {
  float x = (2.0F * nearZ) / (right - left);
  float y = (2.0F * nearZ) / (top - bottom);
  float a = (right + left) / (right - left);
  float b = (top + bottom) / (top - bottom);
  float c = -(farZ + nearZ) / (farZ - nearZ);
  float d = -(2.0F * farZ * nearZ) / (farZ - nearZ);
  m[0 * 4 + 0] = x;
  m[1 * 4 + 0] = 0.0F;
  m[2 * 4 + 0] = a;
  m[3 * 4 + 0] = 0.0F;
  m[0 * 4 + 1] = 0.0F;
  m[1 * 4 + 1] = y;
  m[2 * 4 + 1] = b;
  m[3 * 4 + 1] = 0.0F;
  m[0 * 4 + 2] = 0.0F;
  m[1 * 4 + 2] = 0.0F;
  m[2 * 4 + 2] = c;
  m[3 * 4 + 2] = d;
  m[0 * 4 + 3] = 0.0F;
  m[1 * 4 + 3] = 0.0F;
  m[2 * 4 + 3] = -1.0F;
  m[3 * 4 + 3] = 0.0F;
}


x86 assembly (clang, -O0):
<Frustum>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
movss  %xmm3,-0x10(%rbp)
movss  %xmm4,-0x14(%rbp)
movss  %xmm5,-0x18(%rbp)
mov    %rdi,-0x20(%rbp)
movss  0xed6(%rip),%xmm0
mulss  -0x14(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
subss  -0x4(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x24(%rbp)
movss  0xeb6(%rip),%xmm0
mulss  -0x14(%rbp),%xmm0
movss  -0x10(%rbp),%xmm1
subss  -0xc(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x8(%rbp),%xmm0
addss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
subss  -0x4(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x10(%rbp),%xmm0
addss  -0xc(%rbp),%xmm0
movss  -0x10(%rbp),%xmm1
subss  -0xc(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x18(%rbp),%xmm0
addss  -0x14(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  -0x18(%rbp),%xmm1
subss  -0x14(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
movss  0xe32(%rip),%xmm0
mulss  -0x18(%rbp),%xmm0
mulss  -0x14(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  -0x18(%rbp),%xmm1
subss  -0x14(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0x24(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x20(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x10(%rax)
movss  -0x2c(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,0x20(%rax)
mov    -0x20(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x30(%rax)
mov    -0x20(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x4(%rax)
movss  -0x28(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,0x14(%rax)
movss  -0x30(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,0x24(%rax)
mov    -0x20(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x34(%rax)
mov    -0x20(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x8(%rax)
mov    -0x20(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x18(%rax)
movss  -0x34(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,0x28(%rax)
movss  -0x38(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,0x38(%rax)
mov    -0x20(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0xc(%rax)
mov    -0x20(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x1c(%rax)
mov    -0x20(%rbp),%rax
movss  0xd45(%rip),%xmm0
movss  %xmm0,0x2c(%rax)
mov    -0x20(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x3c(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<Frustum>:
movaps %xmm4,%xmm6
addss  %xmm5,%xmm6
movaps %xmm5,%xmm8
mulss  0xefd(%rip),%xmm5
subss  %xmm4,%xmm8
mulss  %xmm4,%xmm5
addss  %xmm4,%xmm4
movaps %xmm1,%xmm7
subss  %xmm0,%xmm7
movaps %xmm4,%xmm9
divss  %xmm7,%xmm9
addss  %xmm1,%xmm0
movaps %xmm3,%xmm1
subss  %xmm2,%xmm1
divss  %xmm1,%xmm4
divss  %xmm7,%xmm0
addss  %xmm3,%xmm2
xorps  0xeb2(%rip),%xmm6
divss  %xmm1,%xmm2
divss  %xmm8,%xmm6
divss  %xmm8,%xmm5
movss  %xmm9,(%rdi)
movss  %xmm0,0x20(%rdi)
movss  %xmm4,0x14(%rdi)
movss  %xmm2,0x24(%rdi)
movl   $0x0,0x34(%rdi)
movq   $0x0,0x18(%rdi)
movss  %xmm6,0x28(%rdi)
movss  %xmm5,0x38(%rdi)
xorps  %xmm0,%xmm0
movups %xmm0,0x4(%rdi)
mov    $0xbf800000,%eax
mov    %rax,0x2c(%rdi)
movl   $0x0,0x3c(%rdi)
ret

LLVM IR (-O0):
define void @Frustum(float %0, float %1, float %2, float %3, float %4, float %5, float* %6) {
%8 = alloca float
%9 = alloca float
%10 = alloca float
%11 = alloca float
%12 = alloca float
%13 = alloca float
%14 = alloca float*
%15 = alloca float
%16 = alloca float
%17 = alloca float
%18 = alloca float
%19 = alloca float
%20 = alloca float
store float %0, float* %8
store float %1, float* %9
store float %2, float* %10
store float %3, float* %11
store float %4, float* %12
store float %5, float* %13
store float* %6, float** %14
%21 = load float, float* %12
%22 = fmul float 2.000000e+00, %21
%23 = load float, float* %9
%24 = load float, float* %8
%25 = fsub float %23, %24
%26 = fdiv float %22, %25
store float %26, float* %15
%27 = load float, float* %12
%28 = fmul float 2.000000e+00, %27
%29 = load float, float* %11
%30 = load float, float* %10
%31 = fsub float %29, %30
%32 = fdiv float %28, %31
store float %32, float* %16
%33 = load float, float* %9
%34 = load float, float* %8
%35 = fadd float %33, %34
%36 = load float, float* %9
%37 = load float, float* %8
%38 = fsub float %36, %37
%39 = fdiv float %35, %38
store float %39, float* %17
%40 = load float, float* %11
%41 = load float, float* %10
%42 = fadd float %40, %41
%43 = load float, float* %11
%44 = load float, float* %10
%45 = fsub float %43, %44
%46 = fdiv float %42, %45
store float %46, float* %18
%47 = load float, float* %13
%48 = load float, float* %12
%49 = fadd float %47, %48
%50 = fneg float %49
%51 = load float, float* %13
%52 = load float, float* %12
%53 = fsub float %51, %52
%54 = fdiv float %50, %53
store float %54, float* %19
%55 = load float, float* %13
%56 = fmul float 2.000000e+00, %55
%57 = load float, float* %12
%58 = fmul float %56, %57
%59 = fneg float %58
%60 = load float, float* %13
%61 = load float, float* %12
%62 = fsub float %60, %61
%63 = fdiv float %59, %62
store float %63, float* %20
%64 = load float, float* %15
%65 = load float*, float** %14
%66 = getelementptr inbounds float, float* %65, i64 0
store float %64, float* %66
%67 = load float*, float** %14
%68 = getelementptr inbounds float, float* %67, i64 4
store float 0.000000e+00, float* %68
%69 = load float, float* %17
%70 = load float*, float** %14
%71 = getelementptr inbounds float, float* %70, i64 8
store float %69, float* %71
%72 = load float*, float** %14
%73 = getelementptr inbounds float, float* %72, i64 12
store float 0.000000e+00, float* %73
%74 = load float*, float** %14
%75 = getelementptr inbounds float, float* %74, i64 1
store float 0.000000e+00, float* %75
%76 = load float, float* %16
%77 = load float*, float** %14
%78 = getelementptr inbounds float, float* %77, i64 5
store float %76, float* %78
%79 = load float, float* %18
%80 = load float*, float** %14
%81 = getelementptr inbounds float, float* %80, i64 9
store float %79, float* %81
%82 = load float*, float** %14
%83 = getelementptr inbounds float, float* %82, i64 13
store float 0.000000e+00, float* %83
%84 = load float*, float** %14
%85 = getelementptr inbounds float, float* %84, i64 2
store float 0.000000e+00, float* %85
%86 = load float*, float** %14
%87 = getelementptr inbounds float, float* %86, i64 6
store float 0.000000e+00, float* %87
%88 = load float, float* %19
%89 = load float*, float** %14
%90 = getelementptr inbounds float, float* %89, i64 10
store float %88, float* %90
%91 = load float, float* %20
%92 = load float*, float** %14
%93 = getelementptr inbounds float, float* %92, i64 14
store float %91, float* %93
%94 = load float*, float** %14
%95 = getelementptr inbounds float, float* %94, i64 3
store float 0.000000e+00, float* %95
%96 = load float*, float** %14
%97 = getelementptr inbounds float, float* %96, i64 7
store float 0.000000e+00, float* %97
%98 = load float*, float** %14
%99 = getelementptr inbounds float, float* %98, i64 11
store float -1.000000e+00, float* %99
%100 = load float*, float** %14
%101 = getelementptr inbounds float, float* %100, i64 15
store float 0.000000e+00, float* %101
ret void
}

LLVM IR (-O2):
define void @Frustum(float %0, float %1, float %2, float %3, float %4, float %5, float* nocapture writeonly %6) {
%8 = fmul float %4, 2.000000e+00
%9 = fsub float %1, %0
%10 = fdiv float %8, %9
%11 = fsub float %3, %2
%12 = fdiv float %8, %11
%13 = fadd float %0, %1
%14 = fdiv float %13, %9
%15 = fadd float %2, %3
%16 = fdiv float %15, %11
%17 = fadd float %4, %5
%18 = fneg float %17
%19 = fsub float %5, %4
%20 = fdiv float %18, %19
%21 = fmul float %5, -2.000000e+00
%22 = fmul float %21, %4
%23 = fdiv float %22, %19
store float %10, float* %6
%24 = getelementptr inbounds float, float* %6, i64 8
store float %14, float* %24
%25 = getelementptr inbounds float, float* %6, i64 12
store float 0.000000e+00, float* %25
%26 = getelementptr inbounds float, float* %6, i64 1
%27 = getelementptr inbounds float, float* %6, i64 5
store float %12, float* %27
%28 = getelementptr inbounds float, float* %6, i64 9
store float %16, float* %28
%29 = getelementptr inbounds float, float* %6, i64 13
store float 0.000000e+00, float* %29
%30 = getelementptr inbounds float, float* %6, i64 6
store float 0.000000e+00, float* %30
%31 = getelementptr inbounds float, float* %6, i64 10
store float %20, float* %31
%32 = getelementptr inbounds float, float* %6, i64 14
store float %23, float* %32
%33 = bitcast float* %26 to <4 x float>*
store <4 x float> zeroinitializer, <4 x float>* %33
%34 = getelementptr inbounds float, float* %6, i64 7
store float 0.000000e+00, float* %34
%35 = getelementptr inbounds float, float* %6, i64 11
store float -1.000000e+00, float* %35
%36 = getelementptr inbounds float, float* %6, i64 15
store float 0.000000e+00, float* %36
ret void
}