#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 */
typedef int uint32_t;

/* Variables and functions */
float modff(float x, float *iptr) {
  union {
    float x;
    uint32_t n;
  } u = {x};
  uint32_t mask;
  int e;
  e = (int)(u.n >> 23 & 0xff) - 0x7f;
  if (e >= 23) {
    *iptr = x;
    if (e == 0x80 && u.n << 9 != 0) {
      return x;
    }
    u.n &= 0x80000000;
    return u.x;
  }
  if (e < 0) {
    u.n &= 0x80000000;
    *iptr = u.x;
    return x;
  }
  mask = 0x007fffff >> e;
  if ((u.n & mask) == 0) {
    *iptr = x;
    u.n &= 0x80000000;
    return u.x;
  }
  u.n &= ~mask;
  *iptr = u.x;
  return x - *iptr;
}


x86 assembly (clang, -O0):
<modff>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x8(%rbp)
mov    %rdi,-0x10(%rbp)
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
sar    $0x17,%eax
and    $0xff,%eax
sub    $0x7f,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x17,-0x20(%rbp)
jl     1184 <modff+0x84>
movss  -0x8(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
cmpl   $0x80,-0x20(%rbp)
jne    116a <modff+0x6a>
mov    -0x18(%rbp),%eax
shl    $0x9,%eax
cmp    $0x0,%eax
je     116a <modff+0x6a>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1223 <modff+0x123>
mov    -0x18(%rbp),%eax
and    $0x80000000,%eax
mov    %eax,-0x18(%rbp)
movss  -0x18(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1223 <modff+0x123>
cmpl   $0x0,-0x20(%rbp)
jge    11b5 <modff+0xb5>
mov    -0x18(%rbp),%eax
and    $0x80000000,%eax
mov    %eax,-0x18(%rbp)
movss  -0x18(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1223 <modff+0x123>
mov    -0x20(%rbp),%ecx
mov    $0x7fffff,%eax
sar    %cl,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
and    -0x1c(%rbp),%eax
cmp    $0x0,%eax
jne    11f8 <modff+0xf8>
movss  -0x8(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x18(%rbp),%eax
and    $0x80000000,%eax
mov    %eax,-0x18(%rbp)
movss  -0x18(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1223 <modff+0x123>
mov    -0x1c(%rbp),%eax
xor    $0xffffffff,%eax
and    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
movss  -0x18(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x8(%rbp),%xmm0
mov    -0x10(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<modff>:
movd   %xmm0,%eax
mov    %eax,%ecx
shr    $0x17,%ecx
movzbl %cl,%edx
lea    -0x7f(%rdx),%ecx
cmp    $0x96,%edx
jb     112b <modff+0x2b>
movss  %xmm0,(%rdi)
test   $0x7fffff,%eax
je     115c <modff+0x5c>
cmp    $0x80,%ecx
jne    115c <modff+0x5c>
ret
cmp    $0x7e,%edx
ja     1138 <modff+0x38>
and    $0x80000000,%eax
mov    %eax,(%rdi)
ret
mov    %eax,%edx
shl    %cl,%edx
test   $0x7fffff,%edx
je     1158 <modff+0x58>
mov    $0xff800000,%edx
sar    %cl,%edx
and    %eax,%edx
movd   %edx,%xmm1
mov    %edx,(%rdi)
subss  %xmm1,%xmm0
ret
movss  %xmm0,(%rdi)
and    $0x80000000,%eax
movd   %eax,%xmm0
ret

LLVM IR (-O0):
%union.anon = type { float }
define float @modff(float %0, float* %1) {
%3 = alloca float
%4 = alloca float
%5 = alloca float*
%6 = alloca %union.anon
%7 = alloca i32
%8 = alloca i32
store float %0, float* %4
store float* %1, float** %5
%9 = bitcast %union.anon* %6 to float*
%10 = load float, float* %4
store float %10, float* %9
%11 = bitcast %union.anon* %6 to i32*
%12 = load i32, i32* %11
%13 = ashr i32 %12, 23
%14 = and i32 %13, 255
%15 = sub nsw i32 %14, 127
store i32 %15, i32* %8
%16 = load i32, i32* %8
%17 = icmp sge i32 %16, 23
br i1 %17, label %18, label %36
18: ; preds = %2
%19 = load float, float* %4
%20 = load float*, float** %5
store float %19, float* %20
%21 = load i32, i32* %8
%22 = icmp eq i32 %21, 128
br i1 %22, label %23, label %30
23: ; preds = %18
%24 = bitcast %union.anon* %6 to i32*
%25 = load i32, i32* %24
%26 = shl i32 %25, 9
%27 = icmp ne i32 %26, 0
br i1 %27, label %28, label %30
28: ; preds = %23
%29 = load float, float* %4
store float %29, float* %3
br label %76
30: ; preds = %23, %18
%31 = bitcast %union.anon* %6 to i32*
%32 = load i32, i32* %31
%33 = and i32 %32, -2147483648
store i32 %33, i32* %31
%34 = bitcast %union.anon* %6 to float*
%35 = load float, float* %34
store float %35, float* %3
br label %76
36: ; preds = %2
%37 = load i32, i32* %8
%38 = icmp slt i32 %37, 0
br i1 %38, label %39, label %47
39: ; preds = %36
%40 = bitcast %union.anon* %6 to i32*
%41 = load i32, i32* %40
%42 = and i32 %41, -2147483648
store i32 %42, i32* %40
%43 = bitcast %union.anon* %6 to float*
%44 = load float, float* %43
%45 = load float*, float** %5
store float %44, float* %45
%46 = load float, float* %4
store float %46, float* %3
br label %76
47: ; preds = %36
%48 = load i32, i32* %8
%49 = ashr i32 8388607, %48
store i32 %49, i32* %7
%50 = bitcast %union.anon* %6 to i32*
%51 = load i32, i32* %50
%52 = load i32, i32* %7
%53 = and i32 %51, %52
%54 = icmp eq i32 %53, 0
br i1 %54, label %55, label %63
55: ; preds = %47
%56 = load float, float* %4
%57 = load float*, float** %5
store float %56, float* %57
%58 = bitcast %union.anon* %6 to i32*
%59 = load i32, i32* %58
%60 = and i32 %59, -2147483648
store i32 %60, i32* %58
%61 = bitcast %union.anon* %6 to float*
%62 = load float, float* %61
store float %62, float* %3
br label %76
63: ; preds = %47
%64 = load i32, i32* %7
%65 = xor i32 %64, -1
%66 = bitcast %union.anon* %6 to i32*
%67 = load i32, i32* %66
%68 = and i32 %67, %65
store i32 %68, i32* %66
%69 = bitcast %union.anon* %6 to float*
%70 = load float, float* %69
%71 = load float*, float** %5
store float %70, float* %71
%72 = load float, float* %4
%73 = load float*, float** %5
%74 = load float, float* %73
%75 = fsub float %72, %74
store float %75, float* %3
br label %76
76: ; preds = %63, %55, %39, %30, %28
%77 = load float, float* %3
ret float %77
}

LLVM IR (-O2):
define float @modff(float %0, float* nocapture writeonly %1) {
%3 = bitcast float %0 to i32
%4 = lshr i32 %3, 23
%5 = and i32 %4, 255
%6 = add nsw i32 %5, -127
%7 = icmp ugt i32 %5, 149
br i1 %7, label %8, label %16
8: ; preds = %2
store float %0, float* %1
%9 = icmp ne i32 %6, 128
%10 = and i32 %3, 8388607
%11 = icmp eq i32 %10, 0
%12 = or i1 %11, %9
br i1 %12, label %13, label %34
13: ; preds = %8
%14 = and i32 %3, -2147483648
%15 = bitcast i32 %14 to float
br label %34
16: ; preds = %2
%17 = icmp ult i32 %5, 127
br i1 %17, label %18, label %21
18: ; preds = %16
%19 = and i32 %3, -2147483648
%20 = bitcast float* %1 to i32*
store i32 %19, i32* %20
br label %34
21: ; preds = %16
%22 = lshr i32 8388607, %6
%23 = and i32 %22, %3
%24 = icmp eq i32 %23, 0
br i1 %24, label %25, label %28
25: ; preds = %21
store float %0, float* %1
%26 = and i32 %3, -2147483648
%27 = bitcast i32 %26 to float
br label %34
28: ; preds = %21
%29 = ashr i32 -8388608, %6
%30 = and i32 %29, %3
%31 = bitcast i32 %30 to float
%32 = bitcast float* %1 to i32*
store i32 %30, i32* %32
%33 = fsub float %0, %31
br label %34
34: ; preds = %8, %28, %25, %18, %13
%35 = phi float [ %15, %13 ], [ %0, %18 ], [ %27, %25 ], [ %33, %28 ], [ %0, %8 ]
ret float %35
}