int FS460_encode_alpha_masks_from_bitmap(unsigned short *p_alpha_mask_odd,
                                         int *p_mask_size_odd,
                                         unsigned short *p_alpha_mask_even,
                                         int *p_mask_size_even,
                                         const unsigned char *p_alpha_values,
                                         long alpha_value_count) {
  unsigned short *p_mo, *p_me;
  const unsigned char *p_a;
  int count, c, remainder;
  int mask_size_odd, mask_size_even;
  unsigned char to_match;
  int is_odd;
  if (!p_mask_size_odd || (*p_mask_size_odd > 0x10000) ||
      (*p_mask_size_odd < 2) || !p_mask_size_even ||
      (*p_mask_size_even > 0x10000) || (*p_mask_size_even < 2) ||
      !p_alpha_mask_odd || !p_alpha_mask_even || !p_alpha_values) {
    return 0x1000;
  }
  p_mo = p_alpha_mask_odd;
  p_me = p_alpha_mask_even;
  p_a = p_alpha_values;
  mask_size_odd = *p_mask_size_odd;
  mask_size_even = *p_mask_size_even;
  is_odd = 1;
  while (alpha_value_count > 0) {
    remainder = 720;
    while (remainder && (alpha_value_count > 0)) {
      to_match = *p_a;
      for (count = 1; 1; count++) {
        if (count >= remainder)
          break;
        if (alpha_value_count - count <= 0)
          break;
        if (to_match != p_a[count])
          break;
      }
      if (count == remainder) {
        if (is_odd) {
          if (mask_size_odd < 2)
            return 0x1002;
          *(p_mo++) = to_match;
          mask_size_odd -= 2;
        } else {
          if (mask_size_even < 2)
            return 0x1002;
          *(p_me++) = to_match;
          mask_size_even -= 2;
        }
      } else {
        c = count;
        while (c > 255) {
          if (is_odd) {
            if (mask_size_odd < 2)
              return 0x1002;
            *(p_mo++) = (0xFF00 | to_match);
            mask_size_odd -= 2;
          } else {
            if (mask_size_even < 2)
              return 0x1002;
            *(p_me++) = (0xFF00 | to_match);
            mask_size_even -= 2;
          }
          c -= 255;
        }
        {
          if (is_odd) {
            if (mask_size_odd < 2)
              return 0x1002;
            *(p_mo++) = ((0xFF00 & (c << 8)) | to_match);
            mask_size_odd -= 2;
          } else {
            if (mask_size_even < 2)
              return 0x1002;
            *(p_me++) = ((0xFF00 & (c << 8)) | to_match);
            mask_size_even -= 2;
          }
        }
      }
      remainder -= count;
      alpha_value_count -= count;
      p_a += count;
    }
    is_odd = !is_odd;
  }
  *p_mask_size_odd -= mask_size_odd;
  *p_mask_size_even -= mask_size_even;
  return 0;
}


