double iterative_power(double x, int n) {
  double power;
  int neg = 0;
  if (n < 0) {
    n = n * -1;
    neg = 1;
  }
  for (power = 1; n > 0; --n)
    power = power * x;
  if (neg)
    power = 1 / power;
  return power;
}


x86 assembly (clang, -O0):
<iterative_power>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
mov    %edi,-0xc(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x0,-0xc(%rbp)
jge    112b <iterative_power+0x2b>
imul   $0xffffffff,-0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
movl   $0x1,-0x1c(%rbp)
movsd  0xecd(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
cmpl   $0x0,-0xc(%rbp)
jle    115f <iterative_power+0x5f>
movsd  -0x18(%rbp),%xmm0
mulsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    1138 <iterative_power+0x38>
cmpl   $0x0,-0x1c(%rbp)
je     117b <iterative_power+0x7b>
movsd  0xe8f(%rip),%xmm0
divsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<iterative_power>:
mov    %edi,%eax
neg    %eax
cmovs  %edi,%eax
test   %eax,%eax
jle    1134 <iterative_power+0x34>
lea    -0x1(%rax),%ecx
mov    %eax,%edx
and    $0x7,%edx
je     113e <iterative_power+0x3e>
xor    %esi,%esi
movsd  0xee1(%rip),%xmm1
nop
mulsd  %xmm0,%xmm1
add    $0x1,%esi
cmp    %esi,%edx
jne    1120 <iterative_power+0x20>
sub    %esi,%eax
cmp    $0x7,%ecx
jae    114b <iterative_power+0x4b>
jmp    1178 <iterative_power+0x78>
movsd  0xec4(%rip),%xmm1
jmp    1178 <iterative_power+0x78>
movsd  0xeba(%rip),%xmm1
cmp    $0x7,%ecx
jb     1178 <iterative_power+0x78>
add    $0xffffffff,%eax
xchg   %ax,%ax
mulsd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
add    $0xfffffff8,%eax
cmp    $0xfffffffe,%eax
jb     1150 <iterative_power+0x50>
test   %edi,%edi
js     1181 <iterative_power+0x81>
movapd %xmm1,%xmm0
ret
movsd  0xe77(%rip),%xmm0
divsd  %xmm1,%xmm0
movapd %xmm0,%xmm1
movapd %xmm1,%xmm0
ret

LLVM IR (-O0):
define double @iterative_power(double %0, i32 %1) {
%3 = alloca double
%4 = alloca i32
%5 = alloca double
%6 = alloca i32
store double %0, double* %3
store i32 %1, i32* %4
store i32 0, i32* %6
%7 = load i32, i32* %4
%8 = icmp slt i32 %7, 0
br i1 %8, label %9, label %12
9: ; preds = %2
%10 = load i32, i32* %4
%11 = mul nsw i32 %10, -1
store i32 %11, i32* %4
store i32 1, i32* %6
br label %12
12: ; preds = %9, %2
store double 1.000000e+00, double* %5
br label %13
13: ; preds = %20, %12
%14 = load i32, i32* %4
%15 = icmp sgt i32 %14, 0
br i1 %15, label %16, label %23
16: ; preds = %13
%17 = load double, double* %5
%18 = load double, double* %3
%19 = fmul double %17, %18
store double %19, double* %5
br label %20
20: ; preds = %16
%21 = load i32, i32* %4
%22 = add nsw i32 %21, -1
store i32 %22, i32* %4
br label %13
23: ; preds = %13
%24 = load i32, i32* %6
%25 = icmp ne i32 %24, 0
br i1 %25, label %26, label %29
26: ; preds = %23
%27 = load double, double* %5
%28 = fdiv double 1.000000e+00, %27
store double %28, double* %5
br label %29
29: ; preds = %26, %23
%30 = load double, double* %5
ret double %30
}

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