#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 */
scalar_t__ EDOM;
double LONG_MAX;
scalar_t__ errno;
double exp(double);
double frexp(double, int *);
double ldexp(double, int);
double log(double);
double modf(double, double *);
double sqrt(double);
double pow(double x, double y) {
  double xy, y1, ye;
  long i;
  int ex, ey, flip;
  if (y == 0.0)
    return 1.0;
  flip = 0;
  if (y < 0.) {
    y = -y;
    flip = 1;
  }
  y1 = modf(y, &ye);
  if (y1 != 0.0) {
    if (x <= 0.)
      goto zreturn;
    if (y1 > 0.5) {
      y1 -= 1.;
      ye += 1.;
    }
    xy = exp(y1 * log(x));
  } else
    xy = 1.0;
  if (ye > LONG_MAX) {
    if (x <= 0.) {
    zreturn:
      if (x || flip)
        errno = EDOM;
      return 0.;
    }
    if (flip) {
      if (y == .5)
        return 1. / sqrt(x);
      y = -y;
    } else if (y == .5)
      return sqrt(x);
    return exp(y * log(x));
  }
  x = frexp(x, &ex);
  ey = 0;
  i = ye;
  if (i)
    for (;;) {
      if (i & 1) {
        xy *= x;
        ey += ex;
      }
      i >>= 1;
      if (i == 0)
        break;
      x *= x;
      ex <<= 1;
      if (x < .5) {
        x += x;
        ex -= 1;
      }
    }
  if (flip) {
    xy = 1. / xy;
    ey = -ey;
  }
  errno = 0;
  x = ldexp(xy, ey);
  if (errno && ey < 0) {
    errno = 0;
    x = 0.;
  }
  return x;
}


