void atiEncodeAlphaBlockATITCA4(unsigned char (*pSrcAlpha)[4][4],
                                unsigned int (*pEncodedAlpha)[2]) {
  int row, col;
  (*pEncodedAlpha)[0] = 0;
  (*pEncodedAlpha)[1] = 0;
  for (row = 0; row < 2; row++) {
    for (col = 0; col < 4; col++) {
      (*pEncodedAlpha)[0] >>= 4;
      (*pEncodedAlpha)[0] |= (unsigned int)((*pSrcAlpha)[row][col] & 0xF0)
                             << 24;
    }
  }
  for (row = 2; row < 4; row++) {
    for (col = 0; col < 4; col++) {
      (*pEncodedAlpha)[1] >>= 4;
      (*pEncodedAlpha)[1] |= (unsigned int)((*pSrcAlpha)[row][col] & 0xF0)
                             << 24;
    }
  }
}


x86 assembly (clang, -O0):
<atiEncodeAlphaBlockATITCA4>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x0,0x4(%rax)
movl   $0x0,-0x14(%rbp)
cmpl   $0x2,-0x14(%rbp)
jge    1197 <atiEncodeAlphaBlockATITCA4+0x97>
movl   $0x0,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    1184 <atiEncodeAlphaBlockATITCA4+0x84>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
shr    $0x4,%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
and    $0xf0,%ecx
shl    $0x18,%ecx
mov    -0x10(%rbp),%rax
or     (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1139 <atiEncodeAlphaBlockATITCA4+0x39>
jmp    1189 <atiEncodeAlphaBlockATITCA4+0x89>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1128 <atiEncodeAlphaBlockATITCA4+0x28>
movl   $0x2,-0x14(%rbp)
cmpl   $0x4,-0x14(%rbp)
jge    1211 <atiEncodeAlphaBlockATITCA4+0x111>
movl   $0x0,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    11fe <atiEncodeAlphaBlockATITCA4+0xfe>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%ecx
shr    $0x4,%ecx
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
and    $0xf0,%ecx
shl    $0x18,%ecx
mov    -0x10(%rbp),%rax
or     0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11af <atiEncodeAlphaBlockATITCA4+0xaf>
jmp    1203 <atiEncodeAlphaBlockATITCA4+0x103>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    119e <atiEncodeAlphaBlockATITCA4+0x9e>
pop    %rbp
ret

x86 assembly (clang, -O2):
<atiEncodeAlphaBlockATITCA4>:
movq   $0x0,(%rsi)
movzbl (%rdi),%eax
and    $0xfffffff0,%eax
shl    $0x14,%eax
mov    %eax,(%rsi)
movzbl 0x1(%rdi),%ecx
and    $0xfffffff0,%ecx
shl    $0x18,%ecx
or     %eax,%ecx
shr    $0x4,%ecx
mov    %ecx,(%rsi)
movzbl 0x2(%rdi),%eax
and    $0xfffffff0,%eax
shl    $0x18,%eax
or     %ecx,%eax
shr    $0x4,%eax
mov    %eax,(%rsi)
movzbl 0x3(%rdi),%ecx
and    $0xfffffff0,%ecx
shl    $0x18,%ecx
or     %eax,%ecx
shr    $0x4,%ecx
mov    %ecx,(%rsi)
movzbl 0x4(%rdi),%eax
and    $0xfffffff0,%eax
shl    $0x18,%eax
or     %ecx,%eax
shr    $0x4,%eax
mov    %eax,(%rsi)
movzbl 0x5(%rdi),%ecx
and    $0xfffffff0,%ecx
shl    $0x18,%ecx
or     %eax,%ecx
shr    $0x4,%ecx
mov    %ecx,(%rsi)
movzbl 0x6(%rdi),%eax
and    $0xfffffff0,%eax
shl    $0x18,%eax
or     %ecx,%eax
shr    $0x4,%eax
mov    %eax,(%rsi)
movzbl 0x7(%rdi),%ecx
and    $0xfffffff0,%ecx
shl    $0x18,%ecx
or     %eax,%ecx
mov    %ecx,(%rsi)
movl   $0x0,0x4(%rsi)
movzbl 0x8(%rdi),%eax
and    $0xfffffff0,%eax
shl    $0x14,%eax
mov    %eax,0x4(%rsi)
movzbl 0x9(%rdi),%ecx
and    $0xfffffff0,%ecx
shl    $0x18,%ecx
or     %eax,%ecx
shr    $0x4,%ecx
mov    %ecx,0x4(%rsi)
movzbl 0xa(%rdi),%eax
and    $0xfffffff0,%eax
shl    $0x18,%eax
or     %ecx,%eax
shr    $0x4,%eax
mov    %eax,0x4(%rsi)
movzbl 0xb(%rdi),%ecx
and    $0xfffffff0,%ecx
shl    $0x18,%ecx
or     %eax,%ecx
shr    $0x4,%ecx
mov    %ecx,0x4(%rsi)
movzbl 0xc(%rdi),%eax
and    $0xfffffff0,%eax
shl    $0x18,%eax
or     %ecx,%eax
shr    $0x4,%eax
mov    %eax,0x4(%rsi)
movzbl 0xd(%rdi),%ecx
and    $0xfffffff0,%ecx
shl    $0x18,%ecx
or     %eax,%ecx
shr    $0x4,%ecx
mov    %ecx,0x4(%rsi)
movzbl 0xe(%rdi),%eax
and    $0xfffffff0,%eax
shl    $0x18,%eax
or     %ecx,%eax
shr    $0x4,%eax
mov    %eax,0x4(%rsi)
movzbl 0xf(%rdi),%ecx
and    $0xfffffff0,%ecx
shl    $0x18,%ecx
or     %eax,%ecx
mov    %ecx,0x4(%rsi)
ret

LLVM IR (-O0):
define void @atiEncodeAlphaBlockATITCA4([4 x [4 x i8]]* %0, [2 x i32]* %1) {
%3 = alloca [4 x [4 x i8]]*
%4 = alloca [2 x i32]*
%5 = alloca i32
%6 = alloca i32
store [4 x [4 x i8]]* %0, [4 x [4 x i8]]** %3
store [2 x i32]* %1, [2 x i32]** %4
%7 = load [2 x i32]*, [2 x i32]** %4
%8 = getelementptr inbounds [2 x i32], [2 x i32]* %7, i64 0, i64 0
store i32 0, i32* %8
%9 = load [2 x i32]*, [2 x i32]** %4
%10 = getelementptr inbounds [2 x i32], [2 x i32]* %9, i64 0, i64 1
store i32 0, i32* %10
store i32 0, i32* %5
br label %11
11: ; preds = %42, %2
%12 = load i32, i32* %5
%13 = icmp slt i32 %12, 2
br i1 %13, label %14, label %45
14: ; preds = %11
store i32 0, i32* %6
br label %15
15: ; preds = %38, %14
%16 = load i32, i32* %6
%17 = icmp slt i32 %16, 4
br i1 %17, label %18, label %41
18: ; preds = %15
%19 = load [2 x i32]*, [2 x i32]** %4
%20 = getelementptr inbounds [2 x i32], [2 x i32]* %19, i64 0, i64 0
%21 = load i32, i32* %20
%22 = lshr i32 %21, 4
store i32 %22, i32* %20
%23 = load [4 x [4 x i8]]*, [4 x [4 x i8]]** %3
%24 = load i32, i32* %5
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %23, i64 0, i64 %25
%27 = load i32, i32* %6
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds [4 x i8], [4 x i8]* %26, i64 0, i64 %28
%30 = load i8, i8* %29
%31 = zext i8 %30 to i32
%32 = and i32 %31, 240
%33 = shl i32 %32, 24
%34 = load [2 x i32]*, [2 x i32]** %4
%35 = getelementptr inbounds [2 x i32], [2 x i32]* %34, i64 0, i64 0
%36 = load i32, i32* %35
%37 = or i32 %36, %33
store i32 %37, i32* %35
br label %38
38: ; preds = %18
%39 = load i32, i32* %6
%40 = add nsw i32 %39, 1
store i32 %40, i32* %6
br label %15
41: ; preds = %15
br label %42
42: ; preds = %41
%43 = load i32, i32* %5
%44 = add nsw i32 %43, 1
store i32 %44, i32* %5
br label %11
45: ; preds = %11
store i32 2, i32* %5
br label %46
46: ; preds = %77, %45
%47 = load i32, i32* %5
%48 = icmp slt i32 %47, 4
br i1 %48, label %49, label %80
49: ; preds = %46
store i32 0, i32* %6
br label %50
50: ; preds = %73, %49
%51 = load i32, i32* %6
%52 = icmp slt i32 %51, 4
br i1 %52, label %53, label %76
53: ; preds = %50
%54 = load [2 x i32]*, [2 x i32]** %4
%55 = getelementptr inbounds [2 x i32], [2 x i32]* %54, i64 0, i64 1
%56 = load i32, i32* %55
%57 = lshr i32 %56, 4
store i32 %57, i32* %55
%58 = load [4 x [4 x i8]]*, [4 x [4 x i8]]** %3
%59 = load i32, i32* %5
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %58, i64 0, i64 %60
%62 = load i32, i32* %6
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds [4 x i8], [4 x i8]* %61, i64 0, i64 %63
%65 = load i8, i8* %64
%66 = zext i8 %65 to i32
%67 = and i32 %66, 240
%68 = shl i32 %67, 24
%69 = load [2 x i32]*, [2 x i32]** %4
%70 = getelementptr inbounds [2 x i32], [2 x i32]* %69, i64 0, i64 1
%71 = load i32, i32* %70
%72 = or i32 %71, %68
store i32 %72, i32* %70
br label %73
73: ; preds = %53
%74 = load i32, i32* %6
%75 = add nsw i32 %74, 1
store i32 %75, i32* %6
br label %50
76: ; preds = %50
br label %77
77: ; preds = %76
%78 = load i32, i32* %5
%79 = add nsw i32 %78, 1
store i32 %79, i32* %5
br label %46
80: ; preds = %46
ret void
}

LLVM IR (-O2):
define void @atiEncodeAlphaBlockATITCA4([4 x [4 x i8]]* nocapture %0, [2 x i32]* nocapture %1) {
%3 = getelementptr inbounds [2 x i32], [2 x i32]* %1, i64 0, i64 0
%4 = getelementptr inbounds [2 x i32], [2 x i32]* %1, i64 0, i64 1
%5 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 0, i64 0
%6 = bitcast [2 x i32]* %1 to i64*
store i64 0, i64* %6
%7 = load i8, i8* %5
%8 = and i8 %7, -16
%9 = zext i8 %8 to i32
%10 = shl nuw nsw i32 %9, 20
store i32 %10, i32* %3
%11 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 0, i64 1
%12 = load i8, i8* %11
%13 = and i8 %12, -16
%14 = zext i8 %13 to i32
%15 = shl nuw i32 %14, 24
%16 = or i32 %15, %10
%17 = lshr exact i32 %16, 4
store i32 %17, i32* %3
%18 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 0, i64 2
%19 = load i8, i8* %18
%20 = and i8 %19, -16
%21 = zext i8 %20 to i32
%22 = shl nuw i32 %21, 24
%23 = or i32 %22, %17
%24 = lshr exact i32 %23, 4
store i32 %24, i32* %3
%25 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 0, i64 3
%26 = load i8, i8* %25
%27 = and i8 %26, -16
%28 = zext i8 %27 to i32
%29 = shl nuw i32 %28, 24
%30 = or i32 %29, %24
%31 = lshr exact i32 %30, 4
store i32 %31, i32* %3
%32 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 1, i64 0
%33 = load i8, i8* %32
%34 = and i8 %33, -16
%35 = zext i8 %34 to i32
%36 = shl nuw i32 %35, 24
%37 = or i32 %36, %31
%38 = lshr i32 %37, 4
store i32 %38, i32* %3
%39 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 1, i64 1
%40 = load i8, i8* %39
%41 = and i8 %40, -16
%42 = zext i8 %41 to i32
%43 = shl nuw i32 %42, 24
%44 = or i32 %43, %38
%45 = lshr i32 %44, 4
store i32 %45, i32* %3
%46 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 1, i64 2
%47 = load i8, i8* %46
%48 = and i8 %47, -16
%49 = zext i8 %48 to i32
%50 = shl nuw i32 %49, 24
%51 = or i32 %50, %45
%52 = lshr i32 %51, 4
store i32 %52, i32* %3
%53 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 1, i64 3
%54 = load i8, i8* %53
%55 = and i8 %54, -16
%56 = zext i8 %55 to i32
%57 = shl nuw i32 %56, 24
%58 = or i32 %57, %52
store i32 %58, i32* %3
store i32 0, i32* %4
%59 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 2, i64 0
%60 = load i8, i8* %59
%61 = and i8 %60, -16
%62 = zext i8 %61 to i32
%63 = shl nuw nsw i32 %62, 20
store i32 %63, i32* %4
%64 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 2, i64 1
%65 = load i8, i8* %64
%66 = and i8 %65, -16
%67 = zext i8 %66 to i32
%68 = shl nuw i32 %67, 24
%69 = or i32 %68, %63
%70 = lshr exact i32 %69, 4
store i32 %70, i32* %4
%71 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 2, i64 2
%72 = load i8, i8* %71
%73 = and i8 %72, -16
%74 = zext i8 %73 to i32
%75 = shl nuw i32 %74, 24
%76 = or i32 %75, %70
%77 = lshr exact i32 %76, 4
store i32 %77, i32* %4
%78 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 2, i64 3
%79 = load i8, i8* %78
%80 = and i8 %79, -16
%81 = zext i8 %80 to i32
%82 = shl nuw i32 %81, 24
%83 = or i32 %82, %77
%84 = lshr exact i32 %83, 4
store i32 %84, i32* %4
%85 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 3, i64 0
%86 = load i8, i8* %85
%87 = and i8 %86, -16
%88 = zext i8 %87 to i32
%89 = shl nuw i32 %88, 24
%90 = or i32 %89, %84
%91 = lshr i32 %90, 4
store i32 %91, i32* %4
%92 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 3, i64 1
%93 = load i8, i8* %92
%94 = and i8 %93, -16
%95 = zext i8 %94 to i32
%96 = shl nuw i32 %95, 24
%97 = or i32 %96, %91
%98 = lshr i32 %97, 4
store i32 %98, i32* %4
%99 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 3, i64 2
%100 = load i8, i8* %99
%101 = and i8 %100, -16
%102 = zext i8 %101 to i32
%103 = shl nuw i32 %102, 24
%104 = or i32 %103, %98
%105 = lshr i32 %104, 4
store i32 %105, i32* %4
%106 = getelementptr inbounds [4 x [4 x i8]], [4 x [4 x i8]]* %0, i64 0, i64 3, i64 3
%107 = load i8, i8* %106
%108 = and i8 %107, -16
%109 = zext i8 %108 to i32
%110 = shl nuw i32 %109, 24
%111 = or i32 %110, %105
store i32 %111, i32* %4
ret void
}