#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_DXT1_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 * 4];
  c0 = compressed[0] + (compressed[1] << 8);
  c1 = compressed[2] + (compressed[3] << 8);
  stbi_rgb_888_from_565(c0, &r, &g, &b);
  decode_colors[0] = r;
  decode_colors[1] = g;
  decode_colors[2] = b;
  decode_colors[3] = 255;
  stbi_rgb_888_from_565(c1, &r, &g, &b);
  decode_colors[4] = r;
  decode_colors[5] = g;
  decode_colors[6] = b;
  decode_colors[7] = 255;
  if (c0 > c1) {
    decode_colors[8] = (2 * decode_colors[0] + decode_colors[4]) / 3;
    decode_colors[9] = (2 * decode_colors[1] + decode_colors[5]) / 3;
    decode_colors[10] = (2 * decode_colors[2] + decode_colors[6]) / 3;
    decode_colors[11] = 255;
    decode_colors[12] = (decode_colors[0] + 2 * decode_colors[4]) / 3;
    decode_colors[13] = (decode_colors[1] + 2 * decode_colors[5]) / 3;
    decode_colors[14] = (decode_colors[2] + 2 * decode_colors[6]) / 3;
    decode_colors[15] = 255;
  } else {
    decode_colors[8] = (decode_colors[0] + decode_colors[4]) / 2;
    decode_colors[9] = (decode_colors[1] + decode_colors[5]) / 2;
    decode_colors[10] = (decode_colors[2] + decode_colors[6]) / 2;
    decode_colors[11] = 255;
    decode_colors[12] = 0;
    decode_colors[13] = 0;
    decode_colors[14] = 0;
    decode_colors[15] = 0;
  }
  for (i = 0; i < 16 * 4; i += 4) {
    int idx = ((compressed[next_bit >> 3] >> (next_bit & 7)) & 3) * 4;
    next_bit += 2;
    uncompressed[i + 0] = decode_colors[idx + 0];
    uncompressed[i + 1] = decode_colors[idx + 1];
    uncompressed[i + 2] = decode_colors[idx + 2];
    uncompressed[i + 3] = decode_colors[idx + 3];
  }
}