x86 assembly (clang, -O0):
<FS460_encode_alpha_masks_from_bitmap>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     118d <FS460_encode_alpha_masks_from_bitmap+0x8d>
mov    -0x18(%rbp),%rax
cmpl   $0x10000,(%rax)
jg     118d <FS460_encode_alpha_masks_from_bitmap+0x8d>
mov    -0x18(%rbp),%rax
cmpl   $0x2,(%rax)
jl     118d <FS460_encode_alpha_masks_from_bitmap+0x8d>
cmpq   $0x0,-0x28(%rbp)
je     118d <FS460_encode_alpha_masks_from_bitmap+0x8d>
mov    -0x28(%rbp),%rax
cmpl   $0x10000,(%rax)
jg     118d <FS460_encode_alpha_masks_from_bitmap+0x8d>
mov    -0x28(%rbp),%rax
cmpl   $0x2,(%rax)
jl     118d <FS460_encode_alpha_masks_from_bitmap+0x8d>
cmpq   $0x0,-0x10(%rbp)
je     118d <FS460_encode_alpha_masks_from_bitmap+0x8d>
cmpq   $0x0,-0x20(%rbp)
je     118d <FS460_encode_alpha_masks_from_bitmap+0x8d>
cmpq   $0x0,-0x30(%rbp)
jne    1199 <FS460_encode_alpha_masks_from_bitmap+0x99>
movl   $0x1000,-0x4(%rbp)
jmp    14c1 <FS460_encode_alpha_masks_from_bitmap+0x3c1>
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x64(%rbp)
movl   $0x1,-0x6c(%rbp)
cmpq   $0x0,-0x38(%rbp)
jle    14a0 <FS460_encode_alpha_masks_from_bitmap+0x3a0>
movl   $0x2d0,-0x5c(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x5c(%rbp)
mov    %al,-0x6d(%rbp)
je     11f6 <FS460_encode_alpha_masks_from_bitmap+0xf6>
cmpq   $0x0,-0x38(%rbp)
setg   %al
mov    %al,-0x6d(%rbp)
mov    -0x6d(%rbp),%al
test   $0x1,%al
jne    1206 <FS460_encode_alpha_masks_from_bitmap+0x106>
jmp    148a <FS460_encode_alpha_masks_from_bitmap+0x38a>
mov    -0x50(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x65(%rbp)
movl   $0x1,-0x54(%rbp)
mov    $0x1,%al
test   $0x1,%al
jne    1225 <FS460_encode_alpha_masks_from_bitmap+0x125>
jmp    1280 <FS460_encode_alpha_masks_from_bitmap+0x180>
mov    -0x54(%rbp),%eax
cmp    -0x5c(%rbp),%eax
jl     1236 <FS460_encode_alpha_masks_from_bitmap+0x136>
jmp    1280 <FS460_encode_alpha_masks_from_bitmap+0x180>
mov    -0x38(%rbp),%rax
movslq -0x54(%rbp),%rcx
sub    %rcx,%rax
cmp    $0x0,%rax
jg     1250 <FS460_encode_alpha_masks_from_bitmap+0x150>
jmp    1280 <FS460_encode_alpha_masks_from_bitmap+0x180>
movzbl -0x65(%rbp),%eax
mov    -0x50(%rbp),%rcx
movslq -0x54(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     126d <FS460_encode_alpha_masks_from_bitmap+0x16d>
jmp    1280 <FS460_encode_alpha_masks_from_bitmap+0x180>
jmp    1272 <FS460_encode_alpha_masks_from_bitmap+0x172>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    1216 <FS460_encode_alpha_masks_from_bitmap+0x116>
mov    -0x54(%rbp),%eax
cmp    -0x5c(%rbp),%eax
jne    1310 <FS460_encode_alpha_masks_from_bitmap+0x210>
cmpl   $0x0,-0x6c(%rbp)
je     12d3 <FS460_encode_alpha_masks_from_bitmap+0x1d3>
cmpl   $0x2,-0x60(%rbp)
jge    12ac <FS460_encode_alpha_masks_from_bitmap+0x1ac>
movl   $0x1002,-0x4(%rbp)
jmp    14c1 <FS460_encode_alpha_masks_from_bitmap+0x3c1>
movzbl -0x65(%rbp),%eax
mov    %ax,%cx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cx,(%rax)
mov    -0x60(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x60(%rbp)
jmp    130b <FS460_encode_alpha_masks_from_bitmap+0x20b>
cmpl   $0x2,-0x64(%rbp)
jge    12e9 <FS460_encode_alpha_masks_from_bitmap+0x1e9>
movl   $0x1002,-0x4(%rbp)
jmp    14c1 <FS460_encode_alpha_masks_from_bitmap+0x3c1>
movzbl -0x65(%rbp),%eax
mov    %ax,%cx
mov    -0x48(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x48(%rbp)
mov    %cx,(%rax)
mov    -0x64(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x64(%rbp)
jmp    145a <FS460_encode_alpha_masks_from_bitmap+0x35a>
mov    -0x54(%rbp),%eax
mov    %eax,-0x58(%rbp)
cmpl   $0xff,-0x58(%rbp)
jle    13bc <FS460_encode_alpha_masks_from_bitmap+0x2bc>
cmpl   $0x0,-0x6c(%rbp)
je     136f <FS460_encode_alpha_masks_from_bitmap+0x26f>
cmpl   $0x2,-0x60(%rbp)
jge    1343 <FS460_encode_alpha_masks_from_bitmap+0x243>
movl   $0x1002,-0x4(%rbp)
jmp    14c1 <FS460_encode_alpha_masks_from_bitmap+0x3c1>
movzbl -0x65(%rbp),%eax
or     $0xff00,%eax
mov    %ax,%cx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cx,(%rax)
mov    -0x60(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x60(%rbp)
jmp    13ac <FS460_encode_alpha_masks_from_bitmap+0x2ac>
cmpl   $0x2,-0x64(%rbp)
jge    1385 <FS460_encode_alpha_masks_from_bitmap+0x285>
movl   $0x1002,-0x4(%rbp)
jmp    14c1 <FS460_encode_alpha_masks_from_bitmap+0x3c1>
movzbl -0x65(%rbp),%eax
or     $0xff00,%eax
mov    %ax,%cx
mov    -0x48(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x48(%rbp)
mov    %cx,(%rax)
mov    -0x64(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x64(%rbp)
mov    -0x58(%rbp),%eax
sub    $0xff,%eax
mov    %eax,-0x58(%rbp)
jmp    1316 <FS460_encode_alpha_masks_from_bitmap+0x216>
cmpl   $0x0,-0x6c(%rbp)
je     1410 <FS460_encode_alpha_masks_from_bitmap+0x310>
cmpl   $0x2,-0x60(%rbp)
jge    13dc <FS460_encode_alpha_masks_from_bitmap+0x2dc>
movl   $0x1002,-0x4(%rbp)
jmp    14c1 <FS460_encode_alpha_masks_from_bitmap+0x3c1>
mov    -0x58(%rbp),%eax
shl    $0x8,%eax
and    $0xff00,%eax
movzbl -0x65(%rbp),%ecx
or     %ecx,%eax
mov    %ax,%cx
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cx,(%rax)
mov    -0x60(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x60(%rbp)
jmp    1455 <FS460_encode_alpha_masks_from_bitmap+0x355>
cmpl   $0x2,-0x64(%rbp)
jge    1426 <FS460_encode_alpha_masks_from_bitmap+0x326>
movl   $0x1002,-0x4(%rbp)
jmp    14c1 <FS460_encode_alpha_masks_from_bitmap+0x3c1>
mov    -0x58(%rbp),%eax
shl    $0x8,%eax
and    $0xff00,%eax
movzbl -0x65(%rbp),%ecx
or     %ecx,%eax
mov    %ax,%cx
mov    -0x48(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x48(%rbp)
mov    %cx,(%rax)
mov    -0x64(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x64(%rbp)
jmp    145a <FS460_encode_alpha_masks_from_bitmap+0x35a>
mov    -0x54(%rbp),%ecx
mov    -0x5c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x5c(%rbp)
movslq -0x54(%rbp),%rcx
mov    -0x38(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x54(%rbp),%ecx
mov    -0x50(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
jmp    11dc <FS460_encode_alpha_masks_from_bitmap+0xdc>
cmpl   $0x0,-0x6c(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x6c(%rbp)
jmp    11ca <FS460_encode_alpha_masks_from_bitmap+0xca>
mov    -0x60(%rbp),%edx
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
sub    %edx,%ecx
mov    %ecx,(%rax)
mov    -0x64(%rbp),%edx
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
sub    %edx,%ecx
mov    %ecx,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<FS460_encode_alpha_masks_from_bitmap>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    $0x1000,%eax
test   %rsi,%rsi
je     12ec <FS460_encode_alpha_masks_from_bitmap+0x1ec>
mov    (%rsi),%r10d
cmp    $0x10000,%r10d
jg     12ec <FS460_encode_alpha_masks_from_bitmap+0x1ec>
test   %rcx,%rcx
je     12ec <FS460_encode_alpha_masks_from_bitmap+0x1ec>
cmp    $0x2,%r10d
jl     12ec <FS460_encode_alpha_masks_from_bitmap+0x1ec>
mov    (%rcx),%r11d
cmp    $0x10000,%r11d
jg     12ec <FS460_encode_alpha_masks_from_bitmap+0x1ec>
test   %r8,%r8
je     12ec <FS460_encode_alpha_masks_from_bitmap+0x1ec>
test   %rdx,%rdx
je     12ec <FS460_encode_alpha_masks_from_bitmap+0x1ec>
test   %rdi,%rdi
je     12ec <FS460_encode_alpha_masks_from_bitmap+0x1ec>
cmp    $0x2,%r11d
jl     12ec <FS460_encode_alpha_masks_from_bitmap+0x1ec>
test   %r9,%r9
jle    12de <FS460_encode_alpha_masks_from_bitmap+0x1de>
mov    $0x1,%r14d
mov    %r10d,%r12d
mov    $0x2d0,%ebp
nopw   0x0(%rax,%rax,1)
mov    %ebp,%ebx
mov    %ebp,%ebp
movzbl (%r8),%eax
movzwl %ax,%r15d
cmp    $0x2,%ebx
jl     11cc <FS460_encode_alpha_masks_from_bitmap+0xcc>
mov    $0x1,%ebx
cs nopw 0x0(%rax,%rax,1)
cmp    %rbx,%r9
je     11f6 <FS460_encode_alpha_masks_from_bitmap+0xf6>
cmp    (%r8,%rbx,1),%al
jne    11c6 <FS460_encode_alpha_masks_from_bitmap+0xc6>
add    $0x1,%rbx
cmp    %rbx,%rbp
jne    11b0 <FS460_encode_alpha_masks_from_bitmap+0xb0>
mov    %ebp,%ebx
cmp    %ebx,%ebp
je     11fd <FS460_encode_alpha_masks_from_bitmap+0xfd>
jmp    121c <FS460_encode_alpha_masks_from_bitmap+0x11c>
mov    $0x1,%ebx
cmp    $0x1,%ebp
je     11fd <FS460_encode_alpha_masks_from_bitmap+0xfd>
mov    $0x1,%eax
test   %r14d,%r14d
je     128a <FS460_encode_alpha_masks_from_bitmap+0x18a>
cmp    $0x2,%r12d
jl     12d7 <FS460_encode_alpha_masks_from_bitmap+0x1d7>
shl    $0x8,%eax
or     %r15d,%eax
jmp    120c <FS460_encode_alpha_masks_from_bitmap+0x10c>
mov    %r9d,%ebx
cmp    %ebx,%ebp
jne    121c <FS460_encode_alpha_masks_from_bitmap+0x11c>
test   %r14d,%r14d
je     1277 <FS460_encode_alpha_masks_from_bitmap+0x177>
cmp    $0x2,%r12d
jl     12d7 <FS460_encode_alpha_masks_from_bitmap+0x1d7>
mov    %ax,(%rdi)
add    $0x2,%rdi
add    $0xfffffffe,%r12d
jmp    12a1 <FS460_encode_alpha_masks_from_bitmap+0x1a1>
cmp    $0x100,%ebx
jl     127f <FS460_encode_alpha_masks_from_bitmap+0x17f>
mov    %r15,-0x8(%rsp)
lea    0xff00(%r15),%r13d
mov    %ebx,%r15d
jmp    125e <FS460_encode_alpha_masks_from_bitmap+0x15e>
cmp    $0x2,%r11d
jl     12d7 <FS460_encode_alpha_masks_from_bitmap+0x1d7>
mov    %r13w,(%rdx)
add    $0x2,%rdx
add    $0xfffffffe,%r11d
lea    -0xff(%r15),%eax
cmp    $0x1fe,%r15d
mov    %eax,%r15d
jle    12b8 <FS460_encode_alpha_masks_from_bitmap+0x1b8>
test   %r14d,%r14d
je     1235 <FS460_encode_alpha_masks_from_bitmap+0x135>
cmp    $0x2,%r12d
jl     12d7 <FS460_encode_alpha_masks_from_bitmap+0x1d7>
mov    %r13w,(%rdi)
add    $0x2,%rdi
add    $0xfffffffe,%r12d
jmp    124b <FS460_encode_alpha_masks_from_bitmap+0x14b>
cmp    $0x2,%r11d
jge    1296 <FS460_encode_alpha_masks_from_bitmap+0x196>
jmp    12d7 <FS460_encode_alpha_masks_from_bitmap+0x1d7>
mov    %ebx,%eax
test   %r14d,%r14d
jne    11e4 <FS460_encode_alpha_masks_from_bitmap+0xe4>
cmp    $0x2,%r11d
jl     12d7 <FS460_encode_alpha_masks_from_bitmap+0x1d7>
shl    $0x8,%eax
or     %r15d,%eax
mov    %ax,(%rdx)
add    $0x2,%rdx
add    $0xfffffffe,%r11d
mov    %ebx,%eax
sub    %rax,%r9
add    %rax,%r8
sub    %ebx,%ebp
je     12c8 <FS460_encode_alpha_masks_from_bitmap+0x1c8>
test   %r9,%r9
jg     1190 <FS460_encode_alpha_masks_from_bitmap+0x90>
jmp    12c8 <FS460_encode_alpha_masks_from_bitmap+0x1c8>
mov    -0x8(%rsp),%r15
test   %r14d,%r14d
jne    11e4 <FS460_encode_alpha_masks_from_bitmap+0xe4>
jmp    128a <FS460_encode_alpha_masks_from_bitmap+0x18a>
xor    $0x1,%r14d
test   %r9,%r9
jg     1182 <FS460_encode_alpha_masks_from_bitmap+0x82>
jmp    12e1 <FS460_encode_alpha_masks_from_bitmap+0x1e1>
mov    $0x1002,%eax
jmp    12ec <FS460_encode_alpha_masks_from_bitmap+0x1ec>
mov    %r10d,%r12d
sub    %r12d,%r10d
mov    %r10d,(%rsi)
sub    %r11d,(%rcx)
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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