#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
unsigned int pack_rgb_alpha_0xff(int, int, int);
int draw_block4x4_dxt1(const unsigned char *bitstring,
                       unsigned int *image_buffer, int flags) {
  unsigned int colors = *(unsigned int *)&bitstring[0];
  int color_r[4], color_g[4], color_b[4];
  color_b[0] = (colors & 0x0000001F) << 3;
  color_g[0] = (colors & 0x000007E0) >> (5 - 2);
  color_r[0] = (colors & 0x0000F800) >> (11 - 3);
  color_b[1] = (colors & 0x001F0000) >> (16 - 3);
  color_g[1] = (colors & 0x07E00000) >> (21 - 2);
  color_r[1] = (colors & 0xF8000000) >> (27 - 3);
  if ((colors & 0xFFFF) > ((colors & 0xFFFF0000) >> 16)) {
    color_r[2] = (2 * color_r[0] + color_r[1]) / 3;
    color_g[2] = (2 * color_g[0] + color_g[1]) / 3;
    color_b[2] = (2 * color_b[0] + color_b[1]) / 3;
    color_r[3] = (color_r[0] + 2 * color_r[1]) / 3;
    color_g[3] = (color_g[0] + 2 * color_g[1]) / 3;
    color_b[3] = (color_b[0] + 2 * color_b[1]) / 3;
  } else {
    color_r[2] = (color_r[0] + color_r[1]) / 2;
    color_g[2] = (color_g[0] + color_g[1]) / 2;
    color_b[2] = (color_b[0] + color_b[1]) / 2;
    color_r[3] = color_g[3] = color_b[3] = 0;
  }
  unsigned int pixels = *(unsigned int *)&bitstring[4];
  for (int i = 0; i < 16; i++) {
    int pixel = (pixels >> (i * 2)) & 0x3;
    image_buffer[i] =
        pack_rgb_alpha_0xff(color_r[pixel], color_g[pixel], color_b[pixel]);
  }
  return 1;
}


