#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 */
scalar_t__ cos(float);
scalar_t__ sin(float);
void floats_xytcov_mul(const float xyta[3], const float Ca[9],
                       const float xytb[3], const float Cb[9], float xytr[3],
                       float Cr[9]) {
  float xa = xyta[0], ya = xyta[1], ta = xyta[2];
  float xb = xytb[0], yb = xytb[1];
  float sa = (float)sin(ta), ca = (float)cos(ta);
  float P11 = Ca[0], P12 = Ca[1], P13 = Ca[2];
  float P22 = Ca[4], P23 = Ca[5];
  float P33 = Ca[8];
  float Q11 = Cb[0], Q12 = Cb[1], Q13 = Cb[2];
  float Q22 = Cb[4], Q23 = Cb[5];
  float Q33 = Cb[8];
  float JA13 = -sa * xb - ca * yb;
  float JA23 = ca * xb - sa * yb;
  float JB11 = ca;
  float JB12 = -sa;
  float JB21 = sa;
  float JB22 = ca;
  Cr[0] = P33 * JA13 * JA13 + 2 * P13 * JA13 + Q11 * JB11 * JB11 +
          2 * Q12 * JB11 * JB12 + Q22 * JB12 * JB12 + P11;
  Cr[1] = P12 + JA23 * (P13 + JA13 * P33) + JA13 * P23 +
          JB21 * (JB11 * Q11 + JB12 * Q12) + JB22 * (JB11 * Q12 + JB12 * Q22);
  Cr[2] = P13 + JA13 * P33 + JB11 * Q13 + JB12 * Q23;
  Cr[3] = Cr[1];
  Cr[4] = P33 * JA23 * JA23 + 2 * P23 * JA23 + Q11 * JB21 * JB21 +
          2 * Q12 * JB21 * JB22 + Q22 * JB22 * JB22 + P22;
  Cr[5] = P23 + JA23 * P33 + JB21 * Q13 + JB22 * Q23;
  Cr[6] = Cr[2];
  Cr[7] = Cr[5];
  Cr[8] = P33 + Q33;
  xytr[0] = ca * xb - sa * yb + xa;
  xytr[1] = sa * xb + ca * yb + ya;
  xytr[2] = xyta[2] + xytb[2];
}


