#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(int *);
int *malloc(int);
int minimo(int, int);
int /*<<< orphan*/ printf(char *, ...);
int str_len(char *);
int distancia_subcadena(char *s1, char *s2) {
  int t1, t2, i, j, *m, costo, res, ancho;
  t1 = str_len(s1);
  t2 = str_len(s2);
  if (t1 == 0)
    return t2;
  if (t2 == 0)
    return t1;
  ancho = t1 + 1;
  m = malloc(sizeof(int) * (t1 + 1) * (t2 + 1));
  for (i = 0; i <= t1; i++)
    m[i] = i;
  for (j = 0; j <= t2; j++)
    m[j * ancho] = j;
  for (i = 1; i <= t1; i++) {
    for (j = 1; j <= t2; j++) {
      if (s1[i - 1] == s2[j - 1])
        costo = 0;
      else
        costo = 1;
      m[j * ancho + i] =
          minimo(minimo(m[j * ancho + i - 1] + 1, m[(j - 1) * ancho + i] + 1),
                 m[(j - 1) * ancho + i - 1] + costo);
    }
  }
  for (i = 0; i <= t1; i++) {
    for (j = 0; j <= t2; j++)
      printf("%d, ", m[j * ancho + i]);
    printf("\n");
  }
  res = m[t2 * ancho + t1];
  free(m);
  return res;
}


