#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 */
scalar_t__ isnan(float);
float remquof(float x, float y, int *quo) {
  union {
    float f;
    uint32_t i;
  } ux = {x}, uy = {y};
  int ex = ux.i >> 23 & 0xff;
  int ey = uy.i >> 23 & 0xff;
  int sx = ux.i >> 31;
  int sy = uy.i >> 31;
  uint32_t q;
  uint32_t i;
  uint32_t uxi = ux.i;
  *quo = 0;
  if (uy.i << 1 == 0 || isnan(y) || ex == 0xff)
    return (x * y) / (x * y);
  if (ux.i << 1 == 0)
    return x;
  if (!ex) {
    for (i = uxi << 9; i >> 31 == 0; ex--, i <<= 1)
      ;
    uxi <<= -ex + 1;
  } else {
    uxi &= -1U >> 9;
    uxi |= 1U << 23;
  }
  if (!ey) {
    for (i = uy.i << 9; i >> 31 == 0; ey--, i <<= 1)
      ;
    uy.i <<= -ey + 1;
  } else {
    uy.i &= -1U >> 9;
    uy.i |= 1U << 23;
  }
  q = 0;
  if (ex < ey) {
    if (ex + 1 == ey)
      goto end;
    return x;
  }
  for (; ex > ey; ex--) {
    i = uxi - uy.i;
    if (i >> 31 == 0) {
      uxi = i;
      q++;
    }
    uxi <<= 1;
    q <<= 1;
  }
  i = uxi - uy.i;
  if (i >> 31 == 0) {
    uxi = i;
    q++;
  }
  if (uxi == 0)
    ex = -30;
  else
    for (; uxi >> 23 == 0; uxi <<= 1, ex--)
      ;
end:
  if (ex > 0) {
    uxi -= 1U << 23;
    uxi |= (uint32_t)ex << 23;
  } else {
    uxi >>= -ex + 1;
  }
  ux.i = uxi;
  x = ux.f;
  if (sy)
    y = -y;
  if (ex == ey || (ex + 1 == ey && (2 * x > y || (2 * x == y && q % 2)))) {
    x -= y;
    q++;
  }
  q &= 0x7fffffff;
  *quo = sx ^ sy ? -(int)q : (int)q;
  return sx ? -x : x;
}


