#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 */
int M_PI;
float moduloPI(float angle) {
  if (angle >= 0)
    while (angle > M_PI / 2)
      angle -= M_PI;
  else
    while (angle <= -M_PI / 2)
      angle += M_PI;
  return angle;
}


x86 assembly (clang, -O0):
<moduloPI>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jb     1165 <moduloPI+0x65>
jmp    111f <moduloPI+0x1f>
movss  -0x4(%rbp),%xmm0
mov    0x2ebd(%rip),%rax
mov    (%rax),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cvtsi2ss %eax,%xmm1
ucomiss %xmm1,%xmm0
jbe    1160 <moduloPI+0x60>
mov    0x2e9f(%rip),%rax
cvtsi2ssl (%rax),%xmm1
movss  -0x4(%rbp),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    111f <moduloPI+0x1f>
jmp    11ae <moduloPI+0xae>
jmp    116a <moduloPI+0x6a>
movss  -0x4(%rbp),%xmm1
xor    %eax,%eax
mov    0x2e70(%rip),%rcx
sub    (%rcx),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cvtsi2ss %eax,%xmm0
ucomiss %xmm1,%xmm0
jb     11a9 <moduloPI+0xa9>
mov    0x2e52(%rip),%rax
cvtsi2ssl (%rax),%xmm0
addss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    116a <moduloPI+0x6a>
jmp    11ae <moduloPI+0xae>
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<moduloPI>:
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
mov    0x2edb(%rip),%rax
mov    (%rax),%eax
mov    %eax,%ecx
jae    113b <moduloPI+0x3b>
shr    $0x1f,%ecx
add    %eax,%ecx
sar    %ecx
neg    %ecx
xorps  %xmm1,%xmm1
cvtsi2ss %ecx,%xmm1
ucomiss %xmm0,%xmm1
jb     1169 <moduloPI+0x69>
cvtsi2ss %eax,%xmm2
nopl   0x0(%rax)
addss  %xmm2,%xmm0
ucomiss %xmm0,%xmm1
jae    1130 <moduloPI+0x30>
jmp    1169 <moduloPI+0x69>
shr    $0x1f,%ecx
add    %eax,%ecx
sar    %ecx
xorps  %xmm1,%xmm1
cvtsi2ss %ecx,%xmm1
ucomiss %xmm1,%xmm0
jbe    1169 <moduloPI+0x69>
cvtsi2ss %eax,%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
subss  %xmm2,%xmm0
ucomiss %xmm1,%xmm0
ja     1160 <moduloPI+0x60>
ret

LLVM IR (-O0):
@M_PI = global i32 0
define float @moduloPI(float %0) {
%2 = alloca float
store float %0, float* %2
%3 = load float, float* %2
%4 = fcmp oge float %3, 0.000000e+00
br i1 %4, label %5, label %18
5: ; preds = %1
br label %6
6: ; preds = %12, %5
%7 = load float, float* %2
%8 = load i32, i32* @M_PI
%9 = sdiv i32 %8, 2
%10 = sitofp i32 %9 to float
%11 = fcmp ogt float %7, %10
br i1 %11, label %12, label %17
12: ; preds = %6
%13 = load i32, i32* @M_PI
%14 = sitofp i32 %13 to float
%15 = load float, float* %2
%16 = fsub float %15, %14
store float %16, float* %2
br label %6
17: ; preds = %6
br label %32
18: ; preds = %1
br label %19
19: ; preds = %26, %18
%20 = load float, float* %2
%21 = load i32, i32* @M_PI
%22 = sub nsw i32 0, %21
%23 = sdiv i32 %22, 2
%24 = sitofp i32 %23 to float
%25 = fcmp ole float %20, %24
br i1 %25, label %26, label %31
26: ; preds = %19
%27 = load i32, i32* @M_PI
%28 = sitofp i32 %27 to float
%29 = load float, float* %2
%30 = fadd float %29, %28
store float %30, float* %2
br label %19
31: ; preds = %19
br label %32
32: ; preds = %31, %17
%33 = load float, float* %2
ret float %33
}

LLVM IR (-O2):
@M_PI = global i32 0
define float @moduloPI(float %0) {
%2 = fcmp ult float %0, 0.000000e+00
%3 = load i32, i32* @M_PI
br i1 %2, label %10, label %4
4: ; preds = %1
%5 = sdiv i32 %3, 2
%6 = sitofp i32 %5 to float
%7 = fcmp olt float %6, %0
br i1 %7, label %8, label %24
8: ; preds = %4
%9 = sitofp i32 %3 to float
br label %16
10: ; preds = %1
%11 = sdiv i32 %3, -2
%12 = sitofp i32 %11 to float
%13 = fcmp ult float %12, %0
br i1 %13, label %24, label %14
14: ; preds = %10
%15 = sitofp i32 %3 to float
br label %20
16: ; preds = %8, %16
%17 = phi float [ %0, %8 ], [ %18, %16 ]
%18 = fsub float %17, %9
%19 = fcmp ogt float %18, %6
br i1 %19, label %16, label %24
20: ; preds = %14, %20
%21 = phi float [ %0, %14 ], [ %22, %20 ]
%22 = fadd float %21, %15
%23 = fcmp ugt float %22, %12
br i1 %23, label %24, label %20
24: ; preds = %16, %20, %4, %10
%25 = phi float [ %0, %10 ], [ %0, %4 ], [ %22, %20 ], [ %18, %16 ]
ret float %25
}