void euifrac(x, i, frac) unsigned short *x;
unsigned long *i;
unsigned short *frac;
{
  unsigned short xi[(6 + 3)];
  int j, k;
  unsigned long ll;
  emovi(x, xi);
  k = (int)xi[1] - ((0x3fff) - 1);
  if (k <= 0) {
    *i = 0L;
    emovo(xi, frac);
    return;
  }
  if (k > (8 * sizeof(long))) {
    *i = ~(0L);
    (void)eshift(xi, k);
  } else if (k > 16) {
    j = k - ((k >> 4) << 4);
    eshift(xi, j);
    ll = xi[2];
    k -= j;
    do {
      eshup6(xi);
      ll = (ll << 16) | xi[2];
    } while ((k -= 16) > 0);
    *i = ll;
  } else {
    eshift(xi, k);
    *i = (long)xi[2] & 0xffff;
  }
  if (xi[0])
    *i = 0L;
  xi[0] = 0;
  xi[1] = (0x3fff) - 1;
  xi[2] = 0;
  if ((k = enormlz(xi)) > (((6 + 3) - 4) * 16))
    ecleaz(xi);
  else
    xi[1] -= (unsigned short)k;
  emovo(xi, frac);
}


x86 assembly (clang, -O0):
<euifrac>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
lea    -0x30(%rbp),%rsi
mov    $0x0,%al
call   1040 <emovi@plt>
movzwl -0x2e(%rbp),%eax
sub    $0x3ffe,%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
jg     11b8 <euifrac+0x58>
mov    -0x10(%rbp),%rax
movq   $0x0,(%rax)
lea    -0x30(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    $0x0,%al
call   1030 <emovo@plt>
jmp    12f5 <euifrac+0x195>
movslq -0x38(%rbp),%rax
cmp    $0x40,%rax
jbe    11e4 <euifrac+0x84>
mov    -0x10(%rbp),%rax
movq   $0xffffffffffffffff,(%rax)
lea    -0x30(%rbp),%rdi
mov    -0x38(%rbp),%esi
mov    $0x0,%al
call   1050 <eshift@plt>
jmp    1287 <euifrac+0x127>
cmpl   $0x10,-0x38(%rbp)
jle    1260 <euifrac+0x100>
mov    -0x38(%rbp),%eax
mov    -0x38(%rbp),%ecx
sar    $0x4,%ecx
shl    $0x4,%ecx
sub    %ecx,%eax
mov    %eax,-0x34(%rbp)
lea    -0x30(%rbp),%rdi
mov    -0x34(%rbp),%esi
mov    $0x0,%al
call   1050 <eshift@plt>
movzwl -0x2c(%rbp),%eax
mov    %rax,-0x40(%rbp)
mov    -0x34(%rbp),%ecx
mov    -0x38(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x38(%rbp)
lea    -0x30(%rbp),%rdi
mov    $0x0,%al
call   1080 <eshup6@plt>
mov    -0x40(%rbp),%rax
shl    $0x10,%rax
movzwl -0x2c(%rbp),%ecx
or     %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%eax
sub    $0x10,%eax
mov    %eax,-0x38(%rbp)
cmp    $0x0,%eax
jg     1220 <euifrac+0xc0>
mov    -0x40(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
jmp    1282 <euifrac+0x122>
lea    -0x30(%rbp),%rdi
mov    -0x38(%rbp),%esi
mov    $0x0,%al
call   1050 <eshift@plt>
movzwl -0x2c(%rbp),%eax
mov    %eax,%ecx
and    $0xffff,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
jmp    1287 <euifrac+0x127>
cmpw   $0x0,-0x30(%rbp)
je     129d <euifrac+0x13d>
mov    -0x10(%rbp),%rax
movq   $0x0,(%rax)
movw   $0x0,-0x30(%rbp)
movw   $0x3ffe,-0x2e(%rbp)
movw   $0x0,-0x2c(%rbp)
lea    -0x30(%rbp),%rdi
mov    $0x0,%al
call   1060 <enormlz@plt>
mov    %eax,-0x38(%rbp)
cmp    $0x50,%eax
jle    12d6 <euifrac+0x176>
lea    -0x30(%rbp),%rdi
mov    $0x0,%al
call   1070 <ecleaz@plt>
jmp    12e6 <euifrac+0x186>
mov    -0x38(%rbp),%eax
movzwl %ax,%ecx
movzwl -0x2e(%rbp),%eax
sub    %ecx,%eax
mov    %ax,-0x2e(%rbp)
lea    -0x30(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    $0x0,%al
call   1030 <emovo@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<euifrac>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x20,%rsp
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rsp,%rsi
xor    %eax,%eax
call   1040 <emovi@plt>
movzwl 0x2(%rsp),%eax
cmp    $0x3ffe,%eax
ja     1194 <euifrac+0x34>
movq   $0x0,(%r15)
jmp    125b <euifrac+0xfb>
lea    -0x3ffe(%rax),%esi
cmp    $0x41,%esi
jb     11b9 <euifrac+0x59>
movq   $0xffffffffffffffff,(%r15)
mov    %rsp,%rdi
xor    %eax,%eax
call   1050 <eshift@plt>
cmpw   $0x0,(%rsp)
jne    1226 <euifrac+0xc6>
jmp    122d <euifrac+0xcd>
movzwl %ax,%eax
cmp    $0x400f,%eax
jb     120d <euifrac+0xad>
mov    %esi,%ebp
and    $0xfffffff0,%ebp
and    $0xf,%esi
mov    %rsp,%r12
mov    %r12,%rdi
xor    %eax,%eax
call   1050 <eshift@plt>
movzwl 0x4(%rsp),%ebx
add    $0x10,%ebp
mov    %r12,%rdi
xor    %eax,%eax
call   1080 <eshup6@plt>
mov    %rbx,%rax
shl    $0x10,%rax
movzwl 0x4(%rsp),%ebx
or     %rax,%rbx
add    $0xfffffff0,%ebp
cmp    $0x10,%ebp
ja     11e0 <euifrac+0x80>
mov    %rbx,(%r15)
cmpw   $0x0,(%rsp)
jne    1226 <euifrac+0xc6>
jmp    122d <euifrac+0xcd>
mov    %rsp,%rdi
xor    %eax,%eax
call   1050 <eshift@plt>
movzwl 0x4(%rsp),%eax
mov    %rax,(%r15)
cmpw   $0x0,(%rsp)
je     122d <euifrac+0xcd>
movq   $0x0,(%r15)
movl   $0x3ffe0000,(%rsp)
movw   $0x0,0x4(%rsp)
mov    %rsp,%rdi
xor    %eax,%eax
call   1060 <enormlz@plt>
cmp    $0x51,%eax
jl     1256 <euifrac+0xf6>
mov    %rsp,%rdi
xor    %eax,%eax
call   1070 <ecleaz@plt>
jmp    125b <euifrac+0xfb>
sub    %ax,0x2(%rsp)
mov    %rsp,%rdi
mov    %r14,%rsi
xor    %eax,%eax
call   1030 <emovo@plt>
add    $0x20,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @euifrac(i16* %0, i64* %1, i16* %2) {
%4 = alloca i16*
%5 = alloca i64*
%6 = alloca i16*
%7 = alloca [9 x i16]
%8 = alloca i32
%9 = alloca i32
%10 = alloca i64
store i16* %0, i16** %4
store i64* %1, i64** %5
store i16* %2, i16** %6
%11 = load i16*, i16** %4
%12 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
%13 = call i32 (i16*, i16*, ...) bitcast (i32 (...)* @emovi to i32 (i16*, i16*, ...)*)(i16* %11, i16* %12)
%14 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 1
%15 = load i16, i16* %14
%16 = zext i16 %15 to i32
%17 = sub nsw i32 %16, 16382
store i32 %17, i32* %9
%18 = load i32, i32* %9
%19 = icmp sle i32 %18, 0
br i1 %19, label %20, label %25
20: ; preds = %3
%21 = load i64*, i64** %5
store i64 0, i64* %21
%22 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
%23 = load i16*, i16** %6
%24 = call i32 (i16*, i16*, ...) bitcast (i32 (...)* @emovo to i32 (i16*, i16*, ...)*)(i16* %22, i16* %23)
br label %107
25: ; preds = %3
%26 = load i32, i32* %9
%27 = sext i32 %26 to i64
%28 = icmp ugt i64 %27, 64
br i1 %28, label %29, label %34
29: ; preds = %25
%30 = load i64*, i64** %5
store i64 -1, i64* %30
%31 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
%32 = load i32, i32* %9
%33 = call i32 (i16*, i32, ...) bitcast (i32 (...)* @eshift to i32 (i16*, i32, ...)*)(i16* %31, i32 %32)
br label %78
34: ; preds = %25
%35 = load i32, i32* %9
%36 = icmp sgt i32 %35, 16
br i1 %36, label %37, label %68
37: ; preds = %34
%38 = load i32, i32* %9
%39 = load i32, i32* %9
%40 = ashr i32 %39, 4
%41 = shl i32 %40, 4
%42 = sub nsw i32 %38, %41
store i32 %42, i32* %8
%43 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
%44 = load i32, i32* %8
%45 = call i32 (i16*, i32, ...) bitcast (i32 (...)* @eshift to i32 (i16*, i32, ...)*)(i16* %43, i32 %44)
%46 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 2
%47 = load i16, i16* %46
%48 = zext i16 %47 to i64
store i64 %48, i64* %10
%49 = load i32, i32* %8
%50 = load i32, i32* %9
%51 = sub nsw i32 %50, %49
store i32 %51, i32* %9
br label %52
52: ; preds = %61, %37
%53 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
%54 = call i32 (i16*, ...) bitcast (i32 (...)* @eshup6 to i32 (i16*, ...)*)(i16* %53)
%55 = load i64, i64* %10
%56 = shl i64 %55, 16
%57 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 2
%58 = load i16, i16* %57
%59 = zext i16 %58 to i64
%60 = or i64 %56, %59
store i64 %60, i64* %10
br label %61
61: ; preds = %52
%62 = load i32, i32* %9
%63 = sub nsw i32 %62, 16
store i32 %63, i32* %9
%64 = icmp sgt i32 %63, 0
br i1 %64, label %52, label %65
65: ; preds = %61
%66 = load i64, i64* %10
%67 = load i64*, i64** %5
store i64 %66, i64* %67
br label %77
68: ; preds = %34
%69 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
%70 = load i32, i32* %9
%71 = call i32 (i16*, i32, ...) bitcast (i32 (...)* @eshift to i32 (i16*, i32, ...)*)(i16* %69, i32 %70)
%72 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 2
%73 = load i16, i16* %72
%74 = zext i16 %73 to i64
%75 = and i64 %74, 65535
%76 = load i64*, i64** %5
store i64 %75, i64* %76
br label %77
77: ; preds = %68, %65
br label %78
78: ; preds = %77, %29
%79 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
%80 = load i16, i16* %79
%81 = icmp ne i16 %80, 0
br i1 %81, label %82, label %84
82: ; preds = %78
%83 = load i64*, i64** %5
store i64 0, i64* %83
br label %84
84: ; preds = %82, %78
%85 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
store i16 0, i16* %85
%86 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 1
store i16 16382, i16* %86
%87 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 2
store i16 0, i16* %87
%88 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
%89 = call i32 (i16*, ...) bitcast (i32 (...)* @enormlz to i32 (i16*, ...)*)(i16* %88)
store i32 %89, i32* %9
%90 = icmp sgt i32 %89, 80
br i1 %90, label %91, label %94
91: ; preds = %84
%92 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
%93 = call i32 (i16*, ...) bitcast (i32 (...)* @ecleaz to i32 (i16*, ...)*)(i16* %92)
br label %103
94: ; preds = %84
%95 = load i32, i32* %9
%96 = trunc i32 %95 to i16
%97 = zext i16 %96 to i32
%98 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 1
%99 = load i16, i16* %98
%100 = zext i16 %99 to i32
%101 = sub nsw i32 %100, %97
%102 = trunc i32 %101 to i16
store i16 %102, i16* %98
br label %103
103: ; preds = %94, %91
%104 = getelementptr inbounds [9 x i16], [9 x i16]* %7, i64 0, i64 0
%105 = load i16*, i16** %6
%106 = call i32 (i16*, i16*, ...) bitcast (i32 (...)* @emovo to i32 (i16*, i16*, ...)*)(i16* %104, i16* %105)
br label %107
107: ; preds = %103, %20
ret void
}

LLVM IR (-O2):
define void @euifrac(i16* %0, i64* nocapture writeonly %1, i16* %2) {
%4 = alloca [9 x i16]
%5 = bitcast [9 x i16]* %4 to i8*
%6 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 0
%7 = call i32 (i16*, i16*, ...) bitcast (i32 (...)* @emovi to i32 (i16*, i16*, ...)*)(i16* %0, i16* %6)
%8 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 1
%9 = load i16, i16* %8
%10 = zext i16 %9 to i32
%11 = add nsw i32 %10, -16382
%12 = icmp ult i16 %9, 16383
br i1 %12, label %13, label %14
13: ; preds = %3
store i64 0, i64* %1
br label %57
14: ; preds = %3
%15 = icmp ugt i32 %11, 64
br i1 %15, label %16, label %18
16: ; preds = %14
store i64 -1, i64* %1
%17 = call i32 (i16*, i32, ...) bitcast (i32 (...)* @eshift to i32 (i16*, i32, ...)*)(i16* %6, i32 %11)
br label %43
18: ; preds = %14
%19 = icmp ugt i16 %9, 16398
br i1 %19, label %20, label %38
20: ; preds = %18
%21 = and i32 %11, -16
%22 = and i32 %11, 15
%23 = call i32 (i16*, i32, ...) bitcast (i32 (...)* @eshift to i32 (i16*, i32, ...)*)(i16* %6, i32 %22)
%24 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 2
%25 = load i16, i16* %24
%26 = zext i16 %25 to i64
br label %27
27: ; preds = %27, %20
%28 = phi i32 [ %21, %20 ], [ %35, %27 ]
%29 = phi i64 [ %26, %20 ], [ %34, %27 ]
%30 = call i32 (i16*, ...) bitcast (i32 (...)* @eshup6 to i32 (i16*, ...)*)(i16* %6)
%31 = shl i64 %29, 16
%32 = load i16, i16* %24
%33 = zext i16 %32 to i64
%34 = or i64 %31, %33
%35 = add nsw i32 %28, -16
%36 = icmp ugt i32 %28, 16
br i1 %36, label %27, label %37
37: ; preds = %27
store i64 %34, i64* %1
br label %43
38: ; preds = %18
%39 = call i32 (i16*, i32, ...) bitcast (i32 (...)* @eshift to i32 (i16*, i32, ...)*)(i16* %6, i32 %11)
%40 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 2
%41 = load i16, i16* %40
%42 = zext i16 %41 to i64
store i64 %42, i64* %1
br label %43
43: ; preds = %37, %38, %16
%44 = load i16, i16* %6
%45 = icmp eq i16 %44, 0
br i1 %45, label %47, label %46
46: ; preds = %43
store i64 0, i64* %1
br label %47
47: ; preds = %46, %43
store i16 0, i16* %6
store i16 16382, i16* %8
%48 = getelementptr inbounds [9 x i16], [9 x i16]* %4, i64 0, i64 2
store i16 0, i16* %48
%49 = call i32 (i16*, ...) bitcast (i32 (...)* @enormlz to i32 (i16*, ...)*)(i16* %6)
%50 = icmp sgt i32 %49, 80
br i1 %50, label %51, label %53
51: ; preds = %47
%52 = call i32 (i16*, ...) bitcast (i32 (...)* @ecleaz to i32 (i16*, ...)*)(i16* %6)
br label %57
53: ; preds = %47
%54 = load i16, i16* %8
%55 = trunc i32 %49 to i16
%56 = sub i16 %54, %55
store i16 %56, i16* %8
br label %57
57: ; preds = %51, %53, %13
%58 = call i32 (i16*, i16*, ...) bitcast (i32 (...)* @emovo to i32 (i16*, i16*, ...)*)(i16* %6, i16* %2)
ret void
}