#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 */
int /*<<< orphan*/ free(unsigned char *);
scalar_t__ malloc(int);
void erosion(unsigned char *img, int width, int height, int itterations) {
  int x, y, i, n, ctr;
  unsigned char *buffer;
  buffer = (unsigned char *)malloc(width * height);
  for (i = 0; i < itterations; i++) {
    for (y = 1; y < height - 1; y++) {
      for (x = 1; x < width - 1; x++) {
        n = y * width + x;
        buffer[n] = img[n];
        if (img[n] != 0) {
          ctr = 0;
          if (img[n - 1] != 0)
            ctr++;
          if (img[n - 1 - width] != 0)
            ctr++;
          if (img[n - width] != 0)
            ctr++;
          if (img[n - width + 1] != 0)
            ctr++;
          if (img[n + 1] != 0)
            ctr++;
          if (img[n + width + 1] != 0)
            ctr++;
          if (img[n + width] != 0)
            ctr++;
          if (img[n + width - 1] != 0)
            ctr++;
          if (ctr < 5)
            buffer[n] = 0;
        }
      }
    }
    for (n = 0; n < width * height; n++) {
      img[n] = buffer[n];
    }
  }
  free(buffer);
}


x86 assembly (clang, -O0):
<erosion>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    -0xc(%rbp),%edi
imul   -0x10(%rbp),%edi
call   1040 <malloc@plt>
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    137c <erosion+0x25c>
movl   $0x1,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    132c <erosion+0x20c>
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1319 <erosion+0x1f9>
mov    -0x1c(%rbp),%eax
imul   -0xc(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1306 <erosion+0x1e6>
movl   $0x0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     11ea <erosion+0xca>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
sub    -0xc(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1210 <erosion+0xf0>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    -0xc(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1233 <erosion+0x113>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1259 <erosion+0x139>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     127c <erosion+0x15c>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     12a2 <erosion+0x182>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0xc(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     12c5 <erosion+0x1a5>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     12eb <erosion+0x1cb>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x5,-0x28(%rbp)
jge    1301 <erosion+0x1e1>
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1306 <erosion+0x1e6>
jmp    130b <erosion+0x1eb>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1177 <erosion+0x57>
jmp    131e <erosion+0x1fe>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    115f <erosion+0x3f>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0xc(%rbp),%ecx
imul   -0x10(%rbp),%ecx
cmp    %ecx,%eax
jge    1369 <erosion+0x249>
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1333 <erosion+0x213>
jmp    136e <erosion+0x24e>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    114c <erosion+0x2c>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<erosion>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x98,%rsp
mov    %ecx,%ebx
mov    %esi,%ebp
mov    %rdi,%r14
mov    %rdx,0x28(%rsp)
mov    %edx,%r15d
imul   %esi,%r15d
mov    %r15d,%edi
call   1040 <malloc@plt>
mov    %ebx,0x14(%rsp)
test   %ebx,%ebx
jle    14d4 <erosion+0x3b4>
mov    0x28(%rsp),%rcx
lea    -0x1(%rcx),%r10d
lea    -0x1(%rbp),%edx
movslq %ebp,%rsi
mov    %r15d,%r9d
mov    %rbp,0x20(%rsp)
lea    (%r14,%r9,1),%rbp
lea    (%rax,%r9,1),%rdi
mov    %r9d,%ecx
and    $0xffffffe0,%ecx
mov    %rcx,0x18(%rsp)
add    $0xffffffffffffffe0,%rcx
mov    %rcx,0x50(%rsp)
shr    $0x5,%rcx
add    $0x1,%rcx
cmp    %r14,%rdi
seta   %dil
cmp    %rax,%rbp
mov    0x20(%rsp),%rbp
seta   %bl
and    %dil,%bl
mov    %bl,0xf(%rsp)
mov    %ecx,%edi
and    $0x3,%edi
and    $0xfffffffffffffffc,%rcx
mov    %rcx,0x30(%rsp)
mov    %r9d,%ecx
and    $0xfffffff8,%ecx
mov    %rcx,0x58(%rsp)
mov    %r9d,%ecx
and    $0x3,%ecx
mov    %rcx,0x60(%rsp)
lea    (%rsi,%r14,1),%rcx
add    $0x2,%rcx
mov    %rcx,0x80(%rsp)
lea    0x2(%r14),%rcx
mov    %rcx,0x78(%rsp)
add    $0xffffffffffffffff,%rdx
mov    %rax,%rcx
add    $0x10,%rcx
mov    %rcx,0x40(%rsp)
mov    %rdi,0x48(%rsp)
mov    %rdi,%r11
shl    $0x5,%r11
lea    (%r14,%rsi,2),%rcx
add    $0x2,%rcx
mov    %rcx,0x70(%rsp)
lea    0x1(%rsi,%rax,1),%rcx
mov    %rcx,0x68(%rsp)
lea    0x10(%r14),%rcx
mov    %rcx,0x38(%rsp)
xor    %r8d,%r8d
mov    %r14,0x90(%rsp)
mov    %r15d,0x10(%rsp)
mov    %r11,0x88(%rsp)
jmp    1254 <erosion+0x134>
nop
add    $0x1,%r8d
cmp    0x14(%rsp),%r8d
mov    0x20(%rsp),%rbp
je     14d4 <erosion+0x3b4>
cmpl   $0x3,0x28(%rsp)
jl     1330 <erosion+0x210>
mov    $0x1,%r11d
mov    0x68(%rsp),%r13
mov    0x70(%rsp),%r14
mov    0x78(%rsp),%r15
mov    0x80(%rsp),%r12
jmp    1299 <erosion+0x179>
xchg   %ax,%ax
add    $0x1,%r11
add    %rsi,%r12
add    %rsi,%r15
add    %rsi,%r14
add    %rsi,%r13
cmp    %r10,%r11
je     1330 <erosion+0x210>
cmp    $0x3,%ebp
jl     1280 <erosion+0x160>
xor    %edi,%edi
jmp    12b9 <erosion+0x199>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%rdi
cmp    %rdi,%rdx
je     1280 <erosion+0x160>
movzbl -0x1(%r12,%rdi,1),%ecx
mov    %cl,0x0(%r13,%rdi,1)
cmpb   $0x0,-0x1(%r12,%rdi,1)
je     12b0 <erosion+0x190>
xor    %ecx,%ecx
cmpb   $0x0,-0x2(%r12,%rdi,1)
setne  %cl
lea    0x1(%rcx),%ebx
cmpb   $0x0,-0x2(%r15,%rdi,1)
cmove  %ecx,%ebx
cmpb   $0x1,-0x1(%r15,%rdi,1)
sbb    $0xffffffff,%ebx
cmpb   $0x1,(%r15,%rdi,1)
sbb    $0xffffffff,%ebx
cmpb   $0x1,(%r12,%rdi,1)
sbb    $0xffffffff,%ebx
cmpb   $0x1,(%r14,%rdi,1)
sbb    $0xffffffff,%ebx
cmpb   $0x1,-0x1(%r14,%rdi,1)
sbb    $0xffffffff,%ebx
cmpb   $0x1,-0x2(%r14,%rdi,1)
sbb    $0xffffffff,%ebx
cmp    $0x4,%ebx
ja     12b0 <erosion+0x190>
movb   $0x0,0x0(%r13,%rdi,1)
jmp    12b0 <erosion+0x190>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    0x10(%rsp),%r15d
test   %r15d,%r15d
mov    0x90(%rsp),%r14
mov    0x88(%rsp),%r11
jle    1240 <erosion+0x120>
cmp    $0x8,%r15d
setb   %cl
or     0xf(%rsp),%cl
je     1370 <erosion+0x250>
xor    %edi,%edi
jmp    146d <erosion+0x34d>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmp    $0x20,%r15d
jae    137d <erosion+0x25d>
xor    %ebp,%ebp
jmp    1445 <erosion+0x325>
cmpq   $0x60,0x50(%rsp)
jae    1389 <erosion+0x269>
xor    %edi,%edi
jmp    13f0 <erosion+0x2d0>
mov    0x30(%rsp),%rbp
xor    %edi,%edi
movups (%rax,%rdi,1),%xmm0
movups 0x10(%rax,%rdi,1),%xmm1
movups %xmm0,(%r14,%rdi,1)
movups %xmm1,0x10(%r14,%rdi,1)
movups 0x20(%rax,%rdi,1),%xmm0
movups 0x30(%rax,%rdi,1),%xmm1
movups %xmm0,0x20(%r14,%rdi,1)
movups %xmm1,0x30(%r14,%rdi,1)
movups 0x40(%rax,%rdi,1),%xmm0
movups 0x50(%rax,%rdi,1),%xmm1
movups %xmm0,0x40(%r14,%rdi,1)
movups %xmm1,0x50(%r14,%rdi,1)
movups 0x60(%rax,%rdi,1),%xmm0
movups 0x70(%rax,%rdi,1),%xmm1
movups %xmm0,0x60(%r14,%rdi,1)
movups %xmm1,0x70(%r14,%rdi,1)
sub    $0xffffffffffffff80,%rdi
add    $0xfffffffffffffffc,%rbp
jne    1390 <erosion+0x270>
cmpq   $0x0,0x48(%rsp)
je     142c <erosion+0x30c>
mov    0x38(%rsp),%rcx
lea    (%rcx,%rdi,1),%rbp
add    0x40(%rsp),%rdi
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movups -0x10(%rdi,%rcx,1),%xmm0
movups (%rdi,%rcx,1),%xmm1
movups %xmm0,-0x10(%rbp,%rcx,1)
movups %xmm1,0x0(%rbp,%rcx,1)
add    $0x20,%rcx
cmp    %rcx,%r11
jne    1410 <erosion+0x2f0>
cmp    %r9,0x18(%rsp)
je     1240 <erosion+0x120>
mov    0x18(%rsp),%rdi
mov    %rdi,%rbp
test   $0x18,%r9b
je     146d <erosion+0x34d>
mov    0x58(%rsp),%rdi
nopw   0x0(%rax,%rax,1)
mov    (%rax,%rbp,1),%rcx
mov    %rcx,(%r14,%rbp,1)
add    $0x8,%rbp
cmp    %rbp,%rdi
jne    1450 <erosion+0x330>
mov    %rdi,%rcx
cmp    %r9,%rdi
je     1240 <erosion+0x120>
mov    %rdi,%rbp
not    %rbp
add    %r9,%rbp
mov    0x60(%rsp),%rcx
test   %rcx,%rcx
je     1492 <erosion+0x372>
movzbl (%rax,%rdi,1),%ebx
mov    %bl,(%r14,%rdi,1)
add    $0x1,%rdi
add    $0xffffffffffffffff,%rcx
jne    1480 <erosion+0x360>
cmp    $0x3,%rbp
jb     1240 <erosion+0x120>
nopl   0x0(%rax)
movzbl (%rax,%rdi,1),%ecx
mov    %cl,(%r14,%rdi,1)
movzbl 0x1(%rax,%rdi,1),%ecx
mov    %cl,0x1(%r14,%rdi,1)
movzbl 0x2(%rax,%rdi,1),%ecx
mov    %cl,0x2(%r14,%rdi,1)
movzbl 0x3(%rax,%rdi,1),%ecx
mov    %cl,0x3(%r14,%rdi,1)
add    $0x4,%rdi
cmp    %rdi,%r9
jne    14a0 <erosion+0x380>
jmp    1240 <erosion+0x120>
mov    %rax,%rdi
add    $0x98,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>

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

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