x86 assembly (clang, -O0):
<remquof>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movss  %xmm0,-0x8(%rbp)
movss  %xmm1,-0xc(%rbp)
mov    %rdi,-0x18(%rbp)
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x20(%rbp)
movss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%eax
sar    $0x17,%eax
and    $0xff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
sar    $0x17,%eax
and    $0xff,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%eax
sar    $0x1f,%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%eax
sar    $0x1f,%eax
mov    %eax,-0x38(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x28(%rbp),%eax
shl    $0x1,%eax
cmp    $0x0,%eax
je     11a8 <remquof+0x98>
movss  -0xc(%rbp),%xmm0
call   1030 <isnan@plt>
cmp    $0x0,%rax
jne    11a8 <remquof+0x98>
cmpl   $0xff,-0x2c(%rbp)
jne    11ca <remquof+0xba>
movss  -0x8(%rbp),%xmm0
mulss  -0xc(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
mulss  -0xc(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1515 <remquof+0x405>
mov    -0x20(%rbp),%eax
shl    $0x1,%eax
cmp    $0x0,%eax
jne    11e8 <remquof+0xd8>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1515 <remquof+0x405>
cmpl   $0x0,-0x2c(%rbp)
jne    123b <remquof+0x12b>
mov    -0x44(%rbp),%eax
shl    $0x9,%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
sar    $0x1f,%eax
cmp    $0x0,%eax
jne    1226 <remquof+0x116>
jmp    120f <remquof+0xff>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x40(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    11fb <remquof+0xeb>
xor    %ecx,%ecx
sub    -0x2c(%rbp),%ecx
add    $0x1,%ecx
mov    -0x44(%rbp),%eax
shl    %cl,%eax
mov    %eax,-0x44(%rbp)
jmp    1251 <remquof+0x141>
mov    -0x44(%rbp),%eax
and    $0x7fffff,%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
or     $0x800000,%eax
mov    %eax,-0x44(%rbp)
cmpl   $0x0,-0x30(%rbp)
jne    12a4 <remquof+0x194>
mov    -0x28(%rbp),%eax
shl    $0x9,%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
sar    $0x1f,%eax
cmp    $0x0,%eax
jne    128f <remquof+0x17f>
jmp    1278 <remquof+0x168>
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
mov    -0x40(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1264 <remquof+0x154>
xor    %ecx,%ecx
sub    -0x30(%rbp),%ecx
add    $0x1,%ecx
mov    -0x28(%rbp),%eax
shl    %cl,%eax
mov    %eax,-0x28(%rbp)
jmp    12ba <remquof+0x1aa>
mov    -0x28(%rbp),%eax
and    $0x7fffff,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
or     $0x800000,%eax
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    12f0 <remquof+0x1e0>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
cmp    -0x30(%rbp),%eax
jne    12e1 <remquof+0x1d1>
jmp    13bf <remquof+0x2af>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1515 <remquof+0x405>
jmp    12f5 <remquof+0x1e5>
mov    -0x2c(%rbp),%eax
cmp    -0x30(%rbp),%eax
jle    1348 <remquof+0x238>
mov    -0x44(%rbp),%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
sar    $0x1f,%eax
cmp    $0x0,%eax
jne    1328 <remquof+0x218>
mov    -0x40(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x44(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x3c(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    12f5 <remquof+0x1e5>
mov    -0x44(%rbp),%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
sar    $0x1f,%eax
cmp    $0x0,%eax
jne    136f <remquof+0x25f>
mov    -0x40(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x44(%rbp)
jne    1385 <remquof+0x275>
movl   $0xffffffe2,-0x2c(%rbp)
jmp    13ba <remquof+0x2aa>
jmp    138a <remquof+0x27a>
mov    -0x44(%rbp),%eax
sar    $0x17,%eax
cmp    $0x0,%eax
jne    13b5 <remquof+0x2a5>
jmp    139e <remquof+0x28e>
mov    -0x44(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    138a <remquof+0x27a>
jmp    13ba <remquof+0x2aa>
jmp    13bf <remquof+0x2af>
cmpl   $0x0,-0x2c(%rbp)
jle    13e5 <remquof+0x2d5>
mov    -0x44(%rbp),%eax
sub    $0x800000,%eax
mov    %eax,-0x44(%rbp)
mov    -0x2c(%rbp),%eax
shl    $0x17,%eax
or     -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    13f5 <remquof+0x2e5>
xor    %ecx,%ecx
sub    -0x2c(%rbp),%ecx
add    $0x1,%ecx
mov    -0x44(%rbp),%eax
sar    %cl,%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x20(%rbp)
movss  -0x20(%rbp),%xmm0
movss  %xmm0,-0x8(%rbp)
cmpl   $0x0,-0x38(%rbp)
je     1426 <remquof+0x316>
movss  -0xc(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0xc(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x30(%rbp),%eax
je     1489 <remquof+0x379>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
cmp    -0x30(%rbp),%eax
jne    14a5 <remquof+0x395>
movss  0xbb7(%rip),%xmm0
mulss  -0x8(%rbp),%xmm0
ucomiss -0xc(%rbp),%xmm0
ja     1489 <remquof+0x379>
movss  0xba0(%rip),%xmm0
mulss  -0x8(%rbp),%xmm0
ucomiss -0xc(%rbp),%xmm0
jne    14a5 <remquof+0x395>
jp     14a5 <remquof+0x395>
mov    -0x3c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     14a5 <remquof+0x395>
movss  -0xc(%rbp),%xmm1
movss  -0x8(%rbp),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,-0x8(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
and    $0x7fffffff,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x34(%rbp),%eax
xor    -0x38(%rbp),%eax
cmp    $0x0,%eax
je     14cc <remquof+0x3bc>
xor    %eax,%eax
sub    -0x3c(%rbp),%eax
mov    %eax,-0x48(%rbp)
jmp    14d2 <remquof+0x3c2>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
cmpl   $0x0,-0x34(%rbp)
je     1501 <remquof+0x3f1>
movss  -0x8(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x4c(%rbp)
jmp    150b <remquof+0x3fb>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  -0x4c(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<remquof>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x20,%rsp
movdqa %xmm0,%xmm2
movd   %xmm1,%r12d
movl   $0x0,(%rdi)
test   $0x7fffffff,%r12d
je     11be <remquof+0xae>
mov    %rdi,%r14
movd   %xmm2,%r15d
mov    %r15d,%eax
shr    $0x17,%eax
movzbl %al,%ebx
movdqa %xmm1,%xmm0
movdqa %xmm1,0x10(%rsp)
movdqa %xmm2,(%rsp)
call   1030 <isnan@plt>
movdqa (%rsp),%xmm2
movaps 0x10(%rsp),%xmm1
cmp    $0xff,%ebx
je     11be <remquof+0xae>
test   %rax,%rax
jne    11be <remquof+0xae>
test   $0x7fffffff,%r15d
je     11c6 <remquof+0xb6>
mov    %r12d,%eax
shr    $0x17,%eax
movzbl %al,%eax
test   %ebx,%ebx
je     11d7 <remquof+0xc7>
mov    %r15d,%edi
and    $0x7fffff,%edi
or     $0x800000,%edi
test   %eax,%eax
je     1204 <remquof+0xf4>
mov    %r12d,%ebp
and    $0x7fffff,%ebp
or     $0x800000,%ebp
cmp    %eax,%ebx
jge    1224 <remquof+0x114>
lea    0x1(%rbx),%ecx
xor    %edx,%edx
cmp    %eax,%ecx
jne    11c6 <remquof+0xb6>
jmp    12d0 <remquof+0x1c0>
mulss  %xmm1,%xmm2
divss  %xmm2,%xmm2
movdqa %xmm2,%xmm0
add    $0x20,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r15d,%ecx
xor    %ebx,%ebx
shl    $0x9,%ecx
js     11f7 <remquof+0xe7>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0xffffffff,%ebx
add    %ecx,%ecx
jns    11f0 <remquof+0xe0>
mov    $0x1,%cl
sub    %bl,%cl
mov    %r15d,%edi
shl    %cl,%edi
test   %eax,%eax
jne    119d <remquof+0x8d>
mov    %r12d,%ecx
xor    %eax,%eax
shl    $0x9,%ecx
js     1217 <remquof+0x107>
xchg   %ax,%ax
add    $0xffffffff,%eax
add    %ecx,%ecx
jns    1210 <remquof+0x100>
mov    $0x1,%cl
sub    %al,%cl
mov    %r12d,%ebp
shl    %cl,%ebp
cmp    %eax,%ebx
jl     11b0 <remquof+0xa0>
xor    %r9d,%r9d
mov    %ebx,%r8d
sub    %eax,%r8d
jle    123a <remquof+0x12a>
lea    0x1(%rax),%ecx
cmp    %ecx,%ebx
jne    123e <remquof+0x12e>
xor    %ecx,%ecx
jmp    127e <remquof+0x16e>
xor    %ecx,%ecx
jmp    12a2 <remquof+0x192>
mov    %r8d,%ebx
and    $0xfffffffe,%ebx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
mov    %edi,%edx
sub    %ebp,%edx
mov    %edx,%esi
not    %esi
shr    $0x1f,%esi
or     %ecx,%esi
test   %edx,%edx
cmovs  %edi,%edx
add    %edx,%edx
mov    %edx,%edi
sub    %ebp,%edi
mov    %edi,%ecx
not    %ecx
shrd   $0x1f,%esi,%ecx
test   %edi,%edi
cmovs  %edx,%edi
add    %edi,%edi
add    %ecx,%ecx
add    $0xfffffffe,%ebx
jne    1250 <remquof+0x140>
mov    %eax,%ebx
test   $0x1,%r8b
je     12a2 <remquof+0x192>
mov    %edi,%edx
sub    %ebp,%edx
mov    %edx,%esi
not    %esi
shr    $0x1f,%esi
or     %ecx,%esi
test   %edx,%edx
cmovs  %edi,%edx
add    %edx,%edx
add    %esi,%esi
mov    %eax,%ebx
mov    %esi,%ecx
mov    %edx,%edi
mov    %edi,%esi
sub    %ebp,%edi
mov    %edi,%edx
not    %edx
shr    $0x1f,%edx
or     %ecx,%edx
test   %edi,%edi
cmovs  %esi,%edi
test   %edi,%edi
je     12f0 <remquof+0x1e0>
cmp    $0x7fffff,%edi
ja     12d0 <remquof+0x1c0>
mov    %edi,%ecx
lea    (%rcx,%rcx,1),%edi
add    $0xffffffff,%ebx
cmp    $0x400000,%ecx
jb     12c0 <remquof+0x1b0>
test   %ebx,%ebx
jle    12eb <remquof+0x1db>
add    $0xff800000,%edi
mov    %ebx,%r9d
shl    $0x17,%r9d
or     %edi,%r9d
test   %r12d,%r12d
js     1301 <remquof+0x1f1>
jmp    1308 <remquof+0x1f8>
mov    %edi,%r9d
jmp    12f5 <remquof+0x1e5>
mov    $0xffffffe2,%ebx
mov    $0x1,%cl
sub    %bl,%cl
sar    %cl,%r9d
test   %r12d,%r12d
jns    1308 <remquof+0x1f8>
xorps  0xcf8(%rip),%xmm1
movd   %r9d,%xmm2
cmp    %eax,%ebx
jne    131a <remquof+0x20a>
subss  %xmm1,%xmm2
add    $0x1,%edx
jmp    133c <remquof+0x22c>
add    $0x1,%ebx
cmp    %eax,%ebx
jne    133c <remquof+0x22c>
movdqa %xmm2,%xmm0
addss  %xmm2,%xmm0
ucomiss %xmm1,%xmm0
ja     1311 <remquof+0x201>
ucomiss %xmm1,%xmm0
jne    133c <remquof+0x22c>
jp     133c <remquof+0x22c>
mov    %edx,%eax
and    $0x1,%eax
jne    1311 <remquof+0x201>
and    $0x7fffffff,%edx
mov    %edx,%eax
neg    %eax
xor    %r15d,%r12d
cmovns %edx,%eax
mov    %eax,(%r14)
test   %r15d,%r15d
jns    11c6 <remquof+0xb6>
xorps  0xca1(%rip),%xmm2
jmp    11c6 <remquof+0xb6>

LLVM IR (-O0):
%union.anon = type { float }
define float @remquof(float %0, float %1, i32* %2) {
%4 = alloca float
%5 = alloca float
%6 = alloca float
%7 = alloca i32*
%8 = alloca %union.anon
%9 = alloca %union.anon
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
store float %0, float* %5
store float %1, float* %6
store i32* %2, i32** %7
%17 = bitcast %union.anon* %8 to float*
%18 = load float, float* %5
store float %18, float* %17
%19 = bitcast %union.anon* %9 to float*
%20 = load float, float* %6
store float %20, float* %19
%21 = bitcast %union.anon* %8 to i32*
%22 = load i32, i32* %21
%23 = ashr i32 %22, 23
%24 = and i32 %23, 255
store i32 %24, i32* %10
%25 = bitcast %union.anon* %9 to i32*
%26 = load i32, i32* %25
%27 = ashr i32 %26, 23
%28 = and i32 %27, 255
store i32 %28, i32* %11
%29 = bitcast %union.anon* %8 to i32*
%30 = load i32, i32* %29
%31 = ashr i32 %30, 31
store i32 %31, i32* %12
%32 = bitcast %union.anon* %9 to i32*
%33 = load i32, i32* %32
%34 = ashr i32 %33, 31
store i32 %34, i32* %13
%35 = bitcast %union.anon* %8 to i32*
%36 = load i32, i32* %35
store i32 %36, i32* %16
%37 = load i32*, i32** %7
store i32 0, i32* %37
%38 = bitcast %union.anon* %9 to i32*
%39 = load i32, i32* %38
%40 = shl i32 %39, 1
%41 = icmp eq i32 %40, 0
br i1 %41, label %49, label %42
42: ; preds = %3
%43 = load float, float* %6
%44 = call i64 @isnan(float %43)
%45 = icmp ne i64 %44, 0
br i1 %45, label %49, label %46
46: ; preds = %42
%47 = load i32, i32* %10
%48 = icmp eq i32 %47, 255
br i1 %48, label %49, label %57
49: ; preds = %46, %42, %3
%50 = load float, float* %5
%51 = load float, float* %6
%52 = fmul float %50, %51
%53 = load float, float* %5
%54 = load float, float* %6
%55 = fmul float %53, %54
%56 = fdiv float %52, %55
store float %56, float* %4
br label %267
57: ; preds = %46
%58 = bitcast %union.anon* %8 to i32*
%59 = load i32, i32* %58
%60 = shl i32 %59, 1
%61 = icmp eq i32 %60, 0
br i1 %61, label %62, label %64
62: ; preds = %57
%63 = load float, float* %5
store float %63, float* %4
br label %267
64: ; preds = %57
%65 = load i32, i32* %10
%66 = icmp ne i32 %65, 0
br i1 %66, label %86, label %67
67: ; preds = %64
%68 = load i32, i32* %16
%69 = shl i32 %68, 9
store i32 %69, i32* %15
br label %70
70: ; preds = %75, %67
%71 = load i32, i32* %15
%72 = ashr i32 %71, 31
%73 = icmp eq i32 %72, 0
br i1 %73, label %74, label %80
74: ; preds = %70
br label %75
75: ; preds = %74
%76 = load i32, i32* %10
%77 = add nsw i32 %76, -1
store i32 %77, i32* %10
%78 = load i32, i32* %15
%79 = shl i32 %78, 1
store i32 %79, i32* %15
br label %70
80: ; preds = %70
%81 = load i32, i32* %10
%82 = sub nsw i32 0, %81
%83 = add nsw i32 %82, 1
%84 = load i32, i32* %16
%85 = shl i32 %84, %83
store i32 %85, i32* %16
br label %91
86: ; preds = %64
%87 = load i32, i32* %16
%88 = and i32 %87, 8388607
store i32 %88, i32* %16
%89 = load i32, i32* %16
%90 = or i32 %89, 8388608
store i32 %90, i32* %16
br label %91
91: ; preds = %86, %80
%92 = load i32, i32* %11
%93 = icmp ne i32 %92, 0
br i1 %93, label %115, label %94
94: ; preds = %91
%95 = bitcast %union.anon* %9 to i32*
%96 = load i32, i32* %95
%97 = shl i32 %96, 9
store i32 %97, i32* %15
br label %98
98: ; preds = %103, %94
%99 = load i32, i32* %15
%100 = ashr i32 %99, 31
%101 = icmp eq i32 %100, 0
br i1 %101, label %102, label %108
102: ; preds = %98
br label %103
103: ; preds = %102
%104 = load i32, i32* %11
%105 = add nsw i32 %104, -1
store i32 %105, i32* %11
%106 = load i32, i32* %15
%107 = shl i32 %106, 1
store i32 %107, i32* %15
br label %98
108: ; preds = %98
%109 = load i32, i32* %11
%110 = sub nsw i32 0, %109
%111 = add nsw i32 %110, 1
%112 = bitcast %union.anon* %9 to i32*
%113 = load i32, i32* %112
%114 = shl i32 %113, %111
store i32 %114, i32* %112
br label %122
115: ; preds = %91
%116 = bitcast %union.anon* %9 to i32*
%117 = load i32, i32* %116
%118 = and i32 %117, 8388607
store i32 %118, i32* %116
%119 = bitcast %union.anon* %9 to i32*
%120 = load i32, i32* %119
%121 = or i32 %120, 8388608
store i32 %121, i32* %119
br label %122
122: ; preds = %115, %108
store i32 0, i32* %14
%123 = load i32, i32* %10
%124 = load i32, i32* %11
%125 = icmp slt i32 %123, %124
br i1 %125, label %126, label %134
126: ; preds = %122
%127 = load i32, i32* %10
%128 = add nsw i32 %127, 1
%129 = load i32, i32* %11
%130 = icmp eq i32 %128, %129
br i1 %130, label %131, label %132
131: ; preds = %126
br label %188
132: ; preds = %126
%133 = load float, float* %5
store float %133, float* %4
br label %267
134: ; preds = %122
br label %135
135: ; preds = %156, %134
%136 = load i32, i32* %10
%137 = load i32, i32* %11
%138 = icmp sgt i32 %136, %137
br i1 %138, label %139, label %159
139: ; preds = %135
%140 = load i32, i32* %16
%141 = bitcast %union.anon* %9 to i32*
%142 = load i32, i32* %141
%143 = sub nsw i32 %140, %142
store i32 %143, i32* %15
%144 = load i32, i32* %15
%145 = ashr i32 %144, 31
%146 = icmp eq i32 %145, 0
br i1 %146, label %147, label %151
147: ; preds = %139
%148 = load i32, i32* %15
store i32 %148, i32* %16
%149 = load i32, i32* %14
%150 = add nsw i32 %149, 1
store i32 %150, i32* %14
br label %151
151: ; preds = %147, %139
%152 = load i32, i32* %16
%153 = shl i32 %152, 1
store i32 %153, i32* %16
%154 = load i32, i32* %14
%155 = shl i32 %154, 1
store i32 %155, i32* %14
br label %156
156: ; preds = %151
%157 = load i32, i32* %10
%158 = add nsw i32 %157, -1
store i32 %158, i32* %10
br label %135
159: ; preds = %135
%160 = load i32, i32* %16
%161 = bitcast %union.anon* %9 to i32*
%162 = load i32, i32* %161
%163 = sub nsw i32 %160, %162
store i32 %163, i32* %15
%164 = load i32, i32* %15
%165 = ashr i32 %164, 31
%166 = icmp eq i32 %165, 0
br i1 %166, label %167, label %171
167: ; preds = %159
%168 = load i32, i32* %15
store i32 %168, i32* %16
%169 = load i32, i32* %14
%170 = add nsw i32 %169, 1
store i32 %170, i32* %14
br label %171
171: ; preds = %167, %159
%172 = load i32, i32* %16
%173 = icmp eq i32 %172, 0
br i1 %173, label %174, label %175
174: ; preds = %171
store i32 -30, i32* %10
br label %187
175: ; preds = %171
br label %176
176: ; preds = %181, %175
%177 = load i32, i32* %16
%178 = ashr i32 %177, 23
%179 = icmp eq i32 %178, 0
br i1 %179, label %180, label %186
180: ; preds = %176
br label %181
181: ; preds = %180
%182 = load i32, i32* %16
%183 = shl i32 %182, 1
store i32 %183, i32* %16
%184 = load i32, i32* %10
%185 = add nsw i32 %184, -1
store i32 %185, i32* %10
br label %176
186: ; preds = %176
br label %187
187: ; preds = %186, %174
br label %188
188: ; preds = %187, %131
%189 = load i32, i32* %10
%190 = icmp sgt i32 %189, 0
br i1 %190, label %191, label %198
191: ; preds = %188
%192 = load i32, i32* %16
%193 = sub i32 %192, 8388608
store i32 %193, i32* %16
%194 = load i32, i32* %10
%195 = shl i32 %194, 23
%196 = load i32, i32* %16
%197 = or i32 %196, %195
store i32 %197, i32* %16
br label %204
198: ; preds = %188
%199 = load i32, i32* %10
%200 = sub nsw i32 0, %199
%201 = add nsw i32 %200, 1
%202 = load i32, i32* %16
%203 = ashr i32 %202, %201
store i32 %203, i32* %16
br label %204
204: ; preds = %198, %191
%205 = load i32, i32* %16
%206 = bitcast %union.anon* %8 to i32*
store i32 %205, i32* %206
%207 = bitcast %union.anon* %8 to float*
%208 = load float, float* %207
store float %208, float* %5
%209 = load i32, i32* %13
%210 = icmp ne i32 %209, 0
br i1 %210, label %211, label %214
211: ; preds = %204
%212 = load float, float* %6
%213 = fneg float %212
store float %213, float* %6
br label %214
214: ; preds = %211, %204
%215 = load i32, i32* %10
%216 = load i32, i32* %11
%217 = icmp eq i32 %215, %216
br i1 %217, label %237, label %218
218: ; preds = %214
%219 = load i32, i32* %10
%220 = add nsw i32 %219, 1
%221 = load i32, i32* %11
%222 = icmp eq i32 %220, %221
br i1 %222, label %223, label %243
223: ; preds = %218
%224 = load float, float* %5
%225 = fmul float 2.000000e+00, %224
%226 = load float, float* %6
%227 = fcmp ogt float %225, %226
br i1 %227, label %237, label %228
228: ; preds = %223
%229 = load float, float* %5
%230 = fmul float 2.000000e+00, %229
%231 = load float, float* %6
%232 = fcmp oeq float %230, %231
br i1 %232, label %233, label %243
233: ; preds = %228
%234 = load i32, i32* %14
%235 = srem i32 %234, 2
%236 = icmp ne i32 %235, 0
br i1 %236, label %237, label %243
237: ; preds = %233, %223, %214
%238 = load float, float* %6
%239 = load float, float* %5
%240 = fsub float %239, %238
store float %240, float* %5
%241 = load i32, i32* %14
%242 = add nsw i32 %241, 1
store i32 %242, i32* %14
br label %243
243: ; preds = %237, %233, %228, %218
%244 = load i32, i32* %14
%245 = and i32 %244, 2147483647
store i32 %245, i32* %14
%246 = load i32, i32* %12
%247 = load i32, i32* %13
%248 = xor i32 %246, %247
%249 = icmp ne i32 %248, 0
br i1 %249, label %250, label %253
250: ; preds = %243
%251 = load i32, i32* %14
%252 = sub nsw i32 0, %251
br label %255
253: ; preds = %243
%254 = load i32, i32* %14
br label %255
255: ; preds = %253, %250
%256 = phi i32 [ %252, %250 ], [ %254, %253 ]
%257 = load i32*, i32** %7
store i32 %256, i32* %257
%258 = load i32, i32* %12
%259 = icmp ne i32 %258, 0
br i1 %259, label %260, label %263
260: ; preds = %255
%261 = load float, float* %5
%262 = fneg float %261
br label %265
263: ; preds = %255
%264 = load float, float* %5
br label %265
265: ; preds = %263, %260
%266 = phi float [ %262, %260 ], [ %264, %263 ]
store float %266, float* %4
br label %267
267: ; preds = %265, %132, %62, %49
%268 = load float, float* %4
ret float %268
}

LLVM IR (-O2):
define float @remquof(float %0, float %1, i32* nocapture writeonly %2) {
%4 = bitcast float %0 to i32
%5 = lshr i32 %4, 23
%6 = and i32 %5, 255
%7 = bitcast float %1 to i32
%8 = lshr i32 %7, 23
%9 = and i32 %8, 255
store i32 0, i32* %2
%10 = and i32 %7, 2147483647
%11 = icmp eq i32 %10, 0
br i1 %11, label %17, label %12
12: ; preds = %3
%13 = tail call i64 @isnan(float %1)
%14 = icmp ne i64 %13, 0
%15 = icmp eq i32 %6, 255
%16 = or i1 %15, %14
br i1 %16, label %17, label %20
17: ; preds = %12, %3
%18 = fmul float %0, %1
%19 = fdiv float %18, %18
br label %180
20: ; preds = %12
%21 = and i32 %4, 2147483647
%22 = icmp eq i32 %21, 0
br i1 %22, label %180, label %23
23: ; preds = %20
%24 = icmp eq i32 %6, 0
br i1 %24, label %25, label %38
25: ; preds = %23
%26 = shl i32 %4, 9
%27 = icmp sgt i32 %26, -1
br i1 %27, label %28, label %34
28: ; preds = %25, %28
%29 = phi i32 [ %32, %28 ], [ %26, %25 ]
%30 = phi i32 [ %31, %28 ], [ 0, %25 ]
%31 = add nsw i32 %30, -1
%32 = shl nuw i32 %29, 1
%33 = icmp sgt i32 %32, -1
br i1 %33, label %28, label %34
34: ; preds = %28, %25
%35 = phi i32 [ 0, %25 ], [ %31, %28 ]
%36 = sub i32 1, %35
%37 = shl i32 %4, %36
br label %41
38: ; preds = %23
%39 = and i32 %4, 8388607
%40 = or i32 %39, 8388608
br label %41
41: ; preds = %38, %34
%42 = phi i32 [ %6, %38 ], [ %35, %34 ]
%43 = phi i32 [ %40, %38 ], [ %37, %34 ]
%44 = icmp eq i32 %9, 0
br i1 %44, label %45, label %58
45: ; preds = %41
%46 = shl i32 %7, 9
%47 = icmp sgt i32 %46, -1
br i1 %47, label %48, label %54
48: ; preds = %45, %48
%49 = phi i32 [ %52, %48 ], [ %46, %45 ]
%50 = phi i32 [ %51, %48 ], [ 0, %45 ]
%51 = add nsw i32 %50, -1
%52 = shl nuw i32 %49, 1
%53 = icmp sgt i32 %52, -1
br i1 %53, label %48, label %54
54: ; preds = %48, %45
%55 = phi i32 [ 0, %45 ], [ %51, %48 ]
%56 = sub i32 1, %55
%57 = shl i32 %7, %56
br label %61
58: ; preds = %41
%59 = and i32 %7, 8388607
%60 = or i32 %59, 8388608
br label %61
61: ; preds = %58, %54
%62 = phi i32 [ %60, %58 ], [ %57, %54 ]
%63 = phi i32 [ %9, %58 ], [ %55, %54 ]
%64 = icmp slt i32 %42, %63
br i1 %64, label %74, label %65
65: ; preds = %61
%66 = icmp sgt i32 %42, %63
br i1 %66, label %67, label %112
67: ; preds = %65
%68 = sub i32 %42, %63
%69 = add i32 %63, 1
%70 = and i32 %68, 1
%71 = icmp eq i32 %42, %69
br i1 %71, label %97, label %72
72: ; preds = %67
%73 = and i32 %68, -2
br label %77
74: ; preds = %61
%75 = add nsw i32 %42, 1
%76 = icmp eq i32 %75, %63
br i1 %76, label %131, label %180
77: ; preds = %77, %72
%78 = phi i32 [ %43, %72 ], [ %93, %77 ]
%79 = phi i32 [ 0, %72 ], [ %94, %77 ]
%80 = phi i32 [ 0, %72 ], [ %95, %77 ]
%81 = sub nsw i32 %78, %62
%82 = icmp sgt i32 %81, -1
%83 = xor i32 %81, -1
%84 = lshr i32 %83, 31
%85 = or i32 %84, %79
%86 = select i1 %82, i32 %81, i32 %78
%87 = shl i32 %86, 1
%88 = sub nsw i32 %87, %62
%89 = icmp sgt i32 %88, -1
%90 = xor i32 %88, -1
%91 = call i32 @llvm.fshl.i32(i32 %85, i32 %90, i32 1)
%92 = select i1 %89, i32 %88, i32 %87
%93 = shl i32 %92, 1
%94 = shl i32 %91, 1
%95 = add i32 %80, 2
%96 = icmp eq i32 %95, %73
br i1 %96, label %97, label %77
97: ; preds = %77, %67
%98 = phi i32 [ undef, %67 ], [ %93, %77 ]
%99 = phi i32 [ undef, %67 ], [ %94, %77 ]
%100 = phi i32 [ %43, %67 ], [ %93, %77 ]
%101 = phi i32 [ 0, %67 ], [ %94, %77 ]
%102 = icmp eq i32 %70, 0
br i1 %102, label %112, label %103
103: ; preds = %97
%104 = sub nsw i32 %100, %62
%105 = icmp sgt i32 %104, -1
%106 = xor i32 %104, -1
%107 = lshr i32 %106, 31
%108 = or i32 %107, %101
%109 = select i1 %105, i32 %104, i32 %100
%110 = shl i32 %109, 1
%111 = shl i32 %108, 1
br label %112
112: ; preds = %103, %97, %65
%113 = phi i32 [ %42, %65 ], [ %63, %97 ], [ %63, %103 ]
%114 = phi i32 [ 0, %65 ], [ %99, %97 ], [ %111, %103 ]
%115 = phi i32 [ %43, %65 ], [ %98, %97 ], [ %110, %103 ]
%116 = sub nsw i32 %115, %62
%117 = icmp sgt i32 %116, -1
%118 = xor i32 %116, -1
%119 = lshr i32 %118, 31
%120 = or i32 %119, %114
%121 = select i1 %117, i32 %116, i32 %115
%122 = icmp eq i32 %121, 0
br i1 %122, label %140, label %123
123: ; preds = %112
%124 = icmp ult i32 %121, 8388608
br i1 %124, label %125, label %131
125: ; preds = %123, %125
%126 = phi i32 [ %128, %125 ], [ %121, %123 ]
%127 = phi i32 [ %129, %125 ], [ %113, %123 ]
%128 = shl nuw nsw i32 %126, 1
%129 = add nsw i32 %127, -1
%130 = icmp ult i32 %126, 4194304
br i1 %130, label %125, label %131
131: ; preds = %125, %123, %74
%132 = phi i32 [ %42, %74 ], [ %113, %123 ], [ %129, %125 ]
%133 = phi i32 [ 0, %74 ], [ %120, %123 ], [ %120, %125 ]
%134 = phi i32 [ %43, %74 ], [ %121, %123 ], [ %128, %125 ]
%135 = icmp sgt i32 %132, 0
br i1 %135, label %136, label %140
136: ; preds = %131
%137 = add i32 %134, -8388608
%138 = shl i32 %132, 23
%139 = or i32 %137, %138
br label %146
140: ; preds = %112, %131
%141 = phi i32 [ %134, %131 ], [ 0, %112 ]
%142 = phi i32 [ %133, %131 ], [ %120, %112 ]
%143 = phi i32 [ %132, %131 ], [ -30, %112 ]
%144 = sub i32 1, %143
%145 = ashr i32 %141, %144
br label %146
146: ; preds = %140, %136
%147 = phi i32 [ %133, %136 ], [ %142, %140 ]
%148 = phi i32 [ %132, %136 ], [ %143, %140 ]
%149 = phi i32 [ %139, %136 ], [ %145, %140 ]
%150 = bitcast i32 %149 to float
%151 = icmp sgt i32 %7, -1
%152 = fneg float %1
%153 = select i1 %151, float %1, float %152
%154 = icmp eq i32 %148, %63
br i1 %154, label %166, label %155
155: ; preds = %146
%156 = add nsw i32 %148, 1
%157 = icmp eq i32 %156, %63
br i1 %157, label %158, label %169
158: ; preds = %155
%159 = fmul float %150, 2.000000e+00
%160 = fcmp ogt float %159, %153
br i1 %160, label %166, label %161
161: ; preds = %158
%162 = fcmp une float %159, %153
%163 = and i32 %147, 1
%164 = icmp eq i32 %163, 0
%165 = select i1 %162, i1 true, i1 %164
br i1 %165, label %169, label %166
166: ; preds = %161, %158, %146
%167 = fsub float %150, %153
%168 = add nsw i32 %147, 1
br label %169
169: ; preds = %166, %161, %155
%170 = phi float [ %167, %166 ], [ %150, %161 ], [ %150, %155 ]
%171 = phi i32 [ %168, %166 ], [ %147, %161 ], [ %147, %155 ]
%172 = and i32 %171, 2147483647
%173 = xor i32 %7, %4
%174 = icmp sgt i32 %173, -1
%175 = sub nsw i32 0, %172
%176 = select i1 %174, i32 %172, i32 %175
store i32 %176, i32* %2
%177 = icmp sgt i32 %4, -1
%178 = fneg float %170
%179 = select i1 %177, float %170, float %178
br label %180
180: ; preds = %74, %20, %169, %17
%181 = phi float [ %19, %17 ], [ %179, %169 ], [ %0, %20 ], [ %0, %74 ]
ret float %181
}