#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 */
typedef int y;
typedef int x;

/* Variables and functions */
int abs(int);
void differenceEdgeDetection(int *image, int *width, int *height, int *depth,
                             int *bias, int *ret) {
  int x, y, d, i;
  int max, value;
  for (x = 0; x < *width; x++) {
    for (y = 0; y < *height; y++) {
      for (d = 0; d < *depth; d++) {
        int current =
            image[((*height) * (x) + (y) + (*width) * (*height) * (d))];
        int n[8];
        n[0] =
            (x - 1 < 0 || y - 1 < 0)
                ? current
                : ((*height) * (x - 1) + (y - 1) + (*width) * (*height) * (d));
        n[1] = (y - 1 < 0)
                   ? current
                   : ((*height) * (x) + (y - 1) + (*width) * (*height) * (d));
        n[2] =
            (x + 1 > *width - 1 || y - 1 < 0)
                ? current
                : ((*height) * (x + 1) + (y - 1) + (*width) * (*height) * (d));
        n[3] = (x - 1 < 0)
                   ? current
                   : ((*height) * (x - 1) + (y) + (*width) * (*height) * (d));
        n[4] = (x + 1 > *width - 1)
                   ? current
                   : ((*height) * (x + 1) + (y) + (*width) * (*height) * (d));
        n[5] =
            (x - 1 < 0 || y + 1 > *height - 1)
                ? current
                : ((*height) * (x - 1) + (y + 1) + (*width) * (*height) * (d));
        n[6] = (y + 1 > *height - 1)
                   ? current
                   : ((*height) * (x) + (y + 1) + (*width) * (*height) * (d));
        n[7] =
            (x + 1 > *width - 1 || y + 1 > *height - 1)
                ? current
                : ((*height) * (x + 1) + (y + 1) + (*width) * (*height) * (d));
        max = 0;
        for (i = 0; i < 4; i++) {
          value = abs(image[n[i]] - image[n[7 - i]]);
          if (value > max) {
            max = value;
          }
        }
        ret[((*height) * (x) + (y) + (*width) * (*height) * (d))] =
            (max + *bias) >= (255) ? (255) : (max + *bias);
      }
    }
  }
}


