#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 */
scalar_t__ SDL_imageFilterMMXdetect();
int /*<<< orphan*/ SDL_imageFilterMultDivby2MMX(unsigned char *,
                                                unsigned char *,
                                                unsigned char *, int);
int SDL_imageFilterMultDivby2(unsigned char *Src1, unsigned char *Src2,
                              unsigned char *Dest, int length) {
  unsigned int i, istart;
  unsigned char *cursrc1, *cursrc2, *curdst;
  int result;
  if ((SDL_imageFilterMMXdetect()) && (length > 7)) {
    SDL_imageFilterMultDivby2MMX(Src1, Src2, Dest, length);
    if ((length & 7) > 0) {
      istart = length & 0xfffffff8;
      cursrc1 = &Src1[istart];
      cursrc2 = &Src2[istart];
      curdst = &Dest[istart];
    } else {
      return (0);
    }
  } else {
    istart = 0;
    cursrc1 = Src1;
    cursrc2 = Src2;
    curdst = Dest;
  }
  for (i = istart; i < length; i++) {
    result = ((int)*cursrc1 / 2) * (int)*cursrc2;
    if (result > 255)
      result = 255;
    *curdst = (unsigned char)result;
    cursrc1++;
    cursrc2++;
    curdst++;
  }
  return (0);
}