x86 assembly (clang, -O0):
<distancia_subcadena>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1070 <str_len@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rdi
call   1070 <str_len@plt>
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    118d <distancia_subcadena+0x3d>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13c2 <distancia_subcadena+0x272>
cmpl   $0x0,-0x20(%rbp)
jne    11a2 <distancia_subcadena+0x52>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13c2 <distancia_subcadena+0x272>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x2,%rax
mov    -0x20(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
imul   %rcx,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     11fe <distancia_subcadena+0xae>
mov    -0x24(%rbp),%edx
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11d6 <distancia_subcadena+0x86>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     1233 <distancia_subcadena+0xe3>
mov    -0x28(%rbp),%edx
mov    -0x30(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1205 <distancia_subcadena+0xb5>
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     132a <distancia_subcadena+0x1da>
movl   $0x1,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     1317 <distancia_subcadena+0x1c7>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
mov    -0x28(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    128f <distancia_subcadena+0x13f>
movl   $0x0,-0x34(%rbp)
jmp    1296 <distancia_subcadena+0x146>
movl   $0x1,-0x34(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edi
add    $0x1,%edi
mov    -0x30(%rbp),%rax
mov    -0x28(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x3c(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%esi
add    $0x1,%esi
call   1050 <minimo@plt>
mov    %eax,%edi
mov    -0x30(%rbp),%rax
mov    -0x28(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x3c(%rbp),%ecx
add    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%esi
add    -0x34(%rbp),%esi
call   1050 <minimo@plt>
mov    %eax,%edx
mov    -0x30(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    124d <distancia_subcadena+0xfd>
jmp    131c <distancia_subcadena+0x1cc>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    123a <distancia_subcadena+0xea>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     139c <distancia_subcadena+0x24c>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     1380 <distancia_subcadena+0x230>
mov    -0x30(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%esi
lea    0xc95(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1344 <distancia_subcadena+0x1f4>
lea    0xc7e(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1331 <distancia_subcadena+0x1e1>
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<distancia_subcadena>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %rsi,%rbx
mov    %rdi,%rbp
call   1080 <str_len@plt>
mov    %eax,%r14d
mov    %rbx,%rdi
call   1080 <str_len@plt>
mov    %eax,%r13d
test   %r14d,%r14d
je     1543 <distancia_subcadena+0x3e3>
test   %r13d,%r13d
je     11ce <distancia_subcadena+0x6e>
mov    %rbp,0x48(%rsp)
mov    %rbx,0x50(%rsp)
lea    0x1(%r14),%r15d
lea    0x1(%r13),%ebp
mov    %r15d,%edi
imul   %ebp,%edi
shl    $0x2,%edi
call   1070 <malloc@plt>
mov    %r15d,%r9d
test   %r14d,%r14d
js     133c <distancia_subcadena+0x1dc>
cmp    $0x8,%r15d
jae    11d6 <distancia_subcadena+0x76>
xor    %edi,%edi
jmp    1330 <distancia_subcadena+0x1d0>
mov    %r14d,%r13d
jmp    1543 <distancia_subcadena+0x3e3>
mov    %r9d,%edi
and    $0xfffffff8,%edi
lea    -0x8(%rdi),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %edx,%ecx
and    $0x3,%ecx
cmp    $0x18,%rsi
jae    1205 <distancia_subcadena+0xa5>
movdqa 0xe02(%rip),%xmm0
xor    %esi,%esi
jmp    12d8 <distancia_subcadena+0x178>
and    $0xfffffffffffffffc,%rdx
movdqa 0xdef(%rip),%xmm0
xor    %esi,%esi
movdqa 0xdf4(%rip),%xmm8
movdqa 0xdfb(%rip),%xmm9
movdqa 0xe02(%rip),%xmm10
movdqa 0xe0a(%rip),%xmm4
movdqa 0xe12(%rip),%xmm5
movdqa 0xe1a(%rip),%xmm6
movdqa 0xe22(%rip),%xmm7
movdqa 0xe2a(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
movdqa %xmm0,%xmm2
paddd  %xmm8,%xmm2
movdqu %xmm0,(%rax,%rsi,4)
movdqu %xmm2,0x10(%rax,%rsi,4)
movdqa %xmm0,%xmm2
paddd  %xmm9,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm10,%xmm3
movdqu %xmm2,0x20(%rax,%rsi,4)
movdqu %xmm3,0x30(%rax,%rsi,4)
movdqa %xmm0,%xmm2
paddd  %xmm4,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm5,%xmm3
movdqu %xmm2,0x40(%rax,%rsi,4)
movdqu %xmm3,0x50(%rax,%rsi,4)
movdqa %xmm0,%xmm2
paddd  %xmm6,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm7,%xmm3
movdqu %xmm2,0x60(%rax,%rsi,4)
movdqu %xmm3,0x70(%rax,%rsi,4)
add    $0x20,%rsi
paddd  %xmm1,%xmm0
add    $0xfffffffffffffffc,%rdx
jne    1260 <distancia_subcadena+0x100>
test   %rcx,%rcx
je     1320 <distancia_subcadena+0x1c0>
lea    (%rax,%rsi,4),%rdx
add    $0x10,%rdx
shl    $0x5,%rcx
xor    %esi,%esi
movdqa 0xd1d(%rip),%xmm1
movdqa 0xd25(%rip),%xmm2
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm3
paddd  %xmm1,%xmm3
movdqu %xmm0,-0x10(%rdx,%rsi,1)
movdqu %xmm3,(%rdx,%rsi,1)
paddd  %xmm2,%xmm0
add    $0x20,%rsi
cmp    %rsi,%rcx
jne    1300 <distancia_subcadena+0x1a0>
cmp    %r9,%rdi
je     133c <distancia_subcadena+0x1dc>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edi,(%rax,%rdi,4)
add    $0x1,%rdi
cmp    %rdi,%r9
jne    1330 <distancia_subcadena+0x1d0>
movslq %r15d,%r10
mov    %ebp,%r11d
test   %r13d,%r13d
js     13ce <distancia_subcadena+0x26e>
lea    -0x1(%r11),%rcx
mov    %r11d,%edi
and    $0x3,%edi
cmp    $0x3,%rcx
jae    135f <distancia_subcadena+0x1ff>
xor    %ecx,%ecx
jmp    13a6 <distancia_subcadena+0x246>
mov    %r11d,%r8d
and    $0xfffffffc,%r8d
mov    %r10,%rsi
shl    $0x4,%rsi
lea    0x0(,%r10,4),%rcx
lea    (%rcx,%rcx,2),%rdx
xor    %ecx,%ecx
mov    %rax,%rbp
xchg   %ax,%ax
mov    %ecx,0x0(%rbp)
lea    0x1(%rcx),%ebx
mov    %ebx,0x0(%rbp,%r10,4)
lea    0x2(%rcx),%ebx
mov    %ebx,0x0(%rbp,%r10,8)
lea    0x3(%rcx),%ebx
mov    %ebx,0x0(%rbp,%rdx,1)
add    $0x4,%rcx
add    %rsi,%rbp
cmp    %r8,%rcx
jne    1380 <distancia_subcadena+0x220>
test   %rdi,%rdi
je     13ce <distancia_subcadena+0x26e>
mov    %rcx,%rdx
imul   %r10,%rdx
lea    (%rax,%rdx,4),%rdx
lea    0x0(,%r10,4),%rsi
xchg   %ax,%ax
mov    %ecx,(%rdx)
add    $0x1,%ecx
add    %rsi,%rdx
add    $0xffffffffffffffff,%rdi
jne    13c0 <distancia_subcadena+0x260>
mov    %r11,0x28(%rsp)
mov    %r10,0x10(%rsp)
mov    %rax,0x8(%rsp)
mov    %r15d,0x1c(%rsp)
mov    %r14,0x20(%rsp)
test   %r14d,%r14d
mov    %r9,0x38(%rsp)
mov    %r13,0x40(%rsp)
jle    14bb <distancia_subcadena+0x35b>
mov    0x10(%rsp),%rax
lea    0x0(,%rax,4),%rbx
mov    0x8(%rsp),%rax
add    $0x4,%rax
mov    %rax,0x30(%rsp)
mov    0x28(%rsp),%rax
add    $0xffffffffffffffff,%rax
mov    $0x1,%r14d
mov    %rax,0x58(%rsp)
jmp    1446 <distancia_subcadena+0x2e6>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r14
addq   $0x4,0x30(%rsp)
cmp    0x38(%rsp),%r14
mov    0x40(%rsp),%r13
je     14bb <distancia_subcadena+0x35b>
test   %r13d,%r13d
mov    0x50(%rsp),%r13
mov    0x48(%rsp),%rdi
jle    1430 <distancia_subcadena+0x2d0>
xor    %r12d,%r12d
mov    0x30(%rsp),%r15
nopl   (%rax)
movzbl -0x1(%rdi,%r14,1),%eax
xor    %ebp,%ebp
cmp    0x0(%r13,%r12,1),%al
setne  %bpl
lea    (%r15,%rbx,1),%rax
mov    %rax,0x60(%rsp)
mov    -0x4(%r15,%rbx,1),%edi
add    $0x1,%edi
mov    (%r15),%esi
add    $0x1,%esi
call   1060 <minimo@plt>
add    -0x4(%r15),%ebp
mov    %eax,%edi
mov    %ebp,%esi
call   1060 <minimo@plt>
mov    0x48(%rsp),%rdi
mov    %eax,(%r15,%rbx,1)
mov    0x58(%rsp),%rax
add    $0x1,%r12
mov    0x60(%rsp),%r15
cmp    %r12,%rax
jne    1460 <distancia_subcadena+0x300>
jmp    1430 <distancia_subcadena+0x2d0>
cmpl   $0x0,0x20(%rsp)
js     1527 <distancia_subcadena+0x3c7>
shlq   $0x2,0x10(%rsp)
lea    0xbc1(%rip),%r12
mov    0x8(%rsp),%r14
xor    %r15d,%r15d
jmp    14fe <distancia_subcadena+0x39e>
nopl   0x0(%rax)
mov    $0xa,%edi
call   1040 <putchar@plt>
add    $0x1,%r15
add    $0x4,%r14
cmp    0x38(%rsp),%r15
mov    0x40(%rsp),%r13
je     1527 <distancia_subcadena+0x3c7>
test   %r13d,%r13d
mov    0x10(%rsp),%r13
js     14e0 <distancia_subcadena+0x380>
mov    0x28(%rsp),%rbp
mov    %r14,%rbx
mov    (%rbx),%esi
mov    %r12,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    %r13,%rbx
add    $0xffffffffffffffff,%rbp
jne    1510 <distancia_subcadena+0x3b0>
jmp    14e0 <distancia_subcadena+0x380>
imul   0x1c(%rsp),%r13d
add    0x20(%rsp),%r13d
movslq %r13d,%rax
mov    0x8(%rsp),%rdi
mov    (%rdi,%rax,4),%r13d
call   1030 <free@plt>
mov    %r13d,%eax
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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