x86 assembly (clang, -O0):
<draw_block4x4_dxt1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
and    $0x1f,%eax
shl    $0x3,%eax
mov    %eax,-0x50(%rbp)
mov    -0x18(%rbp),%eax
and    $0x7e0,%eax
shr    $0x3,%eax
mov    %eax,-0x40(%rbp)
mov    -0x18(%rbp),%eax
and    $0xf800,%eax
shr    $0x8,%eax
mov    %eax,-0x30(%rbp)
mov    -0x18(%rbp),%eax
and    $0x1f0000,%eax
shr    $0xd,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x18(%rbp),%eax
and    $0x7e00000,%eax
shr    $0x13,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x18(%rbp),%eax
and    $0xf8000000,%eax
shr    $0x18,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%eax
and    $0xffff,%eax
mov    -0x18(%rbp),%ecx
and    $0xffff0000,%ecx
shr    $0x10,%ecx
cmp    %ecx,%eax
jbe    121d <draw_block4x4_dxt1+0x10d>
mov    -0x30(%rbp),%eax
shl    $0x1,%eax
add    -0x2c(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x28(%rbp)
mov    -0x40(%rbp),%eax
shl    $0x1,%eax
add    -0x3c(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x38(%rbp)
mov    -0x50(%rbp),%eax
shl    $0x1,%eax
add    -0x4c(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x48(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x24(%rbp)
mov    -0x40(%rbp),%eax
mov    -0x3c(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x34(%rbp)
mov    -0x50(%rbp),%eax
mov    -0x4c(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,-0x44(%rbp)
jmp    1265 <draw_block4x4_dxt1+0x155>
mov    -0x30(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x28(%rbp)
mov    -0x40(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x38(%rbp)
mov    -0x50(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x48(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x54(%rbp)
movl   $0x0,-0x58(%rbp)
cmpl   $0x10,-0x58(%rbp)
jge    12c9 <draw_block4x4_dxt1+0x1b9>
mov    -0x54(%rbp),%eax
mov    -0x58(%rbp),%ecx
shl    $0x1,%ecx
shr    %cl,%eax
and    $0x3,%eax
mov    %eax,-0x5c(%rbp)
movslq -0x5c(%rbp),%rax
mov    -0x30(%rbp,%rax,4),%edi
movslq -0x5c(%rbp),%rax
mov    -0x40(%rbp,%rax,4),%esi
movslq -0x5c(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%edx
call   1030 <pack_rgb_alpha_0xff@plt>
mov    %eax,%edx
mov    -0x10(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    1276 <draw_block4x4_dxt1+0x166>
mov    $0x1,%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<draw_block4x4_dxt1>:
push   %r15
push   %r14
push   %rbx
sub    $0x30,%rsp
mov    %rsi,%r14
mov    (%rdi),%edx
lea    0x0(,%rdx,8),%eax
movzbl %al,%r10d
mov    %r10d,(%rsp)
mov    %edx,%ecx
shr    $0x3,%ecx
and    $0xfc,%ecx
mov    %ecx,0x10(%rsp)
mov    %edx,%eax
shr    $0x8,%eax
and    $0xf8,%eax
mov    %eax,0x20(%rsp)
mov    %edx,%r15d
shr    $0xd,%r15d
and    $0xf8,%r15d
mov    %r15d,0x4(%rsp)
mov    %edx,%ebx
shr    $0x13,%ebx
and    $0xfc,%ebx
mov    %ebx,0x14(%rsp)
mov    %edx,%esi
shr    $0x18,%esi
and    $0xfffffff8,%esi
mov    %esi,0x24(%rsp)
movzwl %dx,%r8d
shr    $0x10,%edx
cmp    %edx,%r8d
jbe    11d6 <draw_block4x4_dxt1+0xc6>
lea    (%rsi,%rax,2),%edx
imul   $0xaaab,%edx,%r8d
shr    $0x11,%r8d
lea    (%rbx,%rcx,2),%edx
imul   $0xaaab,%edx,%r9d
shr    $0x11,%r9d
lea    (%r15,%r10,2),%edx
imul   $0xaaab,%edx,%edx
shr    $0x11,%edx
lea    (%rax,%rsi,2),%eax
imul   $0xaaab,%eax,%r11d
shr    $0x11,%r11d
lea    (%rcx,%rbx,2),%eax
imul   $0xaaab,%eax,%eax
shr    $0x11,%eax
lea    (%r10,%r15,2),%ecx
imul   $0xaaab,%ecx,%ecx
shr    $0x11,%ecx
jmp    11f4 <draw_block4x4_dxt1+0xe4>
add    %esi,%eax
shr    %eax
add    %ebx,%ecx
shr    %ecx
add    %r15d,%r10d
shr    %r10d
xor    %r11d,%r11d
mov    %eax,%r8d
mov    %ecx,%r9d
mov    %r10d,%edx
xor    %eax,%eax
xor    %ecx,%ecx
mov    %r8d,0x28(%rsp)
mov    %r9d,0x18(%rsp)
mov    %edx,0x8(%rsp)
mov    %r11d,0x2c(%rsp)
mov    %eax,0x1c(%rsp)
mov    %ecx,0xc(%rsp)
mov    0x4(%rdi),%r15d
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r15,%rax
mov    %ebx,%ecx
shr    %cl,%rax
and    $0x3,%eax
mov    0x20(%rsp,%rax,4),%edi
mov    0x10(%rsp,%rax,4),%esi
mov    (%rsp,%rax,4),%edx
call   1030 <pack_rgb_alpha_0xff@plt>
mov    %eax,(%r14,%rbx,2)
add    $0x2,%rbx
cmp    $0x20,%rbx
jne    1220 <draw_block4x4_dxt1+0x110>
mov    $0x1,%eax
add    $0x30,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @draw_block4x4_dxt1(i8* %0, i32* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
%8 = alloca [4 x i32]
%9 = alloca [4 x i32]
%10 = alloca [4 x i32]
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i8* %0, i8** %4
store i32* %1, i32** %5
store i32 %2, i32* %6
%14 = load i8*, i8** %4
%15 = getelementptr inbounds i8, i8* %14, i64 0
%16 = bitcast i8* %15 to i32*
%17 = load i32, i32* %16
store i32 %17, i32* %7
%18 = load i32, i32* %7
%19 = and i32 %18, 31
%20 = shl i32 %19, 3
%21 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
store i32 %20, i32* %21
%22 = load i32, i32* %7
%23 = and i32 %22, 2016
%24 = lshr i32 %23, 3
%25 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 0
store i32 %24, i32* %25
%26 = load i32, i32* %7
%27 = and i32 %26, 63488
%28 = lshr i32 %27, 8
%29 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 0
store i32 %28, i32* %29
%30 = load i32, i32* %7
%31 = and i32 %30, 2031616
%32 = lshr i32 %31, 13
%33 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 1
store i32 %32, i32* %33
%34 = load i32, i32* %7
%35 = and i32 %34, 132120576
%36 = lshr i32 %35, 19
%37 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 1
store i32 %36, i32* %37
%38 = load i32, i32* %7
%39 = and i32 %38, -134217728
%40 = lshr i32 %39, 24
%41 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 1
store i32 %40, i32* %41
%42 = load i32, i32* %7
%43 = and i32 %42, 65535
%44 = load i32, i32* %7
%45 = and i32 %44, -65536
%46 = lshr i32 %45, 16
%47 = icmp ugt i32 %43, %46
br i1 %47, label %48, label %97
48: ; preds = %3
%49 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 0
%50 = load i32, i32* %49
%51 = mul nsw i32 2, %50
%52 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 1
%53 = load i32, i32* %52
%54 = add nsw i32 %51, %53
%55 = sdiv i32 %54, 3
%56 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 2
store i32 %55, i32* %56
%57 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 0
%58 = load i32, i32* %57
%59 = mul nsw i32 2, %58
%60 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 1
%61 = load i32, i32* %60
%62 = add nsw i32 %59, %61
%63 = sdiv i32 %62, 3
%64 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 2
store i32 %63, i32* %64
%65 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%66 = load i32, i32* %65
%67 = mul nsw i32 2, %66
%68 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 1
%69 = load i32, i32* %68
%70 = add nsw i32 %67, %69
%71 = sdiv i32 %70, 3
%72 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 2
store i32 %71, i32* %72
%73 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 0
%74 = load i32, i32* %73
%75 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 1
%76 = load i32, i32* %75
%77 = mul nsw i32 2, %76
%78 = add nsw i32 %74, %77
%79 = sdiv i32 %78, 3
%80 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 3
store i32 %79, i32* %80
%81 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 0
%82 = load i32, i32* %81
%83 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 1
%84 = load i32, i32* %83
%85 = mul nsw i32 2, %84
%86 = add nsw i32 %82, %85
%87 = sdiv i32 %86, 3
%88 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 3
store i32 %87, i32* %88
%89 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%90 = load i32, i32* %89
%91 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 1
%92 = load i32, i32* %91
%93 = mul nsw i32 2, %92
%94 = add nsw i32 %90, %93
%95 = sdiv i32 %94, 3
%96 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 3
store i32 %95, i32* %96
br label %122
97: ; preds = %3
%98 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 0
%99 = load i32, i32* %98
%100 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 1
%101 = load i32, i32* %100
%102 = add nsw i32 %99, %101
%103 = sdiv i32 %102, 2
%104 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 2
store i32 %103, i32* %104
%105 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 0
%106 = load i32, i32* %105
%107 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 1
%108 = load i32, i32* %107
%109 = add nsw i32 %106, %108
%110 = sdiv i32 %109, 2
%111 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 2
store i32 %110, i32* %111
%112 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%113 = load i32, i32* %112
%114 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 1
%115 = load i32, i32* %114
%116 = add nsw i32 %113, %115
%117 = sdiv i32 %116, 2
%118 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 2
store i32 %117, i32* %118
%119 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 3
store i32 0, i32* %119
%120 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 3
store i32 0, i32* %120
%121 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 3
store i32 0, i32* %121
br label %122
122: ; preds = %97, %48
%123 = load i8*, i8** %4
%124 = getelementptr inbounds i8, i8* %123, i64 4
%125 = bitcast i8* %124 to i32*
%126 = load i32, i32* %125
store i32 %126, i32* %11
store i32 0, i32* %12
br label %127
127: ; preds = %153, %122
%128 = load i32, i32* %12
%129 = icmp slt i32 %128, 16
br i1 %129, label %130, label %156
130: ; preds = %127
%131 = load i32, i32* %11
%132 = load i32, i32* %12
%133 = mul nsw i32 %132, 2
%134 = lshr i32 %131, %133
%135 = and i32 %134, 3
store i32 %135, i32* %13
%136 = load i32, i32* %13
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds [4 x i32], [4 x i32]* %8, i64 0, i64 %137
%139 = load i32, i32* %138
%140 = load i32, i32* %13
%141 = sext i32 %140 to i64
%142 = getelementptr inbounds [4 x i32], [4 x i32]* %9, i64 0, i64 %141
%143 = load i32, i32* %142
%144 = load i32, i32* %13
%145 = sext i32 %144 to i64
%146 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 %145
%147 = load i32, i32* %146
%148 = call i32 @pack_rgb_alpha_0xff(i32 %139, i32 %143, i32 %147)
%149 = load i32*, i32** %5
%150 = load i32, i32* %12
%151 = sext i32 %150 to i64
%152 = getelementptr inbounds i32, i32* %149, i64 %151
store i32 %148, i32* %152
br label %153
153: ; preds = %130
%154 = load i32, i32* %12
%155 = add nsw i32 %154, 1
store i32 %155, i32* %12
br label %127
156: ; preds = %127
ret i32 1
}

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