int Power(int num, int cnt) {
  long retval = num;
  cnt--;
  while (cnt--) {
    retval *= num;
  }
  return retval;
}


x86 assembly (clang, -O0):
<Power>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
movslq -0x4(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x8(%rbp)
cmp    $0x0,%eax
je     1141 <Power+0x41>
movslq -0x4(%rbp),%rax
imul   -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
jmp    111b <Power+0x1b>
mov    -0x10(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<Power>:
mov    %edi,%ecx
mov    %esi,%edx
add    $0xffffffff,%edx
je     1166 <Power+0x66>
add    $0xfffffffe,%esi
mov    %edx,%r8d
and    $0x7,%r8d
je     116a <Power+0x6a>
xor    %edi,%edi
mov    %rcx,%rax
nopw   0x0(%rax,%rax,1)
imul   %rcx,%rax
add    $0x1,%edi
cmp    %edi,%r8d
jne    1120 <Power+0x20>
sub    %edi,%edx
cmp    $0x7,%esi
jb     1165 <Power+0x65>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
imul   %rcx,%rax
imul   %rcx,%rax
imul   %rcx,%rax
imul   %rcx,%rax
imul   %rcx,%rax
imul   %rcx,%rax
imul   %rcx,%rax
imul   %rcx,%rax
add    $0xfffffff8,%edx
jne    1140 <Power+0x40>
ret
mov    %rcx,%rax
ret
mov    %rcx,%rax
cmp    $0x7,%esi
jae    1140 <Power+0x40>
jmp    1165 <Power+0x65>

LLVM IR (-O0):
define i32 @Power(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i64
store i32 %0, i32* %3
store i32 %1, i32* %4
%6 = load i32, i32* %3
%7 = sext i32 %6 to i64
store i64 %7, i64* %5
%8 = load i32, i32* %4
%9 = add nsw i32 %8, -1
store i32 %9, i32* %4
br label %10
10: ; preds = %14, %2
%11 = load i32, i32* %4
%12 = add nsw i32 %11, -1
store i32 %12, i32* %4
%13 = icmp ne i32 %11, 0
br i1 %13, label %14, label %19
14: ; preds = %10
%15 = load i32, i32* %3
%16 = sext i32 %15 to i64
%17 = load i64, i64* %5
%18 = mul nsw i64 %17, %16
store i64 %18, i64* %5
br label %10
19: ; preds = %10
%20 = load i64, i64* %5
%21 = trunc i64 %20 to i32
ret i32 %21
}

LLVM IR (-O2):
define i32 @Power(i32 %0, i32 %1) {
%3 = zext i32 %0 to i64
%4 = add i32 %1, -1
%5 = icmp eq i32 %4, 0
br i1 %5, label %36, label %6
6: ; preds = %2
%7 = add i32 %1, -2
%8 = and i32 %4, 7
%9 = icmp eq i32 %8, 0
br i1 %9, label %18, label %10
10: ; preds = %6, %10
%11 = phi i32 [ %15, %10 ], [ %4, %6 ]
%12 = phi i64 [ %14, %10 ], [ %3, %6 ]
%13 = phi i32 [ %16, %10 ], [ 0, %6 ]
%14 = mul i64 %12, %3
%15 = add nsw i32 %11, -1
%16 = add i32 %13, 1
%17 = icmp eq i32 %16, %8
br i1 %17, label %18, label %10
18: ; preds = %10, %6
%19 = phi i64 [ undef, %6 ], [ %14, %10 ]
%20 = phi i32 [ %4, %6 ], [ %15, %10 ]
%21 = phi i64 [ %3, %6 ], [ %14, %10 ]
%22 = icmp ult i32 %7, 7
br i1 %22, label %36, label %23
23: ; preds = %18, %23
%24 = phi i32 [ %34, %23 ], [ %20, %18 ]
%25 = phi i64 [ %33, %23 ], [ %21, %18 ]
%26 = mul i64 %25, %3
%27 = mul i64 %26, %3
%28 = mul i64 %27, %3
%29 = mul i64 %28, %3
%30 = mul i64 %29, %3
%31 = mul i64 %30, %3
%32 = mul i64 %31, %3
%33 = mul i64 %32, %3
%34 = add nsw i32 %24, -8
%35 = icmp eq i32 %34, 0
br i1 %35, label %36, label %23
36: ; preds = %18, %23, %2
%37 = phi i64 [ %3, %2 ], [ %19, %18 ], [ %33, %23 ]
%38 = trunc i64 %37 to i32
ret i32 %38
}