#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 strlen(char *);
extern int levenshtein(char *s1, char *s2) {
  unsigned int x, y, s1len, s2len;
  s1len = strlen(s1);
  s2len = strlen(s2);
  unsigned int matrix[s2len + 1][s1len + 1];
  matrix[0][0] = 0;
  for (x = 1; x <= s2len; x++) {
    matrix[x][0] = matrix[x - 1][0] + 1;
  }
  for (y = 1; y <= s1len; y++) {
    matrix[0][y] = matrix[0][y - 1] + 1;
  }
  for (x = 1; x <= s2len; x++) {
    for (y = 1; y <= s1len; y++) {
      matrix[x][y] =
          ((matrix[x - 1][y] + 1) < (matrix[x][y - 1] + 1)
               ? ((matrix[x - 1][y] + 1) < (matrix[x - 1][y - 1] +
                                            (s1[y - 1] == s2[x - 1] ? 0 : 1))
                      ? (matrix[x - 1][y] + 1)
                      : (matrix[x - 1][y - 1] +
                         (s1[y - 1] == s2[x - 1] ? 0 : 1)))
               : ((matrix[x][y - 1] + 1) < (matrix[x - 1][y - 1] +
                                            (s1[y - 1] == s2[x - 1] ? 0 : 1))
                      ? (matrix[x][y - 1] + 1)
                      : (matrix[x - 1][y - 1] +
                         (s1[y - 1] == s2[x - 1] ? 0 : 1))));
    }
  }
  return (matrix[s2len][s1len]);
}


