#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_imageFilterMultDivby4MMX(unsigned char *,
                                                unsigned char *,
                                                unsigned char *, unsigned int);
int SDL_imageFilterMultDivby4(unsigned char *Src1, unsigned char *Src2,
                              unsigned char *Dest, unsigned int length) {
  unsigned int i, istart;
  unsigned char *cursrc1, *cursrc2, *curdst;
  int result;
  if ((Src1 == NULL) || (Src2 == NULL) || (Dest == NULL))
    return (-1);
  if (length == 0)
    return (0);
  if ((SDL_imageFilterMMXdetect()) && (length > 7)) {
    SDL_imageFilterMultDivby4MMX(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 / 2);
    if (result > 255)
      result = 255;
    *curdst = (unsigned char)result;
    cursrc1++;
    cursrc2++;
    curdst++;
  }
  return (0);
}


x86 assembly (clang, -O0):
<SDL_imageFilterMultDivby4>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1158 <SDL_imageFilterMultDivby4+0x38>
cmpq   $0x0,-0x18(%rbp)
je     1158 <SDL_imageFilterMultDivby4+0x38>
cmpq   $0x0,-0x20(%rbp)
jne    1164 <SDL_imageFilterMultDivby4+0x44>
movl   $0xffffffff,-0x4(%rbp)
jmp    12b6 <SDL_imageFilterMultDivby4+0x196>
cmpl   $0x0,-0x24(%rbp)
jne    117a <SDL_imageFilterMultDivby4+0x5a>
movl   $0x0,-0x4(%rbp)
jmp    12b6 <SDL_imageFilterMultDivby4+0x196>
mov    $0x0,%al
call   1030 <SDL_imageFilterMMXdetect@plt>
cmp    $0x0,%rax
je     1201 <SDL_imageFilterMultDivby4+0xe1>
cmpl   $0x7,-0x24(%rbp)
jbe    1201 <SDL_imageFilterMultDivby4+0xe1>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x24(%rbp),%ecx
call   1040 <SDL_imageFilterMultDivby4MMX@plt>
mov    -0x24(%rbp),%eax
and    $0x7,%eax
cmp    $0x0,%eax
jbe    11f0 <SDL_imageFilterMultDivby4+0xd0>
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    11fc <SDL_imageFilterMultDivby4+0xdc>
movl   $0x0,-0x4(%rbp)
jmp    12b6 <SDL_imageFilterMultDivby4+0x196>
jmp    1220 <SDL_imageFilterMultDivby4+0x100>
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    12af <SDL_imageFilterMultDivby4+0x18f>
mov    -0x38(%rbp),%rax
movzbl (%rax),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x50(%rbp)
mov    -0x40(%rbp),%rax
movzbl (%rax),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x50(%rbp),%eax
imul   %ecx,%eax
mov    %eax,-0x4c(%rbp)
cmpl   $0xff,-0x4c(%rbp)
jle    1272 <SDL_imageFilterMultDivby4+0x152>
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    1226 <SDL_imageFilterMultDivby4+0x106>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<SDL_imageFilterMultDivby4>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    $0xffffffff,%r12d
test   %rdi,%rdi
je     1653 <SDL_imageFilterMultDivby4+0x533>
mov    %rsi,%r15
test   %rsi,%rsi
je     1653 <SDL_imageFilterMultDivby4+0x533>
mov    %rdx,%rbp
test   %rdx,%rdx
je     1653 <SDL_imageFilterMultDivby4+0x533>
mov    %ecx,%r14d
test   %ecx,%ecx
je     11a6 <SDL_imageFilterMultDivby4+0x86>
mov    %rdi,%r13
xor    %r12d,%r12d
xor    %eax,%eax
call   1030 <SDL_imageFilterMMXdetect@plt>
cmp    $0x8,%r14d
jb     11ae <SDL_imageFilterMultDivby4+0x8e>
test   %rax,%rax
je     11ae <SDL_imageFilterMultDivby4+0x8e>
mov    %r13,%rdi
mov    %r15,%rsi
mov    %rbp,%rdx
mov    %r14d,%ecx
call   1040 <SDL_imageFilterMultDivby4MMX@plt>
test   $0x7,%r14b
je     1653 <SDL_imageFilterMultDivby4+0x533>
mov    %r14d,%r10d
and    $0xfffffff8,%r10d
add    %r10,%r13
add    %r10,%r15
add    %r10,%rbp
cmp    %r14d,%r10d
jb     11ba <SDL_imageFilterMultDivby4+0x9a>
jmp    1653 <SDL_imageFilterMultDivby4+0x533>
xor    %r12d,%r12d
jmp    1653 <SDL_imageFilterMultDivby4+0x533>
xor    %r10d,%r10d
cmp    %r14d,%r10d
jae    1653 <SDL_imageFilterMultDivby4+0x533>
mov    %r10d,%r9d
not    %r9d
add    %r14d,%r9d
cmp    $0x7,%r9d
jb     15ad <SDL_imageFilterMultDivby4+0x48d>
lea    (%r9,%rbp,1),%rdx
add    $0x1,%rdx
lea    (%r9,%r13,1),%rcx
add    $0x1,%rcx
lea    (%r15,%r9,1),%rsi
add    $0x1,%rsi
cmp    %rcx,%rbp
setb   %bl
cmp    %rdx,%r13
setb   %al
cmp    %rsi,%rbp
setb   %cl
cmp    %rdx,%r15
setb   %dl
test   %al,%bl
jne    15ad <SDL_imageFilterMultDivby4+0x48d>
and    %dl,%cl
jne    15ad <SDL_imageFilterMultDivby4+0x48d>
movabs $0x1fffffff0,%r8
cmp    $0xf,%r9d
jae    12e7 <SDL_imageFilterMultDivby4+0x1c7>
xor    %esi,%esi
add    $0x1,%r9
add    $0x8,%r8
and    %r9,%r8
lea    (%r8,%rbp,1),%rdi
lea    (%r15,%r8,1),%rdx
lea    (%r8,%r13,1),%rcx
add    %r8d,%r10d
movdqa 0xdbb(%rip),%xmm0
pxor   %xmm1,%xmm1
movdqa 0xdbf(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movq   0x0(%r13,%rsi,1),%xmm3
psrlw  $0x1,%xmm3
pand   %xmm0,%xmm3
movq   (%r15,%rsi,1),%xmm4
psrlw  $0x1,%xmm4
pand   %xmm0,%xmm4
punpcklbw %xmm1,%xmm3
punpcklbw %xmm1,%xmm4
pmullw %xmm3,%xmm4
movdqa %xmm4,%xmm3
punpcklwd %xmm1,%xmm3
punpckhwd %xmm1,%xmm4
movdqa %xmm2,%xmm5
pcmpgtd %xmm4,%xmm5
pand   %xmm5,%xmm4
pandn  %xmm2,%xmm5
por    %xmm4,%xmm5
movdqa %xmm2,%xmm4
pcmpgtd %xmm3,%xmm4
pand   %xmm4,%xmm3
pandn  %xmm2,%xmm4
por    %xmm3,%xmm4
packuswb %xmm5,%xmm4
packuswb %xmm4,%xmm4
movq   %xmm4,0x0(%rbp,%rsi,1)
add    $0x8,%rsi
cmp    %rsi,%r8
jne    1260 <SDL_imageFilterMultDivby4+0x140>
xor    %r12d,%r12d
cmp    %r8,%r9
jne    15b6 <SDL_imageFilterMultDivby4+0x496>
jmp    1653 <SDL_imageFilterMultDivby4+0x533>
lea    0x1(%r9),%rdi
mov    %rdi,%rsi
and    %r8,%rsi
lea    -0x10(%rsi),%rax
mov    %rax,%rcx
shr    $0x4,%rcx
add    $0x1,%rcx
test   %rax,%rax
je     14b3 <SDL_imageFilterMultDivby4+0x393>
mov    %rcx,%rdx
and    $0xfffffffffffffffe,%rdx
xor    %ebx,%ebx
movdqa 0xce6(%rip),%xmm0
pxor   %xmm1,%xmm1
movdqa 0xcea(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
movdqu 0x0(%r13,%rbx,1),%xmm5
psrlw  $0x1,%xmm5
pand   %xmm0,%xmm5
movdqu (%r15,%rbx,1),%xmm6
psrlw  $0x1,%xmm6
pand   %xmm0,%xmm6
movdqa %xmm5,%xmm3
punpckhbw %xmm1,%xmm3
movdqa %xmm6,%xmm4
punpckhbw %xmm1,%xmm4
pmullw %xmm3,%xmm4
movdqa %xmm4,%xmm3
punpcklwd %xmm1,%xmm3
punpckhwd %xmm1,%xmm4
punpcklbw %xmm1,%xmm5
punpcklbw %xmm1,%xmm6
pmullw %xmm5,%xmm6
movdqa %xmm6,%xmm5
punpcklwd %xmm1,%xmm5
punpckhwd %xmm1,%xmm6
movdqa %xmm2,%xmm7
pcmpgtd %xmm6,%xmm7
pand   %xmm7,%xmm6
pandn  %xmm2,%xmm7
por    %xmm6,%xmm7
movdqa %xmm2,%xmm6
pcmpgtd %xmm5,%xmm6
pand   %xmm6,%xmm5
pandn  %xmm2,%xmm6
por    %xmm5,%xmm6
packuswb %xmm7,%xmm6
movdqa %xmm2,%xmm5
pcmpgtd %xmm4,%xmm5
pand   %xmm5,%xmm4
pandn  %xmm2,%xmm5
por    %xmm4,%xmm5
movdqa %xmm2,%xmm4
pcmpgtd %xmm3,%xmm4
pand   %xmm4,%xmm3
pandn  %xmm2,%xmm4
por    %xmm3,%xmm4
packuswb %xmm5,%xmm4
packuswb %xmm4,%xmm6
movdqu %xmm6,0x0(%rbp,%rbx,1)
movdqu 0x10(%r13,%rbx,1),%xmm5
psrlw  $0x1,%xmm5
pand   %xmm0,%xmm5
movdqu 0x10(%r15,%rbx,1),%xmm6
psrlw  $0x1,%xmm6
pand   %xmm0,%xmm6
movdqa %xmm5,%xmm3
punpckhbw %xmm1,%xmm3
movdqa %xmm6,%xmm4
punpckhbw %xmm1,%xmm4
pmullw %xmm3,%xmm4
movdqa %xmm4,%xmm3
punpcklwd %xmm1,%xmm3
punpckhwd %xmm1,%xmm4
punpcklbw %xmm1,%xmm5
punpcklbw %xmm1,%xmm6
pmullw %xmm5,%xmm6
movdqa %xmm6,%xmm5
punpcklwd %xmm1,%xmm5
punpckhwd %xmm1,%xmm6
movdqa %xmm2,%xmm7
pcmpgtd %xmm6,%xmm7
pand   %xmm7,%xmm6
pandn  %xmm2,%xmm7
por    %xmm6,%xmm7
movdqa %xmm2,%xmm6
pcmpgtd %xmm5,%xmm6
pand   %xmm6,%xmm5
pandn  %xmm2,%xmm6
por    %xmm5,%xmm6
packuswb %xmm7,%xmm6
movdqa %xmm2,%xmm5
pcmpgtd %xmm4,%xmm5
pand   %xmm5,%xmm4
pandn  %xmm2,%xmm5
por    %xmm4,%xmm5
movdqa %xmm2,%xmm4
pcmpgtd %xmm3,%xmm4
pand   %xmm4,%xmm3
pandn  %xmm2,%xmm4
por    %xmm3,%xmm4
packuswb %xmm5,%xmm4
packuswb %xmm4,%xmm6
movdqu %xmm6,0x10(%rbp,%rbx,1)
add    $0x20,%rbx
add    $0xfffffffffffffffe,%rdx
jne    1330 <SDL_imageFilterMultDivby4+0x210>
jmp    14b5 <SDL_imageFilterMultDivby4+0x395>
xor    %ebx,%ebx
test   $0x1,%cl
je     158b <SDL_imageFilterMultDivby4+0x46b>
movdqu 0x0(%r13,%rbx,1),%xmm3
psrlw  $0x1,%xmm3
movdqa 0xb2e(%rip),%xmm0
pand   %xmm0,%xmm3
movdqu (%r15,%rbx,1),%xmm2
psrlw  $0x1,%xmm2
pand   %xmm0,%xmm2
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 0xae7(%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,0x0(%rbp,%rbx,1)
xor    %r12d,%r12d
cmp    %rsi,%rdi
je     1653 <SDL_imageFilterMultDivby4+0x533>
test   $0x8,%dil
jne    1223 <SDL_imageFilterMultDivby4+0x103>
add    %esi,%r10d
add    %rsi,%r13
add    %rsi,%r15
add    %rsi,%rbp
mov    %rbp,%rdi
mov    %r15,%rdx
mov    %r13,%rcx
mov    %r14d,%eax
sub    %r10d,%eax
mov    %r10d,%esi
not    %esi
test   $0x1,%al
je     15f2 <SDL_imageFilterMultDivby4+0x4d2>
movzbl (%rcx),%eax
shr    %eax
movzbl (%rdx),%ebx
shr    %ebx
imul   %eax,%ebx
cmp    $0xff,%ebx
mov    $0xff,%eax
cmovb  %ebx,%eax
mov    %al,(%rdi)
add    $0x1,%rcx
add    $0x1,%rdx
add    $0x1,%rdi
add    $0x1,%r10d
mov    $0x0,%r12d
add    %r14d,%esi
je     1653 <SDL_imageFilterMultDivby4+0x533>
sub    %r10d,%r14d
xor    %r12d,%r12d
mov    $0xff,%eax
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movzbl (%rcx,%rsi,1),%ebx
shr    %ebx
movzbl (%rdx,%rsi,1),%ebp
shr    %ebp
imul   %ebx,%ebp
cmp    $0xff,%ebp
cmovae %eax,%ebp
mov    %bpl,(%rdi,%rsi,1)
movzbl 0x1(%rcx,%rsi,1),%ebp
shr    %ebp
movzbl 0x1(%rdx,%rsi,1),%ebx
shr    %ebx
imul   %ebp,%ebx
cmp    $0xff,%ebx
cmovae %eax,%ebx
mov    %bl,0x1(%rdi,%rsi,1)
add    $0x2,%rsi
cmp    %esi,%r14d
jne    1610 <SDL_imageFilterMultDivby4+0x4f0>
mov    %r12d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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