#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
unsigned int *calloc(int, int);
scalar_t__ delta(char const, char const);
unsigned int **malloc(int);
unsigned int minimo(unsigned int, unsigned int, scalar_t__);
scalar_t__ strlen(char const *);
unsigned int edit_distance(const char *p1, const char *p2) {
  unsigned int i, j, m = (unsigned int)strlen(p1), n = (unsigned int)strlen(p2),
                     **C;
  C = malloc((1 + m) * sizeof(unsigned int *));
  for (i = 0; i <= m; i++)
    C[i] = calloc(1 + n, sizeof(unsigned int));
  for (i = 0; i <= m; i++)
    C[i][0] = i;
  for (i = 0; i <= n; i++)
    C[0][i] = i;
  for (j = 1; j <= n; j++)
    for (i = 1; i <= m; i++)
      C[i][j] = minimo(C[i - 1][j] + 1, C[i][j - 1] + 1,
                       C[i - 1][j - 1] + delta(p1[i - 1], p2[j - 1]));
  return C[m][n];
}


x86 assembly (clang, -O0):
<edit_distance>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,%eax
shl    $0x3,%rax
mov    %eax,%edi
call   1070 <malloc@plt>
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
ja     11ce <edit_distance+0x7e>
mov    -0x20(%rbp),%edi
add    $0x1,%edi
mov    $0x4,%esi
call   1050 <calloc@plt>
mov    %rax,%rdx
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %rdx,(%rax,%rcx,8)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1196 <edit_distance+0x46>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
ja     11ff <edit_distance+0xaf>
mov    -0x14(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%edx
mov    (%rax,%rdx,8),%rax
mov    %ecx,(%rax)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11d5 <edit_distance+0x85>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x20(%rbp),%eax
ja     1230 <edit_distance+0xe0>
mov    -0x14(%rbp),%edx
mov    -0x28(%rbp),%rax
mov    (%rax),%rax
mov    -0x14(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1206 <edit_distance+0xb6>
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
ja     131a <edit_distance+0x1ca>
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
ja     1307 <edit_distance+0x1b7>
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,8),%rax
mov    -0x18(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,8),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,8),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
movsbl %dl,%edi
movsbl (%rax,%rcx,1),%esi
call   1030 <delta@plt>
mov    -0x38(%rbp),%rdx
mov    -0x30(%rbp),%edi
mov    -0x2c(%rbp),%esi
add    %rax,%rdx
call   1060 <minimo@plt>
mov    %eax,%edx
mov    -0x28(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,8),%rax
mov    -0x18(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    124a <edit_distance+0xfa>
jmp    130c <edit_distance+0x1bc>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1237 <edit_distance+0xe7>
mov    -0x28(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,8),%rax
mov    -0x20(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<edit_distance>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %rsi,%r14
mov    %rdi,%r15
call   1040 <strlen@plt>
mov    %rax,%r12
mov    %r14,%rdi
call   1040 <strlen@plt>
mov    %rax,%rbx
lea    0x8(,%r12,8),%edi
call   1070 <malloc@plt>
mov    %rax,%r13
mov    %rbx,%rax
mov    %rbx,(%rsp)
lea    0x1(%rbx),%ebp
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %ebp,%edi
mov    $0x4,%esi
call   1050 <calloc@plt>
mov    %ebx,%ecx
mov    %rax,0x0(%r13,%rcx,8)
add    $0x1,%ebx
cmp    %r12d,%ebx
jbe    11a0 <edit_distance+0x50>
mov    %r12,%rax
add    $0x1,%rax
mov    %eax,%edx
lea    -0x1(%rdx),%rcx
and    $0x7,%eax
cmp    $0x7,%rcx
jae    11d5 <edit_distance+0x85>
xor    %ecx,%ecx
jmp    1236 <edit_distance+0xe6>
sub    %rax,%rdx
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
mov    0x0(%r13,%rcx,8),%rsi
mov    %ecx,(%rsi)
mov    0x8(%r13,%rcx,8),%rsi
lea    0x1(%rcx),%edi
mov    %edi,(%rsi)
mov    0x10(%r13,%rcx,8),%rsi
lea    0x2(%rcx),%edi
mov    %edi,(%rsi)
mov    0x18(%r13,%rcx,8),%rsi
lea    0x3(%rcx),%edi
mov    %edi,(%rsi)
mov    0x20(%r13,%rcx,8),%rsi
lea    0x4(%rcx),%edi
mov    %edi,(%rsi)
mov    0x28(%r13,%rcx,8),%rsi
lea    0x5(%rcx),%edi
mov    %edi,(%rsi)
mov    0x30(%r13,%rcx,8),%rsi
lea    0x6(%rcx),%edi
mov    %edi,(%rsi)
mov    0x38(%r13,%rcx,8),%rsi
lea    0x7(%rcx),%edi
mov    %edi,(%rsi)
add    $0x8,%rcx
cmp    %rdx,%rcx
jne    11e0 <edit_distance+0x90>
test   %rax,%rax
je     1251 <edit_distance+0x101>
nopl   0x0(%rax,%rax,1)
mov    0x0(%r13,%rcx,8),%rdx
mov    %ecx,(%rdx)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rax
jne    1240 <edit_distance+0xf0>
mov    0x0(%r13),%rbx
mov    %ebp,%eax
cmp    $0x8,%ebp
mov    %r14,0x28(%rsp)
mov    %r15,0x10(%rsp)
jae    126d <edit_distance+0x11d>
xor    %ecx,%ecx
jmp    13c0 <edit_distance+0x270>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdi
mov    %rdi,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %esi,%edx
and    $0x3,%edx
cmp    $0x18,%rdi
jae    129b <edit_distance+0x14b>
movdqa 0xd6c(%rip),%xmm0
xor    %edi,%edi
jmp    1368 <edit_distance+0x218>
and    $0xfffffffffffffffc,%rsi
movdqa 0xd59(%rip),%xmm0
xor    %edi,%edi
movdqa 0xd5e(%rip),%xmm8
movdqa 0xd65(%rip),%xmm9
movdqa 0xd6c(%rip),%xmm10
movdqa 0xd74(%rip),%xmm4
movdqa 0xd7c(%rip),%xmm5
movdqa 0xd84(%rip),%xmm6
movdqa 0xd8c(%rip),%xmm7
movdqa 0xd94(%rip),%xmm1
nopl   0x0(%rax)
movdqa %xmm0,%xmm2
paddd  %xmm8,%xmm2
movdqu %xmm0,(%rbx,%rdi,4)
movdqu %xmm2,0x10(%rbx,%rdi,4)
movdqa %xmm0,%xmm2
paddd  %xmm9,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm10,%xmm3
movdqu %xmm2,0x20(%rbx,%rdi,4)
movdqu %xmm3,0x30(%rbx,%rdi,4)
movdqa %xmm0,%xmm2
paddd  %xmm4,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm5,%xmm3
movdqu %xmm2,0x40(%rbx,%rdi,4)
movdqu %xmm3,0x50(%rbx,%rdi,4)
movdqa %xmm0,%xmm2
paddd  %xmm6,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm7,%xmm3
movdqu %xmm2,0x60(%rbx,%rdi,4)
movdqu %xmm3,0x70(%rbx,%rdi,4)
add    $0x20,%rdi
paddd  %xmm1,%xmm0
add    $0xfffffffffffffffc,%rsi
jne    12f0 <edit_distance+0x1a0>
test   %rdx,%rdx
je     13b0 <edit_distance+0x260>
lea    (%rbx,%rdi,4),%rsi
add    $0x10,%rsi
shl    $0x5,%rdx
xor    %edi,%edi
movdqa 0xc8d(%rip),%xmm1
movdqa 0xc95(%rip),%xmm2
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm3
paddd  %xmm1,%xmm3
movdqu %xmm0,-0x10(%rsi,%rdi,1)
movdqu %xmm3,(%rsi,%rdi,1)
paddd  %xmm2,%xmm0
add    $0x20,%rdi
cmp    %rdi,%rdx
jne    1390 <edit_distance+0x240>
cmp    %rax,%rcx
je     13cc <edit_distance+0x27c>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %ecx,(%rbx,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rax
jne    13c0 <edit_distance+0x270>
mov    %rbx,0x20(%rsp)
cmpl   $0x0,(%rsp)
je     14c4 <edit_distance+0x374>
mov    $0x1,%eax
mov    %rax,0x8(%rsp)
mov    %r12,0x30(%rsp)
mov    %r13,0x18(%rsp)
jmp    1416 <edit_distance+0x2c6>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x8(%rsp),%rax
add    $0x1,%eax
mov    %rax,0x8(%rsp)
cmp    (%rsp),%eax
ja     14c4 <edit_distance+0x374>
test   %r12d,%r12d
mov    0x28(%rsp),%rsi
mov    0x10(%rsp),%rcx
je     1400 <edit_distance+0x2b0>
mov    0x8(%rsp),%rax
mov    %eax,%edx
add    $0xffffffff,%eax
mov    %rax,0x38(%rsp)
mov    0x20(%rsp),%rax
mov    %rdx,0x40(%rsp)
mov    (%rax,%rdx,4),%ebp
mov    $0x1,%r15d
nopw   0x0(%rax,%rax,1)
lea    -0x1(%r15),%ebx
add    $0x1,%ebp
mov    %r15d,%edx
mov    0x18(%rsp),%rdi
mov    (%rdi,%rdx,8),%r13
mov    0x38(%rsp),%rdx
mov    0x0(%r13,%rdx,4),%r12d
add    $0x1,%r12d
mov    (%rax,%rdx,4),%r14d
movsbl (%rcx,%rbx,1),%edi
mov    %rsi,%rbx
movsbl (%rsi,%rdx,1),%esi
call   1030 <delta@plt>
add    %rax,%r14
mov    %ebp,%edi
mov    %r12d,%esi
mov    0x30(%rsp),%r12
mov    %r14,%rdx
call   1060 <minimo@plt>
mov    0x10(%rsp),%rcx
mov    %rbx,%rsi
mov    %eax,%ebp
mov    0x40(%rsp),%rax
mov    %ebp,0x0(%r13,%rax,4)
add    $0x1,%r15d
mov    %r13,%rax
mov    0x18(%rsp),%r13
cmp    %r12d,%r15d
jbe    1450 <edit_distance+0x300>
jmp    1400 <edit_distance+0x2b0>
mov    %r12d,%eax
mov    0x0(%r13,%rax,8),%rax
mov    (%rsp),%ecx
mov    (%rax,%rcx,4),%eax
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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