x86 assembly (clang, -O0):
<levenshtein>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,%edx
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,%ecx
mov    %rcx,-0x48(%rbp)
mov    %rsp,%rax
mov    %rax,-0x28(%rbp)
mov    %rdx,%rax
imul   %rcx,%rax
lea    0xf(,%rax,4),%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rax
sub    %rsi,%rax
mov    %rax,-0x40(%rbp)
mov    %rax,%rsp
mov    %rdx,-0x30(%rbp)
mov    %rcx,-0x38(%rbp)
imul   $0x0,%rcx,%rcx
movl   $0x0,(%rax,%rcx,4)
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x20(%rbp),%eax
ja     11cb <levenshtein+0xbb>
mov    -0x40(%rbp),%rax
mov    -0x48(%rbp),%rsi
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
imul   %rsi,%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    -0x14(%rbp),%ecx
imul   %rsi,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    118d <levenshtein+0x7d>
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
ja     1221 <levenshtein+0x111>
mov    -0x40(%rbp),%rax
mov    -0x48(%rbp),%rcx
imul   $0x0,%rcx,%rsi
shl    $0x2,%rsi
mov    %rax,%rdx
add    %rsi,%rdx
mov    -0x18(%rbp),%esi
sub    $0x1,%esi
mov    %esi,%esi
mov    (%rdx,%rsi,4),%edx
add    $0x1,%edx
imul   $0x0,%rcx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11d2 <levenshtein+0xc2>
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x20(%rbp),%eax
ja     14e9 <levenshtein+0x3d9>
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
ja     14d6 <levenshtein+0x3c6>
mov    -0x40(%rbp),%rcx
mov    -0x48(%rbp),%rsi
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,%eax
mov    %eax,%edx
imul   %rsi,%rdx
shl    $0x2,%rdx
mov    %rcx,%rax
add    %rdx,%rax
mov    -0x18(%rbp),%edx
mov    (%rax,%rdx,4),%eax
add    $0x1,%eax
mov    -0x14(%rbp),%edx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
mov    (%rcx,%rdx,4),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jae    13a1 <levenshtein+0x291>
mov    -0x40(%rbp),%rcx
mov    -0x48(%rbp),%rsi
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,%eax
mov    %eax,%edx
imul   %rsi,%rdx
shl    $0x2,%rdx
mov    %rcx,%rax
add    %rdx,%rax
mov    -0x18(%rbp),%edx
mov    (%rax,%rdx,4),%eax
add    $0x1,%eax
mov    -0x14(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
mov    (%rcx,%rdx,4),%ecx
mov    -0x8(%rbp),%rdx
mov    -0x18(%rbp),%esi
sub    $0x1,%esi
mov    %esi,%esi
movsbl (%rdx,%rsi,1),%edi
mov    -0x10(%rbp),%rdx
mov    -0x14(%rbp),%esi
sub    $0x1,%esi
mov    %esi,%esi
movsbl (%rdx,%rsi,1),%r8d
mov    $0x1,%edx
xor    %esi,%esi
cmp    %r8d,%edi
cmove  %esi,%edx
add    %edx,%ecx
cmp    %ecx,%eax
jae    133f <levenshtein+0x22f>
mov    -0x40(%rbp),%rax
mov    -0x48(%rbp),%rdx
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1396 <levenshtein+0x286>
mov    -0x40(%rbp),%rax
mov    -0x48(%rbp),%rdx
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
movsbl (%rcx,%rdx,1),%esi
mov    -0x10(%rbp),%rcx
mov    -0x14(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
movsbl (%rcx,%rdx,1),%edi
mov    $0x1,%ecx
xor    %edx,%edx
cmp    %edi,%esi
cmove  %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x50(%rbp)
jmp    14a9 <levenshtein+0x399>
mov    -0x40(%rbp),%rcx
mov    -0x48(%rbp),%rsi
mov    -0x14(%rbp),%eax
mov    %eax,%edx
imul   %rsi,%rdx
shl    $0x2,%rdx
mov    %rcx,%rax
add    %rdx,%rax
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
mov    (%rax,%rdx,4),%eax
add    $0x1,%eax
mov    -0x14(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
mov    (%rcx,%rdx,4),%ecx
mov    -0x8(%rbp),%rdx
mov    -0x18(%rbp),%esi
sub    $0x1,%esi
mov    %esi,%esi
movsbl (%rdx,%rsi,1),%edi
mov    -0x10(%rbp),%rdx
mov    -0x14(%rbp),%esi
sub    $0x1,%esi
mov    %esi,%esi
movsbl (%rdx,%rsi,1),%r8d
mov    $0x1,%edx
xor    %esi,%esi
cmp    %r8d,%edi
cmove  %esi,%edx
add    %edx,%ecx
cmp    %ecx,%eax
jae    144c <levenshtein+0x33c>
mov    -0x40(%rbp),%rax
mov    -0x48(%rbp),%rdx
mov    -0x14(%rbp),%ecx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    14a3 <levenshtein+0x393>
mov    -0x40(%rbp),%rax
mov    -0x48(%rbp),%rdx
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
movsbl (%rcx,%rdx,1),%esi
mov    -0x10(%rbp),%rcx
mov    -0x14(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
movsbl (%rcx,%rdx,1),%edi
mov    $0x1,%ecx
xor    %edx,%edx
cmp    %edi,%esi
cmove  %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x48(%rbp),%rsi
mov    -0x50(%rbp),%edx
mov    -0x14(%rbp),%ecx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    123b <levenshtein+0x12b>
jmp    14db <levenshtein+0x3cb>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1228 <levenshtein+0x118>
mov    -0x40(%rbp),%rax
mov    -0x48(%rbp),%rdx
mov    -0x20(%rbp),%ecx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    -0x28(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<levenshtein>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%rbx
mov    %rdi,%r13
call   1030 <strlen@plt>
mov    %eax,%r14d
mov    %rbx,-0x40(%rbp)
mov    %rbx,%rdi
call   1030 <strlen@plt>
lea    0x1(%rax),%edx
mov    %r14,%rcx
mov    %r14,-0x30(%rbp)
lea    0x1(%r14),%r11d
mov    %rdx,%r8
mov    %rdx,%rcx
imul   %r11,%rcx
lea    0xf(,%rcx,4),%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%rdx
mov    %rdx,%r12
sub    %rcx,%r12
neg    %rcx
mov    %r12,%rsp
movl   $0x0,(%rdx,%rcx,1)
test   %eax,%eax
je     11f2 <levenshtein+0xe2>
mov    %r8,%rdx
lea    -0x1(%r8),%r9
mov    $0x1,%ecx
cmp    $0x2,%edx
je     11d5 <levenshtein+0xc5>
lea    0x0(,%r11,8),%r10
mov    %r9,%rdi
and    $0xfffffffffffffffe,%rdi
neg    %rdi
mov    $0x1,%ecx
mov    %r12,%rbx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rbx),%edx
lea    0x1(%rdx),%esi
mov    %esi,(%rbx,%r11,4)
add    $0x2,%edx
mov    %edx,(%rbx,%r11,8)
add    %r10,%rbx
lea    (%rdi,%rcx,1),%rdx
add    $0x2,%rdx
add    $0x2,%rcx
cmp    $0x1,%rdx
jne    11b0 <levenshtein+0xa0>
test   $0x1,%r9b
je     11f2 <levenshtein+0xe2>
lea    -0x1(%rcx),%rdx
imul   %r11,%rdx
mov    (%r12,%rdx,4),%edx
add    $0x1,%edx
imul   %r11,%rcx
mov    %edx,(%r12,%rcx,4)
cmpl   $0x0,-0x30(%rbp)
je     132f <levenshtein+0x21f>
cmp    $0x3,%r11d
mov    $0x2,%edi
cmovae %r11d,%edi
mov    (%r12),%edx
lea    -0x1(%rdi),%r10
mov    $0x1,%r9d
cmp    $0x8,%r10
jb     130b <levenshtein+0x1fb>
mov    %r10,%r9
and    $0xfffffffffffffff8,%r9
movd   %edx,%xmm0
pshufd $0x0,%xmm0,%xmm0
paddd  0xdc7(%rip),%xmm0
lea    -0x8(%r9),%rcx
mov    %rcx,%rbx
shr    $0x3,%rbx
add    $0x1,%rbx
test   %rcx,%rcx
je     13f9 <levenshtein+0x2e9>
mov    %rbx,%rcx
and    $0xfffffffffffffffe,%rcx
mov    $0x1,%esi
pcmpeqd %xmm1,%xmm1
movdqa 0xda7(%rip),%xmm2
movdqa 0xdaf(%rip),%xmm3
movdqa 0xdb7(%rip),%xmm4
movdqa 0xdbf(%rip),%xmm5
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm6
psubd  %xmm1,%xmm6
movdqa %xmm0,%xmm7
paddd  %xmm2,%xmm7
movdqu %xmm6,(%r12,%rsi,4)
movdqu %xmm7,0x10(%r12,%rsi,4)
movdqa %xmm0,%xmm6
paddd  %xmm3,%xmm6
movdqa %xmm0,%xmm7
paddd  %xmm4,%xmm7
movdqu %xmm6,0x20(%r12,%rsi,4)
movdqu %xmm7,0x30(%r12,%rsi,4)
paddd  %xmm5,%xmm0
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rcx
jne    1290 <levenshtein+0x180>
test   $0x1,%bl
je     12ff <levenshtein+0x1ef>
pcmpeqd %xmm1,%xmm1
movdqa %xmm0,%xmm2
psubd  %xmm1,%xmm2
paddd  0xd1e(%rip),%xmm0
movdqu %xmm2,(%r12,%rsi,4)
movdqu %xmm0,0x10(%r12,%rsi,4)
cmp    %r9,%r10
je     132f <levenshtein+0x21f>
add    %r9d,%edx
or     $0x1,%r9
add    $0x1,%edx
lea    (%r12,%r9,4),%rcx
sub    %r9,%rdi
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
lea    (%rdx,%rsi,1),%ebx
mov    %ebx,(%rcx,%rsi,4)
add    $0x1,%rsi
cmp    %rsi,%rdi
jne    1320 <levenshtein+0x210>
mov    %rax,-0x38(%rbp)
test   %eax,%eax
je     13d9 <levenshtein+0x2c9>
mov    %r8,%rax
cmp    $0x3,%r11d
mov    $0x2,%edx
cmovae %r11d,%edx
lea    0x4(%r12),%rdi
lea    0x0(,%r11,4),%r9
add    $0xffffffffffffffff,%rdx
mov    $0x1,%r10d
jmp    137c <levenshtein+0x26c>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%r10
add    %r9,%rdi
cmp    %rax,%r10
je     13d9 <levenshtein+0x2c9>
cmpl   $0x0,-0x30(%rbp)
je     1370 <levenshtein+0x260>
mov    %r10,%rcx
imul   %r11,%rcx
mov    (%r12,%rcx,4),%ecx
mov    -0x40(%rbp),%rsi
mov    -0x1(%r10,%rsi,1),%bl
lea    (%rdi,%r9,1),%rsi
xor    %r14d,%r14d
nopl   (%rax)
mov    (%rdi,%r14,4),%r15d
add    $0x1,%r15d
add    $0x1,%ecx
xor    %r8d,%r8d
cmp    %bl,0x0(%r13,%r14,1)
setne  %r8b
add    -0x4(%rdi,%r14,4),%r8d
cmp    %ecx,%r15d
cmovb  %r15d,%ecx
cmp    %r8d,%ecx
cmovae %r8d,%ecx
mov    %ecx,(%rsi,%r14,4)
add    $0x1,%r14
cmp    %r14,%rdx
jne    13a0 <levenshtein+0x290>
jmp    1370 <levenshtein+0x260>
mov    -0x38(%rbp),%eax
imul   %r11,%rax
lea    (%r12,%rax,4),%rax
mov    -0x30(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x1,%esi
test   $0x1,%bl
jne    12de <levenshtein+0x1ce>
jmp    12ff <levenshtein+0x1ef>

LLVM IR (-O0):
define i32 @levenshtein(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i8*
%10 = alloca i64
%11 = alloca i64
store i8* %0, i8** %3
store i8* %1, i8** %4
%12 = load i8*, i8** %3
%13 = call i32 @strlen(i8* %12)
store i32 %13, i32* %7
%14 = load i8*, i8** %4
%15 = call i32 @strlen(i8* %14)
store i32 %15, i32* %8
%16 = load i32, i32* %8
%17 = add i32 %16, 1
%18 = zext i32 %17 to i64
%19 = load i32, i32* %7
%20 = add i32 %19, 1
%21 = zext i32 %20 to i64
%22 = call i8* @llvm.stacksave()
store i8* %22, i8** %9
%23 = mul nuw i64 %18, %21
%24 = alloca i32, i64 %23
store i64 %18, i64* %10
store i64 %21, i64* %11
%25 = mul nsw i64 0, %21
%26 = getelementptr inbounds i32, i32* %24, i64 %25
%27 = getelementptr inbounds i32, i32* %26, i64 0
store i32 0, i32* %27
store i32 1, i32* %5
br label %28
28: ; preds = %46, %2
%29 = load i32, i32* %5
%30 = load i32, i32* %8
%31 = icmp ule i32 %29, %30
br i1 %31, label %32, label %49
32: ; preds = %28
%33 = load i32, i32* %5
%34 = sub i32 %33, 1
%35 = zext i32 %34 to i64
%36 = mul nsw i64 %35, %21
%37 = getelementptr inbounds i32, i32* %24, i64 %36
%38 = getelementptr inbounds i32, i32* %37, i64 0
%39 = load i32, i32* %38
%40 = add i32 %39, 1
%41 = load i32, i32* %5
%42 = zext i32 %41 to i64
%43 = mul nsw i64 %42, %21
%44 = getelementptr inbounds i32, i32* %24, i64 %43
%45 = getelementptr inbounds i32, i32* %44, i64 0
store i32 %40, i32* %45
br label %46
46: ; preds = %32
%47 = load i32, i32* %5
%48 = add i32 %47, 1
store i32 %48, i32* %5
br label %28
49: ; preds = %28
store i32 1, i32* %6
br label %50
50: ; preds = %68, %49
%51 = load i32, i32* %6
%52 = load i32, i32* %7
%53 = icmp ule i32 %51, %52
br i1 %53, label %54, label %71
54: ; preds = %50
%55 = mul nsw i64 0, %21
%56 = getelementptr inbounds i32, i32* %24, i64 %55
%57 = load i32, i32* %6
%58 = sub i32 %57, 1
%59 = zext i32 %58 to i64
%60 = getelementptr inbounds i32, i32* %56, i64 %59
%61 = load i32, i32* %60
%62 = add i32 %61, 1
%63 = mul nsw i64 0, %21
%64 = getelementptr inbounds i32, i32* %24, i64 %63
%65 = load i32, i32* %6
%66 = zext i32 %65 to i64
%67 = getelementptr inbounds i32, i32* %64, i64 %66
store i32 %62, i32* %67
br label %68
68: ; preds = %54
%69 = load i32, i32* %6
%70 = add i32 %69, 1
store i32 %70, i32* %6
br label %50
71: ; preds = %50
store i32 1, i32* %5
br label %72
72: ; preds = %280, %71
%73 = load i32, i32* %5
%74 = load i32, i32* %8
%75 = icmp ule i32 %73, %74
br i1 %75, label %76, label %283
76: ; preds = %72
store i32 1, i32* %6
br label %77
77: ; preds = %276, %76
%78 = load i32, i32* %6
%79 = load i32, i32* %7
%80 = icmp ule i32 %78, %79
br i1 %80, label %81, label %279
81: ; preds = %77
%82 = load i32, i32* %5
%83 = sub i32 %82, 1
%84 = zext i32 %83 to i64
%85 = mul nsw i64 %84, %21
%86 = getelementptr inbounds i32, i32* %24, i64 %85
%87 = load i32, i32* %6
%88 = zext i32 %87 to i64
%89 = getelementptr inbounds i32, i32* %86, i64 %88
%90 = load i32, i32* %89
%91 = add i32 %90, 1
%92 = load i32, i32* %5
%93 = zext i32 %92 to i64
%94 = mul nsw i64 %93, %21
%95 = getelementptr inbounds i32, i32* %24, i64 %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 = icmp ult i32 %91, %101
br i1 %102, label %103, label %185
103: ; preds = %81
%104 = load i32, i32* %5
%105 = sub i32 %104, 1
%106 = zext i32 %105 to i64
%107 = mul nsw i64 %106, %21
%108 = getelementptr inbounds i32, i32* %24, i64 %107
%109 = load i32, i32* %6
%110 = zext i32 %109 to i64
%111 = getelementptr inbounds i32, i32* %108, i64 %110
%112 = load i32, i32* %111
%113 = add i32 %112, 1
%114 = load i32, i32* %5
%115 = sub i32 %114, 1
%116 = zext i32 %115 to i64
%117 = mul nsw i64 %116, %21
%118 = getelementptr inbounds i32, i32* %24, i64 %117
%119 = load i32, i32* %6
%120 = sub i32 %119, 1
%121 = zext i32 %120 to i64
%122 = getelementptr inbounds i32, i32* %118, i64 %121
%123 = load i32, i32* %122
%124 = load i8*, i8** %3
%125 = load i32, i32* %6
%126 = sub i32 %125, 1
%127 = zext i32 %126 to i64
%128 = getelementptr inbounds i8, i8* %124, i64 %127
%129 = load i8, i8* %128
%130 = sext i8 %129 to i32
%131 = load i8*, i8** %4
%132 = load i32, i32* %5
%133 = sub i32 %132, 1
%134 = zext i32 %133 to i64
%135 = getelementptr inbounds i8, i8* %131, i64 %134
%136 = load i8, i8* %135
%137 = sext i8 %136 to i32
%138 = icmp eq i32 %130, %137
%139 = zext i1 %138 to i64
%140 = select i1 %138, i32 0, i32 1
%141 = add i32 %123, %140
%142 = icmp ult i32 %113, %141
br i1 %142, label %143, label %154
143: ; preds = %103
%144 = load i32, i32* %5
%145 = sub i32 %144, 1
%146 = zext i32 %145 to i64
%147 = mul nsw i64 %146, %21
%148 = getelementptr inbounds i32, i32* %24, i64 %147
%149 = load i32, i32* %6
%150 = zext i32 %149 to i64
%151 = getelementptr inbounds i32, i32* %148, i64 %150
%152 = load i32, i32* %151
%153 = add i32 %152, 1
br label %183
154: ; preds = %103
%155 = load i32, i32* %5
%156 = sub i32 %155, 1
%157 = zext i32 %156 to i64
%158 = mul nsw i64 %157, %21
%159 = getelementptr inbounds i32, i32* %24, i64 %158
%160 = load i32, i32* %6
%161 = sub i32 %160, 1
%162 = zext i32 %161 to i64
%163 = getelementptr inbounds i32, i32* %159, i64 %162
%164 = load i32, i32* %163
%165 = load i8*, i8** %3
%166 = load i32, i32* %6
%167 = sub i32 %166, 1
%168 = zext i32 %167 to i64
%169 = getelementptr inbounds i8, i8* %165, i64 %168
%170 = load i8, i8* %169
%171 = sext i8 %170 to i32
%172 = load i8*, i8** %4
%173 = load i32, i32* %5
%174 = sub i32 %173, 1
%175 = zext i32 %174 to i64
%176 = getelementptr inbounds i8, i8* %172, i64 %175
%177 = load i8, i8* %176
%178 = sext i8 %177 to i32
%179 = icmp eq i32 %171, %178
%180 = zext i1 %179 to i64
%181 = select i1 %179, i32 0, i32 1
%182 = add i32 %164, %181
br label %183
183: ; preds = %154, %143
%184 = phi i32 [ %153, %143 ], [ %182, %154 ]
br label %267
185: ; preds = %81
%186 = load i32, i32* %5
%187 = zext i32 %186 to i64
%188 = mul nsw i64 %187, %21
%189 = getelementptr inbounds i32, i32* %24, i64 %188
%190 = load i32, i32* %6
%191 = sub 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
%196 = load i32, i32* %5
%197 = sub i32 %196, 1
%198 = zext i32 %197 to i64
%199 = mul nsw i64 %198, %21
%200 = getelementptr inbounds i32, i32* %24, i64 %199
%201 = load i32, i32* %6
%202 = sub i32 %201, 1
%203 = zext i32 %202 to i64
%204 = getelementptr inbounds i32, i32* %200, i64 %203
%205 = load i32, i32* %204
%206 = load i8*, i8** %3
%207 = load i32, i32* %6
%208 = sub i32 %207, 1
%209 = zext i32 %208 to i64
%210 = getelementptr inbounds i8, i8* %206, i64 %209
%211 = load i8, i8* %210
%212 = sext i8 %211 to i32
%213 = load i8*, i8** %4
%214 = load i32, i32* %5
%215 = sub i32 %214, 1
%216 = zext i32 %215 to i64
%217 = getelementptr inbounds i8, i8* %213, i64 %216
%218 = load i8, i8* %217
%219 = sext i8 %218 to i32
%220 = icmp eq i32 %212, %219
%221 = zext i1 %220 to i64
%222 = select i1 %220, i32 0, i32 1
%223 = add i32 %205, %222
%224 = icmp ult i32 %195, %223
br i1 %224, label %225, label %236
225: ; preds = %185
%226 = load i32, i32* %5
%227 = zext i32 %226 to i64
%228 = mul nsw i64 %227, %21
%229 = getelementptr inbounds i32, i32* %24, i64 %228
%230 = load i32, i32* %6
%231 = sub i32 %230, 1
%232 = zext i32 %231 to i64
%233 = getelementptr inbounds i32, i32* %229, i64 %232
%234 = load i32, i32* %233
%235 = add i32 %234, 1
br label %265
236: ; preds = %185
%237 = load i32, i32* %5
%238 = sub i32 %237, 1
%239 = zext i32 %238 to i64
%240 = mul nsw i64 %239, %21
%241 = getelementptr inbounds i32, i32* %24, i64 %240
%242 = load i32, i32* %6
%243 = sub i32 %242, 1
%244 = zext i32 %243 to i64
%245 = getelementptr inbounds i32, i32* %241, i64 %244
%246 = load i32, i32* %245
%247 = load i8*, i8** %3
%248 = load i32, i32* %6
%249 = sub i32 %248, 1
%250 = zext i32 %249 to i64
%251 = getelementptr inbounds i8, i8* %247, i64 %250
%252 = load i8, i8* %251
%253 = sext i8 %252 to i32
%254 = load i8*, i8** %4
%255 = load i32, i32* %5
%256 = sub i32 %255, 1
%257 = zext i32 %256 to i64
%258 = getelementptr inbounds i8, i8* %254, i64 %257
%259 = load i8, i8* %258
%260 = sext i8 %259 to i32
%261 = icmp eq i32 %253, %260
%262 = zext i1 %261 to i64
%263 = select i1 %261, i32 0, i32 1
%264 = add i32 %246, %263
br label %265
265: ; preds = %236, %225
%266 = phi i32 [ %235, %225 ], [ %264, %236 ]
br label %267
267: ; preds = %265, %183
%268 = phi i32 [ %184, %183 ], [ %266, %265 ]
%269 = load i32, i32* %5
%270 = zext i32 %269 to i64
%271 = mul nsw i64 %270, %21
%272 = getelementptr inbounds i32, i32* %24, i64 %271
%273 = load i32, i32* %6
%274 = zext i32 %273 to i64
%275 = getelementptr inbounds i32, i32* %272, i64 %274
store i32 %268, i32* %275
br label %276
276: ; preds = %267
%277 = load i32, i32* %6
%278 = add i32 %277, 1
store i32 %278, i32* %6
br label %77
279: ; preds = %77
br label %280
280: ; preds = %279
%281 = load i32, i32* %5
%282 = add i32 %281, 1
store i32 %282, i32* %5
br label %72
283: ; preds = %72
%284 = load i32, i32* %8
%285 = zext i32 %284 to i64
%286 = mul nsw i64 %285, %21
%287 = getelementptr inbounds i32, i32* %24, i64 %286
%288 = load i32, i32* %7
%289 = zext i32 %288 to i64
%290 = getelementptr inbounds i32, i32* %287, i64 %289
%291 = load i32, i32* %290
%292 = load i8*, i8** %9
ret i32 %291
}

LLVM IR (-O2):
define i32 @levenshtein(i8* %0, i8* %1) {
%3 = tail call i32 @strlen(i8* %0)
%4 = tail call i32 @strlen(i8* %1)
%5 = add i32 %4, 1
%6 = zext i32 %5 to i64
%7 = add i32 %3, 1
%8 = zext i32 %7 to i64
%9 = mul nuw i64 %6, %8
%10 = alloca i32, i64 %9
store i32 0, i32* %10
%11 = icmp eq i32 %4, 0
br i1 %11, label %29, label %12
12: ; preds = %2
%13 = add nsw i64 %6, -1
%14 = and i64 %13, 1
%15 = icmp eq i32 %5, 2
br i1 %15, label %18, label %16
16: ; preds = %12
%17 = and i64 %13, -2
br label %92
18: ; preds = %92, %12
%19 = phi i64 [ 1, %12 ], [ %109, %92 ]
%20 = icmp eq i64 %14, 0
br i1 %20, label %29, label %21
21: ; preds = %18
%22 = add nsw i64 %19, -1
%23 = mul nuw nsw i64 %22, %8
%24 = getelementptr inbounds i32, i32* %10, i64 %23
%25 = load i32, i32* %24
%26 = add i32 %25, 1
%27 = mul nuw nsw i64 %19, %8
%28 = getelementptr inbounds i32, i32* %10, i64 %27
store i32 %26, i32* %28
br label %29
29: ; preds = %21, %18, %2
%30 = icmp eq i32 %3, 0
br i1 %30, label %112, label %31
31: ; preds = %29
%32 = call i32 @llvm.umax.i32(i32 %7, i32 2)
%33 = zext i32 %32 to i64
%34 = load i32, i32* %10
%35 = add nsw i64 %33, -1
%36 = icmp ult i64 %35, 8
br i1 %36, label %89, label %37
37: ; preds = %31
%38 = and i64 %35, -8
%39 = trunc i64 %38 to i32
%40 = add i32 %34, %39
%41 = or i64 %38, 1
%42 = insertelement <4 x i32> poison, i32 %34, i64 0
%43 = shufflevector <4 x i32> %42, <4 x i32> poison, <4 x i32> zeroinitializer
%44 = add <4 x i32> %43, <i32 0, i32 1, i32 2, i32 3>
%45 = add nsw i64 %38, -8
%46 = lshr exact i64 %45, 3
%47 = add nuw nsw i64 %46, 1
%48 = and i64 %47, 1
%49 = icmp eq i64 %45, 0
br i1 %49, label %76, label %50
50: ; preds = %37
%51 = and i64 %47, 4611686018427387902
br label %52
52: ; preds = %52, %50
%53 = phi i64 [ 0, %50 ], [ %70, %52 ]
%54 = phi <4 x i32> [ %44, %50 ], [ %71, %52 ]
%55 = phi i64 [ 0, %50 ], [ %72, %52 ]
%56 = or i64 %53, 1
%57 = add <4 x i32> %54, <i32 1, i32 1, i32 1, i32 1>
%58 = add <4 x i32> %54, <i32 5, i32 5, i32 5, i32 5>
%59 = getelementptr inbounds i32, i32* %10, i64 %56
%60 = bitcast i32* %59 to <4 x i32>*
store <4 x i32> %57, <4 x i32>* %60
%61 = getelementptr inbounds i32, i32* %59, i64 4
%62 = bitcast i32* %61 to <4 x i32>*
store <4 x i32> %58, <4 x i32>* %62
%63 = or i64 %53, 9
%64 = add <4 x i32> %54, <i32 9, i32 9, i32 9, i32 9>
%65 = add <4 x i32> %54, <i32 13, i32 13, i32 13, i32 13>
%66 = getelementptr inbounds i32, i32* %10, i64 %63
%67 = bitcast i32* %66 to <4 x i32>*
store <4 x i32> %64, <4 x i32>* %67
%68 = getelementptr inbounds i32, i32* %66, i64 4
%69 = bitcast i32* %68 to <4 x i32>*
store <4 x i32> %65, <4 x i32>* %69
%70 = add nuw i64 %53, 16
%71 = add <4 x i32> %54, <i32 16, i32 16, i32 16, i32 16>
%72 = add i64 %55, 2
%73 = icmp eq i64 %72, %51
br i1 %73, label %74, label %52
74: ; preds = %52
%75 = or i64 %70, 1
br label %76
76: ; preds = %74, %37
%77 = phi i64 [ 1, %37 ], [ %75, %74 ]
%78 = phi <4 x i32> [ %44, %37 ], [ %71, %74 ]
%79 = icmp eq i64 %48, 0
br i1 %79, label %87, label %80
80: ; preds = %76
%81 = add <4 x i32> %78, <i32 1, i32 1, i32 1, i32 1>
%82 = add <4 x i32> %78, <i32 5, i32 5, i32 5, i32 5>
%83 = getelementptr inbounds i32, i32* %10, i64 %77
%84 = bitcast i32* %83 to <4 x i32>*
store <4 x i32> %81, <4 x i32>* %84
%85 = getelementptr inbounds i32, i32* %83, i64 4
%86 = bitcast i32* %85 to <4 x i32>*
store <4 x i32> %82, <4 x i32>* %86
br label %87
87: ; preds = %76, %80
%88 = icmp eq i64 %35, %38
br i1 %88, label %112, label %89
89: ; preds = %31, %87
%90 = phi i32 [ %34, %31 ], [ %40, %87 ]
%91 = phi i64 [ 1, %31 ], [ %41, %87 ]
br label %116
92: ; preds = %92, %16
%93 = phi i64 [ 1, %16 ], [ %109, %92 ]
%94 = phi i64 [ 0, %16 ], [ %110, %92 ]
%95 = add nsw i64 %93, -1
%96 = mul nuw nsw i64 %95, %8
%97 = getelementptr inbounds i32, i32* %10, i64 %96
%98 = load i32, i32* %97
%99 = add i32 %98, 1
%100 = mul nuw nsw i64 %93, %8
%101 = getelementptr inbounds i32, i32* %10, i64 %100
store i32 %99, i32* %101
%102 = add nuw nsw i64 %93, 1
%103 = mul nuw nsw i64 %93, %8
%104 = getelementptr inbounds i32, i32* %10, i64 %103
%105 = load i32, i32* %104
%106 = add i32 %105, 1
%107 = mul nuw nsw i64 %102, %8
%108 = getelementptr inbounds i32, i32* %10, i64 %107
store i32 %106, i32* %108
%109 = add nuw nsw i64 %93, 2
%110 = add i64 %94, 2
%111 = icmp eq i64 %110, %17
br i1 %111, label %18, label %92
112: ; preds = %116, %87, %29
br i1 %11, label %159, label %113
113: ; preds = %112
%114 = call i32 @llvm.umax.i32(i32 %7, i32 2)
%115 = zext i32 %114 to i64
br label %123
116: ; preds = %89, %116
%117 = phi i32 [ %119, %116 ], [ %90, %89 ]
%118 = phi i64 [ %121, %116 ], [ %91, %89 ]
%119 = add i32 %117, 1
%120 = getelementptr inbounds i32, i32* %10, i64 %118
store i32 %119, i32* %120
%121 = add nuw nsw i64 %118, 1
%122 = icmp eq i64 %121, %33
br i1 %122, label %112, label %116
123: ; preds = %113, %156
%124 = phi i64 [ 1, %113 ], [ %157, %156 ]
br i1 %30, label %156, label %125
125: ; preds = %123
%126 = add nsw i64 %124, -1
%127 = mul nuw nsw i64 %126, %8
%128 = getelementptr inbounds i32, i32* %10, i64 %127
%129 = mul nuw nsw i64 %124, %8
%130 = getelementptr inbounds i32, i32* %10, i64 %129
%131 = getelementptr inbounds i8, i8* %1, i64 %126
%132 = load i32, i32* %130
%133 = load i8, i8* %131
br label %134
134: ; preds = %125, %134
%135 = phi i32 [ %132, %125 ], [ %152, %134 ]
%136 = phi i64 [ 1, %125 ], [ %154, %134 ]
%137 = getelementptr inbounds i32, i32* %128, i64 %136
%138 = load i32, i32* %137
%139 = add i32 %138, 1
%140 = add nsw i64 %136, -1
%141 = add i32 %135, 1
%142 = icmp ult i32 %139, %141
%143 = getelementptr inbounds i32, i32* %128, i64 %140
%144 = load i32, i32* %143
%145 = getelementptr inbounds i8, i8* %0, i64 %140
%146 = load i8, i8* %145
%147 = icmp ne i8 %146, %133
%148 = zext i1 %147 to i32
%149 = add i32 %144, %148
%150 = select i1 %142, i32 %139, i32 %141
%151 = icmp ult i32 %150, %149
%152 = select i1 %151, i32 %150, i32 %149
%153 = getelementptr inbounds i32, i32* %130, i64 %136
store i32 %152, i32* %153
%154 = add nuw nsw i64 %136, 1
%155 = icmp eq i64 %154, %115
br i1 %155, label %156, label %134
156: ; preds = %134, %123
%157 = add nuw nsw i64 %124, 1
%158 = icmp eq i64 %157, %6
br i1 %158, label %159, label %123
159: ; preds = %156, %112
%160 = zext i32 %4 to i64
%161 = mul nuw nsw i64 %160, %8
%162 = getelementptr inbounds i32, i32* %10, i64 %161
%163 = zext i32 %3 to i64
%164 = getelementptr inbounds i32, i32* %162, i64 %163
%165 = load i32, i32* %164
ret i32 %165
}