double pow(x, y)
double x, y;
{
  extern double exp(), frexp(), ldexp(), log(), modf();
  double xy, ye;
  long i;
  int ex, ey = 0, flip = 0;
  if (!y)
    return 1.0;
  if ((y < -1100. || y > 1100.) && x != -1.)
    return exp(y * log(x));
  if (y < 0.) {
    y = -y;
    flip = 1;
  }
  y = modf(y, &ye);
  if (y)
    xy = exp(y * log(x));
  else
    xy = 1.0;
  x = frexp(x, &ex);
  if (i = ye)
    for (;;) {
      if (i & 1) {
        xy *= x;
        ey += ex;
      }
      if (!(i >>= 1))
        break;
      x *= x;
      ex *= 2;
      if (x < .5) {
        x *= 2.;
        ex -= 1;
      }
    }
  if (flip) {
    xy = 1. / xy;
    ey = -ey;
  }
  return ldexp(xy, ey);
}


x86 assembly (clang, -O0):
<pow>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
movsd  -0x18(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    119a <pow+0x4a>
jp     119a <pow+0x4a>
movsd  0xe70(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13ae <pow+0x25e>
movsd  0xe66(%rip),%xmm0
ucomisd -0x18(%rbp),%xmm0
ja     11c4 <pow+0x74>
movsd  -0x18(%rbp),%xmm0
movsd  0xe56(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1215 <pow+0xc5>
movsd  -0x10(%rbp),%xmm0
movsd  0xe47(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    11e6 <pow+0x96>
jp     11e6 <pow+0x96>
jmp    1215 <pow+0xc5>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x10(%rbp),%xmm0
call   1070 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x48(%rbp),%xmm0
mulsd  %xmm1,%xmm0
call   1060 <exp@plt>
movsd  %xmm0,-0x8(%rbp)
jmp    13ae <pow+0x25e>
xorps  %xmm0,%xmm0
ucomisd -0x18(%rbp),%xmm0
jbe    124b <pow+0xfb>
movsd  -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x18(%rbp)
movl   $0x1,-0x3c(%rbp)
movsd  -0x18(%rbp),%xmm0
lea    -0x28(%rbp),%rdi
call   1040 <modf@plt>
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    127b <pow+0x12b>
jp     127b <pow+0x12b>
jmp    12aa <pow+0x15a>
movsd  -0x18(%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    12b7 <pow+0x167>
movsd  0xd4e(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x10(%rbp),%xmm0
lea    -0x34(%rbp),%rdi
call   1050 <frexp@plt>
movsd  %xmm0,-0x10(%rbp)
cvttsd2si -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
cmp    $0x0,%rax
je     1378 <pow+0x228>
jmp    12e3 <pow+0x193>
mov    -0x30(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     130d <pow+0x1bd>
movsd  -0x10(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x34(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
sar    $0x1,%rax
mov    %rax,-0x30(%rbp)
cmp    $0x0,%rax
jne    1328 <pow+0x1d8>
jmp    1373 <pow+0x223>
movsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
mov    -0x34(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x34(%rbp)
movsd  0xcd8(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    136e <pow+0x21e>
movsd  0xccd(%rip),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12e3 <pow+0x193>
jmp    1378 <pow+0x228>
cmpl   $0x0,-0x3c(%rbp)
je     139c <pow+0x24c>
movsd  0xc76(%rip),%xmm0
divsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
xor    %eax,%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
movsd  -0x20(%rbp),%xmm0
mov    -0x38(%rbp),%edi
call   1030 <ldexp@plt>
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pow>:
sub    $0x38,%rsp
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm1
jne    1160 <pow+0x10>
jnp    11a4 <pow+0x54>
movsd  0xea0(%rip),%xmm2
ucomisd %xmm1,%xmm2
seta   %al
ucomisd 0xe99(%rip),%xmm1
seta   %cl
ucomisd 0xe96(%rip),%xmm0
movapd %xmm1,0x20(%rsp)
jne    118c <pow+0x3c>
jnp    11b1 <pow+0x61>
or     %cl,%al
je     11b1 <pow+0x61>
call   1070 <log@plt>
mulsd  0x20(%rsp),%xmm0
add    $0x38,%rsp
jmp    1060 <exp@plt>
movsd  0xe54(%rip),%xmm0
add    $0x38,%rsp
ret
movsd  %xmm0,0x10(%rsp)
movapd 0xe71(%rip),%xmm2
xorpd  %xmm1,%xmm2
xorpd  %xmm3,%xmm3
movapd %xmm1,%xmm0
cmpltsd %xmm3,%xmm0
andpd  %xmm0,%xmm2
andnpd %xmm1,%xmm0
orpd   %xmm2,%xmm0
lea    0x30(%rsp),%rdi
call   1040 <modf@plt>
ucomisd 0xe3a(%rip),%xmm0
jne    11f2 <pow+0xa2>
jnp    121c <pow+0xcc>
movsd  %xmm0,0x8(%rsp)
movsd  0x10(%rsp),%xmm0
call   1070 <log@plt>
mulsd  0x8(%rsp),%xmm0
call   1060 <exp@plt>
movsd  0x10(%rsp),%xmm1
movsd  %xmm0,0x8(%rsp)
jmp    1230 <pow+0xe0>
movsd  0xddc(%rip),%xmm0
movsd  %xmm0,0x8(%rsp)
movsd  0x10(%rsp),%xmm1
lea    0x1c(%rsp),%rdi
movapd %xmm1,%xmm0
call   1050 <frexp@plt>
cvttsd2si 0x30(%rsp),%rax
test   %rax,%rax
je     1261 <pow+0x111>
mov    0x1c(%rsp),%r9d
xor    %edi,%edi
test   $0x1,%al
movsd  0x8(%rsp),%xmm5
je     1271 <pow+0x121>
movapd %xmm0,%xmm1
jmp    1279 <pow+0x129>
xor    %edi,%edi
movapd 0x20(%rsp),%xmm4
movsd  0x8(%rsp),%xmm5
jmp    128d <pow+0x13d>
movsd  0xd87(%rip),%xmm1
mulsd  %xmm1,%xmm5
cmovne %r9d,%edi
cmp    $0x1,%rax
movapd 0x20(%rsp),%xmm4
jne    12b6 <pow+0x166>
xorpd  %xmm0,%xmm0
ucomisd %xmm4,%xmm0
jbe    12a9 <pow+0x159>
movsd  0xd61(%rip),%xmm0
divsd  %xmm5,%xmm0
neg    %edi
movapd %xmm0,%xmm5
movapd %xmm5,%xmm0
add    $0x38,%rsp
jmp    1030 <ldexp@plt>
movsd  0xd62(%rip),%xmm1
xor    %r8d,%r8d
movsd  0xd37(%rip),%xmm2
jmp    12e6 <pow+0x196>
nopl   0x0(%rax,%rax,1)
mulsd  %xmm3,%xmm5
mov    %r9d,%ecx
cmove  %r8d,%ecx
add    %ecx,%edi
cmp    $0x3,%rax
mov    %rsi,%rax
jbe    128d <pow+0x13d>
mulsd  %xmm0,%xmm0
add    %r9d,%r9d
xor    %edx,%edx
ucomisd %xmm0,%xmm1
seta   %cl
jbe    12fc <pow+0x1ac>
addsd  %xmm0,%xmm0
mov    %rax,%rsi
sar    %rsi
mov    %cl,%dl
sub    %edx,%r9d
movapd %xmm2,%xmm3
test   $0x2,%al
je     12d0 <pow+0x180>
movapd %xmm0,%xmm3
jmp    12d0 <pow+0x180>

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

LLVM IR (-O2):
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 une double %1, 0.000000e+00
br i1 %7, label %8, label %73
8: ; preds = %2
%9 = fcmp olt double %1, -1.100000e+03
%10 = fcmp ogt double %1, 1.100000e+03
%11 = or i1 %9, %10
%12 = fcmp une double %0, -1.000000e+00
%13 = and i1 %12, %11
br i1 %13, label %14, label %18
14: ; preds = %8
%15 = tail call double @log(double %0)
%16 = fmul double %15, %1
%17 = tail call double @exp(double %16)
br label %73
18: ; preds = %8
%19 = fcmp olt double %1, 0.000000e+00
%20 = fneg double %1
%21 = select i1 %19, double %20, double %1
%22 = call double @modf(double %21, double* %3)
%23 = fcmp une double %22, 0.000000e+00
br i1 %23, label %24, label %28
24: ; preds = %18
%25 = tail call double @log(double %0)
%26 = fmul double %22, %25
%27 = tail call double @exp(double %26)
br label %28
28: ; preds = %18, %24
%29 = phi double [ %27, %24 ], [ 1.000000e+00, %18 ]
%30 = call double @frexp(double %0, i32* %4)
%31 = load double, double* %3
%32 = fptosi double %31 to i64
%33 = icmp eq i64 %32, 0
br i1 %33, label %63, label %34
34: ; preds = %28
%35 = load i32, i32* %4
%36 = and i64 %32, 1
%37 = icmp eq i64 %36, 0
%38 = select i1 %37, double 1.000000e+00, double %30
%39 = fmul double %29, %38
%40 = select i1 %37, i32 0, i32 %35
%41 = icmp eq i64 %32, 1
br i1 %41, label %63, label %42
42: ; preds = %34, %42
%43 = phi i32 [ %61, %42 ], [ %40, %34 ]
%44 = phi double [ %59, %42 ], [ %39, %34 ]
%45 = phi i64 [ %48, %42 ], [ %32, %34 ]
%46 = phi double [ %55, %42 ], [ %30, %34 ]
%47 = phi i32 [ %54, %42 ], [ %35, %34 ]
%48 = ashr i64 %45, 1
%49 = fmul double %46, %46
%50 = shl nsw i32 %47, 1
%51 = fcmp olt double %49, 5.000000e-01
%52 = fmul double %49, 2.000000e+00
%53 = sext i1 %51 to i32
%54 = add nsw i32 %50, %53
%55 = select i1 %51, double %52, double %49
%56 = and i64 %45, 2
%57 = icmp eq i64 %56, 0
%58 = select i1 %57, double 1.000000e+00, double %55
%59 = fmul double %44, %58
%60 = select i1 %57, i32 0, i32 %54
%61 = add nsw i32 %60, %43
%62 = icmp ult i64 %45, 4
br i1 %62, label %63, label %42
63: ; preds = %42, %34, %28
%64 = phi double [ %29, %28 ], [ %39, %34 ], [ %59, %42 ]
%65 = phi i32 [ 0, %28 ], [ %40, %34 ], [ %61, %42 ]
br i1 %19, label %66, label %69
66: ; preds = %63
%67 = fdiv double 1.000000e+00, %64
%68 = sub nsw i32 0, %65
br label %69
69: ; preds = %66, %63
%70 = phi double [ %67, %66 ], [ %64, %63 ]
%71 = phi i32 [ %68, %66 ], [ %65, %63 ]
%72 = tail call double @ldexp(double %70, i32 %71)
br label %73
73: ; preds = %2, %69, %14
%74 = phi double [ %17, %14 ], [ %72, %69 ], [ 1.000000e+00, %2 ]
ret double %74
}