double myPow(double x, int n) {
  double r = 1;
  if (x == 0)
    return 0;
  else if (x == 1)
    return 1;
  else if (x == -1)
    return n & 1 ? -1 : 1;
  if (n < 0) {
    n = -n;
    x = 1 / x;
  }
  while (n) {
    if (n & 1) {
      r *= x;
    }
    x *= x;
    n >>= 1;
  }
  return r;
}


x86 assembly (clang, -O0):
<myPow>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
mov    %edi,-0x14(%rbp)
movsd  0xeec(%rip),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    113e <myPow+0x3e>
jp     113e <myPow+0x3e>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1230 <myPow+0x130>
movsd  -0x10(%rbp),%xmm0
movsd  0xeb5(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    116d <myPow+0x6d>
jp     116d <myPow+0x6d>
movsd  0xe9d(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1230 <myPow+0x130>
movsd  -0x10(%rbp),%xmm0
movsd  0xe8e(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    11ae <myPow+0xae>
jp     11ae <myPow+0xae>
mov    -0x14(%rbp),%edx
and    $0x1,%edx
mov    $0x1,%eax
mov    $0xffffffff,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1230 <myPow+0x130>
jmp    11b3 <myPow+0xb3>
jmp    11b8 <myPow+0xb8>
cmpl   $0x0,-0x14(%rbp)
jge    11dc <myPow+0xdc>
xor    %eax,%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
movsd  0xe2e(%rip),%xmm0
divsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    11e1 <myPow+0xe1>
cmpl   $0x0,-0x14(%rbp)
je     1226 <myPow+0x126>
mov    -0x14(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1209 <myPow+0x109>
movsd  -0x10(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
mov    -0x14(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11e1 <myPow+0xe1>
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<myPow>:
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    110c <myPow+0xc>
jnp    111c <myPow+0x1c>
movsd  0xeec(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    1121 <myPow+0x21>
jp     1121 <myPow+0x21>
movapd %xmm1,%xmm0
ret
ucomisd 0xedf(%rip),%xmm0
jne    113f <myPow+0x3f>
jp     113f <myPow+0x3f>
and    $0x1,%edi
neg    %edi
sbb    %eax,%eax
or     $0x1,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
ret
test   %edi,%edi
js     1147 <myPow+0x47>
jne    1159 <myPow+0x59>
jmp    111c <myPow+0x1c>
neg    %edi
movsd  0xeaf(%rip),%xmm1
divsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
movsd  0xe9f(%rip),%xmm2
movapd %xmm2,%xmm1
jmp    1183 <myPow+0x83>
nopw   0x0(%rax,%rax,1)
mulsd  %xmm3,%xmm1
mulsd  %xmm0,%xmm0
mov    %edi,%eax
sar    %eax
cmp    $0x1,%edi
mov    %eax,%edi
jbe    111c <myPow+0x1c>
movapd %xmm2,%xmm3
test   $0x1,%dil
je     1170 <myPow+0x70>
movapd %xmm0,%xmm3
jmp    1170 <myPow+0x70>

LLVM IR (-O0):
define double @myPow(double %0, i32 %1) {
%3 = alloca double
%4 = alloca double
%5 = alloca i32
%6 = alloca double
store double %0, double* %4
store i32 %1, i32* %5
store double 1.000000e+00, double* %6
%7 = load double, double* %4
%8 = fcmp oeq double %7, 0.000000e+00
br i1 %8, label %9, label %10
9: ; preds = %2
store double 0.000000e+00, double* %3
br label %54
10: ; preds = %2
%11 = load double, double* %4
%12 = fcmp oeq double %11, 1.000000e+00
br i1 %12, label %13, label %14
13: ; preds = %10
store double 1.000000e+00, double* %3
br label %54
14: ; preds = %10
%15 = load double, double* %4
%16 = fcmp oeq double %15, -1.000000e+00
br i1 %16, label %17, label %24
17: ; preds = %14
%18 = load i32, i32* %5
%19 = and i32 %18, 1
%20 = icmp ne i32 %19, 0
%21 = zext i1 %20 to i64
%22 = select i1 %20, i32 -1, i32 1
%23 = sitofp i32 %22 to double
store double %23, double* %3
br label %54
24: ; preds = %14
br label %25
25: ; preds = %24
br label %26
26: ; preds = %25
%27 = load i32, i32* %5
%28 = icmp slt i32 %27, 0
br i1 %28, label %29, label %34
29: ; preds = %26
%30 = load i32, i32* %5
%31 = sub nsw i32 0, %30
store i32 %31, i32* %5
%32 = load double, double* %4
%33 = fdiv double 1.000000e+00, %32
store double %33, double* %4
br label %34
34: ; preds = %29, %26
br label %35
35: ; preds = %46, %34
%36 = load i32, i32* %5
%37 = icmp ne i32 %36, 0
br i1 %37, label %38, label %52
38: ; preds = %35
%39 = load i32, i32* %5
%40 = and i32 %39, 1
%41 = icmp ne i32 %40, 0
br i1 %41, label %42, label %46
42: ; preds = %38
%43 = load double, double* %4
%44 = load double, double* %6
%45 = fmul double %44, %43
store double %45, double* %6
br label %46
46: ; preds = %42, %38
%47 = load double, double* %4
%48 = load double, double* %4
%49 = fmul double %48, %47
store double %49, double* %4
%50 = load i32, i32* %5
%51 = ashr i32 %50, 1
store i32 %51, i32* %5
br label %35
52: ; preds = %35
%53 = load double, double* %6
store double %53, double* %3
br label %54
54: ; preds = %52, %17, %13, %9
%55 = load double, double* %3
ret double %55
}

LLVM IR (-O2):
define double @myPow(double %0, i32 %1) {
%3 = fcmp oeq double %0, 0.000000e+00
br i1 %3, label %34, label %4
4: ; preds = %2
%5 = fcmp oeq double %0, 1.000000e+00
br i1 %5, label %34, label %6
6: ; preds = %4
%7 = fcmp oeq double %0, -1.000000e+00
br i1 %7, label %8, label %13
8: ; preds = %6
%9 = and i32 %1, 1
%10 = icmp eq i32 %9, 0
%11 = select i1 %10, i32 1, i32 -1
%12 = sitofp i32 %11 to double
br label %34
13: ; preds = %6
%14 = icmp slt i32 %1, 0
br i1 %14, label %15, label %18
15: ; preds = %13
%16 = sub nsw i32 0, %1
%17 = fdiv double 1.000000e+00, %0
br label %20
18: ; preds = %13
%19 = icmp eq i32 %1, 0
br i1 %19, label %34, label %20
20: ; preds = %15, %18
%21 = phi i32 [ %1, %18 ], [ %16, %15 ]
%22 = phi double [ %0, %18 ], [ %17, %15 ]
br label %23
23: ; preds = %20, %23
%24 = phi double [ %30, %23 ], [ 1.000000e+00, %20 ]
%25 = phi i32 [ %32, %23 ], [ %21, %20 ]
%26 = phi double [ %31, %23 ], [ %22, %20 ]
%27 = and i32 %25, 1
%28 = icmp eq i32 %27, 0
%29 = select i1 %28, double 1.000000e+00, double %26
%30 = fmul double %24, %29
%31 = fmul double %26, %26
%32 = ashr i32 %25, 1
%33 = icmp ult i32 %25, 2
br i1 %33, label %34, label %23
34: ; preds = %23, %18, %4, %2, %8
%35 = phi double [ %12, %8 ], [ 0.000000e+00, %2 ], [ 1.000000e+00, %4 ], [ 1.000000e+00, %18 ], [ %30, %23 ]
ret double %35
}