x86 assembly (clang, -O0):
<pow>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    119c <pow+0x3c>
jp     119c <pow+0x3c>
movsd  0xe6e(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    151e <pow+0x3be>
movl   $0x0,-0x44(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x18(%rbp),%xmm0
jbe    11d9 <pow+0x79>
movsd  -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x18(%rbp)
movl   $0x1,-0x44(%rbp)
movsd  -0x18(%rbp),%xmm0
lea    -0x30(%rbp),%rdi
call   1040 <modf@plt>
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1209 <pow+0xa9>
jp     1209 <pow+0xa9>
jmp    128a <pow+0x12a>
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
jb     121c <pow+0xbc>
jmp    12c0 <pow+0x160>
movsd  -0x28(%rbp),%xmm0
movsd  0xddf(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    125b <pow+0xfb>
movsd  -0x28(%rbp),%xmm0
movsd  0xdc0(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xdaf(%rip),%xmm0
addsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1070 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x50(%rbp),%xmm0
mulsd  %xmm1,%xmm0
call   1060 <exp@plt>
movsd  %xmm0,-0x20(%rbp)
jmp    1297 <pow+0x137>
movsd  0xd6e(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x30(%rbp),%xmm0
mov    0x2d35(%rip),%rax
ucomisd (%rax),%xmm0
jbe    13d8 <pow+0x278>
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
jb     1303 <pow+0x1a3>
jmp    12c0 <pow+0x160>
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    12e2 <pow+0x182>
jp     12e2 <pow+0x182>
cmpl   $0x0,-0x44(%rbp)
je     12f6 <pow+0x196>
mov    0x2cff(%rip),%rax
mov    (%rax),%rcx
mov    0x2cdd(%rip),%rax
mov    %rcx,(%rax)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    151e <pow+0x3be>
cmpl   $0x0,-0x44(%rbp)
je     1373 <pow+0x213>
movsd  -0x18(%rbp),%xmm0
movsd  0xcee(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    134d <pow+0x1ed>
jp     134d <pow+0x1ed>
movsd  -0x10(%rbp),%xmm0
call   1080 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  0xcc1(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    151e <pow+0x3be>
movsd  -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x18(%rbp)
jmp    13a9 <pow+0x249>
movsd  -0x18(%rbp),%xmm0
movsd  0xc88(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    13a4 <pow+0x244>
jp     13a4 <pow+0x244>
movsd  -0x10(%rbp),%xmm0
call   1080 <sqrt@plt>
movsd  %xmm0,-0x8(%rbp)
jmp    151e <pow+0x3be>
jmp    13a9 <pow+0x249>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1070 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x58(%rbp),%xmm0
mulsd  %xmm1,%xmm0
call   1060 <exp@plt>
movsd  %xmm0,-0x8(%rbp)
jmp    151e <pow+0x3be>
movsd  -0x10(%rbp),%xmm0
lea    -0x3c(%rbp),%rdi
call   1050 <frexp@plt>
movsd  %xmm0,-0x10(%rbp)
movl   $0x0,-0x40(%rbp)
cvttsd2si -0x30(%rbp),%rax
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
je     149f <pow+0x33f>
jmp    140c <pow+0x2ac>
mov    -0x38(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     1436 <pow+0x2d6>
movsd  -0x10(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x3c(%rbp),%eax
add    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
sar    $0x1,%rax
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
jne    1452 <pow+0x2f2>
jmp    149a <pow+0x33a>
movsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
mov    -0x3c(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x3c(%rbp)
movsd  0xb96(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    1495 <pow+0x335>
movsd  -0x10(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
mov    -0x3c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    140c <pow+0x2ac>
jmp    149f <pow+0x33f>
cmpl   $0x0,-0x44(%rbp)
je     14c3 <pow+0x363>
movsd  0xb4f(%rip),%xmm0
divsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
xor    %eax,%eax
sub    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    0x2b06(%rip),%rax
movq   $0x0,(%rax)
movsd  -0x20(%rbp),%xmm0
mov    -0x40(%rbp),%edi
call   1030 <ldexp@plt>
movsd  %xmm0,-0x10(%rbp)
mov    0x2ae6(%rip),%rax
cmpq   $0x0,(%rax)
je     1514 <pow+0x3b4>
cmpl   $0x0,-0x40(%rbp)
jge    1514 <pow+0x3b4>
mov    0x2acb(%rip),%rax
movq   $0x0,(%rax)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pow>:
push   %r14
push   %rbx
sub    $0x48,%rsp
xorpd  %xmm3,%xmm3
ucomisd %xmm3,%xmm1
jne    1183 <pow+0x23>
jp     1183 <pow+0x23>
movsd  0xe85(%rip),%xmm0
add    $0x48,%rsp
pop    %rbx
pop    %r14
ret
movsd  %xmm0,0x8(%rsp)
movapd 0xe9f(%rip),%xmm2
xorpd  %xmm1,%xmm2
movapd %xmm1,%xmm0
cmpltsd %xmm3,%xmm0
andpd  %xmm0,%xmm2
movapd %xmm1,0x20(%rsp)
andnpd %xmm1,%xmm0
orpd   %xmm2,%xmm0
lea    0x18(%rsp),%rdi
movapd %xmm0,0x30(%rsp)
call   1040 <modf@plt>
ucomisd 0xe58(%rip),%xmm0
jne    11cc <pow+0x6c>
jnp    1222 <pow+0xc2>
xorpd  %xmm1,%xmm1
movsd  0x8(%rsp),%xmm2
ucomisd %xmm2,%xmm1
jae    1295 <pow+0x135>
ucomisd 0xe20(%rip),%xmm0
jbe    1206 <pow+0xa6>
addsd  0xe1e(%rip),%xmm0
movsd  0x18(%rsp),%xmm1
addsd  0xe00(%rip),%xmm1
movsd  %xmm1,0x18(%rsp)
movsd  %xmm0,0x40(%rsp)
movapd %xmm2,%xmm0
call   1070 <log@plt>
mulsd  0x40(%rsp),%xmm0
call   1060 <exp@plt>
jmp    122a <pow+0xca>
movsd  0xdd6(%rip),%xmm0
movsd  0x8(%rsp),%xmm2
movsd  0x18(%rsp),%xmm1
mov    0x2d9b(%rip),%rax
ucomisd (%rax),%xmm1
jbe    12ca <pow+0x16a>
xorpd  %xmm0,%xmm0
ucomisd %xmm2,%xmm0
jae    1295 <pow+0x135>
movapd 0x20(%rsp),%xmm1
ucomisd %xmm1,%xmm0
jbe    1400 <pow+0x2a0>
movapd 0x30(%rsp),%xmm1
ucomisd 0xd99(%rip),%xmm1
jne    1428 <pow+0x2c8>
jp     1428 <pow+0x2c8>
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm2
jb     1451 <pow+0x2f1>
xorps  %xmm1,%xmm1
sqrtsd %xmm2,%xmm1
jmp    145e <pow+0x2fe>
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm2
jne    12b1 <pow+0x151>
jp     12b1 <pow+0x151>
xorpd  %xmm1,%xmm1
ucomisd 0x20(%rsp),%xmm1
jbe    117b <pow+0x1b>
mov    0x2d30(%rip),%rax
mov    (%rax),%rax
mov    0x2d0e(%rip),%rcx
mov    %rax,(%rcx)
jmp    117b <pow+0x1b>
movsd  %xmm0,0x30(%rsp)
lea    0x14(%rsp),%rdi
movapd %xmm2,%xmm0
movsd  %xmm1,0x8(%rsp)
call   1050 <frexp@plt>
cvttsd2si 0x8(%rsp),%rcx
test   %rcx,%rcx
je     1307 <pow+0x1a7>
mov    0x14(%rsp),%eax
xor    %ebx,%ebx
test   $0x1,%cl
movsd  0x30(%rsp),%xmm5
je     1317 <pow+0x1b7>
movapd %xmm0,%xmm1
jmp    131f <pow+0x1bf>
xor    %ebx,%ebx
movapd 0x20(%rsp),%xmm1
movsd  0x30(%rsp),%xmm5
jmp    1336 <pow+0x1d6>
movsd  0xce1(%rip),%xmm1
mulsd  %xmm1,%xmm5
cmovne %eax,%ebx
cmp    $0x1,%rcx
jne    138d <pow+0x22d>
mov    %eax,0x14(%rsp)
movapd 0x20(%rsp),%xmm1
xorpd  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
jbe    1352 <pow+0x1f2>
movsd  0xcb8(%rip),%xmm0
divsd  %xmm5,%xmm0
neg    %ebx
movapd %xmm0,%xmm5
mov    0x2c77(%rip),%r14
movq   $0x0,(%r14)
movapd %xmm5,%xmm0
mov    %ebx,%edi
call   1030 <ldexp@plt>
test   %ebx,%ebx
jns    117b <pow+0x1b>
cmpq   $0x0,(%r14)
je     117b <pow+0x1b>
movq   $0x0,(%r14)
xorpd  %xmm0,%xmm0
jmp    117b <pow+0x1b>
movsd  0xc73(%rip),%xmm1
movsd  0xc7b(%rip),%xmm2
xor    %r8d,%r8d
movsd  0xc58(%rip),%xmm3
jmp    13c9 <pow+0x269>
nopw   0x0(%rax,%rax,1)
mulsd  %xmm4,%xmm5
mov    %eax,%edx
cmove  %r8d,%edx
add    %edx,%ebx
cmp    $0x3,%rcx
mov    %rsi,%rcx
jbe    132c <pow+0x1cc>
mulsd  %xmm0,%xmm0
add    %eax,%eax
xor    %edi,%edi
ucomisd %xmm0,%xmm1
seta   %dl
movapd %xmm0,%xmm4
ja     13e2 <pow+0x282>
movapd %xmm2,%xmm4
mov    %rcx,%rsi
sar    %rsi
mov    %dl,%dil
sub    %edi,%eax
addsd  %xmm4,%xmm0
movapd %xmm3,%xmm4
test   $0x2,%cl
je     13b0 <pow+0x250>
movapd %xmm0,%xmm4
jmp    13b0 <pow+0x250>
movapd 0x30(%rsp),%xmm0
ucomisd 0xbfa(%rip),%xmm0
jne    1430 <pow+0x2d0>
jp     1430 <pow+0x2d0>
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm2
jb     146f <pow+0x30f>
xorps  %xmm0,%xmm0
sqrtsd %xmm2,%xmm0
jmp    117b <pow+0x1b>
xorpd  0xc00(%rip),%xmm1
movapd %xmm1,0x20(%rsp)
movapd %xmm2,%xmm0
call   1070 <log@plt>
mulsd  0x20(%rsp),%xmm0
add    $0x48,%rsp
pop    %rbx
pop    %r14
jmp    1060 <exp@plt>
movapd %xmm2,%xmm0
call   1080 <sqrt@plt>
movapd %xmm0,%xmm1
movsd  0xb9a(%rip),%xmm0
divsd  %xmm1,%xmm0
jmp    117b <pow+0x1b>
movapd %xmm2,%xmm0
add    $0x48,%rsp
pop    %rbx
pop    %r14
jmp    1080 <sqrt@plt>

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

LLVM IR (-O2):
@LONG_MAX = global double 0.000000e+00
@EDOM = global i64 0
@errno = global i64 0
define double @pow(double %0, double %1) {
%3 = alloca double
%4 = alloca i32
%5 = bitcast double* %3 to i8*
%6 = bitcast i32* %4 to i8*
%7 = fcmp oeq double %1, 0.000000e+00
br i1 %7, label %107, label %8
8: ; preds = %2
%9 = fcmp olt double %1, 0.000000e+00
%10 = fneg double %1
%11 = select i1 %9, double %10, double %1
%12 = call double @modf(double %11, double* %3)
%13 = fcmp une double %12, 0.000000e+00
br i1 %13, label %14, label %27
14: ; preds = %8
%15 = fcmp ugt double %0, 0.000000e+00
br i1 %15, label %16, label %34
16: ; preds = %14
%17 = fcmp ogt double %12, 5.000000e-01
br i1 %17, label %18, label %22
18: ; preds = %16
%19 = fadd double %12, -1.000000e+00
%20 = load double, double* %3
%21 = fadd double %20, 1.000000e+00
store double %21, double* %3
br label %22
22: ; preds = %18, %16
%23 = phi double [ %19, %18 ], [ %12, %16 ]
%24 = tail call double @log(double %0)
%25 = fmul double %23, %24
%26 = tail call double @exp(double %25)
br label %27
27: ; preds = %8, %22
%28 = phi double [ %26, %22 ], [ 1.000000e+00, %8 ]
%29 = load double, double* %3
%30 = load double, double* @LONG_MAX
%31 = fcmp ogt double %29, %30
br i1 %31, label %32, label %55
32: ; preds = %27
%33 = fcmp ugt double %0, 0.000000e+00
br i1 %33, label %39, label %34
34: ; preds = %32, %14
%35 = fcmp une double %0, 0.000000e+00
%36 = or i1 %35, %9
br i1 %36, label %37, label %107
37: ; preds = %34
%38 = load i64, i64* @EDOM
store i64 %38, i64* @errno
br label %107
39: ; preds = %32
%40 = fcmp oeq double %11, 5.000000e-01
br i1 %9, label %41, label %47
41: ; preds = %39
br i1 %40, label %42, label %45
42: ; preds = %41
%43 = tail call double @sqrt(double %0)
%44 = fdiv double 1.000000e+00, %43
br label %107
45: ; preds = %41
%46 = fneg double %11
br label %50
47: ; preds = %39
br i1 %40, label %48, label %50
48: ; preds = %47
%49 = tail call double @sqrt(double %0)
br label %107
50: ; preds = %47, %45
%51 = phi double [ %46, %45 ], [ %1, %47 ]
%52 = tail call double @log(double %0)
%53 = fmul double %51, %52
%54 = tail call double @exp(double %53)
br label %107
55: ; preds = %27
%56 = call double @frexp(double %0, i32* %4)
%57 = fptosi double %29 to i64
%58 = icmp eq i64 %57, 0
br i1 %58, label %92, label %59
59: ; preds = %55
%60 = load i32, i32* %4
%61 = and i64 %57, 1
%62 = icmp eq i64 %61, 0
%63 = select i1 %62, double 1.000000e+00, double %56
%64 = fmul double %28, %63
%65 = select i1 %62, i32 0, i32 %60
%66 = icmp eq i64 %57, 1
br i1 %66, label %88, label %67
67: ; preds = %59, %67
%68 = phi i32 [ %86, %67 ], [ %65, %59 ]
%69 = phi double [ %84, %67 ], [ %64, %59 ]
%70 = phi i64 [ %73, %67 ], [ %57, %59 ]
%71 = phi double [ %80, %67 ], [ %56, %59 ]
%72 = phi i32 [ %78, %67 ], [ %60, %59 ]
%73 = ashr i64 %70, 1
%74 = fmul double %71, %71
%75 = shl i32 %72, 1
%76 = fcmp olt double %74, 5.000000e-01
%77 = sext i1 %76 to i32
%78 = add nsw i32 %75, %77
%79 = select i1 %76, double %74, double -0.000000e+00
%80 = fadd double %74, %79
%81 = and i64 %70, 2
%82 = icmp eq i64 %81, 0
%83 = select i1 %82, double 1.000000e+00, double %80
%84 = fmul double %69, %83
%85 = select i1 %82, i32 0, i32 %78
%86 = add nsw i32 %85, %68
%87 = icmp ult i64 %70, 4
br i1 %87, label %88, label %67
88: ; preds = %67, %59
%89 = phi i32 [ %60, %59 ], [ %78, %67 ]
%90 = phi double [ %64, %59 ], [ %84, %67 ]
%91 = phi i32 [ %65, %59 ], [ %86, %67 ]
store i32 %89, i32* %4
br label %92
92: ; preds = %88, %55
%93 = phi double [ %28, %55 ], [ %90, %88 ]
%94 = phi i32 [ 0, %55 ], [ %91, %88 ]
br i1 %9, label %95, label %98
95: ; preds = %92
%96 = fdiv double 1.000000e+00, %93
%97 = sub nsw i32 0, %94
br label %98
98: ; preds = %95, %92
%99 = phi double [ %96, %95 ], [ %93, %92 ]
%100 = phi i32 [ %97, %95 ], [ %94, %92 ]
store i64 0, i64* @errno
%101 = tail call double @ldexp(double %99, i32 %100)
%102 = load i64, i64* @errno
%103 = icmp ne i64 %102, 0
%104 = icmp slt i32 %100, 0
%105 = and i1 %104, %103
br i1 %105, label %106, label %107
106: ; preds = %98
store i64 0, i64* @errno
br label %107
107: ; preds = %98, %106, %37, %34, %2, %50, %48, %42
%108 = phi double [ %44, %42 ], [ %54, %50 ], [ %49, %48 ], [ 1.000000e+00, %2 ], [ 0.000000e+00, %34 ], [ 0.000000e+00, %37 ], [ 0.000000e+00, %106 ], [ %101, %98 ]
ret double %108
}