int ffi2fi4(short *input, long ntodo, double scale, double zero, int *output,
            int *status) {
  long ii;
  double dvalue;
  if (scale == 1. && zero == 0.) {
    for (ii = 0; ii < ntodo; ii++)
      output[ii] = (int)input[ii];
  } else {
    for (ii = 0; ii < ntodo; ii++) {
      dvalue = (input[ii] - zero) / scale;
      if (dvalue < -2147483648.49) {
        *status = -11;
        output[ii] = (-2147483647 - 1);
      } else if (dvalue > 2147483647.49) {
        *status = -11;
        output[ii] = 2147483647;
      } else {
        if (dvalue >= 0)
          output[ii] = (int)(dvalue + .5);
        else
          output[ii] = (int)(dvalue - .5);
      }
    }
  }
  return (*status);
}


x86 assembly (clang, -O0):
<ffi2fi4>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movsd  %xmm0,-0x18(%rbp)
movsd  %xmm1,-0x20(%rbp)
mov    %rdx,-0x28(%rbp)
mov    %rcx,-0x30(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  0xed5(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    1196 <ffi2fi4+0x96>
jp     1196 <ffi2fi4+0x96>
movsd  -0x20(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1196 <ffi2fi4+0x96>
jp     1196 <ffi2fi4+0x96>
movq   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x10(%rbp),%rax
jge    1191 <ffi2fi4+0x91>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%rcx
movswl (%rax,%rcx,2),%edx
mov    -0x28(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    115b <ffi2fi4+0x5b>
jmp    12a9 <ffi2fi4+0x1a9>
movq   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x10(%rbp),%rax
jge    12a4 <ffi2fi4+0x1a4>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
cvtsi2sd %eax,%xmm0
subsd  -0x20(%rbp),%xmm0
divsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  0xe35(%rip),%xmm0
ucomisd -0x40(%rbp),%xmm0
jbe    11fc <ffi2fi4+0xfc>
mov    -0x30(%rbp),%rax
movl   $0xfffffff5,(%rax)
mov    -0x28(%rbp),%rax
mov    -0x38(%rbp),%rcx
movl   $0x80000000,(%rax,%rcx,4)
jmp    128e <ffi2fi4+0x18e>
movsd  -0x40(%rbp),%xmm0
movsd  0xe07(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1231 <ffi2fi4+0x131>
mov    -0x30(%rbp),%rax
movl   $0xfffffff5,(%rax)
mov    -0x28(%rbp),%rax
mov    -0x38(%rbp),%rcx
movl   $0x7fffffff,(%rax,%rcx,4)
jmp    1289 <ffi2fi4+0x189>
movsd  -0x40(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1264 <ffi2fi4+0x164>
movsd  0xdcd(%rip),%xmm0
addsd  -0x40(%rbp),%xmm0
cvttsd2si %xmm0,%edx
mov    -0x28(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1284 <ffi2fi4+0x184>
movsd  -0x40(%rbp),%xmm0
movsd  0xda7(%rip),%xmm1
subsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edx
mov    -0x28(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1289 <ffi2fi4+0x189>
jmp    128e <ffi2fi4+0x18e>
jmp    1293 <ffi2fi4+0x193>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    119e <ffi2fi4+0x9e>
jmp    12a9 <ffi2fi4+0x1a9>
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ffi2fi4>:
ucomisd 0xef8(%rip),%xmm0
jne    1133 <ffi2fi4+0x33>
jp     1133 <ffi2fi4+0x33>
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm1
jne    1133 <ffi2fi4+0x33>
jp     1133 <ffi2fi4+0x33>
test   %rsi,%rsi
jle    12b2 <ffi2fi4+0x1b2>
cmp    $0x8,%rsi
jae    11d7 <ffi2fi4+0xd7>
xor    %r11d,%r11d
jmp    12a0 <ffi2fi4+0x1a0>
test   %rsi,%rsi
jle    12b2 <ffi2fi4+0x1b2>
xor    %r9d,%r9d
movsd  0xec1(%rip),%xmm2
movsd  0xec1(%rip),%xmm3
xorpd  %xmm4,%xmm4
movsd  0xec5(%rip),%xmm5
movsd  0xeb5(%rip),%xmm6
jmp    118d <ffi2fi4+0x8d>
cs nopw 0x0(%rax,%rax,1)
nop
movl   $0xfffffff5,(%rcx)
mov    $0x80000000,%r8d
mov    %r8d,(%rdx,%r9,4)
add    $0x1,%r9
cmp    %r9,%rsi
je     12b2 <ffi2fi4+0x1b2>
movswl (%rdi,%r9,2),%eax
xorps  %xmm7,%xmm7
cvtsi2sd %eax,%xmm7
subsd  %xmm1,%xmm7
divsd  %xmm0,%xmm7
ucomisd %xmm7,%xmm2
ja     1170 <ffi2fi4+0x70>
ucomisd %xmm3,%xmm7
jbe    11c0 <ffi2fi4+0xc0>
movl   $0xfffffff5,(%rcx)
mov    $0x7fffffff,%r8d
jmp    117c <ffi2fi4+0x7c>
nopl   0x0(%rax,%rax,1)
ucomisd %xmm4,%xmm7
jae    11cc <ffi2fi4+0xcc>
addsd  %xmm5,%xmm7
jmp    11d0 <ffi2fi4+0xd0>
addsd  %xmm6,%xmm7
cvttsd2si %xmm7,%r8d
jmp    117c <ffi2fi4+0x7c>
mov    %rsi,%r11
and    $0xfffffffffffffff8,%r11
lea    -0x8(%r11),%r8
mov    %r8,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %r8,%r8
je     12b5 <ffi2fi4+0x1b5>
mov    %r9,%r10
and    $0xfffffffffffffffe,%r10
xor    %r8d,%r8d
movq   (%rdi,%r8,2),%xmm0
punpcklwd %xmm0,%xmm0
movq   0x8(%rdi,%r8,2),%xmm1
punpcklwd %xmm1,%xmm1
psrad  $0x10,%xmm0
psrad  $0x10,%xmm1
movdqu %xmm0,(%rdx,%r8,4)
movdqu %xmm1,0x10(%rdx,%r8,4)
movq   0x10(%rdi,%r8,2),%xmm0
punpcklwd %xmm0,%xmm0
movq   0x18(%rdi,%r8,2),%xmm1
punpcklwd %xmm1,%xmm1
psrad  $0x10,%xmm0
psrad  $0x10,%xmm1
movdqu %xmm0,0x20(%rdx,%r8,4)
movdqu %xmm1,0x30(%rdx,%r8,4)
add    $0x10,%r8
add    $0xfffffffffffffffe,%r10
jne    1200 <ffi2fi4+0x100>
test   $0x1,%r9b
je     1296 <ffi2fi4+0x196>
movq   (%rdi,%r8,2),%xmm0
movq   0x8(%rdi,%r8,2),%xmm1
punpcklwd %xmm0,%xmm0
psrad  $0x10,%xmm0
punpcklwd %xmm1,%xmm1
psrad  $0x10,%xmm1
movdqu %xmm0,(%rdx,%r8,4)
movdqu %xmm1,0x10(%rdx,%r8,4)
cmp    %rsi,%r11
je     12b2 <ffi2fi4+0x1b2>
nopl   0x0(%rax,%rax,1)
movswl (%rdi,%r11,2),%eax
mov    %eax,(%rdx,%r11,4)
add    $0x1,%r11
cmp    %r11,%rsi
jne    12a0 <ffi2fi4+0x1a0>
mov    (%rcx),%eax
ret
xor    %r8d,%r8d
test   $0x1,%r9b
jne    126a <ffi2fi4+0x16a>
jmp    1296 <ffi2fi4+0x196>

LLVM IR (-O0):
define i32 @ffi2fi4(i16* %0, i64 %1, double %2, double %3, i32* %4, i32* %5) {
%7 = alloca i16*
%8 = alloca i64
%9 = alloca double
%10 = alloca double
%11 = alloca i32*
%12 = alloca i32*
%13 = alloca i64
%14 = alloca double
store i16* %0, i16** %7
store i64 %1, i64* %8
store double %2, double* %9
store double %3, double* %10
store i32* %4, i32** %11
store i32* %5, i32** %12
%15 = load double, double* %9
%16 = fcmp oeq double %15, 1.000000e+00
br i1 %16, label %17, label %38
17: ; preds = %6
%18 = load double, double* %10
%19 = fcmp oeq double %18, 0.000000e+00
br i1 %19, label %20, label %38
20: ; preds = %17
store i64 0, i64* %13
br label %21
21: ; preds = %34, %20
%22 = load i64, i64* %13
%23 = load i64, i64* %8
%24 = icmp slt i64 %22, %23
br i1 %24, label %25, label %37
25: ; preds = %21
%26 = load i16*, i16** %7
%27 = load i64, i64* %13
%28 = getelementptr inbounds i16, i16* %26, i64 %27
%29 = load i16, i16* %28
%30 = sext i16 %29 to i32
%31 = load i32*, i32** %11
%32 = load i64, i64* %13
%33 = getelementptr inbounds i32, i32* %31, i64 %32
store i32 %30, i32* %33
br label %34
34: ; preds = %25
%35 = load i64, i64* %13
%36 = add nsw i64 %35, 1
store i64 %36, i64* %13
br label %21
37: ; preds = %21
br label %93
38: ; preds = %17, %6
store i64 0, i64* %13
br label %39
39: ; preds = %89, %38
%40 = load i64, i64* %13
%41 = load i64, i64* %8
%42 = icmp slt i64 %40, %41
br i1 %42, label %43, label %92
43: ; preds = %39
%44 = load i16*, i16** %7
%45 = load i64, i64* %13
%46 = getelementptr inbounds i16, i16* %44, i64 %45
%47 = load i16, i16* %46
%48 = sext i16 %47 to i32
%49 = sitofp i32 %48 to double
%50 = load double, double* %10
%51 = fsub double %49, %50
%52 = load double, double* %9
%53 = fdiv double %51, %52
store double %53, double* %14
%54 = load double, double* %14
%55 = fcmp olt double %54, 0xC1E00000000FAE14
br i1 %55, label %56, label %61
56: ; preds = %43
%57 = load i32*, i32** %12
store i32 -11, i32* %57
%58 = load i32*, i32** %11
%59 = load i64, i64* %13
%60 = getelementptr inbounds i32, i32* %58, i64 %59
store i32 -2147483648, i32* %60
br label %88
61: ; preds = %43
%62 = load double, double* %14
%63 = fcmp ogt double %62, 0x41DFFFFFFFDF5C29
br i1 %63, label %64, label %69
64: ; preds = %61
%65 = load i32*, i32** %12
store i32 -11, i32* %65
%66 = load i32*, i32** %11
%67 = load i64, i64* %13
%68 = getelementptr inbounds i32, i32* %66, i64 %67
store i32 2147483647, i32* %68
br label %87
69: ; preds = %61
%70 = load double, double* %14
%71 = fcmp oge double %70, 0.000000e+00
br i1 %71, label %72, label %79
72: ; preds = %69
%73 = load double, double* %14
%74 = fadd double %73, 5.000000e-01
%75 = fptosi double %74 to i32
%76 = load i32*, i32** %11
%77 = load i64, i64* %13
%78 = getelementptr inbounds i32, i32* %76, i64 %77
store i32 %75, i32* %78
br label %86
79: ; preds = %69
%80 = load double, double* %14
%81 = fsub double %80, 5.000000e-01
%82 = fptosi double %81 to i32
%83 = load i32*, i32** %11
%84 = load i64, i64* %13
%85 = getelementptr inbounds i32, i32* %83, i64 %84
store i32 %82, i32* %85
br label %86
86: ; preds = %79, %72
br label %87
87: ; preds = %86, %64
br label %88
88: ; preds = %87, %56
br label %89
89: ; preds = %88
%90 = load i64, i64* %13
%91 = add nsw i64 %90, 1
store i64 %91, i64* %13
br label %39
92: ; preds = %39
br label %93
93: ; preds = %92, %37
%94 = load i32*, i32** %12
%95 = load i32, i32* %94
ret i32 %95
}

LLVM IR (-O2):
define i32 @ffi2fi4(i16* nocapture %0, i64 %1, double %2, double %3, i32* nocapture writeonly %4, i32* nocapture %5) {
%7 = fcmp oeq double %2, 1.000000e+00
%8 = fcmp oeq double %3, 0.000000e+00
%9 = and i1 %7, %8
%10 = icmp sgt i64 %1, 0
br i1 %9, label %12, label %11
11: ; preds = %6
br i1 %10, label %83, label %108
12: ; preds = %6
br i1 %10, label %13, label %108
13: ; preds = %12
%14 = icmp ult i64 %1, 8
br i1 %14, label %73, label %15
15: ; preds = %13
%16 = and i64 %1, -8
%17 = add i64 %16, -8
%18 = lshr exact i64 %17, 3
%19 = add nuw nsw i64 %18, 1
%20 = and i64 %19, 1
%21 = icmp eq i64 %17, 0
br i1 %21, label %55, label %22
22: ; preds = %15
%23 = and i64 %19, 4611686018427387902
br label %24
24: ; preds = %24, %22
%25 = phi i64 [ 0, %22 ], [ %52, %24 ]
%26 = phi i64 [ 0, %22 ], [ %53, %24 ]
%27 = getelementptr inbounds i16, i16* %0, i64 %25
%28 = bitcast i16* %27 to <4 x i16>*
%29 = load <4 x i16>, <4 x i16>* %28
%30 = getelementptr inbounds i16, i16* %27, i64 4
%31 = bitcast i16* %30 to <4 x i16>*
%32 = load <4 x i16>, <4 x i16>* %31
%33 = sext <4 x i16> %29 to <4 x i32>
%34 = sext <4 x i16> %32 to <4 x i32>
%35 = getelementptr inbounds i32, i32* %4, i64 %25
%36 = bitcast i32* %35 to <4 x i32>*
store <4 x i32> %33, <4 x i32>* %36
%37 = getelementptr inbounds i32, i32* %35, i64 4
%38 = bitcast i32* %37 to <4 x i32>*
store <4 x i32> %34, <4 x i32>* %38
%39 = or i64 %25, 8
%40 = getelementptr inbounds i16, i16* %0, i64 %39
%41 = bitcast i16* %40 to <4 x i16>*
%42 = load <4 x i16>, <4 x i16>* %41
%43 = getelementptr inbounds i16, i16* %40, i64 4
%44 = bitcast i16* %43 to <4 x i16>*
%45 = load <4 x i16>, <4 x i16>* %44
%46 = sext <4 x i16> %42 to <4 x i32>
%47 = sext <4 x i16> %45 to <4 x i32>
%48 = getelementptr inbounds i32, i32* %4, i64 %39
%49 = bitcast i32* %48 to <4 x i32>*
store <4 x i32> %46, <4 x i32>* %49
%50 = getelementptr inbounds i32, i32* %48, i64 4
%51 = bitcast i32* %50 to <4 x i32>*
store <4 x i32> %47, <4 x i32>* %51
%52 = add nuw i64 %25, 16
%53 = add i64 %26, 2
%54 = icmp eq i64 %53, %23
br i1 %54, label %55, label %24
55: ; preds = %24, %15
%56 = phi i64 [ 0, %15 ], [ %52, %24 ]
%57 = icmp eq i64 %20, 0
br i1 %57, label %71, label %58
58: ; preds = %55
%59 = getelementptr inbounds i16, i16* %0, i64 %56
%60 = bitcast i16* %59 to <4 x i16>*
%61 = load <4 x i16>, <4 x i16>* %60
%62 = getelementptr inbounds i16, i16* %59, i64 4
%63 = bitcast i16* %62 to <4 x i16>*
%64 = load <4 x i16>, <4 x i16>* %63
%65 = sext <4 x i16> %61 to <4 x i32>
%66 = sext <4 x i16> %64 to <4 x i32>
%67 = getelementptr inbounds i32, i32* %4, i64 %56
%68 = bitcast i32* %67 to <4 x i32>*
store <4 x i32> %65, <4 x i32>* %68
%69 = getelementptr inbounds i32, i32* %67, i64 4
%70 = bitcast i32* %69 to <4 x i32>*
store <4 x i32> %66, <4 x i32>* %70
br label %71
71: ; preds = %55, %58
%72 = icmp eq i64 %16, %1
br i1 %72, label %108, label %73
73: ; preds = %13, %71
%74 = phi i64 [ 0, %13 ], [ %16, %71 ]
br label %75
75: ; preds = %73, %75
%76 = phi i64 [ %81, %75 ], [ %74, %73 ]
%77 = getelementptr inbounds i16, i16* %0, i64 %76
%78 = load i16, i16* %77
%79 = sext i16 %78 to i32
%80 = getelementptr inbounds i32, i32* %4, i64 %76
store i32 %79, i32* %80
%81 = add nuw nsw i64 %76, 1
%82 = icmp eq i64 %81, %1
br i1 %82, label %108, label %75
83: ; preds = %11, %103
%84 = phi i64 [ %106, %103 ], [ 0, %11 ]
%85 = getelementptr inbounds i16, i16* %0, i64 %84
%86 = load i16, i16* %85
%87 = sitofp i16 %86 to double
%88 = fsub double %87, %3
%89 = fdiv double %88, %2
%90 = fcmp olt double %89, 0xC1E00000000FAE14
br i1 %90, label %91, label %92
91: ; preds = %83
store i32 -11, i32* %5
br label %103
92: ; preds = %83
%93 = fcmp ogt double %89, 0x41DFFFFFFFDF5C29
br i1 %93, label %94, label %95
94: ; preds = %92
store i32 -11, i32* %5
br label %103
95: ; preds = %92
%96 = fcmp ult double %89, 0.000000e+00
br i1 %96, label %100, label %97
97: ; preds = %95
%98 = fadd double %89, 5.000000e-01
%99 = fptosi double %98 to i32
br label %103
100: ; preds = %95
%101 = fadd double %89, -5.000000e-01
%102 = fptosi double %101 to i32
br label %103
103: ; preds = %91, %97, %100, %94
%104 = phi i32 [ -2147483648, %91 ], [ %99, %97 ], [ %102, %100 ], [ 2147483647, %94 ]
%105 = getelementptr inbounds i32, i32* %4, i64 %84
store i32 %104, i32* %105
%106 = add nuw nsw i64 %84, 1
%107 = icmp eq i64 %106, %1
br i1 %107, label %108, label %83
108: ; preds = %103, %75, %71, %11, %12
%109 = load i32, i32* %5
ret i32 %109
}