#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 */
double frexp(double, int *);
int to_1750eflt(double input, short output[3]) {
  int exp;
  int is_neg = 0;
  unsigned short hlp;
  if (input < 0.0) {
    is_neg = 1;
    input = -input - .03125 / 549755813888.0;
  }
  input = frexp(input, &exp);
  if (input == 1.0) {
    input = 0.5;
    exp++;
  }
  if (exp < -128)
    return -1;
  else if (exp > 127)
    return 1;
  output[0] = (short)(input * 32768.0);
  input -= (double)output[0] / 32768.0;
  hlp = (unsigned short)(input * 8388608.0);
  output[1] = (short)((hlp << 8) | (exp & 0xFF));
  input -= (double)hlp / 8388608.0;
  hlp = (unsigned short)(input * 549755813888.0);
  output[2] = (short)hlp;
  if (is_neg) {
    output[0] = ~output[0];
    output[1] = (~output[1] & 0xFF00) | (output[1] & 0x00FF);
    output[2] = ~output[2];
  }
  return 0;
}


x86 assembly (clang, -O0):
<to_1750eflt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movsd  %xmm0,-0x10(%rbp)
mov    %rdi,-0x18(%rbp)
movl   $0x0,-0x20(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    116a <to_1750eflt+0x5a>
movl   $0x1,-0x20(%rbp)
movsd  -0x10(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  0xe9f(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
lea    -0x1c(%rbp),%rdi
call   1030 <frexp@plt>
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xe7e(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    11b0 <to_1750eflt+0xa0>
jp     11b0 <to_1750eflt+0xa0>
movsd  0xe6e(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0xffffff80,-0x1c(%rbp)
jge    11c6 <to_1750eflt+0xb6>
movl   $0xffffffff,-0x4(%rbp)
jmp    12f3 <to_1750eflt+0x1e3>
cmpl   $0x7f,-0x1c(%rbp)
jle    11dc <to_1750eflt+0xcc>
movl   $0x1,-0x4(%rbp)
jmp    12f3 <to_1750eflt+0x1e3>
jmp    11e1 <to_1750eflt+0xd1>
movsd  -0x10(%rbp),%xmm1
movsd  0xe2a(%rip),%xmm0
mulsd  %xmm0,%xmm1
cvttsd2si %xmm1,%eax
mov    %ax,%cx
mov    -0x18(%rbp),%rax
mov    %cx,(%rax)
mov    -0x18(%rbp),%rax
movswl (%rax),%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm0,%xmm1
movsd  -0x10(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm1
movsd  0xdf6(%rip),%xmm0
mulsd  %xmm0,%xmm1
cvttsd2si %xmm1,%eax
mov    %ax,-0x22(%rbp)
movzwl -0x22(%rbp),%eax
shl    $0x8,%eax
movzbl -0x1c(%rbp),%ecx
or     %ecx,%eax
mov    %ax,%cx
mov    -0x18(%rbp),%rax
mov    %cx,0x2(%rax)
movzwl -0x22(%rbp),%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm0,%xmm1
movsd  -0x10(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xdb3(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %ax,-0x22(%rbp)
mov    -0x22(%rbp),%cx
mov    -0x18(%rbp),%rax
mov    %cx,0x4(%rax)
cmpl   $0x0,-0x20(%rbp)
je     12ec <to_1750eflt+0x1dc>
mov    -0x18(%rbp),%rax
movswl (%rax),%eax
xor    $0xffffffff,%eax
mov    %ax,%cx
mov    -0x18(%rbp),%rax
mov    %cx,(%rax)
mov    -0x18(%rbp),%rax
movswl 0x2(%rax),%eax
xor    $0xffffffff,%eax
and    $0xff00,%eax
mov    -0x18(%rbp),%rcx
movswl 0x2(%rcx),%ecx
and    $0xff,%ecx
or     %ecx,%eax
mov    %ax,%cx
mov    -0x18(%rbp),%rax
mov    %cx,0x2(%rax)
mov    -0x18(%rbp),%rax
movswl 0x4(%rax),%eax
xor    $0xffffffff,%eax
mov    %ax,%cx
mov    -0x18(%rbp),%rax
mov    %cx,0x4(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<to_1750eflt>:
push   %rbx
sub    $0x20,%rsp
mov    %rdi,%rbx
movapd %xmm0,%xmm3
movsd  0xedc(%rip),%xmm1
subsd  %xmm0,%xmm1
xorpd  %xmm2,%xmm2
cmpltsd %xmm2,%xmm0
andpd  %xmm0,%xmm1
movapd %xmm3,0x10(%rsp)
andnpd %xmm3,%xmm0
orpd   %xmm1,%xmm0
lea    0xc(%rsp),%rdi
call   1030 <frexp@plt>
movsd  0xeb3(%rip),%xmm1
movapd %xmm0,%xmm2
cmpeqsd %xmm1,%xmm2
movq   %xmm2,%rax
mov    0xc(%rsp),%ecx
sub    %eax,%ecx
ucomisd %xmm1,%xmm0
jne    1179 <to_1750eflt+0x69>
jp     1179 <to_1750eflt+0x69>
movsd  0xe97(%rip),%xmm0
mov    $0xffffffff,%eax
cmp    $0xffffff80,%ecx
jl     1223 <to_1750eflt+0x113>
mov    $0x1,%eax
cmp    $0x7f,%ecx
jg     1223 <to_1750eflt+0x113>
movsd  0xe7b(%rip),%xmm1
mulsd  %xmm0,%xmm1
cvttsd2si %xmm1,%edx
movswl %dx,%esi
xorps  %xmm1,%xmm1
cvtsi2sd %esi,%xmm1
mulsd  0xe69(%rip),%xmm1
addsd  %xmm0,%xmm1
movsd  0xe65(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%eax
movzwl %ax,%edi
shl    $0x8,%eax
movzbl %cl,%ecx
or     %eax,%ecx
xor    %eax,%eax
xorpd  %xmm0,%xmm0
ucomisd 0x10(%rsp),%xmm0
xorps  %xmm0,%xmm0
cvtsi2sd %edi,%xmm0
mulsd  0xe3f(%rip),%xmm0
mov    %si,(%rbx)
addsd  %xmm1,%xmm0
mulsd  0xe38(%rip),%xmm0
mov    %cx,0x2(%rbx)
cvttsd2si %xmm0,%esi
mov    %si,0x4(%rbx)
jbe    1223 <to_1750eflt+0x113>
not    %edx
mov    %dx,(%rbx)
xor    $0xff00,%ecx
mov    %cx,0x2(%rbx)
not    %esi
mov    %si,0x4(%rbx)
add    $0x20,%rsp
pop    %rbx
ret

LLVM IR (-O0):
define i32 @to_1750eflt(double %0, i16* %1) {
%3 = alloca i32
%4 = alloca double
%5 = alloca i16*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i16
store double %0, double* %4
store i16* %1, i16** %5
store i32 0, i32* %7
%9 = load double, double* %4
%10 = fcmp olt double %9, 0.000000e+00
br i1 %10, label %11, label %15
11: ; preds = %2
store i32 1, i32* %7
%12 = load double, double* %4
%13 = fneg double %12
%14 = fsub double %13, 0x3D30000000000000
store double %14, double* %4
br label %15
15: ; preds = %11, %2
%16 = load double, double* %4
%17 = call double @frexp(double %16, i32* %6)
store double %17, double* %4
%18 = load double, double* %4
%19 = fcmp oeq double %18, 1.000000e+00
br i1 %19, label %20, label %23
20: ; preds = %15
store double 5.000000e-01, double* %4
%21 = load i32, i32* %6
%22 = add nsw i32 %21, 1
store i32 %22, i32* %6
br label %23
23: ; preds = %20, %15
%24 = load i32, i32* %6
%25 = icmp slt i32 %24, -128
br i1 %25, label %26, label %27
26: ; preds = %23
store i32 -1, i32* %3
br label %103
27: ; preds = %23
%28 = load i32, i32* %6
%29 = icmp sgt i32 %28, 127
br i1 %29, label %30, label %31
30: ; preds = %27
store i32 1, i32* %3
br label %103
31: ; preds = %27
br label %32
32: ; preds = %31
%33 = load double, double* %4
%34 = fmul double %33, 3.276800e+04
%35 = fptosi double %34 to i16
%36 = load i16*, i16** %5
%37 = getelementptr inbounds i16, i16* %36, i64 0
store i16 %35, i16* %37
%38 = load i16*, i16** %5
%39 = getelementptr inbounds i16, i16* %38, i64 0
%40 = load i16, i16* %39
%41 = sitofp i16 %40 to double
%42 = fdiv double %41, 3.276800e+04
%43 = load double, double* %4
%44 = fsub double %43, %42
store double %44, double* %4
%45 = load double, double* %4
%46 = fmul double %45, 0x4160000000000000
%47 = fptoui double %46 to i16
store i16 %47, i16* %8
%48 = load i16, i16* %8
%49 = zext i16 %48 to i32
%50 = shl i32 %49, 8
%51 = load i32, i32* %6
%52 = and i32 %51, 255
%53 = or i32 %50, %52
%54 = trunc i32 %53 to i16
%55 = load i16*, i16** %5
%56 = getelementptr inbounds i16, i16* %55, i64 1
store i16 %54, i16* %56
%57 = load i16, i16* %8
%58 = uitofp i16 %57 to double
%59 = fdiv double %58, 0x4160000000000000
%60 = load double, double* %4
%61 = fsub double %60, %59
store double %61, double* %4
%62 = load double, double* %4
%63 = fmul double %62, 0x4260000000000000
%64 = fptoui double %63 to i16
store i16 %64, i16* %8
%65 = load i16, i16* %8
%66 = load i16*, i16** %5
%67 = getelementptr inbounds i16, i16* %66, i64 2
store i16 %65, i16* %67
%68 = load i32, i32* %7
%69 = icmp ne i32 %68, 0
br i1 %69, label %70, label %102
70: ; preds = %32
%71 = load i16*, i16** %5
%72 = getelementptr inbounds i16, i16* %71, i64 0
%73 = load i16, i16* %72
%74 = sext i16 %73 to i32
%75 = xor i32 %74, -1
%76 = trunc i32 %75 to i16
%77 = load i16*, i16** %5
%78 = getelementptr inbounds i16, i16* %77, i64 0
store i16 %76, i16* %78
%79 = load i16*, i16** %5
%80 = getelementptr inbounds i16, i16* %79, i64 1
%81 = load i16, i16* %80
%82 = sext i16 %81 to i32
%83 = xor i32 %82, -1
%84 = and i32 %83, 65280
%85 = load i16*, i16** %5
%86 = getelementptr inbounds i16, i16* %85, i64 1
%87 = load i16, i16* %86
%88 = sext i16 %87 to i32
%89 = and i32 %88, 255
%90 = or i32 %84, %89
%91 = trunc i32 %90 to i16
%92 = load i16*, i16** %5
%93 = getelementptr inbounds i16, i16* %92, i64 1
store i16 %91, i16* %93
%94 = load i16*, i16** %5
%95 = getelementptr inbounds i16, i16* %94, i64 2
%96 = load i16, i16* %95
%97 = sext i16 %96 to i32
%98 = xor i32 %97, -1
%99 = trunc i32 %98 to i16
%100 = load i16*, i16** %5
%101 = getelementptr inbounds i16, i16* %100, i64 2
store i16 %99, i16* %101
br label %102
102: ; preds = %70, %32
store i32 0, i32* %3
br label %103
103: ; preds = %102, %30, %26
%104 = load i32, i32* %3
ret i32 %104
}

LLVM IR (-O2):
define i32 @to_1750eflt(double %0, i16* nocapture %1) {
%3 = alloca i32
%4 = bitcast i32* %3 to i8*
%5 = fcmp olt double %0, 0.000000e+00
%6 = fsub double 0xBD30000000000000, %0
%7 = select i1 %5, double %6, double %0
%8 = call double @frexp(double %7, i32* %3)
%9 = fcmp oeq double %8, 1.000000e+00
%10 = load i32, i32* %3
%11 = zext i1 %9 to i32
%12 = add nsw i32 %10, %11
%13 = select i1 %9, double 5.000000e-01, double %8
%14 = icmp slt i32 %12, -128
br i1 %14, label %41, label %15
15: ; preds = %2
%16 = icmp sgt i32 %12, 127
br i1 %16, label %41, label %17
17: ; preds = %15
%18 = fmul double %13, 3.276800e+04
%19 = fptosi double %18 to i16
store i16 %19, i16* %1
%20 = sitofp i16 %19 to double
%21 = fmul double %20, 0x3F00000000000000
%22 = fsub double %13, %21
%23 = fmul double %22, 0x4160000000000000
%24 = fptoui double %23 to i16
%25 = zext i16 %24 to i32
%26 = shl nuw nsw i32 %25, 8
%27 = and i32 %12, 255
%28 = or i32 %26, %27
%29 = trunc i32 %28 to i16
%30 = getelementptr inbounds i16, i16* %1, i64 1
store i16 %29, i16* %30
%31 = uitofp i16 %24 to double
%32 = fmul double %31, 0x3E80000000000000
%33 = fsub double %22, %32
%34 = fmul double %33, 0x4260000000000000
%35 = fptoui double %34 to i16
%36 = getelementptr inbounds i16, i16* %1, i64 2
store i16 %35, i16* %36
br i1 %5, label %37, label %41
37: ; preds = %17
%38 = xor i16 %19, -1
store i16 %38, i16* %1
%39 = xor i16 %29, -256
store i16 %39, i16* %30
%40 = xor i16 %35, -1
store i16 %40, i16* %36
br label %41
41: ; preds = %17, %37, %15, %2
%42 = phi i32 [ -1, %2 ], [ 1, %15 ], [ 0, %37 ], [ 0, %17 ]
ret i32 %42
}