int FS460_encode_alpha_mask_from_bitmap(unsigned short *p_alpha_mask,
                                        int *p_mask_size,
                                        const unsigned char *p_alpha_values,
                                        long alpha_value_count) {
  unsigned short *p_m;
  const unsigned char *p_a;
  int count, c, remainder;
  int mask_size;
  unsigned char to_match;
  if (!p_mask_size || (*p_mask_size > 0x10000) || (*p_mask_size < 2) ||
      !p_alpha_mask || !p_alpha_values)
    return 0x1000;
  p_m = p_alpha_mask;
  p_a = p_alpha_values;
  mask_size = *p_mask_size;
  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 (mask_size < 2)
          return 0x1002;
        *(p_m++) = to_match;
        mask_size -= 2;
      } else {
        c = count;
        while (c > 255) {
          if (mask_size < 2)
            return 0x1002;
          *(p_m++) = (0xFF00 | to_match);
          mask_size -= 2;
          c -= 255;
        }
        {
          if (mask_size < 2)
            return 0x1002;
          *(p_m++) = ((0xFF00 & (c << 8)) | to_match);
          mask_size -= 2;
        }
      }
      remainder -= count;
      alpha_value_count -= count;
      p_a += count;
    }
  }
  *p_mask_size -= mask_size;
  return 0;
}