x86 assembly (clang, -O0):
<SDL_imageFilterMultDivby2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    $0x0,%al
call   1030 <SDL_imageFilterMMXdetect@plt>
cmp    $0x0,%rax
je     11be <SDL_imageFilterMultDivby2+0x9e>
cmpl   $0x7,-0x24(%rbp)
jle    11be <SDL_imageFilterMultDivby2+0x9e>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x24(%rbp),%ecx
call   1040 <SDL_imageFilterMultDivby2MMX@plt>
mov    -0x24(%rbp),%eax
and    $0x7,%eax
cmp    $0x0,%eax
jle    11ad <SDL_imageFilterMultDivby2+0x8d>
mov    -0x24(%rbp),%eax
and    $0xfffffff8,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
jmp    11b9 <SDL_imageFilterMultDivby2+0x99>
movl   $0x0,-0x4(%rbp)
jmp    1263 <SDL_imageFilterMultDivby2+0x143>
jmp    11dd <SDL_imageFilterMultDivby2+0xbd>
movl   $0x0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    125c <SDL_imageFilterMultDivby2+0x13c>
mov    -0x38(%rbp),%rax
movzbl (%rax),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    -0x40(%rbp),%rcx
movzbl (%rcx),%ecx
imul   %ecx,%eax
mov    %eax,-0x4c(%rbp)
cmpl   $0xff,-0x4c(%rbp)
jle    121f <SDL_imageFilterMultDivby2+0xff>
movl   $0xff,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %al,%cl
mov    -0x48(%rbp),%rax
mov    %cl,(%rax)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11e3 <SDL_imageFilterMultDivby2+0xc3>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<SDL_imageFilterMultDivby2>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %ecx,%r13d
mov    %rdx,%r12
mov    %rsi,%r15
mov    %rdi,%r14
xor    %ebp,%ebp
xor    %eax,%eax
call   1030 <SDL_imageFilterMMXdetect@plt>
cmp    $0x8,%r13d
jl     1175 <SDL_imageFilterMultDivby2+0x55>
test   %rax,%rax
je     1175 <SDL_imageFilterMultDivby2+0x55>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %r12,%rdx
mov    %r13d,%ecx
call   1040 <SDL_imageFilterMultDivby2MMX@plt>
test   $0x7,%r13b
je     151f <SDL_imageFilterMultDivby2+0x3ff>
mov    %r13d,%ebp
and    $0xfffffff8,%ebp
add    %rbp,%r14
add    %rbp,%r15
add    %rbp,%r12
cmp    %r13d,%ebp
jae    151f <SDL_imageFilterMultDivby2+0x3ff>
mov    %ebp,%r10d
not    %r10d
add    %r13d,%r10d
cmp    $0x7,%r10d
jb     1486 <SDL_imageFilterMultDivby2+0x366>
lea    (%r12,%r10,1),%rdx
add    $0x1,%rdx
lea    (%r14,%r10,1),%rcx
add    $0x1,%rcx
lea    (%r15,%r10,1),%rsi
add    $0x1,%rsi
cmp    %rcx,%r12
setb   %dil
cmp    %rdx,%r14
setb   %al
cmp    %rsi,%r12
setb   %cl
cmp    %rdx,%r15
setb   %dl
test   %al,%dil
jne    1486 <SDL_imageFilterMultDivby2+0x366>
and    %dl,%cl
jne    1486 <SDL_imageFilterMultDivby2+0x366>
movabs $0x1fffffff0,%r9
cmp    $0xf,%r10d
jae    11ea <SDL_imageFilterMultDivby2+0xca>
xor    %ecx,%ecx
jmp    1530 <SDL_imageFilterMultDivby2+0x410>
lea    0x1(%r10),%r8
mov    %r8,%rcx
and    %r9,%rcx
lea    -0x10(%rcx),%rax
mov    %rax,%rsi
shr    $0x4,%rsi
add    $0x1,%rsi
test   %rax,%rax
je     15da <SDL_imageFilterMultDivby2+0x4ba>
mov    %rsi,%rdx
and    $0xfffffffffffffffe,%rdx
xor    %edi,%edi
movdqa 0xde3(%rip),%xmm0
pxor   %xmm1,%xmm1
movdqa 0xde7(%rip),%xmm2
nopl   0x0(%rax)
movdqu (%r14,%rdi,1),%xmm5
psrlw  $0x1,%xmm5
pand   %xmm0,%xmm5
movdqu (%r15,%rdi,1),%xmm6
movdqa %xmm6,%xmm3
punpckhbw %xmm1,%xmm3
movdqa %xmm5,%xmm4
punpckhbw %xmm1,%xmm4
pmullw %xmm3,%xmm4
movdqa %xmm4,%xmm3
punpcklwd %xmm1,%xmm3
punpckhwd %xmm1,%xmm4
punpcklbw %xmm1,%xmm6
punpcklbw %xmm1,%xmm5
pmullw %xmm6,%xmm5
movdqa %xmm5,%xmm6
punpcklwd %xmm1,%xmm6
punpckhwd %xmm1,%xmm5
movdqa %xmm2,%xmm7
pcmpgtd %xmm5,%xmm7
pand   %xmm7,%xmm5
pandn  %xmm2,%xmm7
por    %xmm5,%xmm7
movdqa %xmm2,%xmm5
pcmpgtd %xmm6,%xmm5
pand   %xmm5,%xmm6
pandn  %xmm2,%xmm5
por    %xmm6,%xmm5
packuswb %xmm7,%xmm5
movdqa %xmm2,%xmm6
pcmpgtd %xmm4,%xmm6
pand   %xmm6,%xmm4
pandn  %xmm2,%xmm6
por    %xmm4,%xmm6
movdqa %xmm2,%xmm4
pcmpgtd %xmm3,%xmm4
pand   %xmm4,%xmm3
pandn  %xmm2,%xmm4
por    %xmm3,%xmm4
packuswb %xmm6,%xmm4
packuswb %xmm4,%xmm5
movdqu %xmm5,(%r12,%rdi,1)
movdqu 0x10(%r14,%rdi,1),%xmm5
psrlw  $0x1,%xmm5
pand   %xmm0,%xmm5
movdqu 0x10(%r15,%rdi,1),%xmm6
movdqa %xmm6,%xmm3
punpckhbw %xmm1,%xmm3
movdqa %xmm5,%xmm4
punpckhbw %xmm1,%xmm4
pmullw %xmm3,%xmm4
movdqa %xmm4,%xmm3
punpcklwd %xmm1,%xmm3
punpckhwd %xmm1,%xmm4
punpcklbw %xmm1,%xmm6
punpcklbw %xmm1,%xmm5
pmullw %xmm6,%xmm5
movdqa %xmm5,%xmm6
punpcklwd %xmm1,%xmm6
punpckhwd %xmm1,%xmm5
movdqa %xmm2,%xmm7
pcmpgtd %xmm5,%xmm7
pand   %xmm7,%xmm5
pandn  %xmm2,%xmm7
por    %xmm5,%xmm7
movdqa %xmm2,%xmm5
pcmpgtd %xmm6,%xmm5
pand   %xmm5,%xmm6
pandn  %xmm2,%xmm5
por    %xmm6,%xmm5
packuswb %xmm7,%xmm5
movdqa %xmm2,%xmm6
pcmpgtd %xmm4,%xmm6
pand   %xmm6,%xmm4
pandn  %xmm2,%xmm6
por    %xmm4,%xmm6
movdqa %xmm2,%xmm4
pcmpgtd %xmm3,%xmm4
pand   %xmm4,%xmm3
pandn  %xmm2,%xmm4
por    %xmm3,%xmm4
packuswb %xmm6,%xmm4
packuswb %xmm4,%xmm5
movdqu %xmm5,0x10(%r12,%rdi,1)
add    $0x20,%rdi
add    $0xfffffffffffffffe,%rdx
jne    1230 <SDL_imageFilterMultDivby2+0x110>
test   $0x1,%sil
je     1468 <SDL_imageFilterMultDivby2+0x348>
movdqu (%r14,%rdi,1),%xmm2
psrlw  $0x1,%xmm2
pand   0xc44(%rip),%xmm2
movdqu (%r15,%rdi,1),%xmm3
pxor   %xmm4,%xmm4
movdqa %xmm3,%xmm0
punpckhbw %xmm4,%xmm0
movdqa %xmm2,%xmm1
punpckhbw %xmm4,%xmm1
pmullw %xmm0,%xmm1
movdqa %xmm1,%xmm0
punpcklwd %xmm4,%xmm0
punpckhwd %xmm4,%xmm1
punpcklbw %xmm4,%xmm3
punpcklbw %xmm4,%xmm2
pmullw %xmm3,%xmm2
movdqa %xmm2,%xmm3
punpcklwd %xmm4,%xmm3
punpckhwd %xmm4,%xmm2
movdqa 0xc0a(%rip),%xmm4
movdqa %xmm4,%xmm5
pcmpgtd %xmm2,%xmm5
pand   %xmm5,%xmm2
pandn  %xmm4,%xmm5
por    %xmm2,%xmm5
movdqa %xmm4,%xmm2
pcmpgtd %xmm3,%xmm2
pand   %xmm2,%xmm3
pandn  %xmm4,%xmm2
por    %xmm3,%xmm2
packuswb %xmm5,%xmm2
movdqa %xmm4,%xmm3
pcmpgtd %xmm1,%xmm3
pand   %xmm3,%xmm1
pandn  %xmm4,%xmm3
por    %xmm1,%xmm3
movdqa %xmm4,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm0
pandn  %xmm4,%xmm1
por    %xmm0,%xmm1
packuswb %xmm3,%xmm1
packuswb %xmm1,%xmm2
movdqu %xmm2,(%r12,%rdi,1)
cmp    %rcx,%r8
je     151f <SDL_imageFilterMultDivby2+0x3ff>
test   $0x8,%r8b
jne    1530 <SDL_imageFilterMultDivby2+0x410>
add    %ecx,%ebp
add    %rcx,%r14
add    %rcx,%r15
add    %rcx,%r12
mov    %r12,%rsi
mov    %r15,%rdi
mov    %r14,%rdx
mov    %r13d,%ecx
sub    %ebp,%ecx
mov    %ebp,%eax
not    %eax
test   $0x1,%cl
je     14c7 <SDL_imageFilterMultDivby2+0x3a7>
movzbl (%rdx),%ecx
shr    %ecx
movzbl (%rdi),%ebx
imul   %ecx,%ebx
cmp    $0xff,%ebx
mov    $0xff,%ecx
cmovb  %ebx,%ecx
mov    %cl,(%rsi)
add    $0x1,%rdx
add    $0x1,%rdi
add    $0x1,%rsi
add    $0x1,%ebp
add    %r13d,%eax
je     151f <SDL_imageFilterMultDivby2+0x3ff>
sub    %ebp,%r13d
xor    %eax,%eax
mov    $0xff,%ecx
cs nopw 0x0(%rax,%rax,1)
movzbl (%rdx,%rax,1),%ebx
shr    %ebx
movzbl (%rdi,%rax,1),%ebp
imul   %ebx,%ebp
cmp    $0xff,%ebp
cmovae %ecx,%ebp
mov    %bpl,(%rsi,%rax,1)
movzbl 0x1(%rdx,%rax,1),%ebp
shr    %ebp
movzbl 0x1(%rdi,%rax,1),%ebx
imul   %ebp,%ebx
cmp    $0xff,%ebx
cmovae %ecx,%ebx
mov    %bl,0x1(%rsi,%rax,1)
add    $0x2,%rax
cmp    %eax,%r13d
jne    14e0 <SDL_imageFilterMultDivby2+0x3c0>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
add    $0x1,%r10
add    $0x8,%r9
and    %r10,%r9
lea    (%r12,%r9,1),%rsi
lea    (%r15,%r9,1),%rdi
lea    (%r14,%r9,1),%rdx
add    %r9d,%ebp
movdqa 0xaae(%rip),%xmm0
pxor   %xmm1,%xmm1
movdqa 0xab2(%rip),%xmm2
xchg   %ax,%ax
movq   (%r14,%rcx,1),%xmm3
psrlw  $0x1,%xmm3
pand   %xmm0,%xmm3
movq   (%r15,%rcx,1),%xmm4
punpcklbw %xmm1,%xmm4
punpcklbw %xmm1,%xmm3
pmullw %xmm4,%xmm3
movdqa %xmm3,%xmm4
punpcklwd %xmm1,%xmm4
punpckhwd %xmm1,%xmm3
movdqa %xmm2,%xmm5
pcmpgtd %xmm3,%xmm5
pand   %xmm5,%xmm3
pandn  %xmm2,%xmm5
por    %xmm3,%xmm5
movdqa %xmm2,%xmm3
pcmpgtd %xmm4,%xmm3
pand   %xmm3,%xmm4
pandn  %xmm2,%xmm3
por    %xmm4,%xmm3
packuswb %xmm5,%xmm3
packuswb %xmm3,%xmm3
movq   %xmm3,(%r12,%rcx,1)
add    $0x8,%rcx
cmp    %rcx,%r9
jne    1560 <SDL_imageFilterMultDivby2+0x440>
cmp    %r9,%r10
jne    148f <SDL_imageFilterMultDivby2+0x36f>
jmp    151f <SDL_imageFilterMultDivby2+0x3ff>
xor    %edi,%edi
test   $0x1,%sil
jne    13a9 <SDL_imageFilterMultDivby2+0x289>
jmp    1468 <SDL_imageFilterMultDivby2+0x348>

