int simplePower(double a, double b, double *f) {
  int i = 0;
  if ((b - ((int)b) != 0.0) || (b < 0)) {
    {
      do {
      } while (0);
    };
    return -1;
  }
  if (b == 0.0) {
    *f = 1.0;
    return 0;
  } else if (b == 1.0) {
    *f = a;
    return 0;
  }
  *f = a;
  for (i = 1; i < (int)b; i++) {
    *f *= a;
  }
  return 0;
}


x86 assembly (clang, -O0):
<simplePower>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
mov    %rdi,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movsd  -0x18(%rbp),%xmm0
cvttsd2si -0x18(%rbp),%eax
cvtsi2sd %eax,%xmm1
subsd  %xmm1,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    114c <simplePower+0x4c>
jp     114c <simplePower+0x4c>
xorps  %xmm0,%xmm0
ucomisd -0x18(%rbp),%xmm0
jbe    1162 <simplePower+0x62>
jmp    1151 <simplePower+0x51>
jmp    1156 <simplePower+0x56>
movl   $0xffffffff,-0x4(%rbp)
jmp    121b <simplePower+0x11b>
movsd  -0x18(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1196 <simplePower+0x96>
jp     1196 <simplePower+0x96>
mov    -0x20(%rbp),%rax
movsd  0xe7a(%rip),%xmm0
movsd  %xmm0,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    121b <simplePower+0x11b>
movsd  -0x18(%rbp),%xmm0
movsd  0xe5d(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    11cc <simplePower+0xcc>
jp     11cc <simplePower+0xcc>
movsd  -0x10(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    121b <simplePower+0x11b>
jmp    11d1 <simplePower+0xd1>
movsd  -0x10(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movsd  %xmm0,(%rax)
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cvttsd2si -0x18(%rbp),%ecx
cmp    %ecx,%eax
jge    1214 <simplePower+0x114>
movsd  -0x10(%rbp),%xmm0
mov    -0x20(%rbp),%rax
mulsd  (%rax),%xmm0
movsd  %xmm0,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11e5 <simplePower+0xe5>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<simplePower>:
xorpd  %xmm2,%xmm2
ucomisd %xmm1,%xmm2
mov    $0xffffffff,%eax
ja     1141 <simplePower+0x41>
cvttpd2dq %xmm1,%xmm3
cvtdq2pd %xmm3,%xmm3
movapd %xmm1,%xmm4
subsd  %xmm3,%xmm4
ucomisd %xmm2,%xmm4
jne    1141 <simplePower+0x41>
jp     1141 <simplePower+0x41>
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm1
jne    1142 <simplePower+0x42>
jp     1142 <simplePower+0x42>
movsd  0xec5(%rip),%xmm1
movsd  %xmm1,(%rdi)
xor    %eax,%eax
ret
xor    %eax,%eax
ucomisd 0xeb4(%rip),%xmm1
movsd  %xmm0,(%rdi)
jne    1154 <simplePower+0x54>
jnp    1141 <simplePower+0x41>
cvttsd2si %xmm1,%edx
cmp    $0x2,%edx
jl     1141 <simplePower+0x41>
lea    -0x1(%rdx),%ecx
add    $0xfffffffe,%edx
mov    %ecx,%eax
and    $0x7,%eax
movapd %xmm0,%xmm1
cmp    $0x7,%edx
jb     11a5 <simplePower+0xa5>
and    $0xfffffff8,%ecx
movapd %xmm0,%xmm1
nopl   0x0(%rax,%rax,1)
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,%ecx
jne    1180 <simplePower+0x80>
test   %eax,%eax
je     113b <simplePower+0x3b>
nopl   0x0(%rax)
mulsd  %xmm0,%xmm1
add    $0xffffffff,%eax
jne    11b0 <simplePower+0xb0>
jmp    113b <simplePower+0x3b>

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

LLVM IR (-O2):
define i32 @simplePower(double %0, double %1, double* nocapture %2) {
%4 = fptosi double %1 to i32
%5 = sitofp i32 %4 to double
%6 = fsub double %1, %5
%7 = fcmp une double %6, 0.000000e+00
%8 = fcmp olt double %1, 0.000000e+00
%9 = or i1 %8, %7
br i1 %9, label %48, label %10
10: ; preds = %3
%11 = fcmp oeq double %1, 0.000000e+00
br i1 %11, label %46, label %12
12: ; preds = %10
%13 = fcmp une double %1, 1.000000e+00
store double %0, double* %2
%14 = icmp sgt i32 %4, 1
%15 = select i1 %13, i1 %14, i1 false
br i1 %15, label %16, label %48
16: ; preds = %12
%17 = add i32 %4, -1
%18 = add i32 %4, -2
%19 = and i32 %17, 7
%20 = icmp ult i32 %18, 7
br i1 %20, label %36, label %21
21: ; preds = %16
%22 = and i32 %17, -8
br label %23
23: ; preds = %23, %21
%24 = phi double [ %0, %21 ], [ %33, %23 ]
%25 = phi i32 [ 0, %21 ], [ %34, %23 ]
%26 = fmul double %24, %0
%27 = fmul double %26, %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 = add i32 %25, 8
%35 = icmp eq i32 %34, %22
br i1 %35, label %36, label %23
36: ; preds = %23, %16
%37 = phi double [ undef, %16 ], [ %33, %23 ]
%38 = phi double [ %0, %16 ], [ %33, %23 ]
%39 = icmp eq i32 %19, 0
br i1 %39, label %46, label %40
40: ; preds = %36, %40
%41 = phi double [ %43, %40 ], [ %38, %36 ]
%42 = phi i32 [ %44, %40 ], [ 0, %36 ]
%43 = fmul double %41, %0
%44 = add i32 %42, 1
%45 = icmp eq i32 %44, %19
br i1 %45, label %46, label %40
46: ; preds = %36, %40, %10
%47 = phi double [ 1.000000e+00, %10 ], [ %37, %36 ], [ %43, %40 ]
store double %47, double* %2
br label %48
48: ; preds = %46, %12, %3
%49 = phi i32 [ -1, %3 ], [ 0, %12 ], [ 0, %46 ]
ret i32 %49
}