x86 assembly (clang, -O0):
<floats_xytcov_mul>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
movss  %xmm0,-0x3c(%rbp)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x40(%rbp)
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x3c(%rbp),%xmm0
call   1030 <sin@plt>
cvtsi2ss %rax,%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x3c(%rbp),%xmm0
call   1040 <cos@plt>
cvtsi2ss %rax,%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x50(%rbp)
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x54(%rbp)
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
movss  %xmm0,-0x58(%rbp)
mov    -0x10(%rbp),%rax
movss  0x10(%rax),%xmm0
movss  %xmm0,-0x5c(%rbp)
mov    -0x10(%rbp),%rax
movss  0x14(%rax),%xmm0
movss  %xmm0,-0x60(%rbp)
mov    -0x10(%rbp),%rax
movss  0x20(%rax),%xmm0
movss  %xmm0,-0x64(%rbp)
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x68(%rbp)
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x6c(%rbp)
mov    -0x20(%rbp),%rax
movss  0x8(%rax),%xmm0
movss  %xmm0,-0x70(%rbp)
mov    -0x20(%rbp),%rax
movss  0x10(%rax),%xmm0
movss  %xmm0,-0x74(%rbp)
mov    -0x20(%rbp),%rax
movss  0x14(%rax),%xmm0
movss  %xmm0,-0x78(%rbp)
mov    -0x20(%rbp),%rax
movss  0x20(%rax),%xmm0
movss  %xmm0,-0x7c(%rbp)
movss  -0x48(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  -0x40(%rbp),%xmm2
movss  -0x4c(%rbp),%xmm1
mulss  -0x44(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x80(%rbp)
movss  -0x4c(%rbp),%xmm0
movss  -0x40(%rbp),%xmm2
movss  -0x48(%rbp),%xmm1
mulss  -0x44(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x84(%rbp)
ff
movss  -0x4c(%rbp),%xmm0
movss  %xmm0,-0x88(%rbp)
ff
movss  -0x48(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x8c(%rbp)
ff
movss  -0x48(%rbp),%xmm0
movss  %xmm0,-0x90(%rbp)
ff
movss  -0x4c(%rbp),%xmm0
movss  %xmm0,-0x94(%rbp)
ff
movss  -0x64(%rbp),%xmm1
mulss  -0x80(%rbp),%xmm1
movss  -0x80(%rbp),%xmm2
movss  0xce7(%rip),%xmm0
mulss  -0x58(%rbp),%xmm0
mulss  -0x80(%rbp),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x68(%rbp),%xmm0
mulss  -0x88(%rbp),%xmm0
ff
movss  -0x88(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  0xcb0(%rip),%xmm1
mulss  -0x6c(%rbp),%xmm1
mulss  -0x88(%rbp),%xmm1
ff
movss  -0x8c(%rbp),%xmm2
ff
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x74(%rbp),%xmm0
mulss  -0x8c(%rbp),%xmm0
ff
movss  -0x8c(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
addss  -0x50(%rbp),%xmm0
mov    -0x30(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x54(%rbp),%xmm0
movss  -0x84(%rbp),%xmm1
ff
movss  -0x58(%rbp),%xmm3
movss  -0x80(%rbp),%xmm2
movss  -0x64(%rbp),%xmm4
mulss  %xmm4,%xmm2
addss  %xmm3,%xmm2
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x80(%rbp),%xmm0
movss  -0x60(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  -0x90(%rbp),%xmm1
ff
movss  -0x88(%rbp),%xmm2
ff
movss  -0x68(%rbp),%xmm4
movss  -0x8c(%rbp),%xmm3
ff
mulss  -0x6c(%rbp),%xmm3
mulss  %xmm4,%xmm2
addss  %xmm3,%xmm2
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x94(%rbp),%xmm0
ff
movss  -0x88(%rbp),%xmm2
ff
movss  -0x6c(%rbp),%xmm4
movss  -0x8c(%rbp),%xmm3
ff
mulss  -0x74(%rbp),%xmm3
mulss  %xmm4,%xmm2
addss  %xmm3,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x30(%rbp),%rax
movss  %xmm0,0x4(%rax)
movss  -0x58(%rbp),%xmm1
movss  -0x80(%rbp),%xmm0
movss  -0x64(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  -0x88(%rbp),%xmm1
ff
movss  -0x70(%rbp),%xmm2
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x8c(%rbp),%xmm0
ff
movss  -0x78(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x30(%rbp),%rax
movss  %xmm0,0x8(%rax)
mov    -0x30(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x30(%rbp),%rax
movss  %xmm0,0xc(%rax)
movss  -0x64(%rbp),%xmm1
mulss  -0x84(%rbp),%xmm1
ff
movss  -0x84(%rbp),%xmm2
ff
movss  0xb45(%rip),%xmm0
mulss  -0x60(%rbp),%xmm0
mulss  -0x84(%rbp),%xmm0
ff
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x68(%rbp),%xmm0
mulss  -0x90(%rbp),%xmm0
ff
movss  -0x90(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  0xb0b(%rip),%xmm1
mulss  -0x6c(%rbp),%xmm1
mulss  -0x90(%rbp),%xmm1
ff
movss  -0x94(%rbp),%xmm2
ff
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x74(%rbp),%xmm0
mulss  -0x94(%rbp),%xmm0
ff
movss  -0x94(%rbp),%xmm2
ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
addss  -0x5c(%rbp),%xmm0
mov    -0x30(%rbp),%rax
movss  %xmm0,0x10(%rax)
movss  -0x60(%rbp),%xmm1
movss  -0x84(%rbp),%xmm0
ff
movss  -0x64(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  -0x90(%rbp),%xmm1
ff
movss  -0x70(%rbp),%xmm2
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x94(%rbp),%xmm0
ff
movss  -0x78(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x30(%rbp),%rax
movss  %xmm0,0x14(%rax)
mov    -0x30(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x30(%rbp),%rax
movss  %xmm0,0x18(%rax)
mov    -0x30(%rbp),%rax
movss  0x14(%rax),%xmm0
mov    -0x30(%rbp),%rax
movss  %xmm0,0x1c(%rax)
movss  -0x64(%rbp),%xmm0
addss  -0x7c(%rbp),%xmm0
mov    -0x30(%rbp),%rax
movss  %xmm0,0x20(%rax)
movss  -0x4c(%rbp),%xmm0
movss  -0x40(%rbp),%xmm2
movss  -0x48(%rbp),%xmm1
mulss  -0x44(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
addss  -0x34(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x48(%rbp),%xmm0
movss  -0x40(%rbp),%xmm2
movss  -0x4c(%rbp),%xmm1
mulss  -0x44(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
addss  -0x38(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
addss  0x8(%rax),%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,0x8(%rax)
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<floats_xytcov_mul>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r9,%rbx
mov    %r8,%r14
mov    %rcx,%r13
mov    %rdx,%r15
mov    %rsi,%rbp
mov    %rdi,%r12
movss  (%rdi),%xmm0
movss  %xmm0,0x18(%rsp)
movss  0x4(%rdi),%xmm0
movss  %xmm0,0x1c(%rsp)
movss  0x8(%rdi),%xmm1
movss  %xmm1,0xc(%rsp)
movss  (%rdx),%xmm0
movss  %xmm0,0x10(%rsp)
movss  0x4(%rdx),%xmm0
movss  %xmm0,0x14(%rsp)
movaps %xmm1,%xmm0
call   1030 <sin@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
movaps %xmm0,0x20(%rsp)
movss  0xc(%rsp),%xmm0
call   1040 <cos@plt>
cvtsi2ss %rax,%xmm4
movss  0x8(%rbp),%xmm1
movss  0x20(%rbp),%xmm9
movss  0x0(%r13),%xmm12
movss  0x4(%r13),%xmm10
movaps 0xe47(%rip),%xmm13
movaps 0x20(%rsp),%xmm8
xorps  %xmm8,%xmm13
movss  0x14(%rsp),%xmm3
movaps %xmm3,%xmm2
mulss  %xmm4,%xmm2
movss  %xmm2,0xc(%rsp)
movaps %xmm13,%xmm15
movss  0x10(%rsp),%xmm0
mulss  %xmm0,%xmm15
subss  %xmm2,%xmm15
mulss  %xmm8,%xmm3
movaps %xmm4,%xmm14
mulss  %xmm0,%xmm14
subss  %xmm3,%xmm14
movaps %xmm15,%xmm11
mulss  %xmm9,%xmm11
movaps %xmm11,%xmm0
addss  %xmm1,%xmm11
addss  %xmm1,%xmm1
mulss  %xmm15,%xmm1
mulss  %xmm15,%xmm0
addss  %xmm1,%xmm0
movaps %xmm12,%xmm1
mulss  %xmm4,%xmm1
movaps %xmm1,%xmm5
mulss  %xmm4,%xmm5
addss  %xmm0,%xmm5
movaps %xmm10,%xmm7
addss  %xmm10,%xmm7
movaps %xmm7,%xmm0
mulss  %xmm4,%xmm0
mulss  %xmm8,%xmm0
subss  %xmm0,%xmm5
movss  0x10(%r13),%xmm3
mulss  %xmm3,%xmm13
movaps %xmm4,%xmm0
mulss  %xmm10,%xmm0
addss  %xmm13,%xmm0
mulss  %xmm8,%xmm13
subss  %xmm13,%xmm5
movaps %xmm14,%xmm6
mulss  %xmm9,%xmm6
movss  0x14(%rbp),%xmm13
mulss  %xmm13,%xmm15
movaps %xmm6,%xmm2
addss  %xmm13,%xmm6
addss  %xmm13,%xmm13
mulss  %xmm14,%xmm13
mulss  %xmm14,%xmm2
addss  %xmm13,%xmm2
mulss  %xmm8,%xmm12
mulss  %xmm8,%xmm12
addss  %xmm2,%xmm12
mulss  %xmm8,%xmm7
mulss  %xmm4,%xmm7
addss  %xmm12,%xmm7
addss  0x0(%rbp),%xmm5
mulss  %xmm4,%xmm3
mulss  %xmm4,%xmm3
addss  %xmm7,%xmm3
movaps %xmm14,%xmm2
mulss  %xmm11,%xmm2
addss  0x4(%rbp),%xmm2
addss  0x10(%rbp),%xmm3
addss  0x20(%r13),%xmm9
movss  0x8(%r13),%xmm7
movss  0x14(%r13),%xmm12
movss  %xmm5,(%rbx)
addss  %xmm2,%xmm15
mulss  %xmm8,%xmm10
subss  %xmm10,%xmm1
mulss  %xmm8,%xmm1
addss  %xmm15,%xmm1
mulss  %xmm4,%xmm0
addss  %xmm1,%xmm0
movaps %xmm4,%xmm1
mulss  %xmm7,%xmm1
addss  %xmm11,%xmm1
movaps %xmm8,%xmm2
mulss  %xmm12,%xmm2
subss  %xmm2,%xmm1
movss  %xmm0,0x4(%rbx)
movss  %xmm1,0x8(%rbx)
movss  %xmm0,0xc(%rbx)
movss  %xmm3,0x10(%rbx)
mulss  %xmm8,%xmm7
addss  %xmm6,%xmm7
mulss  %xmm12,%xmm4
addss  %xmm7,%xmm4
movss  %xmm4,0x14(%rbx)
movss  %xmm1,0x18(%rbx)
movss  %xmm4,0x1c(%rbx)
movss  %xmm9,0x20(%rbx)
addss  0x18(%rsp),%xmm14
movss  %xmm14,(%r14)
mulss  0x10(%rsp),%xmm8
addss  0xc(%rsp),%xmm8
addss  0x1c(%rsp),%xmm8
movss  %xmm8,0x4(%r14)
movss  0x8(%r12),%xmm0
addss  0x8(%r15),%xmm0
movss  %xmm0,0x8(%r14)
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @floats_xytcov_mul(float* %0, float* %1, float* %2, float* %3, float* %4, float* %5) {
%7 = alloca float*
%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
%21 = alloca float
%22 = alloca float
%23 = alloca float
%24 = alloca float
%25 = alloca float
%26 = alloca float
%27 = alloca float
%28 = alloca float
%29 = alloca float
%30 = alloca float
%31 = alloca float
%32 = alloca float
%33 = alloca float
%34 = alloca float
%35 = alloca float
%36 = alloca float
%37 = alloca float
store float* %0, float** %7
store float* %1, float** %8
store float* %2, float** %9
store float* %3, float** %10
store float* %4, float** %11
store float* %5, float** %12
%38 = load float*, float** %7
%39 = getelementptr inbounds float, float* %38, i64 0
%40 = load float, float* %39
store float %40, float* %13
%41 = load float*, float** %7
%42 = getelementptr inbounds float, float* %41, i64 1
%43 = load float, float* %42
store float %43, float* %14
%44 = load float*, float** %7
%45 = getelementptr inbounds float, float* %44, i64 2
%46 = load float, float* %45
store float %46, float* %15
%47 = load float*, float** %9
%48 = getelementptr inbounds float, float* %47, i64 0
%49 = load float, float* %48
store float %49, float* %16
%50 = load float*, float** %9
%51 = getelementptr inbounds float, float* %50, i64 1
%52 = load float, float* %51
store float %52, float* %17
%53 = load float, float* %15
%54 = call i64 @sin(float %53)
%55 = sitofp i64 %54 to float
store float %55, float* %18
%56 = load float, float* %15
%57 = call i64 @cos(float %56)
%58 = sitofp i64 %57 to float
store float %58, float* %19
%59 = load float*, float** %8
%60 = getelementptr inbounds float, float* %59, i64 0
%61 = load float, float* %60
store float %61, float* %20
%62 = load float*, float** %8
%63 = getelementptr inbounds float, float* %62, i64 1
%64 = load float, float* %63
store float %64, float* %21
%65 = load float*, float** %8
%66 = getelementptr inbounds float, float* %65, i64 2
%67 = load float, float* %66
store float %67, float* %22
%68 = load float*, float** %8
%69 = getelementptr inbounds float, float* %68, i64 4
%70 = load float, float* %69
store float %70, float* %23
%71 = load float*, float** %8
%72 = getelementptr inbounds float, float* %71, i64 5
%73 = load float, float* %72
store float %73, float* %24
%74 = load float*, float** %8
%75 = getelementptr inbounds float, float* %74, i64 8
%76 = load float, float* %75
store float %76, float* %25
%77 = load float*, float** %10
%78 = getelementptr inbounds float, float* %77, i64 0
%79 = load float, float* %78
store float %79, float* %26
%80 = load float*, float** %10
%81 = getelementptr inbounds float, float* %80, i64 1
%82 = load float, float* %81
store float %82, float* %27
%83 = load float*, float** %10
%84 = getelementptr inbounds float, float* %83, i64 2
%85 = load float, float* %84
store float %85, float* %28
%86 = load float*, float** %10
%87 = getelementptr inbounds float, float* %86, i64 4
%88 = load float, float* %87
store float %88, float* %29
%89 = load float*, float** %10
%90 = getelementptr inbounds float, float* %89, i64 5
%91 = load float, float* %90
store float %91, float* %30
%92 = load float*, float** %10
%93 = getelementptr inbounds float, float* %92, i64 8
%94 = load float, float* %93
store float %94, float* %31
%95 = load float, float* %18
%96 = fneg float %95
%97 = load float, float* %16
%98 = load float, float* %19
%99 = load float, float* %17
%100 = fmul float %98, %99
%101 = fneg float %100
%102 = call float @llvm.fmuladd.f32(float %96, float %97, float %101)
store float %102, float* %32
%103 = load float, float* %19
%104 = load float, float* %16
%105 = load float, float* %18
%106 = load float, float* %17
%107 = fmul float %105, %106
%108 = fneg float %107
%109 = call float @llvm.fmuladd.f32(float %103, float %104, float %108)
store float %109, float* %33
%110 = load float, float* %19
store float %110, float* %34
%111 = load float, float* %18
%112 = fneg float %111
store float %112, float* %35
%113 = load float, float* %18
store float %113, float* %36
%114 = load float, float* %19
store float %114, float* %37
%115 = load float, float* %25
%116 = load float, float* %32
%117 = fmul float %115, %116
%118 = load float, float* %32
%119 = load float, float* %22
%120 = fmul float 2.000000e+00, %119
%121 = load float, float* %32
%122 = fmul float %120, %121
%123 = call float @llvm.fmuladd.f32(float %117, float %118, float %122)
%124 = load float, float* %26
%125 = load float, float* %34
%126 = fmul float %124, %125
%127 = load float, float* %34
%128 = call float @llvm.fmuladd.f32(float %126, float %127, float %123)
%129 = load float, float* %27
%130 = fmul float 2.000000e+00, %129
%131 = load float, float* %34
%132 = fmul float %130, %131
%133 = load float, float* %35
%134 = call float @llvm.fmuladd.f32(float %132, float %133, float %128)
%135 = load float, float* %29
%136 = load float, float* %35
%137 = fmul float %135, %136
%138 = load float, float* %35
%139 = call float @llvm.fmuladd.f32(float %137, float %138, float %134)
%140 = load float, float* %20
%141 = fadd float %139, %140
%142 = load float*, float** %12
%143 = getelementptr inbounds float, float* %142, i64 0
store float %141, float* %143
%144 = load float, float* %21
%145 = load float, float* %33
%146 = load float, float* %22
%147 = load float, float* %32
%148 = load float, float* %25
%149 = call float @llvm.fmuladd.f32(float %147, float %148, float %146)
%150 = call float @llvm.fmuladd.f32(float %145, float %149, float %144)
%151 = load float, float* %32
%152 = load float, float* %24
%153 = call float @llvm.fmuladd.f32(float %151, float %152, float %150)
%154 = load float, float* %36
%155 = load float, float* %34
%156 = load float, float* %26
%157 = load float, float* %35
%158 = load float, float* %27
%159 = fmul float %157, %158
%160 = call float @llvm.fmuladd.f32(float %155, float %156, float %159)
%161 = call float @llvm.fmuladd.f32(float %154, float %160, float %153)
%162 = load float, float* %37
%163 = load float, float* %34
%164 = load float, float* %27
%165 = load float, float* %35
%166 = load float, float* %29
%167 = fmul float %165, %166
%168 = call float @llvm.fmuladd.f32(float %163, float %164, float %167)
%169 = call float @llvm.fmuladd.f32(float %162, float %168, float %161)
%170 = load float*, float** %12
%171 = getelementptr inbounds float, float* %170, i64 1
store float %169, float* %171
%172 = load float, float* %22
%173 = load float, float* %32
%174 = load float, float* %25
%175 = call float @llvm.fmuladd.f32(float %173, float %174, float %172)
%176 = load float, float* %34
%177 = load float, float* %28
%178 = call float @llvm.fmuladd.f32(float %176, float %177, float %175)
%179 = load float, float* %35
%180 = load float, float* %30
%181 = call float @llvm.fmuladd.f32(float %179, float %180, float %178)
%182 = load float*, float** %12
%183 = getelementptr inbounds float, float* %182, i64 2
store float %181, float* %183
%184 = load float*, float** %12
%185 = getelementptr inbounds float, float* %184, i64 1
%186 = load float, float* %185
%187 = load float*, float** %12
%188 = getelementptr inbounds float, float* %187, i64 3
store float %186, float* %188
%189 = load float, float* %25
%190 = load float, float* %33
%191 = fmul float %189, %190
%192 = load float, float* %33
%193 = load float, float* %24
%194 = fmul float 2.000000e+00, %193
%195 = load float, float* %33
%196 = fmul float %194, %195
%197 = call float @llvm.fmuladd.f32(float %191, float %192, float %196)
%198 = load float, float* %26
%199 = load float, float* %36
%200 = fmul float %198, %199
%201 = load float, float* %36
%202 = call float @llvm.fmuladd.f32(float %200, float %201, float %197)
%203 = load float, float* %27
%204 = fmul float 2.000000e+00, %203
%205 = load float, float* %36
%206 = fmul float %204, %205
%207 = load float, float* %37
%208 = call float @llvm.fmuladd.f32(float %206, float %207, float %202)
%209 = load float, float* %29
%210 = load float, float* %37
%211 = fmul float %209, %210
%212 = load float, float* %37
%213 = call float @llvm.fmuladd.f32(float %211, float %212, float %208)
%214 = load float, float* %23
%215 = fadd float %213, %214
%216 = load float*, float** %12
%217 = getelementptr inbounds float, float* %216, i64 4
store float %215, float* %217
%218 = load float, float* %24
%219 = load float, float* %33
%220 = load float, float* %25
%221 = call float @llvm.fmuladd.f32(float %219, float %220, float %218)
%222 = load float, float* %36
%223 = load float, float* %28
%224 = call float @llvm.fmuladd.f32(float %222, float %223, float %221)
%225 = load float, float* %37
%226 = load float, float* %30
%227 = call float @llvm.fmuladd.f32(float %225, float %226, float %224)
%228 = load float*, float** %12
%229 = getelementptr inbounds float, float* %228, i64 5
store float %227, float* %229
%230 = load float*, float** %12
%231 = getelementptr inbounds float, float* %230, i64 2
%232 = load float, float* %231
%233 = load float*, float** %12
%234 = getelementptr inbounds float, float* %233, i64 6
store float %232, float* %234
%235 = load float*, float** %12
%236 = getelementptr inbounds float, float* %235, i64 5
%237 = load float, float* %236
%238 = load float*, float** %12
%239 = getelementptr inbounds float, float* %238, i64 7
store float %237, float* %239
%240 = load float, float* %25
%241 = load float, float* %31
%242 = fadd float %240, %241
%243 = load float*, float** %12
%244 = getelementptr inbounds float, float* %243, i64 8
store float %242, float* %244
%245 = load float, float* %19
%246 = load float, float* %16
%247 = load float, float* %18
%248 = load float, float* %17
%249 = fmul float %247, %248
%250 = fneg float %249
%251 = call float @llvm.fmuladd.f32(float %245, float %246, float %250)
%252 = load float, float* %13
%253 = fadd float %251, %252
%254 = load float*, float** %11
%255 = getelementptr inbounds float, float* %254, i64 0
store float %253, float* %255
%256 = load float, float* %18
%257 = load float, float* %16
%258 = load float, float* %19
%259 = load float, float* %17
%260 = fmul float %258, %259
%261 = call float @llvm.fmuladd.f32(float %256, float %257, float %260)
%262 = load float, float* %14
%263 = fadd float %261, %262
%264 = load float*, float** %11
%265 = getelementptr inbounds float, float* %264, i64 1
store float %263, float* %265
%266 = load float*, float** %7
%267 = getelementptr inbounds float, float* %266, i64 2
%268 = load float, float* %267
%269 = load float*, float** %9
%270 = getelementptr inbounds float, float* %269, i64 2
%271 = load float, float* %270
%272 = fadd float %268, %271
%273 = load float*, float** %11
%274 = getelementptr inbounds float, float* %273, i64 2
store float %272, float* %274
ret void
}

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