#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(size_t, int);
int /*<<< orphan*/ free(unsigned int *);
size_t strlen(char const *);
int levenshtein(const char *str1, const char *str2) {
  size_t len1 = strlen(str1), len2 = strlen(str2);
  unsigned int *v = calloc(len2 + 1, sizeof(unsigned int));
  unsigned int i, j, current, next, cost;
  while (len1 > 0 && len2 > 0 && ((str1[0]) == (str2[0])))
    str1++, str2++, len1--, len2--;
  if (!len1)
    return (len2);
  if (!len2)
    return (len1);
  for (j = 0; j < len2 + 1; j++)
    v[j] = j;
  for (i = 0; i < len1; i++) {
    current = i + 1;
    for (j = 0; j < len2; j++) {
      cost = !(((str1[i]) == (str2[j])) ||
               (i && j && ((str1[i - 1]) == (str2[j])) &&
                ((str1[i]) == (str2[j - 1]))));
      next = ((((v[j + 1] + 1) < (current + 1) ? (v[j + 1] + 1)
                                               : (current + 1))) < (v[j] + cost)
                  ? (((v[j + 1] + 1) < (current + 1) ? (v[j + 1] + 1)
                                                     : (current + 1)))
                  : (v[j] + cost));
      v[j] = current;
      current = next;
    }
    v[len2] = next;
  }
  free(v);
  return (next);
}


