#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 */
int /*<<< orphan*/ stbi_rgb_888_from_565(int, int *, int *, int *);
void stbi_decode_DXT_color_block(unsigned char uncompressed[16 * 4],
                                 unsigned char compressed[8]) {
  int next_bit = 4 * 8;
  int i, r, g, b;
  int c0, c1;
  unsigned char decode_colors[4 * 3];
  c0 = compressed[0] + (compressed[1] << 8);
  c1 = compressed[2] + (compressed[3] << 8);
  stbi_rgb_888_from_565(c0, &r, &g, &b);
  decode_colors[0] = (unsigned char)r;
  decode_colors[1] = (unsigned char)g;
  decode_colors[2] = (unsigned char)b;
  stbi_rgb_888_from_565(c1, &r, &g, &b);
  decode_colors[3] = (unsigned char)r;
  decode_colors[4] = (unsigned char)g;
  decode_colors[5] = (unsigned char)b;
  decode_colors[6] = (2 * decode_colors[0] + decode_colors[3]) / 3;
  decode_colors[7] = (2 * decode_colors[1] + decode_colors[4]) / 3;
  decode_colors[8] = (2 * decode_colors[2] + decode_colors[5]) / 3;
  decode_colors[9] = (decode_colors[0] + 2 * decode_colors[3]) / 3;
  decode_colors[10] = (decode_colors[1] + 2 * decode_colors[4]) / 3;
  decode_colors[11] = (decode_colors[2] + 2 * decode_colors[5]) / 3;
  for (i = 0; i < 16 * 4; i += 4) {
    int idx = ((compressed[next_bit >> 3] >> (next_bit & 7)) & 3) * 3;
    next_bit += 2;
    uncompressed[i + 0] = decode_colors[idx + 0];
    uncompressed[i + 1] = decode_colors[idx + 1];
    uncompressed[i + 2] = decode_colors[idx + 2];
  }
}


x86 assembly (clang, -O0):
<stbi_decode_DXT_color_block>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x20,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
shl    $0x8,%ecx
add    %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%eax
mov    -0x10(%rbp),%rcx
movzbl 0x3(%rcx),%ecx
shl    $0x8,%ecx
add    %ecx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%edi
lea    -0x1c(%rbp),%rsi
lea    -0x20(%rbp),%rdx
lea    -0x24(%rbp),%rcx
call   1030 <stbi_rgb_888_from_565@plt>
mov    -0x1c(%rbp),%eax
mov    %al,-0x38(%rbp)
mov    -0x20(%rbp),%eax
mov    %al,-0x37(%rbp)
mov    -0x24(%rbp),%eax
mov    %al,-0x36(%rbp)
mov    -0x2c(%rbp),%edi
lea    -0x1c(%rbp),%rsi
lea    -0x20(%rbp),%rdx
lea    -0x24(%rbp),%rcx
call   1030 <stbi_rgb_888_from_565@plt>
mov    -0x1c(%rbp),%eax
mov    %al,-0x35(%rbp)
mov    -0x20(%rbp),%eax
mov    %al,-0x34(%rbp)
mov    -0x24(%rbp),%eax
mov    %al,-0x33(%rbp)
movzbl -0x38(%rbp),%eax
shl    $0x1,%eax
movzbl -0x35(%rbp),%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x32(%rbp)
movzbl -0x37(%rbp),%eax
shl    $0x1,%eax
movzbl -0x34(%rbp),%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x31(%rbp)
movzbl -0x36(%rbp),%eax
shl    $0x1,%eax
movzbl -0x33(%rbp),%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x30(%rbp)
movzbl -0x38(%rbp),%eax
movzbl -0x35(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x2f(%rbp)
movzbl -0x37(%rbp),%eax
movzbl -0x34(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x2e(%rbp)
movzbl -0x36(%rbp),%eax
movzbl -0x33(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x2d(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x40,-0x18(%rbp)
jge    12d0 <stbi_decode_DXT_color_block+0x1c0>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sar    $0x3,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x14(%rbp),%ecx
and    $0x7,%ecx
sar    %cl,%eax
and    $0x3,%eax
imul   $0x3,%eax,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x0,%eax
cltq
mov    -0x38(%rbp,%rax,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0x38(%rbp,%rax,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x3c(%rbp),%eax
add    $0x2,%eax
cltq
mov    -0x38(%rbp,%rax,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x18(%rbp)
jmp    1239 <stbi_decode_DXT_color_block+0x129>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<stbi_decode_DXT_color_block>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%r14
mov    %rdi,%r15
movzwl (%rsi),%edi
movzwl 0x2(%rsi),%ebp
lea    0x14(%rsp),%rsi
lea    0x10(%rsp),%rdx
lea    0xc(%rsp),%rcx
call   1030 <stbi_rgb_888_from_565@plt>
mov    0x14(%rsp),%r13d
mov    %r13b,(%rsp)
mov    0x10(%rsp),%r12d
mov    %r12b,0x1(%rsp)
mov    0xc(%rsp),%ebx
mov    %bl,0x2(%rsp)
mov    %ebp,%edi
lea    0x14(%rsp),%rsi
lea    0x10(%rsp),%rdx
lea    0xc(%rsp),%rcx
call   1030 <stbi_rgb_888_from_565@plt>
mov    0x14(%rsp),%eax
mov    %al,0x3(%rsp)
mov    0x10(%rsp),%ecx
mov    %cl,0x4(%rsp)
mov    0xc(%rsp),%edx
mov    %dl,0x5(%rsp)
movzbl %r13b,%r8d
movzbl %al,%eax
lea    (%rax,%r8,2),%edi
imul   $0xaaab,%edi,%edi
shr    $0x11,%edi
mov    %dil,0x6(%rsp)
movzbl %r12b,%edi
movzbl %cl,%ecx
lea    (%rcx,%rdi,2),%ebp
imul   $0xaaab,%ebp,%ebp
shr    $0x11,%ebp
mov    %bpl,0x7(%rsp)
movzbl %bl,%ebp
movzbl %dl,%edx
lea    (%rdx,%rbp,2),%esi
imul   $0xaaab,%esi,%esi
shr    $0x11,%esi
mov    %sil,0x8(%rsp)
lea    (%r8,%rax,2),%eax
imul   $0xaaab,%eax,%eax
shr    $0x11,%eax
mov    %al,0x9(%rsp)
lea    (%rdi,%rcx,2),%eax
imul   $0xaaab,%eax,%eax
shr    $0x11,%eax
mov    %al,0xa(%rsp)
lea    0x0(%rbp,%rdx,2),%eax
imul   $0xaaab,%eax,%eax
shr    $0x11,%eax
mov    %al,0xb(%rsp)
mov    $0x20,%eax
mov    $0xfffffffffffffffc,%rdx
xchg   %ax,%ax
mov    %eax,%ecx
shr    $0x3,%rcx
movzbl (%r14,%rcx,1),%esi
mov    %eax,%ecx
and    $0x6,%cl
shr    %cl,%rsi
and    $0x3,%esi
lea    (%rsi,%rsi,2),%rcx
add    $0x2,%eax
movzbl (%rsp,%rcx,1),%ebx
mov    %bl,0x4(%r15,%rdx,1)
movzbl 0x1(%rsp,%rcx,1),%ebx
mov    %bl,0x5(%r15,%rdx,1)
movzbl 0x2(%rsp,%rcx,1),%ecx
mov    %cl,0x6(%r15,%rdx,1)
add    $0x4,%rdx
cmp    $0x3c,%rdx
jb     1210 <stbi_decode_DXT_color_block+0x100>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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