x86 assembly (clang, -O0):
<differenceEdgeDetection>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jge    1589 <differenceEdgeDetection+0x479>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jge    1576 <differenceEdgeDetection+0x466>
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%eax
jge    1563 <differenceEdgeDetection+0x453>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%ecx
imul   -0x34(%rbp),%ecx
add    -0x38(%rbp),%ecx
mov    -0x10(%rbp),%rdx
mov    (%rdx),%edx
mov    -0x18(%rbp),%rsi
imul   (%rsi),%edx
imul   -0x3c(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jl     11c0 <differenceEdgeDetection+0xb0>
mov    -0x38(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    11cb <differenceEdgeDetection+0xbb>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x74(%rbp)
jmp    11f8 <differenceEdgeDetection+0xe8>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
imul   %ecx,%eax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
add    %ecx,%eax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
mov    -0x18(%rbp),%rdx
imul   (%rdx),%ecx
imul   -0x3c(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x74(%rbp)
mov    -0x74(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x38(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    1218 <differenceEdgeDetection+0x108>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x78(%rbp)
jmp    1240 <differenceEdgeDetection+0x130>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
imul   -0x34(%rbp),%eax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
add    %ecx,%eax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
mov    -0x18(%rbp),%rdx
imul   (%rdx),%ecx
imul   -0x3c(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x78(%rbp)
mov    -0x78(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     126c <differenceEdgeDetection+0x15c>
mov    -0x38(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    1277 <differenceEdgeDetection+0x167>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x7c(%rbp)
jmp    12a4 <differenceEdgeDetection+0x194>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
imul   %ecx,%eax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
add    %ecx,%eax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
mov    -0x18(%rbp),%rdx
imul   (%rdx),%ecx
imul   -0x3c(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x7c(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    12c4 <differenceEdgeDetection+0x1b4>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x80(%rbp)
jmp    12ec <differenceEdgeDetection+0x1dc>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
imul   %ecx,%eax
add    -0x38(%rbp),%eax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
mov    -0x18(%rbp),%rdx
imul   (%rdx),%ecx
imul   -0x3c(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x80(%rbp)
mov    -0x80(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jle    1317 <differenceEdgeDetection+0x207>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x84(%rbp)
jmp    1342 <differenceEdgeDetection+0x232>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
imul   %ecx,%eax
add    -0x38(%rbp),%eax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
mov    -0x18(%rbp),%rdx
imul   (%rdx),%ecx
imul   -0x3c(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x84(%rbp)
mov    -0x84(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jl     1371 <differenceEdgeDetection+0x261>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jle    137f <differenceEdgeDetection+0x26f>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x88(%rbp)
jmp    13af <differenceEdgeDetection+0x29f>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
imul   %ecx,%eax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
add    %ecx,%eax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
mov    -0x18(%rbp),%rdx
imul   (%rdx),%ecx
imul   -0x3c(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x88(%rbp)
mov    -0x88(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jle    13dd <differenceEdgeDetection+0x2cd>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x8c(%rbp)
jmp    1408 <differenceEdgeDetection+0x2f8>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
imul   -0x34(%rbp),%eax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
add    %ecx,%eax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
mov    -0x18(%rbp),%rdx
imul   (%rdx),%ecx
imul   -0x3c(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x8c(%rbp)
mov    -0x8c(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     143f <differenceEdgeDetection+0x32f>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jle    144d <differenceEdgeDetection+0x33d>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x90(%rbp)
jmp    147d <differenceEdgeDetection+0x36d>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
imul   %ecx,%eax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
add    %ecx,%eax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
mov    -0x18(%rbp),%rdx
imul   (%rdx),%ecx
imul   -0x3c(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x90(%rbp)
mov    -0x90(%rbp),%eax
mov    %eax,-0x54(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x40(%rbp)
cmpl   $0x4,-0x40(%rbp)
jge    14f2 <differenceEdgeDetection+0x3e2>
mov    -0x8(%rbp),%rax
movslq -0x40(%rbp),%rcx
movslq -0x70(%rbp,%rcx,4),%rcx
mov    (%rax,%rcx,4),%edi
mov    -0x8(%rbp),%rax
mov    $0x7,%ecx
sub    -0x40(%rbp),%ecx
movslq %ecx,%rcx
movslq -0x70(%rbp,%rcx,4),%rcx
sub    (%rax,%rcx,4),%edi
call   1030 <abs@plt>
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x44(%rbp),%eax
jle    14df <differenceEdgeDetection+0x3cf>
mov    -0x48(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    14e4 <differenceEdgeDetection+0x3d4>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1494 <differenceEdgeDetection+0x384>
mov    -0x44(%rbp),%eax
mov    -0x28(%rbp),%rcx
add    (%rcx),%eax
cmp    $0xff,%eax
jl     1516 <differenceEdgeDetection+0x406>
mov    $0xff,%eax
mov    %eax,-0x94(%rbp)
jmp    1525 <differenceEdgeDetection+0x415>
mov    -0x44(%rbp),%eax
mov    -0x28(%rbp),%rcx
add    (%rcx),%eax
mov    %eax,-0x94(%rbp)
mov    -0x94(%rbp),%edx
mov    -0x30(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%ecx
imul   -0x34(%rbp),%ecx
add    -0x38(%rbp),%ecx
mov    -0x10(%rbp),%rsi
mov    (%rsi),%esi
mov    -0x18(%rbp),%rdi
imul   (%rdi),%esi
imul   -0x3c(%rbp),%esi
add    %esi,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1166 <differenceEdgeDetection+0x56>
jmp    1568 <differenceEdgeDetection+0x458>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1150 <differenceEdgeDetection+0x40>
jmp    157b <differenceEdgeDetection+0x46b>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    113a <differenceEdgeDetection+0x2a>
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<differenceEdgeDetection>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r9,-0x10(%rsp)
mov    %r8,-0x18(%rsp)
mov    %rcx,-0x28(%rsp)
mov    %rdx,-0x38(%rsp)
mov    %rsi,-0x30(%rsp)
mov    (%rsi),%eax
test   %eax,%eax
jle    13ac <differenceEdgeDetection+0x2ac>
mov    -0x38(%rsp),%rcx
mov    (%rcx),%r14d
xor    %r15d,%r15d
mov    %rdi,-0x50(%rsp)
jmp    1153 <differenceEdgeDetection+0x53>
nop
mov    -0x30(%rsp),%rax
mov    (%rax),%eax
mov    %r13d,%r15d
cmp    %eax,%r13d
jge    13ac <differenceEdgeDetection+0x2ac>
test   %r14d,%r14d
jle    13a0 <differenceEdgeDetection+0x2a0>
lea    0x1(%r15),%r13d
mov    %r15d,%eax
sub    $0x1,%eax
mov    %eax,-0x40(%rsp)
setae  -0x6a(%rsp)
mov    -0x28(%rsp),%rax
mov    (%rax),%eax
xor    %ecx,%ecx
mov    %rcx,-0x60(%rsp)
mov    %r15,-0x8(%rsp)
mov    %r13d,-0x3c(%rsp)
jmp    11a0 <differenceEdgeDetection+0xa0>
nopl   0x0(%rax)
mov    -0x54(%rsp),%edx
mov    %edx,%ecx
mov    %rcx,-0x60(%rsp)
cmp    %r14d,%edx
jge    1140 <differenceEdgeDetection+0x40>
test   %eax,%eax
jle    1390 <differenceEdgeDetection+0x290>
test   %r15d,%r15d
sete   %al
mov    -0x60(%rsp),%rcx
mov    %ecx,%edx
sub    $0x1,%edx
mov    %rdx,-0x20(%rsp)
setb   %dl
or     %al,%dl
mov    %dl,-0x69(%rsp)
lea    0x1(%rcx),%eax
mov    %eax,-0x54(%rsp)
xor    %r11d,%r11d
jmp    120a <differenceEdgeDetection+0x10a>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    -0x10(%rsp),%rcx
mov    %eax,(%rcx,%rbx,4)
add    $0x1,%r11d
mov    -0x28(%rsp),%rax
mov    (%rax),%eax
mov    -0x38(%rsp),%rcx
mov    (%rcx),%r14d
cmp    %eax,%r11d
mov    -0x8(%rsp),%r15
mov    -0x3c(%rsp),%r13d
jge    1190 <differenceEdgeDetection+0x90>
mov    %r14d,%r8d
imul   %r15d,%r8d
mov    -0x30(%rsp),%rax
mov    (%rax),%ebx
mov    %r14d,%ecx
imul   %r11d,%ecx
imul   %ebx,%ecx
mov    -0x60(%rsp),%rsi
lea    (%rcx,%rsi,1),%r12d
lea    (%r12,%r8,1),%eax
movslq %eax,%rbp
mov    (%rdi,%rbp,4),%edx
mov    %r14d,%eax
imul   -0x40(%rsp),%eax
lea    (%rax,%r12,1),%edi
add    $0xffffffff,%edi
cmpb   $0x0,-0x69(%rsp)
cmovne %edx,%edi
test   %esi,%esi
mov    %rbp,-0x48(%rsp)
mov    %edi,-0x64(%rsp)
je     1290 <differenceEdgeDetection+0x190>
lea    (%rcx,%r8,1),%esi
mov    -0x20(%rsp),%r9
add    %r9d,%esi
add    $0xffffffff,%ebx
cmp    %ebx,%r15d
mov    %esi,-0x68(%rsp)
jge    12a0 <differenceEdgeDetection+0x1a0>
mov    %r14d,%ebp
imul   %r13d,%ebp
add    %ecx,%ebp
add    %r9d,%ebp
mov    $0x1,%r9b
jmp    12a5 <differenceEdgeDetection+0x1a5>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0xffffffff,%ebx
cmp    %ebx,%r15d
setl   %r9b
mov    %edx,-0x68(%rsp)
jmp    12a3 <differenceEdgeDetection+0x1a3>
xor    %r9d,%r9d
mov    %edx,%ebp
lea    (%r12,%rax,1),%r10d
test   %r15d,%r15d
cmove  %edx,%r10d
mov    %r13d,%ebx
imul   %r14d,%ebx
lea    (%r12,%rbx,1),%r13d
test   %r9b,%r9b
cmove  %edx,%r13d
add    $0xffffffff,%r14d
mov    -0x60(%rsp),%rsi
cmp    %r14d,%esi
lea    0x1(%r12,%rax,1),%eax
cmovge %edx,%eax
cmpb   $0x0,-0x6a(%rsp)
cmove  %edx,%eax
cmp    %r14d,%esi
jge    1300 <differenceEdgeDetection+0x200>
add    %ecx,%r8d
mov    -0x54(%rsp),%esi
add    %esi,%r8d
test   %r9b,%r9b
je     1303 <differenceEdgeDetection+0x203>
add    %esi,%ecx
add    %ebx,%ecx
mov    %ecx,%edx
jmp    1303 <differenceEdgeDetection+0x203>
nopw   0x0(%rax,%rax,1)
mov    %edx,%r8d
mov    -0x48(%rsp),%rbx
mov    -0x50(%rsp),%rdi
mov    -0x64(%rsp),%ecx
mov    -0x68(%rsp),%esi
movslq %ecx,%rcx
mov    (%rdi,%rcx,4),%ecx
movslq %edx,%rdx
sub    (%rdi,%rdx,4),%ecx
mov    %ecx,%edx
neg    %edx
cmovs  %ecx,%edx
cmovae %ecx,%edx
movslq %esi,%rcx
mov    (%rdi,%rcx,4),%ecx
movslq %r8d,%rsi
sub    (%rdi,%rsi,4),%ecx
mov    %ecx,%esi
neg    %esi
cmovs  %ecx,%esi
cmp    %edx,%esi
cmovbe %edx,%esi
movslq %ebp,%rcx
mov    (%rdi,%rcx,4),%ecx
cltq
sub    (%rdi,%rax,4),%ecx
mov    %ecx,%edx
neg    %edx
cmovs  %ecx,%edx
cmp    %esi,%edx
cmovbe %esi,%edx
movslq %r10d,%rax
mov    (%rdi,%rax,4),%ecx
movslq %r13d,%rax
sub    (%rdi,%rax,4),%ecx
mov    %ecx,%eax
neg    %eax
cmovs  %ecx,%eax
cmp    %edx,%eax
cmovbe %edx,%eax
mov    -0x18(%rsp),%rcx
add    (%rcx),%eax
cmp    $0xff,%eax
jl     11e0 <differenceEdgeDetection+0xe0>
mov    $0xff,%eax
jmp    11e0 <differenceEdgeDetection+0xe0>
xchg   %ax,%ax
mov    -0x60(%rsp),%rcx
add    $0x1,%ecx
mov    %ecx,%edx
jmp    1194 <differenceEdgeDetection+0x94>
nop
add    $0x1,%r15d
mov    %r15d,%r13d
jmp    1147 <differenceEdgeDetection+0x47>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @differenceEdgeDetection(i32* %0, i32* %1, i32* %2, i32* %3, i32* %4, i32* %5) {
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32*
%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 [8 x i32]
store i32* %0, i32** %7
store i32* %1, i32** %8
store i32* %2, i32** %9
store i32* %3, i32** %10
store i32* %4, i32** %11
store i32* %5, i32** %12
store i32 0, i32* %13
br label %21
21: ; preds = %358, %6
%22 = load i32, i32* %13
%23 = load i32*, i32** %8
%24 = load i32, i32* %23
%25 = icmp slt i32 %22, %24
br i1 %25, label %26, label %361
26: ; preds = %21
store i32 0, i32* %14
br label %27
27: ; preds = %354, %26
%28 = load i32, i32* %14
%29 = load i32*, i32** %9
%30 = load i32, i32* %29
%31 = icmp slt i32 %28, %30
br i1 %31, label %32, label %357
32: ; preds = %27
store i32 0, i32* %15
br label %33
33: ; preds = %350, %32
%34 = load i32, i32* %15
%35 = load i32*, i32** %10
%36 = load i32, i32* %35
%37 = icmp slt i32 %34, %36
br i1 %37, label %38, label %353
38: ; preds = %33
%39 = load i32*, i32** %7
%40 = load i32*, i32** %9
%41 = load i32, i32* %40
%42 = load i32, i32* %13
%43 = mul nsw i32 %41, %42
%44 = load i32, i32* %14
%45 = add nsw i32 %43, %44
%46 = load i32*, i32** %8
%47 = load i32, i32* %46
%48 = load i32*, i32** %9
%49 = load i32, i32* %48
%50 = mul nsw i32 %47, %49
%51 = load i32, i32* %15
%52 = mul nsw i32 %50, %51
%53 = add nsw i32 %45, %52
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %39, i64 %54
%56 = load i32, i32* %55
store i32 %56, i32* %19
%57 = load i32, i32* %13
%58 = sub nsw i32 %57, 1
%59 = icmp slt i32 %58, 0
br i1 %59, label %64, label %60
60: ; preds = %38
%61 = load i32, i32* %14
%62 = sub nsw i32 %61, 1
%63 = icmp slt i32 %62, 0
br i1 %63, label %64, label %66
64: ; preds = %60, %38
%65 = load i32, i32* %19
br label %83
66: ; preds = %60
%67 = load i32*, i32** %9
%68 = load i32, i32* %67
%69 = load i32, i32* %13
%70 = sub nsw i32 %69, 1
%71 = mul nsw i32 %68, %70
%72 = load i32, i32* %14
%73 = sub nsw i32 %72, 1
%74 = add nsw i32 %71, %73
%75 = load i32*, i32** %8
%76 = load i32, i32* %75
%77 = load i32*, i32** %9
%78 = load i32, i32* %77
%79 = mul nsw i32 %76, %78
%80 = load i32, i32* %15
%81 = mul nsw i32 %79, %80
%82 = add nsw i32 %74, %81
br label %83
83: ; preds = %66, %64
%84 = phi i32 [ %65, %64 ], [ %82, %66 ]
%85 = getelementptr inbounds [8 x i32], [8 x i32]* %20, i64 0, i64 0
store i32 %84, i32* %85
%86 = load i32, i32* %14
%87 = sub nsw i32 %86, 1
%88 = icmp slt i32 %87, 0
br i1 %88, label %89, label %91
89: ; preds = %83
%90 = load i32, i32* %19
br label %107
91: ; preds = %83
%92 = load i32*, i32** %9
%93 = load i32, i32* %92
%94 = load i32, i32* %13
%95 = mul nsw i32 %93, %94
%96 = load i32, i32* %14
%97 = sub nsw i32 %96, 1
%98 = add nsw i32 %95, %97
%99 = load i32*, i32** %8
%100 = load i32, i32* %99
%101 = load i32*, i32** %9
%102 = load i32, i32* %101
%103 = mul nsw i32 %100, %102
%104 = load i32, i32* %15
%105 = mul nsw i32 %103, %104
%106 = add nsw i32 %98, %105
br label %107
107: ; preds = %91, %89
%108 = phi i32 [ %90, %89 ], [ %106, %91 ]
%109 = getelementptr inbounds [8 x i32], [8 x i32]* %20, i64 0, i64 1
store i32 %108, i32* %109
%110 = load i32, i32* %13
%111 = add nsw i32 %110, 1
%112 = load i32*, i32** %8
%113 = load i32, i32* %112
%114 = sub nsw i32 %113, 1
%115 = icmp sgt i32 %111, %114
br i1 %115, label %120, label %116
116: ; preds = %107
%117 = load i32, i32* %14
%118 = sub nsw i32 %117, 1
%119 = icmp slt i32 %118, 0
br i1 %119, label %120, label %122
120: ; preds = %116, %107
%121 = load i32, i32* %19
br label %139
122: ; preds = %116
%123 = load i32*, i32** %9
%124 = load i32, i32* %123
%125 = load i32, i32* %13
%126 = add nsw i32 %125, 1
%127 = mul nsw i32 %124, %126
%128 = load i32, i32* %14
%129 = sub nsw i32 %128, 1
%130 = add nsw i32 %127, %129
%131 = load i32*, i32** %8
%132 = load i32, i32* %131
%133 = load i32*, i32** %9
%134 = load i32, i32* %133
%135 = mul nsw i32 %132, %134
%136 = load i32, i32* %15
%137 = mul nsw i32 %135, %136
%138 = add nsw i32 %130, %137
br label %139
139: ; preds = %122, %120
%140 = phi i32 [ %121, %120 ], [ %138, %122 ]
%141 = getelementptr inbounds [8 x i32], [8 x i32]* %20, i64 0, i64 2
store i32 %140, i32* %141
%142 = load i32, i32* %13
%143 = sub nsw i32 %142, 1
%144 = icmp slt i32 %143, 0
br i1 %144, label %145, label %147
145: ; preds = %139
%146 = load i32, i32* %19
br label %163
147: ; preds = %139
%148 = load i32*, i32** %9
%149 = load i32, i32* %148
%150 = load i32, i32* %13
%151 = sub nsw i32 %150, 1
%152 = mul nsw i32 %149, %151
%153 = load i32, i32* %14
%154 = add nsw i32 %152, %153
%155 = load i32*, i32** %8
%156 = load i32, i32* %155
%157 = load i32*, i32** %9
%158 = load i32, i32* %157
%159 = mul nsw i32 %156, %158
%160 = load i32, i32* %15
%161 = mul nsw i32 %159, %160
%162 = add nsw i32 %154, %161
br label %163
163: ; preds = %147, %145
%164 = phi i32 [ %146, %145 ], [ %162, %147 ]
%165 = getelementptr inbounds [8 x i32], [8 x i32]* %20, i64 0, i64 3
store i32 %164, i32* %165
%166 = load i32, i32* %13
%167 = add nsw i32 %166, 1
%168 = load i32*, i32** %8
%169 = load i32, i32* %168
%170 = sub nsw i32 %169, 1
%171 = icmp sgt i32 %167, %170
br i1 %171, label %172, label %174
172: ; preds = %163
%173 = load i32, i32* %19
br label %190
174: ; preds = %163
%175 = load i32*, i32** %9
%176 = load i32, i32* %175
%177 = load i32, i32* %13
%178 = add nsw i32 %177, 1
%179 = mul nsw i32 %176, %178
%180 = load i32, i32* %14
%181 = add nsw i32 %179, %180
%182 = load i32*, i32** %8
%183 = load i32, i32* %182
%184 = load i32*, i32** %9
%185 = load i32, i32* %184
%186 = mul nsw i32 %183, %185
%187 = load i32, i32* %15
%188 = mul nsw i32 %186, %187
%189 = add nsw i32 %181, %188
br label %190
190: ; preds = %174, %172
%191 = phi i32 [ %173, %172 ], [ %189, %174 ]
%192 = getelementptr inbounds [8 x i32], [8 x i32]* %20, i64 0, i64 4
store i32 %191, i32* %192
%193 = load i32, i32* %13
%194 = sub nsw i32 %193, 1
%195 = icmp slt i32 %194, 0
br i1 %195, label %203, label %196
196: ; preds = %190
%197 = load i32, i32* %14
%198 = add nsw i32 %197, 1
%199 = load i32*, i32** %9
%200 = load i32, i32* %199
%201 = sub nsw i32 %200, 1
%202 = icmp sgt i32 %198, %201
br i1 %202, label %203, label %205
203: ; preds = %196, %190
%204 = load i32, i32* %19
br label %222
205: ; preds = %196
%206 = load i32*, i32** %9
%207 = load i32, i32* %206
%208 = load i32, i32* %13
%209 = sub nsw i32 %208, 1
%210 = mul nsw i32 %207, %209
%211 = load i32, i32* %14
%212 = add nsw i32 %211, 1
%213 = add nsw i32 %210, %212
%214 = load i32*, i32** %8
%215 = load i32, i32* %214
%216 = load i32*, i32** %9
%217 = load i32, i32* %216
%218 = mul nsw i32 %215, %217
%219 = load i32, i32* %15
%220 = mul nsw i32 %218, %219
%221 = add nsw i32 %213, %220
br label %222
222: ; preds = %205, %203
%223 = phi i32 [ %204, %203 ], [ %221, %205 ]
%224 = getelementptr inbounds [8 x i32], [8 x i32]* %20, i64 0, i64 5
store i32 %223, i32* %224
%225 = load i32, i32* %14
%226 = add nsw i32 %225, 1
%227 = load i32*, i32** %9
%228 = load i32, i32* %227
%229 = sub nsw i32 %228, 1
%230 = icmp sgt i32 %226, %229
br i1 %230, label %231, label %233
231: ; preds = %222
%232 = load i32, i32* %19
br label %249
233: ; preds = %222
%234 = load i32*, i32** %9
%235 = load i32, i32* %234
%236 = load i32, i32* %13
%237 = mul nsw i32 %235, %236
%238 = load i32, i32* %14
%239 = add nsw i32 %238, 1
%240 = add nsw i32 %237, %239
%241 = load i32*, i32** %8
%242 = load i32, i32* %241
%243 = load i32*, i32** %9
%244 = load i32, i32* %243
%245 = mul nsw i32 %242, %244
%246 = load i32, i32* %15
%247 = mul nsw i32 %245, %246
%248 = add nsw i32 %240, %247
br label %249
249: ; preds = %233, %231
%250 = phi i32 [ %232, %231 ], [ %248, %233 ]
%251 = getelementptr inbounds [8 x i32], [8 x i32]* %20, i64 0, i64 6
store i32 %250, i32* %251
%252 = load i32, i32* %13
%253 = add nsw i32 %252, 1
%254 = load i32*, i32** %8
%255 = load i32, i32* %254
%256 = sub nsw i32 %255, 1
%257 = icmp sgt i32 %253, %256
br i1 %257, label %265, label %258
258: ; preds = %249
%259 = load i32, i32* %14
%260 = add nsw i32 %259, 1
%261 = load i32*, i32** %9
%262 = load i32, i32* %261
%263 = sub nsw i32 %262, 1
%264 = icmp sgt i32 %260, %263
br i1 %264, label %265, label %267
265: ; preds = %258, %249
%266 = load i32, i32* %19
br label %284
267: ; preds = %258
%268 = load i32*, i32** %9
%269 = load i32, i32* %268
%270 = load i32, i32* %13
%271 = add nsw i32 %270, 1
%272 = mul nsw i32 %269, %271
%273 = load i32, i32* %14
%274 = add nsw i32 %273, 1
%275 = add nsw i32 %272, %274
%276 = load i32*, i32** %8
%277 = load i32, i32* %276
%278 = load i32*, i32** %9
%279 = load i32, i32* %278
%280 = mul nsw i32 %277, %279
%281 = load i32, i32* %15
%282 = mul nsw i32 %280, %281
%283 = add nsw i32 %275, %282
br label %284
284: ; preds = %267, %265
%285 = phi i32 [ %266, %265 ], [ %283, %267 ]
%286 = getelementptr inbounds [8 x i32], [8 x i32]* %20, i64 0, i64 7
store i32 %285, i32* %286
store i32 0, i32* %17
store i32 0, i32* %16
br label %287
287: ; preds = %316, %284
%288 = load i32, i32* %16
%289 = icmp slt i32 %288, 4
br i1 %289, label %290, label %319
290: ; preds = %287
%291 = load i32*, i32** %7
%292 = load i32, i32* %16
%293 = sext i32 %292 to i64
%294 = getelementptr inbounds [8 x i32], [8 x i32]* %20, i64 0, i64 %293
%295 = load i32, i32* %294
%296 = sext i32 %295 to i64
%297 = getelementptr inbounds i32, i32* %291, i64 %296
%298 = load i32, i32* %297
%299 = load i32*, i32** %7
%300 = load i32, i32* %16
%301 = sub nsw i32 7, %300
%302 = sext i32 %301 to i64
%303 = getelementptr inbounds [8 x i32], [8 x i32]* %20, i64 0, i64 %302
%304 = load i32, i32* %303
%305 = sext i32 %304 to i64
%306 = getelementptr inbounds i32, i32* %299, i64 %305
%307 = load i32, i32* %306
%308 = sub nsw i32 %298, %307
%309 = call i32 @abs(i32 %308)
store i32 %309, i32* %18
%310 = load i32, i32* %18
%311 = load i32, i32* %17
%312 = icmp sgt i32 %310, %311
br i1 %312, label %313, label %315
313: ; preds = %290
%314 = load i32, i32* %18
store i32 %314, i32* %17
br label %315
315: ; preds = %313, %290
br label %316
316: ; preds = %315
%317 = load i32, i32* %16
%318 = add nsw i32 %317, 1
store i32 %318, i32* %16
br label %287
319: ; preds = %287
%320 = load i32, i32* %17
%321 = load i32*, i32** %11
%322 = load i32, i32* %321
%323 = add nsw i32 %320, %322
%324 = icmp sge i32 %323, 255
br i1 %324, label %325, label %326
325: ; preds = %319
br label %331
326: ; preds = %319
%327 = load i32, i32* %17
%328 = load i32*, i32** %11
%329 = load i32, i32* %328
%330 = add nsw i32 %327, %329
br label %331
331: ; preds = %326, %325
%332 = phi i32 [ 255, %325 ], [ %330, %326 ]
%333 = load i32*, i32** %12
%334 = load i32*, i32** %9
%335 = load i32, i32* %334
%336 = load i32, i32* %13
%337 = mul nsw i32 %335, %336
%338 = load i32, i32* %14
%339 = add nsw i32 %337, %338
%340 = load i32*, i32** %8
%341 = load i32, i32* %340
%342 = load i32*, i32** %9
%343 = load i32, i32* %342
%344 = mul nsw i32 %341, %343
%345 = load i32, i32* %15
%346 = mul nsw i32 %344, %345
%347 = add nsw i32 %339, %346
%348 = sext i32 %347 to i64
%349 = getelementptr inbounds i32, i32* %333, i64 %348
store i32 %332, i32* %349
br label %350
350: ; preds = %331
%351 = load i32, i32* %15
%352 = add nsw i32 %351, 1
store i32 %352, i32* %15
br label %33
353: ; preds = %33
br label %354
354: ; preds = %353
%355 = load i32, i32* %14
%356 = add nsw i32 %355, 1
store i32 %356, i32* %14
br label %27
357: ; preds = %27
br label %358
358: ; preds = %357
%359 = load i32, i32* %13
%360 = add nsw i32 %359, 1
store i32 %360, i32* %13
br label %21
361: ; preds = %21
ret void
}

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