void coordinates_p3_triangle_sn(double *out_2167128771406464040) {
  out_2167128771406464040[0] = -0.5853;
  out_2167128771406464040[1] = -0.5853;
  out_2167128771406464040[2] = 0.1706;
  out_2167128771406464040[3] = -1.0;
  out_2167128771406464040[4] = -1.0;
  out_2167128771406464040[5] = -0.413;
  out_2167128771406464040[6] = 0.413;
  out_2167128771406464040[7] = 0.413;
  out_2167128771406464040[8] = -0.413;
  out_2167128771406464040[9] = -1.0;
  out_2167128771406464040[10] = -1.0;
  out_2167128771406464040[11] = 1.0;
}


x86 assembly (clang, -O0):
<coordinates_p3_triangle_sn>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsd  0xf14(%rip),%xmm0
movsd  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
movsd  0xf04(%rip),%xmm0
movsd  %xmm0,0x8(%rax)
mov    -0x8(%rbp),%rax
movsd  0xeeb(%rip),%xmm0
movsd  %xmm0,0x10(%rax)
mov    -0x8(%rbp),%rax
movsd  0xec2(%rip),%xmm0
movsd  %xmm0,0x18(%rax)
mov    -0x8(%rbp),%rax
movsd  0xeb1(%rip),%xmm0
movsd  %xmm0,0x20(%rax)
mov    -0x8(%rbp),%rax
movsd  0xea8(%rip),%xmm0
movsd  %xmm0,0x28(%rax)
mov    -0x8(%rbp),%rax
movsd  0xe9f(%rip),%xmm0
movsd  %xmm0,0x30(%rax)
mov    -0x8(%rbp),%rax
movsd  0xe8e(%rip),%xmm0
movsd  %xmm0,0x38(%rax)
mov    -0x8(%rbp),%rax
movsd  0xe75(%rip),%xmm0
movsd  %xmm0,0x40(%rax)
mov    -0x8(%rbp),%rax
movsd  0xe5c(%rip),%xmm0
movsd  %xmm0,0x48(%rax)
mov    -0x8(%rbp),%rax
movsd  0xe4b(%rip),%xmm0
movsd  %xmm0,0x50(%rax)
mov    -0x8(%rbp),%rax
movsd  0xe32(%rip),%xmm0
movsd  %xmm0,0x58(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<coordinates_p3_triangle_sn>:
movaps 0xef9(%rip),%xmm0
movups %xmm0,(%rdi)
movaps 0xeff(%rip),%xmm0
movups %xmm0,0x10(%rdi)
movaps 0xf04(%rip),%xmm0
movups %xmm0,0x20(%rdi)
movaps 0xf09(%rip),%xmm0
movups %xmm0,0x30(%rdi)
movaps 0xf0e(%rip),%xmm0
movups %xmm0,0x40(%rdi)
movaps 0xf13(%rip),%xmm0
movups %xmm0,0x50(%rdi)
ret

LLVM IR (-O0):
define void @coordinates_p3_triangle_sn(double* %0) {
%2 = alloca double*
store double* %0, double** %2
%3 = load double*, double** %2
%4 = getelementptr inbounds double, double* %3, i64 0
store double -5.853000e-01, double* %4
%5 = load double*, double** %2
%6 = getelementptr inbounds double, double* %5, i64 1
store double -5.853000e-01, double* %6
%7 = load double*, double** %2
%8 = getelementptr inbounds double, double* %7, i64 2
store double 1.706000e-01, double* %8
%9 = load double*, double** %2
%10 = getelementptr inbounds double, double* %9, i64 3
store double -1.000000e+00, double* %10
%11 = load double*, double** %2
%12 = getelementptr inbounds double, double* %11, i64 4
store double -1.000000e+00, double* %12
%13 = load double*, double** %2
%14 = getelementptr inbounds double, double* %13, i64 5
store double -4.130000e-01, double* %14
%15 = load double*, double** %2
%16 = getelementptr inbounds double, double* %15, i64 6
store double 4.130000e-01, double* %16
%17 = load double*, double** %2
%18 = getelementptr inbounds double, double* %17, i64 7
store double 4.130000e-01, double* %18
%19 = load double*, double** %2
%20 = getelementptr inbounds double, double* %19, i64 8
store double -4.130000e-01, double* %20
%21 = load double*, double** %2
%22 = getelementptr inbounds double, double* %21, i64 9
store double -1.000000e+00, double* %22
%23 = load double*, double** %2
%24 = getelementptr inbounds double, double* %23, i64 10
store double -1.000000e+00, double* %24
%25 = load double*, double** %2
%26 = getelementptr inbounds double, double* %25, i64 11
store double 1.000000e+00, double* %26
ret void
}

LLVM IR (-O2):
define void @coordinates_p3_triangle_sn(double* nocapture writeonly %0) {
%2 = bitcast double* %0 to <2 x double>*
store <2 x double> <double -5.853000e-01, double -5.853000e-01>, <2 x double>* %2
%3 = getelementptr inbounds double, double* %0, i64 2
%4 = bitcast double* %3 to <2 x double>*
store <2 x double> <double 1.706000e-01, double -1.000000e+00>, <2 x double>* %4
%5 = getelementptr inbounds double, double* %0, i64 4
%6 = bitcast double* %5 to <2 x double>*
store <2 x double> <double -1.000000e+00, double -4.130000e-01>, <2 x double>* %6
%7 = getelementptr inbounds double, double* %0, i64 6
%8 = bitcast double* %7 to <2 x double>*
store <2 x double> <double 4.130000e-01, double 4.130000e-01>, <2 x double>* %8
%9 = getelementptr inbounds double, double* %0, i64 8
%10 = bitcast double* %9 to <2 x double>*
store <2 x double> <double -4.130000e-01, double -1.000000e+00>, <2 x double>* %10
%11 = getelementptr inbounds double, double* %0, i64 10
%12 = bitcast double* %11 to <2 x double>*
store <2 x double> <double -1.000000e+00, double 1.000000e+00>, <2 x double>* %12
ret void
}