void denormalize_positions(double *x0, double *x1, double *x2) {
  int i;
  for (i = 0; i <= 12; i += 12) {
    if (x1[i] - x0[i] < -180)
      x0[i] -= 360;
    if (x1[i] - x0[i] > 180)
      x0[i] += 360;
    if (x1[i] - x2[i] < -180)
      x2[i] -= 360;
    if (x1[i] - x2[i] > 180)
      x2[i] += 360;
  }
}


x86 assembly (clang, -O0):
<denormalize_positions>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0xc,-0x1c(%rbp)
jg     1254 <denormalize_positions+0x154>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm1
movsd  0xebd(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    116b <denormalize_positions+0x6b>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  0xea6(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  0xe83(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    11b1 <denormalize_positions+0xb1>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  0xe61(%rip),%xmm0
addsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm1
movsd  0xe2d(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    11fb <denormalize_positions+0xfb>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  0xe16(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  0xdf3(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1241 <denormalize_positions+0x141>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  0xdd1(%rip),%xmm0
addsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,(%rax,%rcx,8)
jmp    1246 <denormalize_positions+0x146>
mov    -0x1c(%rbp),%eax
add    $0xc,%eax
mov    %eax,-0x1c(%rbp)
jmp    1117 <denormalize_positions+0x17>
pop    %rbp
ret

x86 assembly (clang, -O2):
<denormalize_positions>:
movsd  (%rsi),%xmm1
movsd  (%rdi),%xmm2
movapd %xmm1,%xmm3
subsd  %xmm2,%xmm3
movsd  0xee8(%rip),%xmm0
ucomisd %xmm3,%xmm0
jbe    1136 <denormalize_positions+0x36>
addsd  0xee2(%rip),%xmm2
movsd  %xmm2,(%rdi)
movsd  (%rsi),%xmm1
movapd %xmm1,%xmm3
subsd  %xmm2,%xmm3
ucomisd 0xed2(%rip),%xmm3
jbe    1150 <denormalize_positions+0x50>
addsd  0xed0(%rip),%xmm2
movsd  %xmm2,(%rdi)
movsd  (%rsi),%xmm1
movsd  (%rdx),%xmm2
subsd  %xmm2,%xmm1
ucomisd %xmm1,%xmm0
jbe    1172 <denormalize_positions+0x72>
addsd  0xea2(%rip),%xmm2
movsd  %xmm2,(%rdx)
movsd  (%rsi),%xmm1
subsd  %xmm2,%xmm1
ucomisd 0xe96(%rip),%xmm1
jbe    1188 <denormalize_positions+0x88>
addsd  0xe94(%rip),%xmm2
movsd  %xmm2,(%rdx)
movsd  0x60(%rsi),%xmm1
movsd  0x60(%rdi),%xmm2
movapd %xmm1,%xmm3
subsd  %xmm2,%xmm3
ucomisd %xmm3,%xmm0
jbe    11ba <denormalize_positions+0xba>
addsd  0xe60(%rip),%xmm2
movsd  %xmm2,0x60(%rdi)
movsd  0x60(%rsi),%xmm1
movapd %xmm1,%xmm3
subsd  %xmm2,%xmm3
ucomisd 0xe4e(%rip),%xmm3
jbe    11d6 <denormalize_positions+0xd6>
addsd  0xe4c(%rip),%xmm2
movsd  %xmm2,0x60(%rdi)
movsd  0x60(%rsi),%xmm1
movsd  0x60(%rdx),%xmm2
subsd  %xmm2,%xmm1
ucomisd %xmm1,%xmm0
ja     11f0 <denormalize_positions+0xf0>
ucomisd 0xe23(%rip),%xmm1
ja     1210 <denormalize_positions+0x110>
ret
addsd  0xe10(%rip),%xmm2
movsd  %xmm2,0x60(%rdx)
movsd  0x60(%rsi),%xmm1
subsd  %xmm2,%xmm1
ucomisd 0xe02(%rip),%xmm1
jbe    11ef <denormalize_positions+0xef>
addsd  0xe00(%rip),%xmm2
movsd  %xmm2,0x60(%rdx)
ret

LLVM IR (-O0):
define void @denormalize_positions(double* %0, double* %1, double* %2) {
%4 = alloca double*
%5 = alloca double*
%6 = alloca double*
%7 = alloca i32
store double* %0, double** %4
store double* %1, double** %5
store double* %2, double** %6
store i32 0, i32* %7
br label %8
8: ; preds = %92, %3
%9 = load i32, i32* %7
%10 = icmp sle i32 %9, 12
br i1 %10, label %11, label %95
11: ; preds = %8
%12 = load double*, double** %5
%13 = load i32, i32* %7
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds double, double* %12, i64 %14
%16 = load double, double* %15
%17 = load double*, double** %4
%18 = load i32, i32* %7
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds double, double* %17, i64 %19
%21 = load double, double* %20
%22 = fsub double %16, %21
%23 = fcmp olt double %22, -1.800000e+02
br i1 %23, label %24, label %31
24: ; preds = %11
%25 = load double*, double** %4
%26 = load i32, i32* %7
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds double, double* %25, i64 %27
%29 = load double, double* %28
%30 = fsub double %29, 3.600000e+02
store double %30, double* %28
br label %31
31: ; preds = %24, %11
%32 = load double*, double** %5
%33 = load i32, i32* %7
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds double, double* %32, i64 %34
%36 = load double, double* %35
%37 = load double*, double** %4
%38 = load i32, i32* %7
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds double, double* %37, i64 %39
%41 = load double, double* %40
%42 = fsub double %36, %41
%43 = fcmp ogt double %42, 1.800000e+02
br i1 %43, label %44, label %51
44: ; preds = %31
%45 = load double*, double** %4
%46 = load i32, i32* %7
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds double, double* %45, i64 %47
%49 = load double, double* %48
%50 = fadd double %49, 3.600000e+02
store double %50, double* %48
br label %51
51: ; preds = %44, %31
%52 = load double*, double** %5
%53 = load i32, i32* %7
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds double, double* %52, i64 %54
%56 = load double, double* %55
%57 = load double*, double** %6
%58 = load i32, i32* %7
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds double, double* %57, i64 %59
%61 = load double, double* %60
%62 = fsub double %56, %61
%63 = fcmp olt double %62, -1.800000e+02
br i1 %63, label %64, label %71
64: ; preds = %51
%65 = load double*, double** %6
%66 = load i32, i32* %7
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds double, double* %65, i64 %67
%69 = load double, double* %68
%70 = fsub double %69, 3.600000e+02
store double %70, double* %68
br label %71
71: ; preds = %64, %51
%72 = load double*, double** %5
%73 = load i32, i32* %7
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds double, double* %72, i64 %74
%76 = load double, double* %75
%77 = load double*, double** %6
%78 = load i32, i32* %7
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds double, double* %77, i64 %79
%81 = load double, double* %80
%82 = fsub double %76, %81
%83 = fcmp ogt double %82, 1.800000e+02
br i1 %83, label %84, label %91
84: ; preds = %71
%85 = load double*, double** %6
%86 = load i32, i32* %7
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds double, double* %85, i64 %87
%89 = load double, double* %88
%90 = fadd double %89, 3.600000e+02
store double %90, double* %88
br label %91
91: ; preds = %84, %71
br label %92
92: ; preds = %91
%93 = load i32, i32* %7
%94 = add nsw i32 %93, 12
store i32 %94, i32* %7
br label %8
95: ; preds = %8
ret void
}

LLVM IR (-O2):
define void @denormalize_positions(double* nocapture %0, double* nocapture %1, double* nocapture %2) {
%4 = load double, double* %1
%5 = load double, double* %0
%6 = fsub double %4, %5
%7 = fcmp olt double %6, -1.800000e+02
br i1 %7, label %8, label %12
8: ; preds = %3
%9 = fadd double %5, -3.600000e+02
store double %9, double* %0
%10 = load double, double* %1
%11 = fsub double %10, %9
br label %12
12: ; preds = %8, %3
%13 = phi double [ %11, %8 ], [ %6, %3 ]
%14 = phi double [ %9, %8 ], [ %5, %3 ]
%15 = phi double [ %10, %8 ], [ %4, %3 ]
%16 = fcmp ogt double %13, 1.800000e+02
br i1 %16, label %17, label %20
17: ; preds = %12
%18 = fadd double %14, 3.600000e+02
store double %18, double* %0
%19 = load double, double* %1
br label %20
20: ; preds = %17, %12
%21 = phi double [ %19, %17 ], [ %15, %12 ]
%22 = load double, double* %2
%23 = fsub double %21, %22
%24 = fcmp olt double %23, -1.800000e+02
br i1 %24, label %25, label %29
25: ; preds = %20
%26 = fadd double %22, -3.600000e+02
store double %26, double* %2
%27 = load double, double* %1
%28 = fsub double %27, %26
br label %29
29: ; preds = %25, %20
%30 = phi double [ %28, %25 ], [ %23, %20 ]
%31 = phi double [ %26, %25 ], [ %22, %20 ]
%32 = fcmp ogt double %30, 1.800000e+02
br i1 %32, label %33, label %35
33: ; preds = %29
%34 = fadd double %31, 3.600000e+02
store double %34, double* %2
br label %35
35: ; preds = %29, %33
%36 = getelementptr inbounds double, double* %1, i64 12
%37 = load double, double* %36
%38 = getelementptr inbounds double, double* %0, i64 12
%39 = load double, double* %38
%40 = fsub double %37, %39
%41 = fcmp olt double %40, -1.800000e+02
br i1 %41, label %42, label %46
42: ; preds = %35
%43 = fadd double %39, -3.600000e+02
store double %43, double* %38
%44 = load double, double* %36
%45 = fsub double %44, %43
br label %46
46: ; preds = %42, %35
%47 = phi double [ %45, %42 ], [ %40, %35 ]
%48 = phi double [ %43, %42 ], [ %39, %35 ]
%49 = phi double [ %44, %42 ], [ %37, %35 ]
%50 = fcmp ogt double %47, 1.800000e+02
br i1 %50, label %51, label %54
51: ; preds = %46
%52 = fadd double %48, 3.600000e+02
store double %52, double* %38
%53 = load double, double* %36
br label %54
54: ; preds = %51, %46
%55 = phi double [ %53, %51 ], [ %49, %46 ]
%56 = getelementptr inbounds double, double* %2, i64 12
%57 = load double, double* %56
%58 = fsub double %55, %57
%59 = fcmp olt double %58, -1.800000e+02
br i1 %59, label %60, label %64
60: ; preds = %54
%61 = fadd double %57, -3.600000e+02
store double %61, double* %56
%62 = load double, double* %36
%63 = fsub double %62, %61
br label %64
64: ; preds = %60, %54
%65 = phi double [ %63, %60 ], [ %58, %54 ]
%66 = phi double [ %61, %60 ], [ %57, %54 ]
%67 = fcmp ogt double %65, 1.800000e+02
br i1 %67, label %68, label %70
68: ; preds = %64
%69 = fadd double %66, 3.600000e+02
store double %69, double* %56
br label %70
70: ; preds = %68, %64
ret void
}