x86 assembly (clang, -O0):
<FS460_encode_alpha_mask_from_bitmap>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     1152 <FS460_encode_alpha_mask_from_bitmap+0x52>
mov    -0x18(%rbp),%rax
cmpl   $0x10000,(%rax)
jg     1152 <FS460_encode_alpha_mask_from_bitmap+0x52>
mov    -0x18(%rbp),%rax
cmpl   $0x2,(%rax)
jl     1152 <FS460_encode_alpha_mask_from_bitmap+0x52>
cmpq   $0x0,-0x10(%rbp)
je     1152 <FS460_encode_alpha_mask_from_bitmap+0x52>
cmpq   $0x0,-0x20(%rbp)
jne    115e <FS460_encode_alpha_mask_from_bitmap+0x5e>
movl   $0x1000,-0x4(%rbp)
jmp    1364 <FS460_encode_alpha_mask_from_bitmap+0x264>
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x48(%rbp)
cmpq   $0x0,-0x28(%rbp)
jle    1350 <FS460_encode_alpha_mask_from_bitmap+0x250>
movl   $0x2d0,-0x44(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x44(%rbp)
mov    %al,-0x4a(%rbp)
je     11a3 <FS460_encode_alpha_mask_from_bitmap+0xa3>
cmpq   $0x0,-0x28(%rbp)
setg   %al
mov    %al,-0x4a(%rbp)
mov    -0x4a(%rbp),%al
test   $0x1,%al
jne    11b3 <FS460_encode_alpha_mask_from_bitmap+0xb3>
jmp    134b <FS460_encode_alpha_mask_from_bitmap+0x24b>
mov    -0x38(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x49(%rbp)
movl   $0x1,-0x3c(%rbp)
mov    $0x1,%al
test   $0x1,%al
jne    11d2 <FS460_encode_alpha_mask_from_bitmap+0xd2>
jmp    122d <FS460_encode_alpha_mask_from_bitmap+0x12d>
mov    -0x3c(%rbp),%eax
cmp    -0x44(%rbp),%eax
jl     11e3 <FS460_encode_alpha_mask_from_bitmap+0xe3>
jmp    122d <FS460_encode_alpha_mask_from_bitmap+0x12d>
mov    -0x28(%rbp),%rax
movslq -0x3c(%rbp),%rcx
sub    %rcx,%rax
cmp    $0x0,%rax
jg     11fd <FS460_encode_alpha_mask_from_bitmap+0xfd>
jmp    122d <FS460_encode_alpha_mask_from_bitmap+0x12d>
movzbl -0x49(%rbp),%eax
mov    -0x38(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     121a <FS460_encode_alpha_mask_from_bitmap+0x11a>
jmp    122d <FS460_encode_alpha_mask_from_bitmap+0x12d>
jmp    121f <FS460_encode_alpha_mask_from_bitmap+0x11f>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11c3 <FS460_encode_alpha_mask_from_bitmap+0xc3>
mov    -0x3c(%rbp),%eax
cmp    -0x44(%rbp),%eax
jne    1276 <FS460_encode_alpha_mask_from_bitmap+0x176>
cmpl   $0x2,-0x48(%rbp)
jge    124f <FS460_encode_alpha_mask_from_bitmap+0x14f>
movl   $0x1002,-0x4(%rbp)
jmp    1364 <FS460_encode_alpha_mask_from_bitmap+0x264>
movzbl -0x49(%rbp),%eax
mov    %ax,%cx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cx,(%rax)
mov    -0x48(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x48(%rbp)
jmp    131b <FS460_encode_alpha_mask_from_bitmap+0x21b>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x40(%rbp)
cmpl   $0xff,-0x40(%rbp)
jle    12d6 <FS460_encode_alpha_mask_from_bitmap+0x1d6>
cmpl   $0x2,-0x48(%rbp)
jge    129f <FS460_encode_alpha_mask_from_bitmap+0x19f>
movl   $0x1002,-0x4(%rbp)
jmp    1364 <FS460_encode_alpha_mask_from_bitmap+0x264>
movzbl -0x49(%rbp),%eax
or     $0xff00,%eax
mov    %ax,%cx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cx,(%rax)
mov    -0x48(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x48(%rbp)
mov    -0x40(%rbp),%eax
sub    $0xff,%eax
mov    %eax,-0x40(%rbp)
jmp    127c <FS460_encode_alpha_mask_from_bitmap+0x17c>
cmpl   $0x2,-0x48(%rbp)
jge    12ec <FS460_encode_alpha_mask_from_bitmap+0x1ec>
movl   $0x1002,-0x4(%rbp)
jmp    1364 <FS460_encode_alpha_mask_from_bitmap+0x264>
mov    -0x40(%rbp),%eax
shl    $0x8,%eax
and    $0xff00,%eax
movzbl -0x49(%rbp),%ecx
or     %ecx,%eax
mov    %ax,%cx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cx,(%rax)
mov    -0x48(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x48(%rbp)
mov    -0x3c(%rbp),%ecx
mov    -0x44(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x44(%rbp)
movslq -0x3c(%rbp),%rcx
mov    -0x28(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x3c(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
jmp    1189 <FS460_encode_alpha_mask_from_bitmap+0x89>
jmp    1177 <FS460_encode_alpha_mask_from_bitmap+0x77>
mov    -0x48(%rbp),%edx
mov    -0x18(%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_mask_from_bitmap>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    $0x1000,%eax
test   %rsi,%rsi
je     1318 <FS460_encode_alpha_mask_from_bitmap+0x218>
mov    (%rsi),%r8d
cmp    $0x10000,%r8d
jg     1318 <FS460_encode_alpha_mask_from_bitmap+0x218>
test   %rdx,%rdx
je     1318 <FS460_encode_alpha_mask_from_bitmap+0x218>
test   %rdi,%rdi
je     1318 <FS460_encode_alpha_mask_from_bitmap+0x218>
cmp    $0x2,%r8d
jl     1318 <FS460_encode_alpha_mask_from_bitmap+0x218>
mov    %r8d,%r13d
test   %rcx,%rcx
jle    1310 <FS460_encode_alpha_mask_from_bitmap+0x210>
mov    $0x2d0,%ebp
mov    $0x80808081,%r9d
mov    $0x10,%r10d
mov    %r8d,%r13d
jmp    117e <FS460_encode_alpha_mask_from_bitmap+0x7e>
cs nopw 0x0(%rax,%rax,1)
mov    $0x2d0,%ebp
test   %rcx,%rcx
jle    1310 <FS460_encode_alpha_mask_from_bitmap+0x210>
mov    %ebp,%r11d
movzbl (%rdx),%r15d
cmp    $0x2,%ebp
jl     11b0 <FS460_encode_alpha_mask_from_bitmap+0xb0>
mov    $0x1,%ebx
nop
cmp    %rbx,%rcx
je     11c5 <FS460_encode_alpha_mask_from_bitmap+0xc5>
cmp    (%rdx,%rbx,1),%r15b
jne    11a7 <FS460_encode_alpha_mask_from_bitmap+0xa7>
add    $0x1,%rbx
cmp    %rbx,%r11
jne    1190 <FS460_encode_alpha_mask_from_bitmap+0x90>
mov    %r11d,%ebx
cmp    %ebx,%r11d
je     11d0 <FS460_encode_alpha_mask_from_bitmap+0xd0>
jmp    11e0 <FS460_encode_alpha_mask_from_bitmap+0xe0>
xchg   %ax,%ax
mov    $0x1,%ebx
cmp    $0x1,%r11d
je     11d0 <FS460_encode_alpha_mask_from_bitmap+0xd0>
mov    $0x1,%eax
jmp    12d0 <FS460_encode_alpha_mask_from_bitmap+0x1d0>
mov    %ecx,%ebx
cmp    %ebx,%r11d
jne    11e0 <FS460_encode_alpha_mask_from_bitmap+0xe0>
nopl   0x0(%rax)
cmp    $0x2,%r13d
jge    12dc <FS460_encode_alpha_mask_from_bitmap+0x1dc>
jmp    1309 <FS460_encode_alpha_mask_from_bitmap+0x209>
nop
cmp    $0x100,%ebx
jl     1239 <FS460_encode_alpha_mask_from_bitmap+0x139>
movzwl %r15w,%r14d
or     $0xff00,%r14d
cmp    $0x1fe,%ebx
mov    $0x1fe,%eax
cmovl  %ebx,%eax
neg    %eax
add    %ebx,%eax
add    $0xfe,%eax
imul   %r9,%rax
shr    $0x27,%rax
test   %r13d,%r13d
mov    $0x1,%ebp
cmovle %r13d,%ebp
neg    %ebp
lea    0x1(%r13,%rbp,1),%r12d
shr    %r12d
cmp    %r12d,%eax
cmovb  %eax,%r12d
cmp    $0xf,%r12d
ja     1240 <FS460_encode_alpha_mask_from_bitmap+0x140>
mov    %ebx,%ebp
jmp    12a0 <FS460_encode_alpha_mask_from_bitmap+0x1a0>
mov    %ebx,%eax
jmp    12d0 <FS460_encode_alpha_mask_from_bitmap+0x1d0>
add    $0x1,%r12d
mov    %r12d,%eax
and    $0xf,%eax
test   %rax,%rax
cmove  %r10,%rax
sub    %rax,%r12
sub    %r12d,%r13d
sub    %r12d,%r13d
mov    %r12d,%eax
shl    $0x8,%eax
mov    %r12d,%ebp
sub    %eax,%ebp
add    %ebx,%ebp
lea    (%rdi,%r12,2),%rax
movd   %r14d,%xmm0
pshuflw $0x0,%xmm0,%xmm0
pshufd $0x0,%xmm0,%xmm0
xor    %r10d,%r10d
nopl   (%rax)
movdqu %xmm0,(%rdi,%r10,2)
movdqu %xmm0,0x10(%rdi,%r10,2)
add    $0x10,%r10
cmp    %r10,%r12
jne    1280 <FS460_encode_alpha_mask_from_bitmap+0x180>
mov    %rax,%rdi
mov    $0x10,%r10d
nop
cmp    $0x2,%r13d
jl     1309 <FS460_encode_alpha_mask_from_bitmap+0x209>
mov    %r14w,(%rdi)
add    $0x2,%rdi
add    $0xfffffffe,%r13d
lea    -0xff(%rbp),%eax
cmp    $0x1fe,%ebp
mov    %eax,%ebp
jg     12a0 <FS460_encode_alpha_mask_from_bitmap+0x1a0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmp    $0x2,%r13d
jl     1309 <FS460_encode_alpha_mask_from_bitmap+0x209>
shl    $0x8,%eax
or     %eax,%r15d
mov    %r15w,(%rdi)
add    $0xfffffffe,%r13d
add    $0x2,%rdi
mov    %ebx,%eax
sub    %rax,%rcx
add    %rax,%rdx
mov    %r11d,%ebp
sub    %ebx,%ebp
je     1170 <FS460_encode_alpha_mask_from_bitmap+0x70>
test   %rcx,%rcx
jg     117e <FS460_encode_alpha_mask_from_bitmap+0x7e>
jmp    1170 <FS460_encode_alpha_mask_from_bitmap+0x70>
mov    $0x1002,%eax
jmp    1318 <FS460_encode_alpha_mask_from_bitmap+0x218>
sub    %r13d,%r8d
mov    %r8d,(%rsi)
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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