float _frexpf(float x, int *e) {
  float m;
  float *fPtr = &x;
  long int *lPtr = (long int *)fPtr;
  if (x == (float)0.0) {
    *e = (int)0;
    return (int)0;
  }
  *e = (int)((*lPtr >> 23) & 0xff);
  *e = *e - 126;
  *lPtr = (*lPtr & 0x807fffff) | (126 << 23);
  m = *fPtr;
  return m;
}


x86 assembly (clang, -O0):
<_frexpf>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x8(%rbp)
mov    %rdi,-0x10(%rbp)
lea    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
movss  -0x8(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    114b <_frexpf+0x4b>
jp     114b <_frexpf+0x4b>
mov    -0x10(%rbp),%rax
movl   $0x0,(%rax)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    11a9 <_frexpf+0xa9>
mov    -0x28(%rbp),%rax
mov    (%rax),%rax
sar    $0x17,%rax
and    $0xff,%rax
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
sub    $0x7e,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%rax
movabs $0x807fffff,%rcx
and    (%rax),%rcx
or     $0x3f000000,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<_frexpf>:
movss  %xmm0,-0x8(%rsp)
xorps  %xmm1,%xmm1
xor    %eax,%eax
ucomiss %xmm1,%xmm0
jne    1112 <_frexpf+0x12>
jnp    1122 <_frexpf+0x22>
mov    -0x8(%rsp),%eax
shr    $0x17,%eax
movzbl %al,%eax
add    $0xffffff82,%eax
movaps %xmm0,%xmm1
mov    %eax,(%rdi)
movaps %xmm1,%xmm0
ret

LLVM IR (-O0):
define float @_frexpf(float %0, i32* %1) {
%3 = alloca float
%4 = alloca float
%5 = alloca i32*
%6 = alloca float
%7 = alloca float*
%8 = alloca i64*
store float %0, float* %4
store i32* %1, i32** %5
store float* %4, float** %7
%9 = load float*, float** %7
%10 = bitcast float* %9 to i64*
store i64* %10, i64** %8
%11 = load float, float* %4
%12 = fcmp oeq float %11, 0.000000e+00
br i1 %12, label %13, label %15
13: ; preds = %2
%14 = load i32*, i32** %5
store i32 0, i32* %14
store float 0.000000e+00, float* %3
br label %34
15: ; preds = %2
%16 = load i64*, i64** %8
%17 = load i64, i64* %16
%18 = ashr i64 %17, 23
%19 = and i64 %18, 255
%20 = trunc i64 %19 to i32
%21 = load i32*, i32** %5
store i32 %20, i32* %21
%22 = load i32*, i32** %5
%23 = load i32, i32* %22
%24 = sub nsw i32 %23, 126
%25 = load i32*, i32** %5
store i32 %24, i32* %25
%26 = load i64*, i64** %8
%27 = load i64, i64* %26
%28 = and i64 %27, 2155872255
%29 = or i64 %28, 1056964608
%30 = load i64*, i64** %8
store i64 %29, i64* %30
%31 = load float*, float** %7
%32 = load float, float* %31
store float %32, float* %6
%33 = load float, float* %6
store float %33, float* %3
br label %34
34: ; preds = %15, %13
%35 = load float, float* %3
ret float %35
}

LLVM IR (-O2):
define float @_frexpf(float %0, i32* nocapture writeonly %1) {
%3 = alloca float
store float %0, float* %3
%4 = fcmp oeq float %0, 0.000000e+00
br i1 %4, label %12, label %5
5: ; preds = %2
%6 = bitcast float* %3 to i64*
%7 = load i64, i64* %6
%8 = trunc i64 %7 to i32
%9 = lshr i32 %8, 23
%10 = and i32 %9, 255
%11 = add nsw i32 %10, -126
br label %12
12: ; preds = %2, %5
%13 = phi i32 [ %11, %5 ], [ 0, %2 ]
%14 = phi float [ %0, %5 ], [ 0.000000e+00, %2 ]
store i32 %13, i32* %1
ret float %14
}