x86 assembly (clang, -O0):
<levenshtein>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rdi
call   1040 <strlen@plt>
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
add    $0x1,%rdi
mov    $0x4,%esi
call   1050 <calloc@plt>
mov    %rax,-0x30(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x20(%rbp)
mov    %al,-0x45(%rbp)
jbe    11a6 <levenshtein+0x76>
xor    %eax,%eax
cmpq   $0x0,-0x28(%rbp)
mov    %al,-0x45(%rbp)
jbe    11a6 <levenshtein+0x76>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
test   $0x1,%al
jne    11b6 <levenshtein+0x86>
jmp    11eb <levenshtein+0xbb>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
jmp    1170 <levenshtein+0x40>
cmpq   $0x0,-0x20(%rbp)
jne    1202 <levenshtein+0xd2>
mov    -0x28(%rbp),%rax
mov    %eax,-0x4(%rbp)
jmp    142a <levenshtein+0x2fa>
cmpq   $0x0,-0x28(%rbp)
jne    1219 <levenshtein+0xe9>
mov    -0x20(%rbp),%rax
mov    %eax,-0x4(%rbp)
jmp    142a <levenshtein+0x2fa>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x28(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jae    124f <levenshtein+0x11f>
mov    -0x38(%rbp),%edx
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1220 <levenshtein+0xf0>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x20(%rbp),%rax
jae    141b <levenshtein+0x2eb>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x28(%rbp),%rax
jae    13ff <levenshtein+0x2cf>
mov    -0x10(%rbp),%rax
mov    -0x34(%rbp),%ecx
movsbl (%rax,%rcx,1),%ecx
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%edx
movsbl (%rax,%rdx,1),%edx
mov    $0x1,%al
cmp    %edx,%ecx
mov    %al,-0x46(%rbp)
je     1312 <levenshtein+0x1e2>
xor    %eax,%eax
cmpl   $0x0,-0x34(%rbp)
mov    %al,-0x47(%rbp)
je     130c <levenshtein+0x1dc>
xor    %eax,%eax
cmpl   $0x0,-0x38(%rbp)
mov    %al,-0x47(%rbp)
je     130c <levenshtein+0x1dc>
mov    -0x10(%rbp),%rax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
movsbl (%rax,%rcx,1),%ecx
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%edx
movsbl (%rax,%rdx,1),%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x47(%rbp)
jne    130c <levenshtein+0x1dc>
mov    -0x10(%rbp),%rax
mov    -0x34(%rbp),%ecx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
mov    -0x38(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0x47(%rbp)
mov    -0x47(%rbp),%al
mov    %al,-0x46(%rbp)
mov    -0x46(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x44(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    -0x3c(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jae    1359 <levenshtein+0x229>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1362 <levenshtein+0x232>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    -0x30(%rbp),%rcx
mov    -0x38(%rbp),%edx
mov    (%rcx,%rdx,4),%ecx
add    -0x44(%rbp),%ecx
cmp    %ecx,%eax
jae    13c8 <levenshtein+0x298>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    -0x3c(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jae    13b4 <levenshtein+0x284>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    13bd <levenshtein+0x28d>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0x54(%rbp)
jmp    13d8 <levenshtein+0x2a8>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x3c(%rbp),%edx
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x40(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1273 <levenshtein+0x143>
mov    -0x40(%rbp),%edx
mov    -0x30(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1256 <levenshtein+0x126>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    -0x40(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<levenshtein>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%r13
call   1040 <strlen@plt>
mov    %rax,%r15
mov    %r14,%rdi
call   1040 <strlen@plt>
mov    %rax,%r12
lea    0x1(%rax),%rdi
mov    $0x4,%esi
call   1050 <calloc@plt>
test   %r15,%r15
je     11a9 <levenshtein+0x79>
test   %r12,%r12
je     11a9 <levenshtein+0x79>
lea    -0x1(%r12),%rdx
lea    -0x1(%r15),%rsi
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
movzbl 0x0(%r13,%rcx,1),%ebx
cmp    (%r14,%rcx,1),%bl
jne    11c3 <levenshtein+0x93>
lea    0x1(%rcx),%rdi
cmp    %rcx,%rsi
je     119d <levenshtein+0x6d>
cmp    %rcx,%rdx
mov    %rdi,%rcx
jne    1180 <levenshtein+0x50>
add    %rdi,%r13
sub    %rdi,%r12
sub    %rdi,%r15
add    %rdi,%r14
test   %r15,%r15
je     11bb <levenshtein+0x8b>
test   %r12,%r12
jne    11cf <levenshtein+0x9f>
mov    %r15d,%ebp
jmp    1290 <levenshtein+0x160>
mov    %r12d,%ebp
jmp    1290 <levenshtein+0x160>
add    %rcx,%r13
sub    %rcx,%r12
sub    %rcx,%r15
add    %rcx,%r14
mov    %r12,%rcx
inc    %rcx
je     11f4 <levenshtein+0xc4>
xor    %edx,%edx
nopl   0x0(%rax)
mov    %edx,(%rax,%rdx,4)
add    $0x1,%edx
cmp    %rdx,%rcx
ja     11e0 <levenshtein+0xb0>
test   %r15,%r15
je     1288 <levenshtein+0x158>
mov    $0xffffffff,%r8d
xor    %r11d,%r11d
jmp    120c <levenshtein+0xdc>
nop
mov    %ebp,(%rax,%r12,4)
mov    %r9d,%r11d
cmp    %r11,%r15
jbe    1288 <levenshtein+0x158>
lea    0x1(%r11),%r9d
lea    (%r8,%r11,1),%r10d
xor    %edi,%edi
mov    %r9d,%esi
jmp    1239 <levenshtein+0x109>
nopl   0x0(%rax,%rax,1)
movzbl %bpl,%ebp
add    (%rax,%rdi,4),%ebp
cmp    %ebp,%ebx
cmovb  %ebx,%ebp
mov    %esi,(%rax,%rdi,4)
mov    %rcx,%rdi
mov    %ebp,%esi
cmp    %rcx,%r12
jbe    1200 <levenshtein+0xd0>
movzbl 0x0(%r13,%r11,1),%ebx
movzbl (%r14,%rdi,1),%ecx
mov    $0x1,%bpl
cmp    %cl,%bl
je     1270 <levenshtein+0x140>
xor    %ebp,%ebp
test   %r11d,%r11d
je     1270 <levenshtein+0x140>
test   %rdi,%rdi
je     1270 <levenshtein+0x140>
cmp    %cl,0x0(%r13,%r10,1)
jne    126c <levenshtein+0x13c>
lea    (%rdi,%r8,1),%ecx
cmp    (%r14,%rcx,1),%bl
sete   %bpl
jmp    1270 <levenshtein+0x140>
xor    %ebp,%ebp
xchg   %ax,%ax
xor    $0x1,%bpl
lea    0x1(%rdi),%ecx
mov    (%rax,%rcx,4),%ebx
add    $0x1,%ebx
lea    0x1(%rsi),%edx
cmp    %edx,%ebx
jb     1220 <levenshtein+0xf0>
mov    %edx,%ebx
jmp    1220 <levenshtein+0xf0>
mov    %rax,%rdi
call   1030 <free@plt>
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @levenshtein(i8* nocapture %0, i8* nocapture %1) {
%3 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%4 = tail call i64 @strlen(i8* dereferenceable(1) %1)
%5 = add i64 %4, 1
%6 = tail call i32* @calloc(i64 %5, i32 4)
%7 = icmp ne i64 %3, 0
%8 = icmp ne i64 %4, 0
%9 = select i1 %7, i1 %8, i1 false
br i1 %9, label %10, label %26
10: ; preds = %2, %18
%11 = phi i8* [ %19, %18 ], [ %0, %2 ]
%12 = phi i64 [ %22, %18 ], [ %4, %2 ]
%13 = phi i64 [ %21, %18 ], [ %3, %2 ]
%14 = phi i8* [ %20, %18 ], [ %1, %2 ]
%15 = load i8, i8* %11
%16 = load i8, i8* %14
%17 = icmp eq i8 %15, %16
br i1 %17, label %18, label %36
18: ; preds = %10
%19 = getelementptr inbounds i8, i8* %11, i64 1
%20 = getelementptr inbounds i8, i8* %14, i64 1
%21 = add i64 %13, -1
%22 = add i64 %12, -1
%23 = icmp ne i64 %21, 0
%24 = icmp ne i64 %22, 0
%25 = select i1 %23, i1 %24, i1 false
br i1 %25, label %10, label %26
26: ; preds = %18, %2
%27 = phi i8* [ %1, %2 ], [ %20, %18 ]
%28 = phi i64 [ %3, %2 ], [ %21, %18 ]
%29 = phi i64 [ %4, %2 ], [ %22, %18 ]
%30 = phi i8* [ %0, %2 ], [ %19, %18 ]
%31 = icmp eq i64 %28, 0
br i1 %31, label %32, label %34
32: ; preds = %26
%33 = trunc i64 %29 to i32
br label %108
34: ; preds = %26
%35 = icmp eq i64 %29, 0
br i1 %35, label %43, label %36
36: ; preds = %10, %34
%37 = phi i8* [ %30, %34 ], [ %11, %10 ]
%38 = phi i64 [ %29, %34 ], [ %12, %10 ]
%39 = phi i64 [ %28, %34 ], [ %13, %10 ]
%40 = phi i8* [ %27, %34 ], [ %14, %10 ]
%41 = add i64 %38, 1
%42 = icmp eq i64 %41, 0
br i1 %42, label %47, label %49
43: ; preds = %34
%44 = trunc i64 %28 to i32
br label %108
45: ; preds = %49
%46 = icmp eq i64 %39, 0
br i1 %46, label %105, label %47
47: ; preds = %36, %45
%48 = getelementptr inbounds i32, i32* %6, i64 %38
br label %56
49: ; preds = %36, %49
%50 = phi i64 [ %54, %49 ], [ 0, %36 ]
%51 = trunc i64 %50 to i32
%52 = getelementptr inbounds i32, i32* %6, i64 %50
store i32 %51, i32* %52
%53 = add nuw nsw i64 %50, 1
%54 = and i64 %53, 4294967295
%55 = icmp ugt i64 %41, %54
br i1 %55, label %49, label %45
56: ; preds = %47, %102
%57 = phi i64 [ 0, %47 ], [ %103, %102 ]
%58 = trunc i64 %57 to i32
%59 = add i32 %58, 1
%60 = getelementptr inbounds i8, i8* %37, i64 %57
%61 = icmp ne i32 %58, 0
%62 = add nuw nsw i64 %57, 4294967295
%63 = and i64 %62, 4294967295
%64 = getelementptr inbounds i8, i8* %37, i64 %63
br label %65
65: ; preds = %56, %84
%66 = phi i64 [ 0, %56 ], [ %89, %84 ]
%67 = phi i32 [ %59, %56 ], [ %100, %84 ]
%68 = load i8, i8* %60
%69 = getelementptr inbounds i8, i8* %40, i64 %66
%70 = load i8, i8* %69
%71 = icmp eq i8 %68, %70
br i1 %71, label %84, label %72
72: ; preds = %65
%73 = icmp ne i64 %66, 0
%74 = select i1 %61, i1 %73, i1 false
br i1 %74, label %75, label %84
75: ; preds = %72
%76 = load i8, i8* %64
%77 = icmp eq i8 %76, %70
br i1 %77, label %78, label %84
78: ; preds = %75
%79 = add nuw nsw i64 %66, 4294967295
%80 = and i64 %79, 4294967295
%81 = getelementptr inbounds i8, i8* %40, i64 %80
%82 = load i8, i8* %81
%83 = icmp eq i8 %68, %82
br label %84
84: ; preds = %72, %75, %78, %65
%85 = phi i1 [ true, %65 ], [ false, %75 ], [ false, %72 ], [ %83, %78 ]
%86 = xor i1 %85, true
%87 = zext i1 %86 to i32
%88 = add nuw nsw i64 %66, 1
%89 = and i64 %88, 4294967295
%90 = getelementptr inbounds i32, i32* %6, i64 %89
%91 = load i32, i32* %90
%92 = add i32 %91, 1
%93 = add i32 %67, 1
%94 = icmp ult i32 %92, %93
%95 = select i1 %94, i32 %92, i32 %93
%96 = getelementptr inbounds i32, i32* %6, i64 %66
%97 = load i32, i32* %96
%98 = add i32 %97, %87
%99 = icmp ult i32 %95, %98
%100 = select i1 %99, i32 %95, i32 %98
store i32 %67, i32* %96
%101 = icmp ugt i64 %38, %89
br i1 %101, label %65, label %102
102: ; preds = %84
store i32 %100, i32* %48
%103 = zext i32 %59 to i64
%104 = icmp ugt i64 %39, %103
br i1 %104, label %56, label %105
105: ; preds = %102, %45
%106 = phi i32 [ undef, %45 ], [ %100, %102 ]
%107 = tail call i32 @free(i32* %6)
br label %108
108: ; preds = %105, %43, %32
%109 = phi i32 [ %106, %105 ], [ %44, %43 ], [ %33, %32 ]
ret i32 %109
}