x86 assembly (clang, -O0):
<stbi_decode_DXT1_block>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%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,-0x40(%rbp)
mov    -0x20(%rbp),%eax
mov    %al,-0x3f(%rbp)
mov    -0x24(%rbp),%eax
mov    %al,-0x3e(%rbp)
movb   $0xff,-0x3d(%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,-0x3c(%rbp)
mov    -0x20(%rbp),%eax
mov    %al,-0x3b(%rbp)
mov    -0x24(%rbp),%eax
mov    %al,-0x3a(%rbp)
movb   $0xff,-0x39(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jle    1253 <stbi_decode_DXT1_block+0x143>
movzbl -0x40(%rbp),%eax
shl    $0x1,%eax
movzbl -0x3c(%rbp),%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x38(%rbp)
movzbl -0x3f(%rbp),%eax
shl    $0x1,%eax
movzbl -0x3b(%rbp),%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x37(%rbp)
movzbl -0x3e(%rbp),%eax
shl    $0x1,%eax
movzbl -0x3a(%rbp),%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x36(%rbp)
movb   $0xff,-0x35(%rbp)
movzbl -0x40(%rbp),%eax
movzbl -0x3c(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x34(%rbp)
movzbl -0x3f(%rbp),%eax
movzbl -0x3b(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x33(%rbp)
movzbl -0x3e(%rbp),%eax
movzbl -0x3a(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %al,-0x32(%rbp)
movb   $0xff,-0x31(%rbp)
jmp    12a6 <stbi_decode_DXT1_block+0x196>
movzbl -0x40(%rbp),%eax
movzbl -0x3c(%rbp),%ecx
add    %ecx,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %al,-0x38(%rbp)
movzbl -0x3f(%rbp),%eax
movzbl -0x3b(%rbp),%ecx
add    %ecx,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %al,-0x37(%rbp)
movzbl -0x3e(%rbp),%eax
movzbl -0x3a(%rbp),%ecx
add    %ecx,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %al,-0x36(%rbp)
movb   $0xff,-0x35(%rbp)
movb   $0x0,-0x34(%rbp)
movb   $0x0,-0x33(%rbp)
movb   $0x0,-0x32(%rbp)
movb   $0x0,-0x31(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x40,-0x18(%rbp)
jge    1360 <stbi_decode_DXT1_block+0x250>
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
shl    $0x2,%eax
mov    %eax,-0x44(%rbp)
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
mov    -0x44(%rbp),%eax
add    $0x0,%eax
cltq
mov    -0x40(%rbp,%rax,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0x40(%rbp,%rax,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x2,%eax
cltq
mov    -0x40(%rbp,%rax,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x3,%eax
cltq
mov    -0x40(%rbp,%rax,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x18(%rbp)
jmp    12ad <stbi_decode_DXT1_block+0x19d>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<stbi_decode_DXT1_block>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rsi,%r14
mov    %rdi,%rbx
movzwl (%rsi),%r15d
movzwl 0x2(%rsi),%ebp
lea    0x24(%rsp),%r12
lea    0x20(%rsp),%r13
lea    0x1c(%rsp),%rcx
mov    %r15d,%edi
mov    %r12,%rsi
mov    %r13,%rdx
call   1030 <stbi_rgb_888_from_565@plt>
mov    0x24(%rsp),%al
mov    %al,(%rsp)
mov    0x20(%rsp),%al
mov    %al,0x1(%rsp)
mov    0x1c(%rsp),%al
mov    %al,0x2(%rsp)
movb   $0xff,0x3(%rsp)
mov    %ebp,%edi
mov    %r12,%rsi
mov    %r13,%rdx
lea    0x1c(%rsp),%rcx
call   1030 <stbi_rgb_888_from_565@plt>
mov    0x24(%rsp),%esi
mov    %sil,0x4(%rsp)
mov    0x20(%rsp),%ecx
mov    %cl,0x5(%rsp)
mov    0x1c(%rsp),%eax
mov    %al,0x6(%rsp)
movb   $0xff,0x7(%rsp)
movzbl (%rsp),%edx
cmp    %ebp,%r15d
jbe    120f <stbi_decode_DXT1_block+0xff>
movzwl %dx,%r8d
movzbl %sil,%r9d
lea    (%r9,%r8,2),%edi
imul   $0xaaab,%edi,%edi
shr    $0x11,%edi
mov    %dil,0x8(%rsp)
movzbl 0x1(%rsp),%edx
movzbl %cl,%ebp
lea    0x0(%rbp,%rdx,2),%ecx
imul   $0xaaab,%ecx,%ecx
shr    $0x11,%ecx
mov    %cl,0x9(%rsp)
movzbl 0x2(%rsp),%esi
movzbl %al,%edi
lea    (%rdi,%rsi,2),%eax
imul   $0xaaab,%eax,%eax
shr    $0x11,%eax
lea    (%r8,%r9,2),%ecx
imul   $0xaaab,%ecx,%ecx
shr    $0x11,%ecx
lea    (%rdx,%rbp,2),%edx
imul   $0xaaab,%edx,%edx
shr    $0x11,%edx
lea    (%rsi,%rdi,2),%esi
imul   $0xaaab,%esi,%esi
shr    $0x11,%esi
mov    $0xff,%dil
jmp    1242 <stbi_decode_DXT1_block+0x132>
movzbl %sil,%esi
movzwl %dx,%edx
add    %esi,%edx
shr    %edx
mov    %dl,0x8(%rsp)
movzbl 0x1(%rsp),%edx
movzbl %cl,%ecx
add    %edx,%ecx
shr    %ecx
mov    %cl,0x9(%rsp)
movzbl 0x2(%rsp),%ecx
movzbl %al,%eax
add    %ecx,%eax
shr    %eax
xor    %ecx,%ecx
xor    %edx,%edx
xor    %esi,%esi
xor    %edi,%edi
mov    %al,0xa(%rsp)
movb   $0xff,0xb(%rsp)
mov    %cl,0xc(%rsp)
mov    %dl,0xd(%rsp)
mov    %sil,0xe(%rsp)
mov    %dil,0xf(%rsp)
mov    $0x20,%eax
mov    $0xfffffffffffffffc,%rdx
nopl   0x0(%rax)
mov    %eax,%ecx
shr    $0x3,%rcx
movzbl (%r14,%rcx,1),%esi
mov    %eax,%ecx
and    $0x6,%cl
shr    %cl,%rsi
and    $0x3,%esi
add    $0x2,%eax
movzbl (%rsp,%rsi,4),%ecx
mov    %cl,0x4(%rbx,%rdx,1)
movzbl 0x1(%rsp,%rsi,4),%ecx
mov    %cl,0x5(%rbx,%rdx,1)
movzbl 0x2(%rsp,%rsi,4),%ecx
mov    %cl,0x6(%rbx,%rdx,1)
movzbl 0x3(%rsp,%rsi,4),%ecx
mov    %cl,0x7(%rbx,%rdx,1)
add    $0x4,%rdx
cmp    $0x3c,%rdx
jb     1270 <stbi_decode_DXT1_block+0x160>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @stbi_decode_DXT1_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 [16 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 [16 x i8], [16 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 [16 x i8], [16 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 [16 x i8], [16 x i8]* %12, i64 0, i64 2
store i8 %43, i8* %44
%45 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 3
store i8 -1, i8* %45
%46 = load i32, i32* %11
%47 = call i32 @stbi_rgb_888_from_565(i32 %46, i32* %7, i32* %8, i32* %9)
%48 = load i32, i32* %7
%49 = trunc i32 %48 to i8
%50 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 4
store i8 %49, i8* %50
%51 = load i32, i32* %8
%52 = trunc i32 %51 to i8
%53 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 5
store i8 %52, i8* %53
%54 = load i32, i32* %9
%55 = trunc i32 %54 to i8
%56 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 6
store i8 %55, i8* %56
%57 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 7
store i8 -1, i8* %57
%58 = load i32, i32* %10
%59 = load i32, i32* %11
%60 = icmp sgt i32 %58, %59
br i1 %60, label %61, label %130
61: ; preds = %2
%62 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 0
%63 = load i8, i8* %62
%64 = zext i8 %63 to i32
%65 = mul nsw i32 2, %64
%66 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 4
%67 = load i8, i8* %66
%68 = zext i8 %67 to i32
%69 = add nsw i32 %65, %68
%70 = sdiv i32 %69, 3
%71 = trunc i32 %70 to i8
%72 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 8
store i8 %71, i8* %72
%73 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 1
%74 = load i8, i8* %73
%75 = zext i8 %74 to i32
%76 = mul nsw i32 2, %75
%77 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 5
%78 = load i8, i8* %77
%79 = zext i8 %78 to i32
%80 = add nsw i32 %76, %79
%81 = sdiv i32 %80, 3
%82 = trunc i32 %81 to i8
%83 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 9
store i8 %82, i8* %83
%84 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 2
%85 = load i8, i8* %84
%86 = zext i8 %85 to i32
%87 = mul nsw i32 2, %86
%88 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 6
%89 = load i8, i8* %88
%90 = zext i8 %89 to i32
%91 = add nsw i32 %87, %90
%92 = sdiv i32 %91, 3
%93 = trunc i32 %92 to i8
%94 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 10
store i8 %93, i8* %94
%95 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 11
store i8 -1, i8* %95
%96 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 0
%97 = load i8, i8* %96
%98 = zext i8 %97 to i32
%99 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 4
%100 = load i8, i8* %99
%101 = zext i8 %100 to i32
%102 = mul nsw i32 2, %101
%103 = add nsw i32 %98, %102
%104 = sdiv i32 %103, 3
%105 = trunc i32 %104 to i8
%106 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 12
store i8 %105, i8* %106
%107 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 1
%108 = load i8, i8* %107
%109 = zext i8 %108 to i32
%110 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 5
%111 = load i8, i8* %110
%112 = zext i8 %111 to i32
%113 = mul nsw i32 2, %112
%114 = add nsw i32 %109, %113
%115 = sdiv i32 %114, 3
%116 = trunc i32 %115 to i8
%117 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 13
store i8 %116, i8* %117
%118 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 2
%119 = load i8, i8* %118
%120 = zext i8 %119 to i32
%121 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 6
%122 = load i8, i8* %121
%123 = zext i8 %122 to i32
%124 = mul nsw i32 2, %123
%125 = add nsw i32 %120, %124
%126 = sdiv i32 %125, 3
%127 = trunc i32 %126 to i8
%128 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 14
store i8 %127, i8* %128
%129 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 15
store i8 -1, i8* %129
br label %166
130: ; preds = %2
%131 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 0
%132 = load i8, i8* %131
%133 = zext i8 %132 to i32
%134 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 4
%135 = load i8, i8* %134
%136 = zext i8 %135 to i32
%137 = add nsw i32 %133, %136
%138 = sdiv i32 %137, 2
%139 = trunc i32 %138 to i8
%140 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 8
store i8 %139, i8* %140
%141 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 1
%142 = load i8, i8* %141
%143 = zext i8 %142 to i32
%144 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 5
%145 = load i8, i8* %144
%146 = zext i8 %145 to i32
%147 = add nsw i32 %143, %146
%148 = sdiv i32 %147, 2
%149 = trunc i32 %148 to i8
%150 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 9
store i8 %149, i8* %150
%151 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 2
%152 = load i8, i8* %151
%153 = zext i8 %152 to i32
%154 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 6
%155 = load i8, i8* %154
%156 = zext i8 %155 to i32
%157 = add nsw i32 %153, %156
%158 = sdiv i32 %157, 2
%159 = trunc i32 %158 to i8
%160 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 10
store i8 %159, i8* %160
%161 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 11
store i8 -1, i8* %161
%162 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 12
store i8 0, i8* %162
%163 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 13
store i8 0, i8* %163
%164 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 14
store i8 0, i8* %164
%165 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 15
store i8 0, i8* %165
br label %166
166: ; preds = %130, %61
store i32 0, i32* %6
br label %167
167: ; preds = %225, %166
%168 = load i32, i32* %6
%169 = icmp slt i32 %168, 64
br i1 %169, label %170, label %228
170: ; preds = %167
%171 = load i8*, i8** %4
%172 = load i32, i32* %5
%173 = ashr i32 %172, 3
%174 = sext i32 %173 to i64
%175 = getelementptr inbounds i8, i8* %171, i64 %174
%176 = load i8, i8* %175
%177 = zext i8 %176 to i32
%178 = load i32, i32* %5
%179 = and i32 %178, 7
%180 = ashr i32 %177, %179
%181 = and i32 %180, 3
%182 = mul nsw i32 %181, 4
store i32 %182, i32* %13
%183 = load i32, i32* %5
%184 = add nsw i32 %183, 2
store i32 %184, i32* %5
%185 = load i32, i32* %13
%186 = add nsw i32 %185, 0
%187 = sext i32 %186 to i64
%188 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 %187
%189 = load i8, i8* %188
%190 = load i8*, i8** %3
%191 = load i32, i32* %6
%192 = add nsw i32 %191, 0
%193 = sext i32 %192 to i64
%194 = getelementptr inbounds i8, i8* %190, i64 %193
store i8 %189, i8* %194
%195 = load i32, i32* %13
%196 = add nsw i32 %195, 1
%197 = sext i32 %196 to i64
%198 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 %197
%199 = load i8, i8* %198
%200 = load i8*, i8** %3
%201 = load i32, i32* %6
%202 = add nsw i32 %201, 1
%203 = sext i32 %202 to i64
%204 = getelementptr inbounds i8, i8* %200, i64 %203
store i8 %199, i8* %204
%205 = load i32, i32* %13
%206 = add nsw i32 %205, 2
%207 = sext i32 %206 to i64
%208 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 %207
%209 = load i8, i8* %208
%210 = load i8*, i8** %3
%211 = load i32, i32* %6
%212 = add nsw i32 %211, 2
%213 = sext i32 %212 to i64
%214 = getelementptr inbounds i8, i8* %210, i64 %213
store i8 %209, i8* %214
%215 = load i32, i32* %13
%216 = add nsw i32 %215, 3
%217 = sext i32 %216 to i64
%218 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 %217
%219 = load i8, i8* %218
%220 = load i8*, i8** %3
%221 = load i32, i32* %6
%222 = add nsw i32 %221, 3
%223 = sext i32 %222 to i64
%224 = getelementptr inbounds i8, i8* %220, i64 %223
store i8 %219, i8* %224
br label %225
225: ; preds = %170
%226 = load i32, i32* %6
%227 = add nsw i32 %226, 4
store i32 %227, i32* %6
br label %167
228: ; preds = %167
ret void
}

LLVM IR (-O2):
define void @stbi_decode_DXT1_block(i8* nocapture writeonly %0, i8* nocapture %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca [16 x i8]
%7 = bitcast i32* %3 to i8*
%8 = bitcast i32* %4 to i8*
%9 = bitcast i32* %5 to i8*
%10 = getelementptr inbounds [16 x i8], [16 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 [16 x i8], [16 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 [16 x i8], [16 x i8]* %6, i64 0, i64 2
store i8 %33, i8* %34
%35 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 3
store i8 -1, i8* %35
%36 = call i32 @stbi_rgb_888_from_565(i32 %25, i32* %3, i32* %4, i32* %5)
%37 = load i32, i32* %3
%38 = trunc i32 %37 to i8
%39 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 4
store i8 %38, i8* %39
%40 = load i32, i32* %4
%41 = trunc i32 %40 to i8
%42 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 5
store i8 %41, i8* %42
%43 = load i32, i32* %5
%44 = trunc i32 %43 to i8
%45 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 6
store i8 %44, i8* %45
%46 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 7
store i8 -1, i8* %46
%47 = icmp ugt i32 %17, %25
%48 = load i8, i8* %10
%49 = zext i8 %48 to i16
br i1 %47, label %50, label %86
50: ; preds = %2
%51 = shl nuw nsw i16 %49, 1
%52 = trunc i32 %37 to i16
%53 = and i16 %52, 255
%54 = add nuw nsw i16 %51, %53
%55 = udiv i16 %54, 3
%56 = trunc i16 %55 to i8
%57 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 8
store i8 %56, i8* %57
%58 = load i8, i8* %31
%59 = zext i8 %58 to i16
%60 = shl nuw nsw i16 %59, 1
%61 = trunc i32 %40 to i16
%62 = and i16 %61, 255
%63 = add nuw nsw i16 %60, %62
%64 = udiv i16 %63, 3
%65 = trunc i16 %64 to i8
%66 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 9
store i8 %65, i8* %66
%67 = load i8, i8* %34
%68 = zext i8 %67 to i16
%69 = shl nuw nsw i16 %68, 1
%70 = trunc i32 %43 to i16
%71 = and i16 %70, 255
%72 = add nuw nsw i16 %69, %71
%73 = udiv i16 %72, 3
%74 = shl nuw nsw i16 %53, 1
%75 = add nuw nsw i16 %74, %49
%76 = udiv i16 %75, 3
%77 = trunc i16 %76 to i8
%78 = shl nuw nsw i16 %62, 1
%79 = add nuw nsw i16 %78, %59
%80 = udiv i16 %79, 3
%81 = trunc i16 %80 to i8
%82 = shl nuw nsw i16 %71, 1
%83 = add nuw nsw i16 %82, %68
%84 = udiv i16 %83, 3
%85 = trunc i16 %84 to i8
br label %107
86: ; preds = %2
%87 = trunc i32 %37 to i16
%88 = and i16 %87, 255
%89 = add nuw nsw i16 %88, %49
%90 = lshr i16 %89, 1
%91 = trunc i16 %90 to i8
%92 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 8
store i8 %91, i8* %92
%93 = load i8, i8* %31
%94 = zext i8 %93 to i16
%95 = trunc i32 %40 to i16
%96 = and i16 %95, 255
%97 = add nuw nsw i16 %96, %94
%98 = lshr i16 %97, 1
%99 = trunc i16 %98 to i8
%100 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 9
store i8 %99, i8* %100
%101 = load i8, i8* %34
%102 = zext i8 %101 to i16
%103 = trunc i32 %43 to i16
%104 = and i16 %103, 255
%105 = add nuw nsw i16 %104, %102
%106 = lshr i16 %105, 1
br label %107
107: ; preds = %86, %50
%108 = phi i16 [ %73, %50 ], [ %106, %86 ]
%109 = phi i8 [ %77, %50 ], [ 0, %86 ]
%110 = phi i8 [ %81, %50 ], [ 0, %86 ]
%111 = phi i8 [ %85, %50 ], [ 0, %86 ]
%112 = phi i8 [ -1, %50 ], [ 0, %86 ]
%113 = trunc i16 %108 to i8
%114 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 10
store i8 %113, i8* %114
%115 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 11
store i8 -1, i8* %115
%116 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 12
store i8 %109, i8* %116
%117 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 13
store i8 %110, i8* %117
%118 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 14
store i8 %111, i8* %118
%119 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 15
store i8 %112, i8* %119
br label %120
120: ; preds = %107, %120
%121 = phi i64 [ 0, %107 ], [ %155, %120 ]
%122 = phi i32 [ 32, %107 ], [ %132, %120 ]
%123 = lshr i32 %122, 3
%124 = zext i32 %123 to i64
%125 = getelementptr inbounds i8, i8* %1, i64 %124
%126 = load i8, i8* %125
%127 = zext i8 %126 to i32
%128 = and i32 %122, 6
%129 = lshr i32 %127, %128
%130 = shl nuw nsw i32 %129, 2
%131 = and i32 %130, 12
%132 = add nuw nsw i32 %122, 2
%133 = zext i32 %131 to i64
%134 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 %133
%135 = load i8, i8* %134
%136 = getelementptr inbounds i8, i8* %0, i64 %121
store i8 %135, i8* %136
%137 = or i32 %131, 1
%138 = zext i32 %137 to i64
%139 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 %138
%140 = load i8, i8* %139
%141 = or i64 %121, 1
%142 = getelementptr inbounds i8, i8* %0, i64 %141
store i8 %140, i8* %142
%143 = or i32 %131, 2
%144 = zext i32 %143 to i64
%145 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 %144
%146 = load i8, i8* %145
%147 = or i64 %121, 2
%148 = getelementptr inbounds i8, i8* %0, i64 %147
store i8 %146, i8* %148
%149 = or i32 %131, 3
%150 = zext i32 %149 to i64
%151 = getelementptr inbounds [16 x i8], [16 x i8]* %6, i64 0, i64 %150
%152 = load i8, i8* %151
%153 = or i64 %121, 3
%154 = getelementptr inbounds i8, i8* %0, i64 %153
store i8 %152, i8* %154
%155 = add nuw nsw i64 %121, 4
%156 = icmp ult i64 %121, 60
br i1 %156, label %120, label %157
157: ; preds = %120
ret void
}