#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 */
unsigned short bound(int /*<<< orphan*/, int const, int const);
int change_colors(unsigned short *red, unsigned short *green,
                  unsigned short *blue, int sz, int r, int g, int b) {
  int i, rx, gx, bx;
  if (r == 0 && g == 0 && b == 0) {
    int x = 0;
    for (i = 0; i < sz; i++) {
      red[i] = green[i] = blue[i] = x;
      x += sz;
    }
  } else {
    const int max = sz * sz;
    const int rxx = r * sz / 255;
    const int gxx = g * sz / 255;
    const int bxx = b * sz / 255;
    if (red[1] == bound(0, rxx, sz) && green[1] == bound(0, gxx, sz) &&
        blue[1] == bound(0, bxx, sz)) {
      return 1;
    }
    rx = 0;
    gx = 0;
    bx = 0;
    for (i = 0; i < sz; i++) {
      red[i] = bound(0, rx, i * sz);
      green[i] = bound(0, gx, i * sz);
      blue[i] = bound(0, bx, i * sz);
      rx = bound(0, rx + rxx, max);
      gx = bound(0, gx + gxx, max);
      bx = bound(0, bx + bxx, max);
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<change_colors>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8d,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
cmpl   $0x0,-0x28(%rbp)
jne    11b0 <change_colors+0xa0>
cmpl   $0x0,-0x2c(%rbp)
jne    11b0 <change_colors+0xa0>
cmpl   $0x0,0x10(%rbp)
jne    11b0 <change_colors+0xa0>
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11ab <change_colors+0x9b>
mov    -0x40(%rbp),%eax
mov    %ax,%dx
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x24(%rbp),%eax
add    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    115e <change_colors+0x4e>
jmp    1354 <change_colors+0x244>
mov    -0x24(%rbp),%eax
imul   -0x24(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x28(%rbp),%eax
imul   -0x24(%rbp),%eax
mov    $0xff,%ecx
cltd
idiv   %ecx
mov    %eax,-0x48(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0x24(%rbp),%eax
mov    $0xff,%ecx
cltd
idiv   %ecx
mov    %eax,-0x4c(%rbp)
mov    0x10(%rbp),%eax
imul   -0x24(%rbp),%eax
mov    $0xff,%ecx
cltd
idiv   %ecx
mov    %eax,-0x50(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x2(%rax),%eax
mov    %eax,-0x54(%rbp)
mov    -0x48(%rbp),%esi
mov    -0x24(%rbp),%edx
xor    %edi,%edi
call   1030 <bound@plt>
mov    %ax,%cx
mov    -0x54(%rbp),%eax
movzwl %cx,%ecx
cmp    %ecx,%eax
jne    1277 <change_colors+0x167>
mov    -0x18(%rbp),%rax
movzwl 0x2(%rax),%eax
mov    %eax,-0x58(%rbp)
mov    -0x4c(%rbp),%esi
mov    -0x24(%rbp),%edx
xor    %edi,%edi
call   1030 <bound@plt>
mov    %ax,%cx
mov    -0x58(%rbp),%eax
movzwl %cx,%ecx
cmp    %ecx,%eax
jne    1277 <change_colors+0x167>
mov    -0x20(%rbp),%rax
movzwl 0x2(%rax),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x50(%rbp),%esi
mov    -0x24(%rbp),%edx
xor    %edi,%edi
call   1030 <bound@plt>
mov    %ax,%cx
mov    -0x5c(%rbp),%eax
movzwl %cx,%ecx
cmp    %ecx,%eax
jne    1277 <change_colors+0x167>
movl   $0x1,-0x4(%rbp)
jmp    135b <change_colors+0x24b>
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    134f <change_colors+0x23f>
mov    -0x34(%rbp),%esi
mov    -0x30(%rbp),%edx
imul   -0x24(%rbp),%edx
xor    %edi,%edi
call   1030 <bound@plt>
mov    %ax,%dx
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x38(%rbp),%esi
mov    -0x30(%rbp),%edx
imul   -0x24(%rbp),%edx
xor    %edi,%edi
call   1030 <bound@plt>
mov    %ax,%dx
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x3c(%rbp),%esi
mov    -0x30(%rbp),%edx
imul   -0x24(%rbp),%edx
xor    %edi,%edi
call   1030 <bound@plt>
mov    %ax,%dx
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x34(%rbp),%esi
add    -0x48(%rbp),%esi
mov    -0x44(%rbp),%edx
xor    %edi,%edi
call   1030 <bound@plt>
movzwl %ax,%eax
mov    %eax,-0x34(%rbp)
mov    -0x38(%rbp),%esi
add    -0x4c(%rbp),%esi
mov    -0x44(%rbp),%edx
xor    %edi,%edi
call   1030 <bound@plt>
movzwl %ax,%eax
mov    %eax,-0x38(%rbp)
mov    -0x3c(%rbp),%esi
add    -0x50(%rbp),%esi
mov    -0x44(%rbp),%edx
xor    %edi,%edi
call   1030 <bound@plt>
movzwl %ax,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1293 <change_colors+0x183>
jmp    1354 <change_colors+0x244>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<change_colors>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %ecx,%r14d
mov    %rdx,%r13
mov    %rsi,%r12
mov    %rdi,%rbp
mov    0x80(%rsp),%eax
mov    %r9d,%ecx
or     %r8d,%ecx
or     %eax,%ecx
je     12d8 <change_colors+0x1c8>
imul   %r14d,%r8d
movslq %r8d,%rbx
imul   $0xffffffff80808081,%rbx,%rcx
shr    $0x20,%rcx
add    %ecx,%ebx
mov    %ebx,%ecx
shr    $0x1f,%ecx
sar    $0x7,%ebx
add    %ecx,%ebx
imul   %r14d,%r9d
movslq %r9d,%rdx
imul   $0xffffffff80808081,%rdx,%rcx
shr    $0x20,%rcx
add    %ecx,%edx
mov    %edx,%ecx
shr    $0x1f,%ecx
sar    $0x7,%edx
add    %ecx,%edx
mov    %rdx,0x10(%rsp)
imul   %r14d,%eax
movslq %eax,%rcx
imul   $0xffffffff80808081,%rcx,%rax
shr    $0x20,%rax
add    %eax,%ecx
mov    %ecx,%eax
shr    $0x1f,%eax
sar    $0x7,%ecx
add    %eax,%ecx
mov    %rcx,0x8(%rsp)
movzwl 0x2(%rbp),%r15d
xor    %edi,%edi
mov    %ebx,%esi
mov    %r14d,%edx
call   1030 <bound@plt>
cmp    %ax,%r15w
jne    11f8 <change_colors+0xe8>
movzwl 0x2(%r12),%r15d
xor    %edi,%edi
mov    0x10(%rsp),%rsi
mov    %r14d,%edx
call   1030 <bound@plt>
cmp    %ax,%r15w
jne    11f8 <change_colors+0xe8>
movzwl 0x2(%r13),%r15d
xor    %edi,%edi
mov    0x8(%rsp),%rsi
mov    %r14d,%edx
call   1030 <bound@plt>
mov    $0x1,%edi
cmp    %ax,%r15w
je     1354 <change_colors+0x244>
mov    $0x0,%edi
test   %r14d,%r14d
jle    1354 <change_colors+0x244>
mov    %r12,0x40(%rsp)
mov    %rbp,0x38(%rsp)
mov    %r14d,%r15d
imul   %r14d,%r15d
mov    %r14d,%eax
mov    %rax,0x30(%rsp)
mov    %rbx,0x28(%rsp)
xor    %r12d,%r12d
mov    %r14,0x20(%rsp)
mov    %r13,0x18(%rsp)
xor    %r14d,%r14d
xor    %r13d,%r13d
xor    %ebx,%ebx
xor    %ebp,%ebp
nopl   0x0(%rax,%rax,1)
xor    %edi,%edi
mov    %r13d,%esi
mov    %r12d,%edx
call   1030 <bound@plt>
mov    0x38(%rsp),%rcx
mov    %ax,(%rcx,%r14,2)
xor    %edi,%edi
mov    %ebx,%esi
mov    %r12d,%edx
call   1030 <bound@plt>
mov    0x40(%rsp),%rcx
mov    %ax,(%rcx,%r14,2)
xor    %edi,%edi
mov    %ebp,%esi
mov    %r12d,%edx
call   1030 <bound@plt>
mov    0x18(%rsp),%rcx
mov    %ax,(%rcx,%r14,2)
add    0x28(%rsp),%r13d
xor    %edi,%edi
mov    %r13d,%esi
mov    %r15d,%edx
call   1030 <bound@plt>
movzwl %ax,%r13d
add    0x10(%rsp),%ebx
xor    %edi,%edi
mov    %ebx,%esi
mov    %r15d,%edx
call   1030 <bound@plt>
movzwl %ax,%ebx
add    0x8(%rsp),%ebp
xor    %edi,%edi
mov    %ebp,%esi
mov    %r15d,%edx
call   1030 <bound@plt>
movzwl %ax,%ebp
add    $0x1,%r14
add    0x20(%rsp),%r12d
cmp    %r14,0x30(%rsp)
jne    1240 <change_colors+0x130>
jmp    1352 <change_colors+0x242>
test   %r14d,%r14d
jle    1352 <change_colors+0x242>
mov    %r14d,%eax
cmp    $0x10,%r14d
jae    1365 <change_colors+0x255>
xor    %ecx,%ecx
xor    %edx,%edx
mov    %rcx,%rsi
not    %rsi
test   $0x1,%al
je     130f <change_colors+0x1ff>
mov    %dx,0x0(%r13,%rcx,2)
mov    %dx,(%r12,%rcx,2)
mov    %dx,0x0(%rbp,%rcx,2)
add    %r14d,%edx
or     $0x1,%rcx
xor    %edi,%edi
add    %rax,%rsi
je     1354 <change_colors+0x244>
mov    %edx,%esi
add    %r14d,%esi
add    %r14d,%r14d
xchg   %ax,%ax
mov    %dx,0x0(%r13,%rcx,2)
mov    %dx,(%r12,%rcx,2)
mov    %dx,0x0(%rbp,%rcx,2)
mov    %si,0x2(%r13,%rcx,2)
mov    %si,0x2(%r12,%rcx,2)
mov    %si,0x2(%rbp,%rcx,2)
add    $0x2,%rcx
add    %r14d,%edx
add    %r14d,%esi
cmp    %rcx,%rax
jne    1320 <change_colors+0x210>
jmp    1354 <change_colors+0x244>
xor    %edi,%edi
mov    %edi,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    (%r12,%rax,2),%rcx
cmp    %r13,%rcx
seta   %r8b
lea    0x0(,%rax,2),%rsi
add    %r13,%rsi
cmp    %r12,%rsi
seta   %r9b
lea    0x0(,%rax,2),%rdi
add    %rbp,%rdi
cmp    %r13,%rdi
seta   %dl
cmp    %rbp,%rsi
seta   %r11b
cmp    %r12,%rdi
seta   %r10b
cmp    %rbp,%rcx
seta   %sil
xor    %ecx,%ecx
test   %r9b,%r8b
jne    12ec <change_colors+0x1dc>
and    %r11b,%dl
jne    12ec <change_colors+0x1dc>
mov    $0x0,%edx
and    %sil,%r10b
jne    12ee <change_colors+0x1de>
mov    %eax,%ecx
and    $0xfffffff0,%ecx
movd   %r14d,%xmm0
pshuflw $0x0,%xmm0,%xmm0
pshufd $0x0,%xmm0,%xmm0
movdqa 0xc1a(%rip),%xmm1
pmullw %xmm0,%xmm1
psllw  $0x3,%xmm0
lea    -0x10(%rcx),%rdx
mov    %rdx,%rsi
shr    $0x4,%rsi
add    $0x1,%rsi
test   %rdx,%rdx
je     14c8 <change_colors+0x3b8>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
movdqa %xmm1,%xmm2
paddw  %xmm0,%xmm2
movdqu %xmm1,0x0(%r13,%rdx,2)
movdqu %xmm2,0x10(%r13,%rdx,2)
movdqu %xmm1,(%r12,%rdx,2)
movdqu %xmm2,0x10(%r12,%rdx,2)
movdqu %xmm1,0x0(%rbp,%rdx,2)
movdqu %xmm2,0x10(%rbp,%rdx,2)
paddw  %xmm0,%xmm2
movdqa %xmm2,%xmm1
paddw  %xmm0,%xmm1
movdqu %xmm2,0x20(%r13,%rdx,2)
movdqu %xmm1,0x30(%r13,%rdx,2)
movdqu %xmm2,0x20(%r12,%rdx,2)
movdqu %xmm1,0x30(%r12,%rdx,2)
movdqu %xmm2,0x20(%rbp,%rdx,2)
movdqu %xmm1,0x30(%rbp,%rdx,2)
add    $0x20,%rdx
paddw  %xmm0,%xmm1
add    $0xfffffffffffffffe,%rdi
jne    1410 <change_colors+0x300>
test   $0x1,%sil
je     14b2 <change_colors+0x3a2>
paddw  %xmm1,%xmm0
movdqu %xmm1,0x0(%r13,%rdx,2)
movdqu %xmm0,0x10(%r13,%rdx,2)
movdqu %xmm1,(%r12,%rdx,2)
movdqu %xmm0,0x10(%r12,%rdx,2)
movdqu %xmm1,0x0(%rbp,%rdx,2)
movdqu %xmm0,0x10(%rbp,%rdx,2)
xor    %edi,%edi
cmp    %rax,%rcx
je     1354 <change_colors+0x244>
mov    %ecx,%edx
imul   %r14d,%edx
jmp    12ee <change_colors+0x1de>
xor    %edx,%edx
test   $0x1,%sil
jne    1487 <change_colors+0x377>
jmp    14b2 <change_colors+0x3a2>

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

LLVM IR (-O2):
define i32 @change_colors(i16* nocapture %0, i16* nocapture %1, i16* nocapture %2, i32 %3, i32 %4, i32 %5, i32 %6) {
%8 = or i32 %5, %4
%9 = or i32 %8, %6
%10 = icmp eq i32 %9, 0
br i1 %10, label %11, label %139
11: ; preds = %7
%12 = icmp sgt i32 %3, 0
br i1 %12, label %13, label %189
13: ; preds = %11
%14 = zext i32 %3 to i64
%15 = icmp ult i32 %3, 16
br i1 %15, label %105, label %16
16: ; preds = %13
%17 = getelementptr i16, i16* %2, i64 %14
%18 = getelementptr i16, i16* %1, i64 %14
%19 = getelementptr i16, i16* %0, i64 %14
%20 = icmp ugt i16* %18, %2
%21 = icmp ugt i16* %17, %1
%22 = and i1 %20, %21
%23 = icmp ugt i16* %19, %2
%24 = icmp ugt i16* %17, %0
%25 = and i1 %23, %24
%26 = or i1 %22, %25
%27 = icmp ugt i16* %19, %1
%28 = icmp ugt i16* %18, %0
%29 = and i1 %27, %28
%30 = or i1 %26, %29
br i1 %30, label %105, label %31
31: ; preds = %16
%32 = and i64 %14, 4294967280
%33 = trunc i64 %32 to i32
%34 = mul i32 %33, %3
%35 = trunc i32 %3 to i16
%36 = insertelement <8 x i16> poison, i16 %35, i64 0
%37 = shufflevector <8 x i16> %36, <8 x i16> poison, <8 x i32> zeroinitializer
%38 = mul <8 x i16> %37, <i16 0, i16 1, i16 2, i16 3, i16 4, i16 5, i16 6, i16 7>
%39 = shl i16 %35, 3
%40 = insertelement <8 x i16> poison, i16 %39, i64 0
%41 = shufflevector <8 x i16> %40, <8 x i16> poison, <8 x i32> zeroinitializer
%42 = add nsw i64 %32, -16
%43 = lshr exact i64 %42, 4
%44 = add nuw nsw i64 %43, 1
%45 = and i64 %44, 1
%46 = icmp eq i64 %42, 0
br i1 %46, label %85, label %47
47: ; preds = %31
%48 = and i64 %44, 2305843009213693950
br label %49
49: ; preds = %49, %47
%50 = phi i64 [ 0, %47 ], [ %81, %49 ]
%51 = phi <8 x i16> [ %38, %47 ], [ %82, %49 ]
%52 = phi i64 [ 0, %47 ], [ %83, %49 ]
%53 = add <8 x i16> %51, %41
%54 = getelementptr inbounds i16, i16* %2, i64 %50
%55 = bitcast i16* %54 to <8 x i16>*
store <8 x i16> %51, <8 x i16>* %55
%56 = getelementptr inbounds i16, i16* %54, i64 8
%57 = bitcast i16* %56 to <8 x i16>*
store <8 x i16> %53, <8 x i16>* %57
%58 = getelementptr inbounds i16, i16* %1, i64 %50
%59 = bitcast i16* %58 to <8 x i16>*
store <8 x i16> %51, <8 x i16>* %59
%60 = getelementptr inbounds i16, i16* %58, i64 8
%61 = bitcast i16* %60 to <8 x i16>*
store <8 x i16> %53, <8 x i16>* %61
%62 = getelementptr inbounds i16, i16* %0, i64 %50
%63 = bitcast i16* %62 to <8 x i16>*
store <8 x i16> %51, <8 x i16>* %63
%64 = getelementptr inbounds i16, i16* %62, i64 8
%65 = bitcast i16* %64 to <8 x i16>*
store <8 x i16> %53, <8 x i16>* %65
%66 = or i64 %50, 16
%67 = add <8 x i16> %53, %41
%68 = add <8 x i16> %67, %41
%69 = getelementptr inbounds i16, i16* %2, i64 %66
%70 = bitcast i16* %69 to <8 x i16>*
store <8 x i16> %67, <8 x i16>* %70
%71 = getelementptr inbounds i16, i16* %69, i64 8
%72 = bitcast i16* %71 to <8 x i16>*
store <8 x i16> %68, <8 x i16>* %72
%73 = getelementptr inbounds i16, i16* %1, i64 %66
%74 = bitcast i16* %73 to <8 x i16>*
store <8 x i16> %67, <8 x i16>* %74
%75 = getelementptr inbounds i16, i16* %73, i64 8
%76 = bitcast i16* %75 to <8 x i16>*
store <8 x i16> %68, <8 x i16>* %76
%77 = getelementptr inbounds i16, i16* %0, i64 %66
%78 = bitcast i16* %77 to <8 x i16>*
store <8 x i16> %67, <8 x i16>* %78
%79 = getelementptr inbounds i16, i16* %77, i64 8
%80 = bitcast i16* %79 to <8 x i16>*
store <8 x i16> %68, <8 x i16>* %80
%81 = add nuw i64 %50, 32
%82 = add <8 x i16> %68, %41
%83 = add i64 %52, 2
%84 = icmp eq i64 %83, %48
br i1 %84, label %85, label %49
85: ; preds = %49, %31
%86 = phi i64 [ 0, %31 ], [ %81, %49 ]
%87 = phi <8 x i16> [ %38, %31 ], [ %82, %49 ]
%88 = icmp eq i64 %45, 0
br i1 %88, label %103, label %89
89: ; preds = %85
%90 = add <8 x i16> %87, %41
%91 = getelementptr inbounds i16, i16* %2, i64 %86
%92 = bitcast i16* %91 to <8 x i16>*
store <8 x i16> %87, <8 x i16>* %92
%93 = getelementptr inbounds i16, i16* %91, i64 8
%94 = bitcast i16* %93 to <8 x i16>*
store <8 x i16> %90, <8 x i16>* %94
%95 = getelementptr inbounds i16, i16* %1, i64 %86
%96 = bitcast i16* %95 to <8 x i16>*
store <8 x i16> %87, <8 x i16>* %96
%97 = getelementptr inbounds i16, i16* %95, i64 8
%98 = bitcast i16* %97 to <8 x i16>*
store <8 x i16> %90, <8 x i16>* %98
%99 = getelementptr inbounds i16, i16* %0, i64 %86
%100 = bitcast i16* %99 to <8 x i16>*
store <8 x i16> %87, <8 x i16>* %100
%101 = getelementptr inbounds i16, i16* %99, i64 8
%102 = bitcast i16* %101 to <8 x i16>*
store <8 x i16> %90, <8 x i16>* %102
br label %103
103: ; preds = %85, %89
%104 = icmp eq i64 %32, %14
br i1 %104, label %189, label %105
105: ; preds = %16, %13, %103
%106 = phi i64 [ 0, %16 ], [ 0, %13 ], [ %32, %103 ]
%107 = phi i32 [ 0, %16 ], [ 0, %13 ], [ %34, %103 ]
%108 = xor i64 %106, -1
%109 = and i64 %14, 1
%110 = icmp eq i64 %109, 0
br i1 %110, label %118, label %111
111: ; preds = %105
%112 = trunc i32 %107 to i16
%113 = getelementptr inbounds i16, i16* %2, i64 %106
store i16 %112, i16* %113
%114 = getelementptr inbounds i16, i16* %1, i64 %106
store i16 %112, i16* %114
%115 = getelementptr inbounds i16, i16* %0, i64 %106
store i16 %112, i16* %115
%116 = add nsw i32 %107, %3
%117 = or i64 %106, 1
br label %118
118: ; preds = %111, %105
%119 = phi i64 [ %106, %105 ], [ %117, %111 ]
%120 = phi i32 [ %107, %105 ], [ %116, %111 ]
%121 = sub nsw i64 0, %14
%122 = icmp eq i64 %108, %121
br i1 %122, label %189, label %123
123: ; preds = %118, %123
%124 = phi i64 [ %137, %123 ], [ %119, %118 ]
%125 = phi i32 [ %136, %123 ], [ %120, %118 ]
%126 = trunc i32 %125 to i16
%127 = getelementptr inbounds i16, i16* %2, i64 %124
store i16 %126, i16* %127
%128 = getelementptr inbounds i16, i16* %1, i64 %124
store i16 %126, i16* %128
%129 = getelementptr inbounds i16, i16* %0, i64 %124
store i16 %126, i16* %129
%130 = add nsw i32 %125, %3
%131 = add nuw nsw i64 %124, 1
%132 = trunc i32 %130 to i16
%133 = getelementptr inbounds i16, i16* %2, i64 %131
store i16 %132, i16* %133
%134 = getelementptr inbounds i16, i16* %1, i64 %131
store i16 %132, i16* %134
%135 = getelementptr inbounds i16, i16* %0, i64 %131
store i16 %132, i16* %135
%136 = add nsw i32 %130, %3
%137 = add nuw nsw i64 %124, 2
%138 = icmp eq i64 %137, %14
br i1 %138, label %189, label %123
139: ; preds = %7
%140 = mul nsw i32 %3, %3
%141 = mul nsw i32 %4, %3
%142 = sdiv i32 %141, 255
%143 = mul nsw i32 %5, %3
%144 = sdiv i32 %143, 255
%145 = mul nsw i32 %6, %3
%146 = sdiv i32 %145, 255
%147 = getelementptr inbounds i16, i16* %0, i64 1
%148 = load i16, i16* %147
%149 = tail call zeroext i16 @bound(i32 0, i32 %142, i32 %3)
%150 = icmp eq i16 %148, %149
br i1 %150, label %151, label %161
151: ; preds = %139
%152 = getelementptr inbounds i16, i16* %1, i64 1
%153 = load i16, i16* %152
%154 = tail call zeroext i16 @bound(i32 0, i32 %144, i32 %3)
%155 = icmp eq i16 %153, %154
br i1 %155, label %156, label %161
156: ; preds = %151
%157 = getelementptr inbounds i16, i16* %2, i64 1
%158 = load i16, i16* %157
%159 = tail call zeroext i16 @bound(i32 0, i32 %146, i32 %3)
%160 = icmp eq i16 %158, %159
br i1 %160, label %189, label %161
161: ; preds = %156, %151, %139
%162 = icmp sgt i32 %3, 0
br i1 %162, label %163, label %189
163: ; preds = %161
%164 = zext i32 %3 to i64
br label %165
165: ; preds = %163, %165
%166 = phi i64 [ 0, %163 ], [ %187, %165 ]
%167 = phi i32 [ 0, %163 ], [ %180, %165 ]
%168 = phi i32 [ 0, %163 ], [ %183, %165 ]
%169 = phi i32 [ 0, %163 ], [ %186, %165 ]
%170 = trunc i64 %166 to i32
%171 = mul i32 %170, %3
%172 = tail call zeroext i16 @bound(i32 0, i32 %167, i32 %171)
%173 = getelementptr inbounds i16, i16* %0, i64 %166
store i16 %172, i16* %173
%174 = tail call zeroext i16 @bound(i32 0, i32 %168, i32 %171)
%175 = getelementptr inbounds i16, i16* %1, i64 %166
store i16 %174, i16* %175
%176 = tail call zeroext i16 @bound(i32 0, i32 %169, i32 %171)
%177 = getelementptr inbounds i16, i16* %2, i64 %166
store i16 %176, i16* %177
%178 = add nsw i32 %167, %142
%179 = tail call zeroext i16 @bound(i32 0, i32 %178, i32 %140)
%180 = zext i16 %179 to i32
%181 = add nsw i32 %168, %144
%182 = tail call zeroext i16 @bound(i32 0, i32 %181, i32 %140)
%183 = zext i16 %182 to i32
%184 = add nsw i32 %169, %146
%185 = tail call zeroext i16 @bound(i32 0, i32 %184, i32 %140)
%186 = zext i16 %185 to i32
%187 = add nuw nsw i64 %166, 1
%188 = icmp eq i64 %187, %164
br i1 %188, label %189, label %165
189: ; preds = %165, %118, %123, %103, %161, %11, %156
%190 = phi i32 [ 1, %156 ], [ 0, %11 ], [ 0, %161 ], [ 0, %103 ], [ 0, %123 ], [ 0, %118 ], [ 0, %165 ]
ret i32 %190
}