LLVM IR (-O0):
define i32 @SDL_imageFilterMultDivby2(i8* %0, i8* %1, i8* %2, i32 %3) {
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i8*
%15 = alloca i32
store i8* %0, i8** %6
store i8* %1, i8** %7
store i8* %2, i8** %8
store i32 %3, i32* %9
%16 = call i64 (...) @SDL_imageFilterMMXdetect()
%17 = icmp ne i64 %16, 0
br i1 %17, label %18, label %47
18: ; preds = %4
%19 = load i32, i32* %9
%20 = icmp sgt i32 %19, 7
br i1 %20, label %21, label %47
21: ; preds = %18
%22 = load i8*, i8** %6
%23 = load i8*, i8** %7
%24 = load i8*, i8** %8
%25 = load i32, i32* %9
%26 = call i32 @SDL_imageFilterMultDivby2MMX(i8* %22, i8* %23, i8* %24, i32 %25)
%27 = load i32, i32* %9
%28 = and i32 %27, 7
%29 = icmp sgt i32 %28, 0
br i1 %29, label %30, label %45
30: ; preds = %21
%31 = load i32, i32* %9
%32 = and i32 %31, -8
store i32 %32, i32* %11
%33 = load i8*, i8** %6
%34 = load i32, i32* %11
%35 = zext i32 %34 to i64
%36 = getelementptr inbounds i8, i8* %33, i64 %35
store i8* %36, i8** %12
%37 = load i8*, i8** %7
%38 = load i32, i32* %11
%39 = zext i32 %38 to i64
%40 = getelementptr inbounds i8, i8* %37, i64 %39
store i8* %40, i8** %13
%41 = load i8*, i8** %8
%42 = load i32, i32* %11
%43 = zext i32 %42 to i64
%44 = getelementptr inbounds i8, i8* %41, i64 %43
store i8* %44, i8** %14
br label %46
45: ; preds = %21
store i32 0, i32* %5
br label %83
46: ; preds = %30
br label %51
47: ; preds = %18, %4
store i32 0, i32* %11
%48 = load i8*, i8** %6
store i8* %48, i8** %12
%49 = load i8*, i8** %7
store i8* %49, i8** %13
%50 = load i8*, i8** %8
store i8* %50, i8** %14
br label %51
51: ; preds = %47, %46
%52 = load i32, i32* %11
store i32 %52, i32* %10
br label %53
53: ; preds = %79, %51
%54 = load i32, i32* %10
%55 = load i32, i32* %9
%56 = icmp ult i32 %54, %55
br i1 %56, label %57, label %82
57: ; preds = %53
%58 = load i8*, i8** %12
%59 = load i8, i8* %58
%60 = zext i8 %59 to i32
%61 = sdiv i32 %60, 2
%62 = load i8*, i8** %13
%63 = load i8, i8* %62
%64 = zext i8 %63 to i32
%65 = mul nsw i32 %61, %64
store i32 %65, i32* %15
%66 = load i32, i32* %15
%67 = icmp sgt i32 %66, 255
br i1 %67, label %68, label %69
68: ; preds = %57
store i32 255, i32* %15
br label %69
69: ; preds = %68, %57
%70 = load i32, i32* %15
%71 = trunc i32 %70 to i8
%72 = load i8*, i8** %14
store i8 %71, i8* %72
%73 = load i8*, i8** %12
%74 = getelementptr inbounds i8, i8* %73, i32 1
store i8* %74, i8** %12
%75 = load i8*, i8** %13
%76 = getelementptr inbounds i8, i8* %75, i32 1
store i8* %76, i8** %13
%77 = load i8*, i8** %14
%78 = getelementptr inbounds i8, i8* %77, i32 1
store i8* %78, i8** %14
br label %79
79: ; preds = %69
%80 = load i32, i32* %10
%81 = add i32 %80, 1
store i32 %81, i32* %10
br label %53
82: ; preds = %53
store i32 0, i32* %5
br label %83
83: ; preds = %82, %45
%84 = load i32, i32* %5
ret i32 %84
}

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