long double frexpl(long double x, int *exp) {
  long double exponents[20], *next;
  int exponent, bit;
  if (x != x || x + x == x) {
    *exp = 0;
    return x;
  }
  if (x < 0)
    return -frexpl(-x, exp);
  exponent = 0;
  if (x > 1.0) {
    for (next = exponents, exponents[0] = 2.0L, bit = 1; *next <= x + x;
         bit <<= 1, next[1] = next[0] * next[0], next++)
      ;
    for (; next >= exponents; bit >>= 1, next--)
      if (x + x >= *next) {
        x /= *next;
        exponent |= bit;
      }
  } else if (x < 0.5) {
    for (next = exponents, exponents[0] = 0.5L, bit = 1; *next > x;
         bit <<= 1, next[1] = next[0] * next[0], next++)
      ;
    for (; next >= exponents; bit >>= 1, next--)
      if (x < *next) {
        x /= *next;
        exponent |= bit;
      }
    exponent = -exponent;
  }
  *exp = exponent;
  return x;
}


x86 assembly (clang, -O0):
<frexpl>:
push   %rbp
mov    %rsp,%rbp
sub    $0x190,%rsp
fldt   0x10(%rbp)
fstpt  -0x20(%rbp)
mov    %rdi,-0x28(%rbp)
fldt   -0x20(%rbp)
fucomip %st(0),%st
jp     1151 <frexpl+0x41>
jmp    1135 <frexpl+0x25>
fldt   -0x20(%rbp)
fld    %st(0)
fadd   %st(1),%st
fucomip %st(1),%st
fstp   %st(0)
jne    1166 <frexpl+0x56>
jp     1166 <frexpl+0x56>
jmp    1151 <frexpl+0x41>
mov    -0x28(%rbp),%rax
movl   $0x0,(%rax)
fldt   -0x20(%rbp)
fstpt  -0x10(%rbp)
jmp    13f9 <frexpl+0x2e9>
fldt   -0x20(%rbp)
fldz
fucomip %st(1),%st
fstp   %st(0)
jbe    1197 <frexpl+0x87>
jmp    117a <frexpl+0x6a>
fldt   -0x20(%rbp)
fchs
mov    -0x28(%rbp),%rdi
mov    %rsp,%rax
fstpt  (%rax)
call   1030 <frexpl@plt>
fchs
fstpt  -0x10(%rbp)
jmp    13f9 <frexpl+0x2e9>
movl   $0x0,-0x17c(%rbp)
fldt   -0x20(%rbp)
fld1
fxch   %st(1)
fucomip %st(1),%st
fstp   %st(0)
jbe    12be <frexpl+0x1ae>
jmp    11b7 <frexpl+0xa7>
lea    -0x170(%rbp),%rax
mov    %rax,-0x178(%rbp)
flds   0xe39(%rip)
fstpt  -0x170(%rbp)
movl   $0x1,-0x180(%rbp)
mov    -0x178(%rbp),%rax
fldt   (%rax)
fldt   -0x20(%rbp)
fadd   %st,%st(0)
fucomip %st(1),%st
fstp   %st(0)
jb     1230 <frexpl+0x120>
jmp    11f8 <frexpl+0xe8>
jmp    11fd <frexpl+0xed>
mov    -0x180(%rbp),%eax
add    %eax,%eax
mov    %eax,-0x180(%rbp)
mov    -0x178(%rbp),%rax
fldt   (%rax)
fmul   %st,%st(0)
fstpt  0x10(%rax)
mov    -0x178(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x178(%rbp)
jmp    11db <frexpl+0xcb>
jmp    1235 <frexpl+0x125>
mov    -0x178(%rbp),%rax
lea    -0x170(%rbp),%rcx
cmp    %rcx,%rax
jb     12b9 <frexpl+0x1a9>
fldt   -0x20(%rbp)
fadd   %st,%st(0)
mov    -0x178(%rbp),%rax
fldt   (%rax)
fxch   %st(1)
fucomip %st(1),%st
fstp   %st(0)
jb     128e <frexpl+0x17e>
jmp    126b <frexpl+0x15b>
mov    -0x178(%rbp),%rax
fldt   (%rax)
fldt   -0x20(%rbp)
fdivp  %st,%st(1)
fstpt  -0x20(%rbp)
mov    -0x180(%rbp),%eax
or     -0x17c(%rbp),%eax
mov    %eax,-0x17c(%rbp)
jmp    1293 <frexpl+0x183>
mov    -0x180(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x180(%rbp)
mov    -0x178(%rbp),%rax
add    $0xfffffffffffffff0,%rax
mov    %rax,-0x178(%rbp)
jmp    1235 <frexpl+0x125>
jmp    13e7 <frexpl+0x2d7>
fldt   -0x20(%rbp)
flds   0xd39(%rip)
fucomip %st(1),%st
fstp   %st(0)
jbe    13e2 <frexpl+0x2d2>
jmp    12d6 <frexpl+0x1c6>
lea    -0x170(%rbp),%rax
mov    %rax,-0x178(%rbp)
flds   0xd16(%rip)
fstpt  -0x170(%rbp)
movl   $0x1,-0x180(%rbp)
mov    -0x178(%rbp),%rax
fldt   (%rax)
fldt   -0x20(%rbp)
fxch   %st(1)
fucomip %st(1),%st
fstp   %st(0)
jbe    134f <frexpl+0x23f>
jmp    1317 <frexpl+0x207>
jmp    131c <frexpl+0x20c>
mov    -0x180(%rbp),%eax
add    %eax,%eax
mov    %eax,-0x180(%rbp)
mov    -0x178(%rbp),%rax
fldt   (%rax)
fmul   %st,%st(0)
fstpt  0x10(%rax)
mov    -0x178(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x178(%rbp)
jmp    12fa <frexpl+0x1ea>
jmp    1354 <frexpl+0x244>
mov    -0x178(%rbp),%rax
lea    -0x170(%rbp),%rcx
cmp    %rcx,%rax
jb     13d4 <frexpl+0x2c4>
fldt   -0x20(%rbp)
mov    -0x178(%rbp),%rax
fldt   (%rax)
fucomip %st(1),%st
fstp   %st(0)
jbe    13a9 <frexpl+0x299>
jmp    1386 <frexpl+0x276>
mov    -0x178(%rbp),%rax
fldt   (%rax)
fldt   -0x20(%rbp)
fdivp  %st,%st(1)
fstpt  -0x20(%rbp)
mov    -0x180(%rbp),%eax
or     -0x17c(%rbp),%eax
mov    %eax,-0x17c(%rbp)
jmp    13ae <frexpl+0x29e>
mov    -0x180(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x180(%rbp)
mov    -0x178(%rbp),%rax
add    $0xfffffffffffffff0,%rax
mov    %rax,-0x178(%rbp)
jmp    1354 <frexpl+0x244>
xor    %eax,%eax
sub    -0x17c(%rbp),%eax
mov    %eax,-0x17c(%rbp)
jmp    13e7 <frexpl+0x2d7>
mov    -0x17c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
fldt   -0x20(%rbp)
fstpt  -0x10(%rbp)
fldt   -0x10(%rbp)
add    $0x190,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<frexpl>:
sub    $0x158,%rsp
fldt   0x160(%rsp)
fucomi %st(0),%st
fldz
jp     1130 <frexpl+0x20>
fstp   %st(0)
fld    %st(0)
fadd   %st(1),%st
fucomi %st(1),%st
jne    1140 <frexpl+0x30>
jp     1140 <frexpl+0x30>
fstp   %st(0)
movl   $0x0,(%rdi)
add    $0x158,%rsp
ret
fldz
fucomip %st(2),%st
jbe    115c <frexpl+0x4c>
fstp   %st(0)
fchs
fstpt  (%rsp)
call   1030 <frexpl@plt>
fchs
add    $0x158,%rsp
ret
fld1
fxch   %st(2)
fucomi %st(2),%st
fstp   %st(2)
jbe    11c9 <frexpl+0xb9>
lea    0x10(%rsp),%r8
flds   0xe93(%rip)
fld    %st(0)
fstpt  0x10(%rsp)
mov    $0x1,%edx
fxch   %st(1)
fucomi %st(1),%st
mov    %r8,%rsi
jb     1213 <frexpl+0x103>
fstp   %st(1)
mov    $0x1,%edx
flds   0xe6e(%rip)
lea    0x10(%rsp),%rsi
nopl   0x0(%rax,%rax,1)
add    %edx,%edx
fmul   %st,%st(0)
fld    %st(0)
fstpt  0x10(%rsi)
add    $0x10,%rsi
fxch   %st(1)
fucomi %st(1),%st
fxch   %st(1)
jae    11a0 <frexpl+0x90>
fstp   %st(1)
xor    %eax,%eax
lea    0x10(%rsp),%rcx
cmp    %rcx,%rsi
fldz
jae    1213 <frexpl+0x103>
fstp   %st(1)
jmp    1242 <frexpl+0x132>
fstp   %st(0)
xor    %eax,%eax
flds   0xe2d(%rip)
fucomi %st(1),%st
jbe    1242 <frexpl+0x132>
lea    0x10(%rsp),%rcx
fld    %st(0)
fstpt  0x10(%rsp)
mov    $0x1,%edx
nopw   0x0(%rax,%rax,1)
add    %edx,%edx
fmul   %st,%st(0)
fld    %st(0)
fstpt  0x10(%rcx)
add    $0x10,%rcx
fucomi %st(1),%st
ja     11f0 <frexpl+0xe0>
fstp   %st(0)
xor    %eax,%eax
lea    0x10(%rsp),%rsi
cmp    %rsi,%rcx
jae    124e <frexpl+0x13e>
neg    %eax
jmp    1244 <frexpl+0x134>
fstp   %st(0)
add    $0xfffffffffffffff0,%rsi
xor    %eax,%eax
jmp    1231 <frexpl+0x121>
nopl   (%rax)
fdivrp %st,%st(1)
or     %edx,%eax
cmp    %r8,%rsi
jb     1244 <frexpl+0x134>
sar    %edx
fldt   (%rsi)
add    $0xfffffffffffffff0,%rsi
fld    %st(1)
fadd   %st(2),%st
fucomip %st(1),%st
jae    1220 <frexpl+0x110>
fstp   %st(0)
cmp    %r8,%rsi
jae    1229 <frexpl+0x119>
jmp    1244 <frexpl+0x134>
fstp   %st(0)
mov    %eax,(%rdi)
add    $0x158,%rsp
ret
xor    %eax,%eax
jmp    126f <frexpl+0x15f>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
fdivrp %st,%st(1)
or     %edx,%eax
sar    %edx
add    $0xfffffffffffffff0,%rcx
cmp    %rsi,%rcx
jb     120f <frexpl+0xff>
fldt   (%rcx)
fucomi %st(1),%st
ja     1260 <frexpl+0x150>
fstp   %st(0)
jmp    1264 <frexpl+0x154>

LLVM IR (-O0):
define x86_fp80 @frexpl(x86_fp80 %0, i32* %1) {
%3 = alloca x86_fp80
%4 = alloca x86_fp80
%5 = alloca i32*
%6 = alloca [20 x x86_fp80]
%7 = alloca x86_fp80*
%8 = alloca i32
%9 = alloca i32
store x86_fp80 %0, x86_fp80* %4
store i32* %1, i32** %5
%10 = load x86_fp80, x86_fp80* %4
%11 = load x86_fp80, x86_fp80* %4
%12 = fcmp une x86_fp80 %10, %11
br i1 %12, label %19, label %13
13: ; preds = %2
%14 = load x86_fp80, x86_fp80* %4
%15 = load x86_fp80, x86_fp80* %4
%16 = fadd x86_fp80 %14, %15
%17 = load x86_fp80, x86_fp80* %4
%18 = fcmp oeq x86_fp80 %16, %17
br i1 %18, label %19, label %22
19: ; preds = %13, %2
%20 = load i32*, i32** %5
store i32 0, i32* %20
%21 = load x86_fp80, x86_fp80* %4
store x86_fp80 %21, x86_fp80* %3
br label %144
22: ; preds = %13
%23 = load x86_fp80, x86_fp80* %4
%24 = fcmp olt x86_fp80 %23, 0xK00000000000000000000
br i1 %24, label %25, label %31
25: ; preds = %22
%26 = load x86_fp80, x86_fp80* %4
%27 = fneg x86_fp80 %26
%28 = load i32*, i32** %5
%29 = call x86_fp80 @frexpl(x86_fp80 %27, i32* %28)
%30 = fneg x86_fp80 %29
store x86_fp80 %30, x86_fp80* %3
br label %144
31: ; preds = %22
store i32 0, i32* %8
%32 = load x86_fp80, x86_fp80* %4
%33 = fcmp ogt x86_fp80 %32, 0xK3FFF8000000000000000
br i1 %33, label %34, label %86
34: ; preds = %31
%35 = getelementptr inbounds [20 x x86_fp80], [20 x x86_fp80]* %6, i64 0, i64 0
store x86_fp80* %35, x86_fp80** %7
%36 = getelementptr inbounds [20 x x86_fp80], [20 x x86_fp80]* %6, i64 0, i64 0
store x86_fp80 0xK40008000000000000000, x86_fp80* %36
store i32 1, i32* %9
br label %37
37: ; preds = %45, %34
%38 = load x86_fp80*, x86_fp80** %7
%39 = load x86_fp80, x86_fp80* %38
%40 = load x86_fp80, x86_fp80* %4
%41 = load x86_fp80, x86_fp80* %4
%42 = fadd x86_fp80 %40, %41
%43 = fcmp ole x86_fp80 %39, %42
br i1 %43, label %44, label %59
44: ; preds = %37
br label %45
45: ; preds = %44
%46 = load i32, i32* %9
%47 = shl i32 %46, 1
store i32 %47, i32* %9
%48 = load x86_fp80*, x86_fp80** %7
%49 = getelementptr inbounds x86_fp80, x86_fp80* %48, i64 0
%50 = load x86_fp80, x86_fp80* %49
%51 = load x86_fp80*, x86_fp80** %7
%52 = getelementptr inbounds x86_fp80, x86_fp80* %51, i64 0
%53 = load x86_fp80, x86_fp80* %52
%54 = fmul x86_fp80 %50, %53
%55 = load x86_fp80*, x86_fp80** %7
%56 = getelementptr inbounds x86_fp80, x86_fp80* %55, i64 1
store x86_fp80 %54, x86_fp80* %56
%57 = load x86_fp80*, x86_fp80** %7
%58 = getelementptr inbounds x86_fp80, x86_fp80* %57, i32 1
store x86_fp80* %58, x86_fp80** %7
br label %37
59: ; preds = %37
br label %60
60: ; preds = %80, %59
%61 = load x86_fp80*, x86_fp80** %7
%62 = getelementptr inbounds [20 x x86_fp80], [20 x x86_fp80]* %6, i64 0, i64 0
%63 = icmp uge x86_fp80* %61, %62
br i1 %63, label %64, label %85
64: ; preds = %60
%65 = load x86_fp80, x86_fp80* %4
%66 = load x86_fp80, x86_fp80* %4
%67 = fadd x86_fp80 %65, %66
%68 = load x86_fp80*, x86_fp80** %7
%69 = load x86_fp80, x86_fp80* %68
%70 = fcmp oge x86_fp80 %67, %69
br i1 %70, label %71, label %79
71: ; preds = %64
%72 = load x86_fp80*, x86_fp80** %7
%73 = load x86_fp80, x86_fp80* %72
%74 = load x86_fp80, x86_fp80* %4
%75 = fdiv x86_fp80 %74, %73
store x86_fp80 %75, x86_fp80* %4
%76 = load i32, i32* %9
%77 = load i32, i32* %8
%78 = or i32 %77, %76
store i32 %78, i32* %8
br label %79
79: ; preds = %71, %64
br label %80
80: ; preds = %79
%81 = load i32, i32* %9
%82 = ashr i32 %81, 1
store i32 %82, i32* %9
%83 = load x86_fp80*, x86_fp80** %7
%84 = getelementptr inbounds x86_fp80, x86_fp80* %83, i32 -1
store x86_fp80* %84, x86_fp80** %7
br label %60
85: ; preds = %60
br label %140
86: ; preds = %31
%87 = load x86_fp80, x86_fp80* %4
%88 = fcmp olt x86_fp80 %87, 0xK3FFE8000000000000000
br i1 %88, label %89, label %139
89: ; preds = %86
%90 = getelementptr inbounds [20 x x86_fp80], [20 x x86_fp80]* %6, i64 0, i64 0
store x86_fp80* %90, x86_fp80** %7
%91 = getelementptr inbounds [20 x x86_fp80], [20 x x86_fp80]* %6, i64 0, i64 0
store x86_fp80 0xK3FFE8000000000000000, x86_fp80* %91
store i32 1, i32* %9
br label %92
92: ; preds = %98, %89
%93 = load x86_fp80*, x86_fp80** %7
%94 = load x86_fp80, x86_fp80* %93
%95 = load x86_fp80, x86_fp80* %4
%96 = fcmp ogt x86_fp80 %94, %95
br i1 %96, label %97, label %112
97: ; preds = %92
br label %98
98: ; preds = %97
%99 = load i32, i32* %9
%100 = shl i32 %99, 1
store i32 %100, i32* %9
%101 = load x86_fp80*, x86_fp80** %7
%102 = getelementptr inbounds x86_fp80, x86_fp80* %101, i64 0
%103 = load x86_fp80, x86_fp80* %102
%104 = load x86_fp80*, x86_fp80** %7
%105 = getelementptr inbounds x86_fp80, x86_fp80* %104, i64 0
%106 = load x86_fp80, x86_fp80* %105
%107 = fmul x86_fp80 %103, %106
%108 = load x86_fp80*, x86_fp80** %7
%109 = getelementptr inbounds x86_fp80, x86_fp80* %108, i64 1
store x86_fp80 %107, x86_fp80* %109
%110 = load x86_fp80*, x86_fp80** %7
%111 = getelementptr inbounds x86_fp80, x86_fp80* %110, i32 1
store x86_fp80* %111, x86_fp80** %7
br label %92
112: ; preds = %92
br label %113
113: ; preds = %131, %112
%114 = load x86_fp80*, x86_fp80** %7
%115 = getelementptr inbounds [20 x x86_fp80], [20 x x86_fp80]* %6, i64 0, i64 0
%116 = icmp uge x86_fp80* %114, %115
br i1 %116, label %117, label %136
117: ; preds = %113
%118 = load x86_fp80, x86_fp80* %4
%119 = load x86_fp80*, x86_fp80** %7
%120 = load x86_fp80, x86_fp80* %119
%121 = fcmp olt x86_fp80 %118, %120
br i1 %121, label %122, label %130
122: ; preds = %117
%123 = load x86_fp80*, x86_fp80** %7
%124 = load x86_fp80, x86_fp80* %123
%125 = load x86_fp80, x86_fp80* %4
%126 = fdiv x86_fp80 %125, %124
store x86_fp80 %126, x86_fp80* %4
%127 = load i32, i32* %9
%128 = load i32, i32* %8
%129 = or i32 %128, %127
store i32 %129, i32* %8
br label %130
130: ; preds = %122, %117
br label %131
131: ; preds = %130
%132 = load i32, i32* %9
%133 = ashr i32 %132, 1
store i32 %133, i32* %9
%134 = load x86_fp80*, x86_fp80** %7
%135 = getelementptr inbounds x86_fp80, x86_fp80* %134, i32 -1
store x86_fp80* %135, x86_fp80** %7
br label %113
136: ; preds = %113
%137 = load i32, i32* %8
%138 = sub nsw i32 0, %137
store i32 %138, i32* %8
br label %139
139: ; preds = %136, %86
br label %140
140: ; preds = %139, %85
%141 = load i32, i32* %8
%142 = load i32*, i32** %5
store i32 %141, i32* %142
%143 = load x86_fp80, x86_fp80* %4
store x86_fp80 %143, x86_fp80* %3
br label %144
144: ; preds = %140, %25, %19
%145 = load x86_fp80, x86_fp80* %3
ret x86_fp80 %145
}

LLVM IR (-O2):
define x86_fp80 @frexpl(x86_fp80 %0, i32* nocapture writeonly %1) {
%3 = alloca [20 x x86_fp80]
%4 = bitcast [20 x x86_fp80]* %3 to i8*
%5 = fcmp uno x86_fp80 %0, 0xK00000000000000000000
br i1 %5, label %9, label %6
6: ; preds = %2
%7 = fadd x86_fp80 %0, %0
%8 = fcmp oeq x86_fp80 %7, %0
br i1 %8, label %9, label %10
9: ; preds = %6, %2
store i32 0, i32* %1
br label %91
10: ; preds = %6
%11 = fcmp olt x86_fp80 %0, 0xK00000000000000000000
br i1 %11, label %12, label %16
12: ; preds = %10
%13 = fneg x86_fp80 %0
%14 = tail call x86_fp80 @frexpl(x86_fp80 %13, i32* %1)
%15 = fneg x86_fp80 %14
br label %91
16: ; preds = %10
%17 = fcmp ogt x86_fp80 %0, 0xK3FFF8000000000000000
br i1 %17, label %18, label %54
18: ; preds = %16
%19 = getelementptr inbounds [20 x x86_fp80], [20 x x86_fp80]* %3, i64 0, i64 0
store x86_fp80 0xK40008000000000000000, x86_fp80* %19
%20 = fcmp ult x86_fp80 %7, 0xK40008000000000000000
br i1 %20, label %23, label %27
21: ; preds = %27
%22 = icmp ult x86_fp80* %33, %19
br i1 %22, label %88, label %23
23: ; preds = %18, %21
%24 = phi x86_fp80 [ 0xK40008000000000000000, %18 ], [ %32, %21 ]
%25 = phi i32 [ 1, %18 ], [ %31, %21 ]
%26 = phi x86_fp80* [ %19, %18 ], [ %33, %21 ]
br label %35
27: ; preds = %18, %27
%28 = phi x86_fp80 [ %32, %27 ], [ 0xK40008000000000000000, %18 ]
%29 = phi i32 [ %31, %27 ], [ 1, %18 ]
%30 = phi x86_fp80* [ %33, %27 ], [ %19, %18 ]
%31 = shl i32 %29, 1
%32 = fmul x86_fp80 %28, %28
%33 = getelementptr inbounds x86_fp80, x86_fp80* %30, i64 1
store x86_fp80 %32, x86_fp80* %33
%34 = fcmp ugt x86_fp80 %32, %7
br i1 %34, label %21, label %27
35: ; preds = %23, %51
%36 = phi x86_fp80 [ %53, %51 ], [ %24, %23 ]
%37 = phi i32 [ %52, %51 ], [ %25, %23 ]
%38 = phi i32 [ %48, %51 ], [ 0, %23 ]
%39 = phi x86_fp80* [ %49, %51 ], [ %26, %23 ]
%40 = phi x86_fp80 [ %47, %51 ], [ %0, %23 ]
%41 = fadd x86_fp80 %40, %40
%42 = fcmp ult x86_fp80 %41, %36
br i1 %42, label %46, label %43
43: ; preds = %35
%44 = fdiv x86_fp80 %40, %36
%45 = or i32 %37, %38
br label %46
46: ; preds = %35, %43
%47 = phi x86_fp80 [ %44, %43 ], [ %40, %35 ]
%48 = phi i32 [ %45, %43 ], [ %38, %35 ]
%49 = getelementptr inbounds x86_fp80, x86_fp80* %39, i64 -1
%50 = icmp ult x86_fp80* %49, %19
br i1 %50, label %88, label %51
51: ; preds = %46
%52 = ashr i32 %37, 1
%53 = load x86_fp80, x86_fp80* %49
br label %35
54: ; preds = %16
%55 = fcmp olt x86_fp80 %0, 0xK3FFE8000000000000000
br i1 %55, label %56, label %88
56: ; preds = %54
%57 = getelementptr inbounds [20 x x86_fp80], [20 x x86_fp80]* %3, i64 0, i64 0
store x86_fp80 0xK3FFE8000000000000000, x86_fp80* %57
br label %60
58: ; preds = %60
%59 = icmp ult x86_fp80* %66, %57
br i1 %59, label %84, label %68
60: ; preds = %56, %60
%61 = phi x86_fp80 [ %65, %60 ], [ 0xK3FFE8000000000000000, %56 ]
%62 = phi i32 [ %64, %60 ], [ 1, %56 ]
%63 = phi x86_fp80* [ %66, %60 ], [ %57, %56 ]
%64 = shl i32 %62, 1
%65 = fmul x86_fp80 %61, %61
%66 = getelementptr inbounds x86_fp80, x86_fp80* %63, i64 1
store x86_fp80 %65, x86_fp80* %66
%67 = fcmp ogt x86_fp80 %65, %0
br i1 %67, label %60, label %58
68: ; preds = %58, %78
%69 = phi i32 [ %81, %78 ], [ %64, %58 ]
%70 = phi i32 [ %80, %78 ], [ 0, %58 ]
%71 = phi x86_fp80* [ %82, %78 ], [ %66, %58 ]
%72 = phi x86_fp80 [ %79, %78 ], [ %0, %58 ]
%73 = load x86_fp80, x86_fp80* %71
%74 = fcmp olt x86_fp80 %72, %73
br i1 %74, label %75, label %78
75: ; preds = %68
%76 = fdiv x86_fp80 %72, %73
%77 = or i32 %69, %70
br label %78
78: ; preds = %68, %75
%79 = phi x86_fp80 [ %76, %75 ], [ %72, %68 ]
%80 = phi i32 [ %77, %75 ], [ %70, %68 ]
%81 = ashr i32 %69, 1
%82 = getelementptr inbounds x86_fp80, x86_fp80* %71, i64 -1
%83 = icmp ult x86_fp80* %82, %57
br i1 %83, label %84, label %68
84: ; preds = %78, %58
%85 = phi x86_fp80 [ %0, %58 ], [ %79, %78 ]
%86 = phi i32 [ 0, %58 ], [ %80, %78 ]
%87 = sub nsw i32 0, %86
br label %88
88: ; preds = %46, %21, %54, %84
%89 = phi x86_fp80 [ %85, %84 ], [ %0, %54 ], [ %0, %21 ], [ %47, %46 ]
%90 = phi i32 [ %87, %84 ], [ 0, %54 ], [ 0, %21 ], [ %48, %46 ]
store i32 %90, i32* %1
br label %91
91: ; preds = %88, %12, %9
%92 = phi x86_fp80 [ %0, %9 ], [ %15, %12 ], [ %89, %88 ]
ret x86_fp80 %92
}