#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 */
float HUGE_VALF;
scalar_t__ isfinite(float);
scalar_t__ isnan(float);
void smf2splitv(float *u, float *low, float *high, float x, float w_2,
                float a) {
  float t1, t2, t3, u1, u2;
  u1 = u[0];
  u2 = u[1];
  t1 = (x - (w_2 + a) * u1 - u2) / (1.0f + a * w_2 + w_2 * w_2);
  t2 = u1 + w_2 * t1;
  t3 = u2 + w_2 * t2;
  u1 = w_2 * t1 + t2;
  u2 = w_2 * t2 + t3;
  u[0] = (isfinite(u1) ? (u1)
          : isnan(u1)  ? 0.0f
          : u1 > 0.0f  ? HUGE_VALF
                       : -HUGE_VALF);
  u[1] = (isfinite(u2) ? (u2)
          : isnan(u2)  ? 0.0f
          : u2 > 0.0f  ? HUGE_VALF
                       : -HUGE_VALF);
  *low = t3;
  *high = t1;
}


x86 assembly (clang, -O0):
<smf2splitv>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movss  %xmm0,-0x1c(%rbp)
movss  %xmm1,-0x20(%rbp)
movss  %xmm2,-0x24(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0x1c(%rbp),%xmm1
movss  -0x20(%rbp),%xmm0
addss  -0x24(%rbp),%xmm0
movss  -0x34(%rbp),%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
subss  -0x38(%rbp),%xmm0
movss  -0x24(%rbp),%xmm2
movss  -0x20(%rbp),%xmm1
mulss  %xmm1,%xmm2
movss  0xe5e(%rip),%xmm1
addss  %xmm1,%xmm2
movss  -0x20(%rbp),%xmm1
movss  -0x20(%rbp),%xmm3
mulss  %xmm3,%xmm1
addss  %xmm2,%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x34(%rbp),%xmm1
movss  -0x20(%rbp),%xmm0
movss  -0x28(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x38(%rbp),%xmm1
movss  -0x20(%rbp),%xmm0
movss  -0x2c(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x20(%rbp),%xmm0
movss  -0x28(%rbp),%xmm2
movss  -0x2c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x20(%rbp),%xmm0
movss  -0x2c(%rbp),%xmm2
movss  -0x30(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0x34(%rbp),%xmm0
call   1030 <isfinite@plt>
cmp    $0x0,%rax
je     1254 <smf2splitv+0x134>
movss  -0x34(%rbp),%xmm0
movss  %xmm0,-0x3c(%rbp)
jmp    12cc <smf2splitv+0x1ac>
movss  -0x34(%rbp),%xmm0
call   1040 <isnan@plt>
cmp    $0x0,%rax
je     1275 <smf2splitv+0x155>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x40(%rbp)
jmp    12c2 <smf2splitv+0x1a2>
movss  -0x34(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    129b <smf2splitv+0x17b>
mov    0x2d63(%rip),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x44(%rbp)
jmp    12b8 <smf2splitv+0x198>
mov    0x2d4e(%rip),%rax
movss  (%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x44(%rbp),%xmm0
movss  %xmm0,-0x40(%rbp)
movss  -0x40(%rbp),%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x3c(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x38(%rbp),%xmm0
call   1030 <isfinite@plt>
cmp    $0x0,%rax
je     12fc <smf2splitv+0x1dc>
movss  -0x38(%rbp),%xmm0
movss  %xmm0,-0x48(%rbp)
jmp    1374 <smf2splitv+0x254>
movss  -0x38(%rbp),%xmm0
call   1040 <isnan@plt>
cmp    $0x0,%rax
je     131d <smf2splitv+0x1fd>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x4c(%rbp)
jmp    136a <smf2splitv+0x24a>
movss  -0x38(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    1343 <smf2splitv+0x223>
mov    0x2cbb(%rip),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x50(%rbp)
jmp    1360 <smf2splitv+0x240>
mov    0x2ca6(%rip),%rax
movss  (%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x50(%rbp)
movss  -0x50(%rbp),%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  -0x4c(%rbp),%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x48(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
movss  -0x30(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x28(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,(%rax)
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<smf2splitv>:
push   %r15
push   %r14
push   %rbx
sub    $0x10,%rsp
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%rbx
movss  (%rdi),%xmm5
movss  0x4(%rdi),%xmm3
movaps %xmm1,%xmm4
addss  %xmm2,%xmm4
mulss  %xmm5,%xmm4
subss  %xmm4,%xmm0
subss  %xmm3,%xmm0
mulss  %xmm1,%xmm2
addss  0xea6(%rip),%xmm2
movaps %xmm1,%xmm4
mulss  %xmm1,%xmm4
addss  %xmm2,%xmm4
divss  %xmm4,%xmm0
movaps %xmm1,%xmm2
movss  %xmm0,0xc(%rsp)
mulss  %xmm0,%xmm2
addss  %xmm2,%xmm5
mulss  %xmm5,%xmm1
addss  %xmm1,%xmm3
addss  %xmm2,%xmm5
movss  %xmm3,0x8(%rsp)
addss  %xmm3,%xmm1
movss  %xmm1,(%rsp)
movss  %xmm5,0x4(%rsp)
movaps %xmm5,%xmm0
call   1030 <isfinite@plt>
test   %rax,%rax
je     11b0 <smf2splitv+0x90>
movss  0x4(%rsp),%xmm0
jmp    11eb <smf2splitv+0xcb>
movss  0x4(%rsp),%xmm0
call   1040 <isnan@plt>
xorps  %xmm0,%xmm0
test   %rax,%rax
jne    11eb <smf2splitv+0xcb>
mov    0x2e26(%rip),%rax
movss  (%rax),%xmm1
movaps 0xe3b(%rip),%xmm2
xorps  %xmm1,%xmm2
xorps  %xmm0,%xmm0
cmpltss 0x4(%rsp),%xmm0
andps  %xmm0,%xmm1
andnps %xmm2,%xmm0
orps   %xmm1,%xmm0
movss  %xmm0,(%rbx)
movss  (%rsp),%xmm0
call   1030 <isfinite@plt>
test   %rax,%rax
je     1205 <smf2splitv+0xe5>
movss  (%rsp),%xmm0
jmp    123e <smf2splitv+0x11e>
movss  (%rsp),%xmm0
call   1040 <isnan@plt>
xorps  %xmm0,%xmm0
test   %rax,%rax
jne    123e <smf2splitv+0x11e>
mov    0x2dd2(%rip),%rax
movss  (%rax),%xmm1
movaps 0xde7(%rip),%xmm2
xorps  %xmm1,%xmm2
xorps  %xmm0,%xmm0
cmpltss (%rsp),%xmm0
andps  %xmm0,%xmm1
andnps %xmm2,%xmm0
orps   %xmm1,%xmm0
movss  %xmm0,0x4(%rbx)
movss  0x8(%rsp),%xmm0
movss  %xmm0,(%r15)
movss  0xc(%rsp),%xmm0
movss  %xmm0,(%r14)
add    $0x10,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@HUGE_VALF = global float 0.000000e+00
define void @smf2splitv(float* %0, float* %1, float* %2, float %3, float %4, float %5) {
%7 = alloca float*
%8 = alloca float*
%9 = alloca float*
%10 = alloca float
%11 = alloca float
%12 = alloca float
%13 = alloca float
%14 = alloca float
%15 = alloca float
%16 = alloca float
%17 = alloca float
store float* %0, float** %7
store float* %1, float** %8
store float* %2, float** %9
store float %3, float* %10
store float %4, float* %11
store float %5, float* %12
%18 = load float*, float** %7
%19 = getelementptr inbounds float, float* %18, i64 0
%20 = load float, float* %19
store float %20, float* %16
%21 = load float*, float** %7
%22 = getelementptr inbounds float, float* %21, i64 1
%23 = load float, float* %22
store float %23, float* %17
%24 = load float, float* %10
%25 = load float, float* %11
%26 = load float, float* %12
%27 = fadd float %25, %26
%28 = load float, float* %16
%29 = fneg float %27
%30 = call float @llvm.fmuladd.f32(float %29, float %28, float %24)
%31 = load float, float* %17
%32 = fsub float %30, %31
%33 = load float, float* %12
%34 = load float, float* %11
%35 = call float @llvm.fmuladd.f32(float %33, float %34, float 1.000000e+00)
%36 = load float, float* %11
%37 = load float, float* %11
%38 = call float @llvm.fmuladd.f32(float %36, float %37, float %35)
%39 = fdiv float %32, %38
store float %39, float* %13
%40 = load float, float* %16
%41 = load float, float* %11
%42 = load float, float* %13
%43 = call float @llvm.fmuladd.f32(float %41, float %42, float %40)
store float %43, float* %14
%44 = load float, float* %17
%45 = load float, float* %11
%46 = load float, float* %14
%47 = call float @llvm.fmuladd.f32(float %45, float %46, float %44)
store float %47, float* %15
%48 = load float, float* %11
%49 = load float, float* %13
%50 = load float, float* %14
%51 = call float @llvm.fmuladd.f32(float %48, float %49, float %50)
store float %51, float* %16
%52 = load float, float* %11
%53 = load float, float* %14
%54 = load float, float* %15
%55 = call float @llvm.fmuladd.f32(float %52, float %53, float %54)
store float %55, float* %17
%56 = load float, float* %16
%57 = call i64 @isfinite(float %56)
%58 = icmp ne i64 %57, 0
br i1 %58, label %59, label %61
59: ; preds = %6
%60 = load float, float* %16
br label %78
61: ; preds = %6
%62 = load float, float* %16
%63 = call i64 @isnan(float %62)
%64 = icmp ne i64 %63, 0
br i1 %64, label %65, label %66
65: ; preds = %61
br label %76
66: ; preds = %61
%67 = load float, float* %16
%68 = fcmp ogt float %67, 0.000000e+00
br i1 %68, label %69, label %71
69: ; preds = %66
%70 = load float, float* @HUGE_VALF
br label %74
71: ; preds = %66
%72 = load float, float* @HUGE_VALF
%73 = fneg float %72
br label %74
74: ; preds = %71, %69
%75 = phi float [ %70, %69 ], [ %73, %71 ]
br label %76
76: ; preds = %74, %65
%77 = phi float [ 0.000000e+00, %65 ], [ %75, %74 ]
br label %78
78: ; preds = %76, %59
%79 = phi float [ %60, %59 ], [ %77, %76 ]
%80 = load float*, float** %7
%81 = getelementptr inbounds float, float* %80, i64 0
store float %79, float* %81
%82 = load float, float* %17
%83 = call i64 @isfinite(float %82)
%84 = icmp ne i64 %83, 0
br i1 %84, label %85, label %87
85: ; preds = %78
%86 = load float, float* %17
br label %104
87: ; preds = %78
%88 = load float, float* %17
%89 = call i64 @isnan(float %88)
%90 = icmp ne i64 %89, 0
br i1 %90, label %91, label %92
91: ; preds = %87
br label %102
92: ; preds = %87
%93 = load float, float* %17
%94 = fcmp ogt float %93, 0.000000e+00
br i1 %94, label %95, label %97
95: ; preds = %92
%96 = load float, float* @HUGE_VALF
br label %100
97: ; preds = %92
%98 = load float, float* @HUGE_VALF
%99 = fneg float %98
br label %100
100: ; preds = %97, %95
%101 = phi float [ %96, %95 ], [ %99, %97 ]
br label %102
102: ; preds = %100, %91
%103 = phi float [ 0.000000e+00, %91 ], [ %101, %100 ]
br label %104
104: ; preds = %102, %85
%105 = phi float [ %86, %85 ], [ %103, %102 ]
%106 = load float*, float** %7
%107 = getelementptr inbounds float, float* %106, i64 1
store float %105, float* %107
%108 = load float, float* %15
%109 = load float*, float** %8
store float %108, float* %109
%110 = load float, float* %13
%111 = load float*, float** %9
store float %110, float* %111
ret void
}

LLVM IR (-O2):
@HUGE_VALF = global float 0.000000e+00
define void @smf2splitv(float* nocapture %0, float* nocapture writeonly %1, float* nocapture writeonly %2, float %3, float %4, float %5) {
%7 = load float, float* %0
%8 = getelementptr inbounds float, float* %0, i64 1
%9 = load float, float* %8
%10 = fadd float %4, %5
%11 = fneg float %10
%12 = tail call float @llvm.fmuladd.f32(float %11, float %7, float %3)
%13 = fsub float %12, %9
%14 = tail call float @llvm.fmuladd.f32(float %5, float %4, float 1.000000e+00)
%15 = tail call float @llvm.fmuladd.f32(float %4, float %4, float %14)
%16 = fdiv float %13, %15
%17 = tail call float @llvm.fmuladd.f32(float %4, float %16, float %7)
%18 = tail call float @llvm.fmuladd.f32(float %4, float %17, float %9)
%19 = tail call float @llvm.fmuladd.f32(float %4, float %16, float %17)
%20 = tail call float @llvm.fmuladd.f32(float %4, float %17, float %18)
%21 = tail call i64 @isfinite(float %19)
%22 = icmp eq i64 %21, 0
br i1 %22, label %23, label %31
23: ; preds = %6
%24 = tail call i64 @isnan(float %19)
%25 = icmp eq i64 %24, 0
br i1 %25, label %26, label %31
26: ; preds = %23
%27 = fcmp ogt float %19, 0.000000e+00
%28 = load float, float* @HUGE_VALF
%29 = fneg float %28
%30 = select i1 %27, float %28, float %29
br label %31
31: ; preds = %6, %26, %23
%32 = phi float [ %30, %26 ], [ 0.000000e+00, %23 ], [ %19, %6 ]
store float %32, float* %0
%33 = tail call i64 @isfinite(float %20)
%34 = icmp eq i64 %33, 0
br i1 %34, label %35, label %43
35: ; preds = %31
%36 = tail call i64 @isnan(float %20)
%37 = icmp eq i64 %36, 0
br i1 %37, label %38, label %43
38: ; preds = %35
%39 = fcmp ogt float %20, 0.000000e+00
%40 = load float, float* @HUGE_VALF
%41 = fneg float %40
%42 = select i1 %39, float %40, float %41
br label %43
43: ; preds = %31, %38, %35
%44 = phi float [ %42, %38 ], [ 0.000000e+00, %35 ], [ %20, %31 ]
store float %44, float* %8
store float %18, float* %1
store float %16, float* %2
ret void
}