void stbi_decode_DXT45_alpha_block(unsigned char uncompressed[16 * 4],
                                   unsigned char compressed[8]) {
  int i, next_bit = 8 * 2;
  unsigned char decode_alpha[8];
  decode_alpha[0] = compressed[0];
  decode_alpha[1] = compressed[1];
  if (decode_alpha[0] > decode_alpha[1]) {
    decode_alpha[2] = (6 * decode_alpha[0] + 1 * decode_alpha[1]) / 7;
    decode_alpha[3] = (5 * decode_alpha[0] + 2 * decode_alpha[1]) / 7;
    decode_alpha[4] = (4 * decode_alpha[0] + 3 * decode_alpha[1]) / 7;
    decode_alpha[5] = (3 * decode_alpha[0] + 4 * decode_alpha[1]) / 7;
    decode_alpha[6] = (2 * decode_alpha[0] + 5 * decode_alpha[1]) / 7;
    decode_alpha[7] = (1 * decode_alpha[0] + 6 * decode_alpha[1]) / 7;
  } else {
    decode_alpha[2] = (4 * decode_alpha[0] + 1 * decode_alpha[1]) / 5;
    decode_alpha[3] = (3 * decode_alpha[0] + 2 * decode_alpha[1]) / 5;
    decode_alpha[4] = (2 * decode_alpha[0] + 3 * decode_alpha[1]) / 5;
    decode_alpha[5] = (1 * decode_alpha[0] + 4 * decode_alpha[1]) / 5;
    decode_alpha[6] = 0;
    decode_alpha[7] = 255;
  }
  for (i = 3; i < 16 * 4; i += 4) {
    int idx = 0, bit;
    bit = (compressed[next_bit >> 3] >> (next_bit & 7)) & 1;
    idx += bit << 0;
    ++next_bit;
    bit = (compressed[next_bit >> 3] >> (next_bit & 7)) & 1;
    idx += bit << 1;
    ++next_bit;
    bit = (compressed[next_bit >> 3] >> (next_bit & 7)) & 1;
    idx += bit << 2;
    ++next_bit;
    uncompressed[i] = decode_alpha[idx & 7];
  }
}


