unsigned char pow_fun_uchar(unsigned char a, unsigned char b) {
  unsigned char r = 1;
  int i;
  for (i = 0; i < b; ++i)
    r *= a;
  return r;
}


x86 assembly (clang, -O0):
<pow_fun_uchar>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %dil,%cl
mov    %cl,-0x1(%rbp)
mov    %al,-0x2(%rbp)
movb   $0x1,-0x3(%rbp)
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
movzbl -0x2(%rbp),%ecx
cmp    %ecx,%eax
jge    1146 <pow_fun_uchar+0x46>
movzbl -0x1(%rbp),%ecx
movzbl -0x3(%rbp),%eax
imul   %ecx,%eax
mov    %al,-0x3(%rbp)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    111b <pow_fun_uchar+0x1b>
movzbl -0x3(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<pow_fun_uchar>:
test   %esi,%esi
je     1113 <pow_fun_uchar+0x13>
cmp    $0x8,%sil
jae    1116 <pow_fun_uchar+0x16>
mov    $0x1,%al
xor    %edx,%edx
jmp    1460 <pow_fun_uchar+0x360>
mov    $0x1,%al
ret
movzbl %dil,%r8d
cmp    $0x20,%sil
jae    1129 <pow_fun_uchar+0x29>
xor    %edx,%edx
mov    $0x1,%al
jmp    13dd <pow_fun_uchar+0x2dd>
mov    %esi,%edx
and    $0xffffffe0,%edx
movd   %r8d,%xmm0
movdqa %xmm0,%xmm1
punpcklbw %xmm0,%xmm1
pshuflw $0x0,%xmm1,%xmm1
pshufd $0x0,%xmm1,%xmm1
cmp    $0x20,%edx
jne    1153 <pow_fun_uchar+0x53>
movdqa %xmm1,%xmm0
jmp    1384 <pow_fun_uchar+0x284>
pmullw %xmm0,%xmm0
punpcklbw %xmm0,%xmm0
pshuflw $0x0,%xmm0,%xmm0
pshufd $0x0,%xmm0,%xmm2
pshufd $0x0,%xmm0,%xmm0
cmp    $0x40,%edx
je     1380 <pow_fun_uchar+0x280>
movdqa %xmm1,%xmm3
punpckhbw %xmm3,%xmm3
movdqa %xmm2,%xmm4
punpckhbw %xmm4,%xmm4
pmullw %xmm3,%xmm4
movdqa 0xe71(%rip),%xmm3
pand   %xmm3,%xmm4
movdqa %xmm1,%xmm5
punpcklbw %xmm5,%xmm5
punpcklbw %xmm2,%xmm2
pmullw %xmm5,%xmm2
pand   %xmm3,%xmm2
packuswb %xmm4,%xmm2
movdqa %xmm1,%xmm4
punpckhbw %xmm4,%xmm4
movdqa %xmm0,%xmm5
punpckhbw %xmm5,%xmm5
pmullw %xmm4,%xmm5
pand   %xmm3,%xmm5
movdqa %xmm1,%xmm4
punpcklbw %xmm4,%xmm4
punpcklbw %xmm0,%xmm0
pmullw %xmm4,%xmm0
pand   %xmm3,%xmm0
packuswb %xmm5,%xmm0
cmp    $0x60,%edx
je     1380 <pow_fun_uchar+0x280>
movdqa %xmm1,%xmm4
punpckhbw %xmm4,%xmm4
movdqa %xmm2,%xmm5
punpckhbw %xmm5,%xmm5
pmullw %xmm4,%xmm5
pand   %xmm3,%xmm5
movdqa %xmm1,%xmm4
punpcklbw %xmm4,%xmm4
punpcklbw %xmm2,%xmm2
pmullw %xmm4,%xmm2
pand   %xmm3,%xmm2
packuswb %xmm5,%xmm2
movdqa %xmm1,%xmm4
punpckhbw %xmm4,%xmm4
movdqa %xmm0,%xmm5
punpckhbw %xmm5,%xmm5
pmullw %xmm4,%xmm5
pand   %xmm3,%xmm5
movdqa %xmm1,%xmm4
punpcklbw %xmm4,%xmm4
punpcklbw %xmm0,%xmm0
pmullw %xmm4,%xmm0
pand   %xmm3,%xmm0
packuswb %xmm5,%xmm0
cmp    $0x80,%edx
je     1380 <pow_fun_uchar+0x280>
movdqa %xmm1,%xmm4
punpckhbw %xmm4,%xmm4
movdqa %xmm2,%xmm5
punpckhbw %xmm5,%xmm5
pmullw %xmm4,%xmm5
pand   %xmm3,%xmm5
movdqa %xmm1,%xmm4
punpcklbw %xmm4,%xmm4
punpcklbw %xmm2,%xmm2
pmullw %xmm4,%xmm2
pand   %xmm3,%xmm2
packuswb %xmm5,%xmm2
movdqa %xmm1,%xmm4
punpckhbw %xmm4,%xmm4
movdqa %xmm0,%xmm5
punpckhbw %xmm5,%xmm5
pmullw %xmm4,%xmm5
pand   %xmm3,%xmm5
movdqa %xmm1,%xmm4
punpcklbw %xmm4,%xmm4
punpcklbw %xmm0,%xmm0
pmullw %xmm4,%xmm0
pand   %xmm3,%xmm0
packuswb %xmm5,%xmm0
cmp    $0xa0,%edx
je     1380 <pow_fun_uchar+0x280>
movdqa %xmm1,%xmm4
punpckhbw %xmm4,%xmm4
movdqa %xmm2,%xmm5
punpckhbw %xmm5,%xmm5
pmullw %xmm4,%xmm5
pand   %xmm3,%xmm5
movdqa %xmm1,%xmm4
punpcklbw %xmm4,%xmm4
punpcklbw %xmm2,%xmm2
pmullw %xmm4,%xmm2
pand   %xmm3,%xmm2
packuswb %xmm5,%xmm2
movdqa %xmm1,%xmm4
punpckhbw %xmm4,%xmm4
movdqa %xmm0,%xmm5
punpckhbw %xmm5,%xmm5
pmullw %xmm4,%xmm5
pand   %xmm3,%xmm5
movdqa %xmm1,%xmm4
punpcklbw %xmm4,%xmm4
punpcklbw %xmm0,%xmm0
pmullw %xmm4,%xmm0
pand   %xmm3,%xmm0
packuswb %xmm5,%xmm0
cmp    $0xc0,%edx
je     1380 <pow_fun_uchar+0x280>
movdqa %xmm1,%xmm4
punpckhbw %xmm4,%xmm4
movdqa %xmm2,%xmm5
punpckhbw %xmm5,%xmm5
pmullw %xmm4,%xmm5
pand   %xmm3,%xmm5
movdqa %xmm1,%xmm4
punpcklbw %xmm4,%xmm4
punpcklbw %xmm2,%xmm2
pmullw %xmm4,%xmm2
pand   %xmm3,%xmm2
packuswb %xmm5,%xmm2
movdqa %xmm1,%xmm4
punpckhbw %xmm4,%xmm4
movdqa %xmm0,%xmm5
punpckhbw %xmm5,%xmm5
pmullw %xmm4,%xmm5
pand   %xmm3,%xmm5
punpcklbw %xmm1,%xmm1
punpcklbw %xmm0,%xmm0
pmullw %xmm1,%xmm0
pand   %xmm3,%xmm0
packuswb %xmm5,%xmm0
movdqa %xmm2,%xmm1
movdqa %xmm1,%xmm2
punpckhbw %xmm2,%xmm2
movdqa %xmm0,%xmm3
punpckhbw %xmm3,%xmm3
pmullw %xmm2,%xmm3
punpcklbw %xmm1,%xmm1
punpcklbw %xmm0,%xmm0
pmullw %xmm1,%xmm0
pmullw %xmm3,%xmm0
pshufd $0xee,%xmm0,%xmm1
pmullw %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
pmullw %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrld  $0x10,%xmm1
pmullw %xmm0,%xmm1
movd   %xmm1,%eax
cmp    %esi,%edx
je     1478 <pow_fun_uchar+0x378>
test   $0x18,%sil
je     1460 <pow_fun_uchar+0x360>
mov    %edx,%ecx
mov    %esi,%edx
and    $0xfffffff8,%edx
movzbl %al,%eax
movd   %eax,%xmm1
movdqa 0xc1d(%rip),%xmm0
pandn  %xmm1,%xmm0
por    0xc21(%rip),%xmm0
movd   %r8d,%xmm1
punpcklbw %xmm1,%xmm1
pshuflw $0x0,%xmm1,%xmm1
sub    %edx,%ecx
punpcklbw %xmm1,%xmm1
movdqa 0xbe5(%rip),%xmm2
nopl   0x0(%rax,%rax,1)
punpcklbw %xmm0,%xmm0
pmullw %xmm1,%xmm0
pand   %xmm2,%xmm0
packuswb %xmm0,%xmm0
add    $0x8,%ecx
jne    1420 <pow_fun_uchar+0x320>
punpcklbw %xmm0,%xmm0
pshufd $0xee,%xmm0,%xmm1
pmullw %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
pmullw %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrld  $0x10,%xmm1
pmullw %xmm0,%xmm1
movd   %xmm1,%eax
cmp    %esi,%edx
je     1478 <pow_fun_uchar+0x378>
sub    %edx,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mul    %dil
add    $0xffffffff,%esi
jne    1470 <pow_fun_uchar+0x370>
ret

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

LLVM IR (-O2):
define zeroext i8 @pow_fun_uchar(i8 zeroext %0, i8 zeroext %1) {
%3 = zext i8 %1 to i32
%4 = icmp eq i8 %1, 0
br i1 %4, label %75, label %5
5: ; preds = %2
%6 = icmp ult i8 %1, 8
br i1 %6, label %66, label %7
7: ; preds = %5
%8 = icmp ult i8 %1, 32
br i1 %8, label %50, label %9
9: ; preds = %7
%10 = and i32 %3, 224
%11 = insertelement <16 x i8> poison, i8 %0, i64 0
%12 = shufflevector <16 x i8> %11, <16 x i8> poison, <16 x i32> zeroinitializer
%13 = insertelement <16 x i8> poison, i8 %0, i64 0
%14 = shufflevector <16 x i8> %13, <16 x i8> poison, <16 x i32> zeroinitializer
%15 = icmp eq i32 %10, 32
br i1 %15, label %41, label %16
16: ; preds = %9
%17 = mul <16 x i8> %11, %11
%18 = shufflevector <16 x i8> %17, <16 x i8> poison, <16 x i32> zeroinitializer
%19 = mul <16 x i8> %13, %13
%20 = shufflevector <16 x i8> %19, <16 x i8> poison, <16 x i32> zeroinitializer
%21 = icmp eq i32 %10, 64
br i1 %21, label %41, label %22
22: ; preds = %16
%23 = mul <16 x i8> %18, %12
%24 = mul <16 x i8> %20, %14
%25 = icmp eq i32 %10, 96
br i1 %25, label %41, label %26
26: ; preds = %22
%27 = mul <16 x i8> %23, %12
%28 = mul <16 x i8> %24, %14
%29 = icmp eq i32 %10, 128
br i1 %29, label %41, label %30
30: ; preds = %26
%31 = mul <16 x i8> %27, %12
%32 = mul <16 x i8> %28, %14
%33 = icmp eq i32 %10, 160
br i1 %33, label %41, label %34
34: ; preds = %30
%35 = mul <16 x i8> %31, %12
%36 = mul <16 x i8> %32, %14
%37 = icmp eq i32 %10, 192
br i1 %37, label %41, label %38
38: ; preds = %34
%39 = mul <16 x i8> %35, %12
%40 = mul <16 x i8> %36, %14
br label %41
41: ; preds = %38, %34, %30, %26, %22, %16, %9
%42 = phi <16 x i8> [ %12, %9 ], [ %18, %16 ], [ %23, %22 ], [ %27, %26 ], [ %31, %30 ], [ %35, %34 ], [ %39, %38 ]
%43 = phi <16 x i8> [ %14, %9 ], [ %20, %16 ], [ %24, %22 ], [ %28, %26 ], [ %32, %30 ], [ %36, %34 ], [ %40, %38 ]
%44 = mul <16 x i8> %43, %42
%45 = call i8 @llvm.vector.reduce.mul.v16i8(<16 x i8> %44)
%46 = icmp eq i32 %10, %3
br i1 %46, label %75, label %47
47: ; preds = %41
%48 = and i32 %3, 24
%49 = icmp eq i32 %48, 0
br i1 %49, label %66, label %50
50: ; preds = %7, %47
%51 = phi i8 [ 1, %7 ], [ %45, %47 ]
%52 = phi i32 [ 0, %7 ], [ %10, %47 ]
%53 = and i32 %3, 248
%54 = insertelement <8 x i8> <i8 poison, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>, i8 %51, i64 0
%55 = insertelement <8 x i8> poison, i8 %0, i64 0
%56 = shufflevector <8 x i8> %55, <8 x i8> poison, <8 x i32> zeroinitializer
br label %57
57: ; preds = %57, %50
%58 = phi i32 [ %52, %50 ], [ %61, %57 ]
%59 = phi <8 x i8> [ %54, %50 ], [ %60, %57 ]
%60 = mul <8 x i8> %59, %56
%61 = add nuw i32 %58, 8
%62 = icmp eq i32 %61, %53
br i1 %62, label %63, label %57
63: ; preds = %57
%64 = call i8 @llvm.vector.reduce.mul.v8i8(<8 x i8> %60)
%65 = icmp eq i32 %53, %3
br i1 %65, label %75, label %66
66: ; preds = %5, %47, %63
%67 = phi i32 [ 0, %5 ], [ %10, %47 ], [ %53, %63 ]
%68 = phi i8 [ 1, %5 ], [ %45, %47 ], [ %64, %63 ]
br label %69
69: ; preds = %66, %69
%70 = phi i32 [ %73, %69 ], [ %67, %66 ]
%71 = phi i8 [ %72, %69 ], [ %68, %66 ]
%72 = mul i8 %71, %0
%73 = add nuw nsw i32 %70, 1
%74 = icmp eq i32 %73, %3
br i1 %74, label %75, label %69
75: ; preds = %69, %41, %63, %2
%76 = phi i8 [ 1, %2 ], [ %45, %41 ], [ %64, %63 ], [ %72, %69 ]
ret i8 %76
}