float _modff(float x, float *i) {
  float y;
  float fract;
  y = x;
  if (x < (float)0.0) {
    y = -y;
  }
  if (y >= (float)16777216.0) {
    *i = x;
    return (float)0.0;
  }
  if (y < (float)1.0) {
    *i = (float)0.0;
    return x;
  }
  y = ((float)(((long)(y))));
  if (x < (float)0.0) {
    y = -y;
  }
  fract = ((float)(x) - (float)(y));
  *i = y;
  return fract;
}


x86 assembly (clang, -O0):
<_modff>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x8(%rbp)
mov    %rdi,-0x10(%rbp)
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x14(%rbp)
xorps  %xmm0,%xmm0
ucomiss -0x8(%rbp),%xmm0
jbe    113b <_modff+0x3b>
movss  -0x14(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
movss  0xeb8(%rip),%xmm1
ucomiss %xmm1,%xmm0
jb     116b <_modff+0x6b>
movss  -0x8(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    11f1 <_modff+0xf1>
movss  0xe91(%rip),%xmm0
ucomiss -0x14(%rbp),%xmm0
jbe    1197 <_modff+0x97>
mov    -0x10(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,(%rax)
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    11f1 <_modff+0xf1>
cvttss2si -0x14(%rbp),%rax
cvtsi2ss %rax,%xmm0
movss  %xmm0,-0x14(%rbp)
xorps  %xmm0,%xmm0
ucomiss -0x8(%rbp),%xmm0
jbe    11cb <_modff+0xcb>
movss  -0x14(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x8(%rbp),%xmm0
subss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x14(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x18(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<_modff>:
movaps 0xef9(%rip),%xmm2
xorps  %xmm0,%xmm2
xorps  %xmm1,%xmm1
movaps %xmm0,%xmm3
cmpltss %xmm1,%xmm3
andps  %xmm3,%xmm2
andnps %xmm0,%xmm3
orps   %xmm2,%xmm3
ucomiss 0xeeb(%rip),%xmm3
jae    116e <_modff+0x6e>
xorps  %xmm2,%xmm2
movss  0xee2(%rip),%xmm1
ucomiss %xmm3,%xmm1
ja     1169 <_modff+0x69>
cvttss2si %xmm3,%rax
xorps  %xmm1,%xmm1
cvtsi2ss %rax,%xmm1
movaps 0xeb5(%rip),%xmm3
xorps  %xmm1,%xmm3
xorps  %xmm4,%xmm4
movaps %xmm0,%xmm2
cmpltss %xmm4,%xmm2
movaps %xmm2,%xmm4
andnps %xmm1,%xmm4
andps  %xmm3,%xmm2
orps   %xmm4,%xmm2
subss  %xmm2,%xmm0
movaps %xmm0,%xmm1
jmp    1171 <_modff+0x71>
movaps %xmm0,%xmm2
movss  %xmm2,(%rdi)
movaps %xmm1,%xmm0
ret

LLVM IR (-O0):
define float @_modff(float %0, float* %1) {
%3 = alloca float
%4 = alloca float
%5 = alloca float*
%6 = alloca float
%7 = alloca float
store float %0, float* %4
store float* %1, float** %5
%8 = load float, float* %4
store float %8, float* %6
%9 = load float, float* %4
%10 = fcmp olt float %9, 0.000000e+00
br i1 %10, label %11, label %14
11: ; preds = %2
%12 = load float, float* %6
%13 = fneg float %12
store float %13, float* %6
br label %14
14: ; preds = %11, %2
%15 = load float, float* %6
%16 = fcmp oge float %15, 0x4170000000000000
br i1 %16, label %17, label %20
17: ; preds = %14
%18 = load float, float* %4
%19 = load float*, float** %5
store float %18, float* %19
store float 0.000000e+00, float* %3
br label %42
20: ; preds = %14
%21 = load float, float* %6
%22 = fcmp olt float %21, 1.000000e+00
br i1 %22, label %23, label %26
23: ; preds = %20
%24 = load float*, float** %5
store float 0.000000e+00, float* %24
%25 = load float, float* %4
store float %25, float* %3
br label %42
26: ; preds = %20
%27 = load float, float* %6
%28 = fptosi float %27 to i64
%29 = sitofp i64 %28 to float
store float %29, float* %6
%30 = load float, float* %4
%31 = fcmp olt float %30, 0.000000e+00
br i1 %31, label %32, label %35
32: ; preds = %26
%33 = load float, float* %6
%34 = fneg float %33
store float %34, float* %6
br label %35
35: ; preds = %32, %26
%36 = load float, float* %4
%37 = load float, float* %6
%38 = fsub float %36, %37
store float %38, float* %7
%39 = load float, float* %6
%40 = load float*, float** %5
store float %39, float* %40
%41 = load float, float* %7
store float %41, float* %3
br label %42
42: ; preds = %35, %23, %17
%43 = load float, float* %3
ret float %43
}

LLVM IR (-O2):
define float @_modff(float %0, float* nocapture writeonly %1) {
%3 = fcmp olt float %0, 0.000000e+00
%4 = fneg float %0
%5 = select i1 %3, float %4, float %0
%6 = fcmp ult float %5, 0x4170000000000000
br i1 %6, label %7, label %15
7: ; preds = %2
%8 = fcmp olt float %5, 1.000000e+00
br i1 %8, label %15, label %9
9: ; preds = %7
%10 = fptosi float %5 to i64
%11 = sitofp i64 %10 to float
%12 = fneg float %11
%13 = select i1 %3, float %12, float %11
%14 = fsub float %0, %13
br label %15
15: ; preds = %7, %2, %9
%16 = phi float [ %13, %9 ], [ %0, %2 ], [ 0.000000e+00, %7 ]
%17 = phi float [ %14, %9 ], [ 0.000000e+00, %2 ], [ %0, %7 ]
store float %16, float* %1
ret float %17
}