x86 assembly (clang, -O0):
<stbi_decode_DXT45_alpha_block>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x10,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    0x1(%rax),%al
mov    %al,-0x1f(%rbp)
movzbl -0x20(%rbp),%eax
movzbl -0x1f(%rbp),%ecx
cmp    %ecx,%eax
jle    11dd <stbi_decode_DXT45_alpha_block+0xdd>
movzbl -0x20(%rbp),%eax
imul   $0x6,%eax,%eax
movzbl -0x1f(%rbp),%ecx
shl    $0x0,%ecx
add    %ecx,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %al,-0x1e(%rbp)
movzbl -0x20(%rbp),%eax
imul   $0x5,%eax,%eax
movzbl -0x1f(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %al,-0x1d(%rbp)
movzbl -0x20(%rbp),%eax
shl    $0x2,%eax
movzbl -0x1f(%rbp),%ecx
imul   $0x3,%ecx,%ecx
add    %ecx,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %al,-0x1c(%rbp)
movzbl -0x20(%rbp),%eax
imul   $0x3,%eax,%eax
movzbl -0x1f(%rbp),%ecx
shl    $0x2,%ecx
add    %ecx,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %al,-0x1b(%rbp)
movzbl -0x20(%rbp),%eax
shl    $0x1,%eax
movzbl -0x1f(%rbp),%ecx
imul   $0x5,%ecx,%ecx
add    %ecx,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %al,-0x1a(%rbp)
movzbl -0x20(%rbp),%eax
shl    $0x0,%eax
movzbl -0x1f(%rbp),%ecx
imul   $0x6,%ecx,%ecx
add    %ecx,%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
mov    %al,-0x19(%rbp)
jmp    1251 <stbi_decode_DXT45_alpha_block+0x151>
movzbl -0x20(%rbp),%eax
shl    $0x2,%eax
movzbl -0x1f(%rbp),%ecx
shl    $0x0,%ecx
add    %ecx,%eax
mov    $0x5,%ecx
cltd
idiv   %ecx
mov    %al,-0x1e(%rbp)
movzbl -0x20(%rbp),%eax
imul   $0x3,%eax,%eax
movzbl -0x1f(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    $0x5,%ecx
cltd
idiv   %ecx
mov    %al,-0x1d(%rbp)
movzbl -0x20(%rbp),%eax
shl    $0x1,%eax
movzbl -0x1f(%rbp),%ecx
imul   $0x3,%ecx,%ecx
add    %ecx,%eax
mov    $0x5,%ecx
cltd
idiv   %ecx
mov    %al,-0x1c(%rbp)
movzbl -0x20(%rbp),%eax
shl    $0x0,%eax
movzbl -0x1f(%rbp),%ecx
shl    $0x2,%ecx
add    %ecx,%eax
mov    $0x5,%ecx
cltd
idiv   %ecx
mov    %al,-0x1b(%rbp)
movb   $0x0,-0x1a(%rbp)
movb   $0xff,-0x19(%rbp)
movl   $0x3,-0x14(%rbp)
cmpl   $0x40,-0x14(%rbp)
jge    132a <stbi_decode_DXT45_alpha_block+0x22a>
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sar    $0x3,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%ecx
and    $0x7,%ecx
sar    %cl,%eax
and    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
shl    $0x0,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sar    $0x3,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%ecx
and    $0x7,%ecx
sar    %cl,%eax
and    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
shl    $0x1,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sar    $0x3,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%ecx
and    $0x7,%ecx
sar    %cl,%eax
and    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
shl    $0x2,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x24(%rbp),%eax
and    $0x7,%eax
cltq
mov    -0x20(%rbp,%rax,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x14(%rbp)
jmp    1258 <stbi_decode_DXT45_alpha_block+0x158>
pop    %rbp
ret

x86 assembly (clang, -O2):
<stbi_decode_DXT45_alpha_block>:
push   %rbp
push   %rbx
movzbl (%rsi),%ecx
mov    %cl,-0x8(%rsp)
movzbl 0x1(%rsi),%edx
mov    %dl,-0x7(%rsp)
movzwl %cx,%r9d
movzwl %dx,%eax
cmp    %dl,%cl
jbe    11e0 <stbi_decode_DXT45_alpha_block+0xe0>
lea    (%r9,%r9,2),%ecx
lea    (%rax,%rcx,2),%ecx
imul   $0x2493,%ecx,%edx
shr    $0x10,%edx
sub    %edx,%ecx
movzwl %cx,%ecx
shr    %ecx
add    %edx,%ecx
movzwl %cx,%r8d
shr    $0x2,%r8d
lea    (%r9,%r9,4),%ecx
lea    (%rcx,%rax,2),%ecx
movzwl %cx,%edx
imul   $0x2493,%edx,%edx
shr    $0x10,%edx
sub    %edx,%ecx
movzwl %cx,%r10d
shr    %r10d
add    %edx,%r10d
shr    $0x2,%r10d
lea    (%rax,%rax,2),%r11d
lea    (%r11,%r9,4),%ecx
movzwl %cx,%edx
imul   $0x2493,%edx,%edx
shr    $0x10,%edx
sub    %edx,%ecx
movzwl %cx,%ebx
shr    %ebx
add    %edx,%ebx
shr    $0x2,%ebx
lea    (%r9,%r9,2),%ecx
lea    (%rcx,%rax,4),%ecx
movzwl %cx,%edx
imul   $0x2493,%edx,%ebp
shr    $0x10,%ebp
sub    %ebp,%ecx
movzwl %cx,%edx
shr    %edx
add    %ebp,%edx
shr    $0x2,%edx
lea    (%rax,%rax,4),%eax
lea    (%rax,%r9,2),%eax
movzwl %ax,%ecx
imul   $0x2493,%ecx,%ecx
shr    $0x10,%ecx
sub    %ecx,%eax
movzwl %ax,%eax
shr    %eax
add    %ecx,%eax
shr    $0x2,%eax
lea    (%r9,%r11,2),%ecx
movzwl %cx,%ebp
imul   $0x2493,%ebp,%ebp
shr    $0x10,%ebp
sub    %ebp,%ecx
movzwl %cx,%ecx
shr    %ecx
add    %ebp,%ecx
shr    $0x2,%ecx
jmp    1228 <stbi_decode_DXT45_alpha_block+0x128>
lea    (%rax,%r9,4),%ecx
imul   $0xcccd,%ecx,%r8d
shr    $0x12,%r8d
lea    (%r9,%r9,2),%ecx
lea    (%rcx,%rax,2),%ecx
movzwl %cx,%ecx
imul   $0xcccd,%ecx,%r10d
shr    $0x12,%r10d
lea    (%rax,%rax,2),%ecx
lea    (%rcx,%r9,2),%ecx
movzwl %cx,%ecx
imul   $0xcccd,%ecx,%ebx
shr    $0x12,%ebx
lea    (%r9,%rax,4),%eax
imul   $0xcccd,%eax,%edx
shr    $0x12,%edx
mov    $0xff,%cl
xor    %eax,%eax
mov    %r8b,-0x6(%rsp)
mov    %r10b,-0x5(%rsp)
mov    %bl,-0x4(%rsp)
mov    %dl,-0x3(%rsp)
mov    %al,-0x2(%rsp)
mov    %cl,-0x1(%rsp)
mov    $0x10,%eax
mov    $0xffffffffffffffff,%r8
xchg   %ax,%ax
mov    %eax,%ecx
shr    $0x3,%rcx
movzbl (%rsi,%rcx,1),%edx
mov    %eax,%ecx
and    $0x7,%cl
shr    %cl,%rdx
and    $0x1,%edx
lea    0x1(%rax),%ecx
mov    %rcx,%rbp
shr    $0x3,%rbp
movzbl (%rsi,%rbp,1),%ebp
and    $0x7,%cl
shr    %cl,%rbp
and    $0x1,%ebp
lea    0x2(%rax),%ecx
mov    %rcx,%rbx
shr    $0x3,%rbx
movzbl (%rsi,%rbx,1),%ebx
and    $0x7,%cl
shr    %cl,%rbx
lea    (%rdx,%rbp,2),%rcx
and    $0x1,%ebx
lea    (%rcx,%rbx,4),%rcx
add    $0x3,%eax
movzbl -0x8(%rsp,%rcx,1),%ecx
mov    %cl,0x4(%rdi,%r8,1)
add    $0x4,%r8
cmp    $0x3c,%r8
jb     1250 <stbi_decode_DXT45_alpha_block+0x150>
pop    %rbx
pop    %rbp
ret

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

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