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


x86 assembly (clang, -O0):
<coordinates_p3_triangle_rn>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsd  0xf0c(%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  0xeca(%rip),%xmm0
movsd  %xmm0,0x18(%rax)
mov    -0x8(%rbp),%rax
movsd  0xec1(%rip),%xmm0
movsd  %xmm0,0x20(%rax)
mov    -0x8(%rbp),%rax
movsd  0xeb0(%rip),%xmm0
movsd  %xmm0,0x28(%rax)
mov    -0x8(%rbp),%rax
movsd  0xe97(%rip),%xmm0
movsd  %xmm0,0x30(%rax)
mov    -0x8(%rbp),%rax
movsd  0xe76(%rip),%xmm0
movsd  %xmm0,0x38(%rax)
mov    -0x8(%rbp),%rax
movsd  0xe65(%rip),%xmm0
movsd  %xmm0,0x40(%rax)
mov    -0x8(%rbp),%rax
movsd  0xe54(%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_rn>:
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_rn(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 1.706000e-01, double* %6
%7 = load double*, double** %2
%8 = getelementptr inbounds double, double* %7, i64 2
store double -5.853000e-01, double* %8
%9 = load double*, double** %2
%10 = getelementptr inbounds double, double* %9, i64 3
store double -4.130000e-01, double* %10
%11 = load double*, double** %2
%12 = getelementptr inbounds double, double* %11, i64 4
store double 4.130000e-01, 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 -1.000000e+00, double* %18
%19 = load double*, double** %2
%20 = getelementptr inbounds double, double* %19, i64 8
store double -1.000000e+00, 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_rn(double* nocapture writeonly %0) {
%2 = bitcast double* %0 to <2 x double>*
store <2 x double> <double -5.853000e-01, double 1.706000e-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 -5.853000e-01, double -4.130000e-01>, <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 4.130000e-01, 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 -1.000000e+00>, <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 -1.000000e+00, 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
}