#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 */
typedef int /*<<< orphan*/ sqlite3_value;
typedef int /*<<< orphan*/ sqlite3_context;

/* Variables and functions */
int /*<<< orphan*/ sqlite3_result_int(int /*<<< orphan*/ *, int);
int /*<<< orphan*/ sqlite3_result_null(int /*<<< orphan*/ *);
scalar_t__ sqlite3_value_text(int /*<<< orphan*/ *);
unsigned int strlen(char *);
extern void levenshtein(sqlite3_context *context, int argc,
                        sqlite3_value **argv) {
  char *s1;
  char *s2;
  s1 = (char *)sqlite3_value_text(argv[0]);
  s2 = (char *)sqlite3_value_text(argv[1]);
  if ((s1 == NULL) || (s2 == NULL)) {
    sqlite3_result_null(context);
  } else {
    unsigned int x;
    unsigned int y;
    unsigned int s1len;
    unsigned int 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))));
      }
    }
    sqlite3_result_int(context, (int)matrix[s2len][s1len]);
  }
}


x86 assembly (clang, -O0):
<levenshtein>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rdi
call   1060 <sqlite3_value_text@plt>
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rdi
call   1060 <sqlite3_value_text@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     118a <levenshtein+0x4a>
cmpq   $0x0,-0x28(%rbp)
jne    1198 <levenshtein+0x58>
mov    -0x8(%rbp),%rdi
call   1050 <sqlite3_result_null@plt>
jmp    158d <levenshtein+0x44d>
mov    -0x20(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,%edx
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,%ecx
mov    %rcx,-0x60(%rbp)
mov    %rsp,%rax
mov    %rax,-0x40(%rbp)
mov    %rdx,%rax
imul   %rcx,%rax
lea    0xf(,%rax,4),%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rax
sub    %rsi,%rax
mov    %rax,-0x58(%rbp)
mov    %rax,%rsp
mov    %rdx,-0x48(%rbp)
mov    %rcx,-0x50(%rbp)
imul   $0x0,%rcx,%rcx
movl   $0x0,(%rax,%rcx,4)
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x38(%rbp),%eax
ja     1243 <levenshtein+0x103>
mov    -0x58(%rbp),%rax
mov    -0x60(%rbp),%rsi
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
imul   %rsi,%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    -0x2c(%rbp),%ecx
imul   %rsi,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1205 <levenshtein+0xc5>
movl   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x34(%rbp),%eax
ja     1299 <levenshtein+0x159>
mov    -0x58(%rbp),%rax
mov    -0x60(%rbp),%rcx
imul   $0x0,%rcx,%rsi
shl    $0x2,%rsi
mov    %rax,%rdx
add    %rsi,%rdx
mov    -0x30(%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    -0x30(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    124a <levenshtein+0x10a>
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x38(%rbp),%eax
ja     1561 <levenshtein+0x421>
movl   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x34(%rbp),%eax
ja     154e <levenshtein+0x40e>
mov    -0x58(%rbp),%rcx
mov    -0x60(%rbp),%rsi
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,%eax
mov    %eax,%edx
imul   %rsi,%rdx
shl    $0x2,%rdx
mov    %rcx,%rax
add    %rdx,%rax
mov    -0x30(%rbp),%edx
mov    (%rax,%rdx,4),%eax
add    $0x1,%eax
mov    -0x2c(%rbp),%edx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
mov    (%rcx,%rdx,4),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jae    1419 <levenshtein+0x2d9>
mov    -0x58(%rbp),%rcx
mov    -0x60(%rbp),%rsi
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,%eax
mov    %eax,%edx
imul   %rsi,%rdx
shl    $0x2,%rdx
mov    %rcx,%rax
add    %rdx,%rax
mov    -0x30(%rbp),%edx
mov    (%rax,%rdx,4),%eax
add    $0x1,%eax
mov    -0x2c(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
mov    (%rcx,%rdx,4),%ecx
mov    -0x20(%rbp),%rdx
mov    -0x30(%rbp),%esi
sub    $0x1,%esi
mov    %esi,%esi
movsbl (%rdx,%rsi,1),%edi
mov    -0x28(%rbp),%rdx
mov    -0x2c(%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    13b7 <levenshtein+0x277>
mov    -0x58(%rbp),%rax
mov    -0x60(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x30(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    140e <levenshtein+0x2ce>
mov    -0x58(%rbp),%rax
mov    -0x60(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
movsbl (%rcx,%rdx,1),%esi
mov    -0x28(%rbp),%rcx
mov    -0x2c(%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,-0x64(%rbp)
mov    -0x64(%rbp),%eax
mov    %eax,-0x68(%rbp)
jmp    1521 <levenshtein+0x3e1>
mov    -0x58(%rbp),%rcx
mov    -0x60(%rbp),%rsi
mov    -0x2c(%rbp),%eax
mov    %eax,%edx
imul   %rsi,%rdx
shl    $0x2,%rdx
mov    %rcx,%rax
add    %rdx,%rax
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
mov    (%rax,%rdx,4),%eax
add    $0x1,%eax
mov    -0x2c(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
mov    (%rcx,%rdx,4),%ecx
mov    -0x20(%rbp),%rdx
mov    -0x30(%rbp),%esi
sub    $0x1,%esi
mov    %esi,%esi
movsbl (%rdx,%rsi,1),%edi
mov    -0x28(%rbp),%rdx
mov    -0x2c(%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    14c4 <levenshtein+0x384>
mov    -0x58(%rbp),%rax
mov    -0x60(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    151b <levenshtein+0x3db>
mov    -0x58(%rbp),%rax
mov    -0x60(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
mov    %edx,%edx
movsbl (%rcx,%rdx,1),%esi
mov    -0x28(%rbp),%rcx
mov    -0x2c(%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,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x58(%rbp),%rax
mov    -0x60(%rbp),%rsi
mov    -0x68(%rbp),%edx
mov    -0x2c(%rbp),%ecx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x30(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    12b3 <levenshtein+0x173>
jmp    1553 <levenshtein+0x413>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12a0 <levenshtein+0x160>
mov    -0x58(%rbp),%rax
mov    -0x60(%rbp),%rdx
mov    -0x8(%rbp),%rdi
mov    -0x38(%rbp),%ecx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x34(%rbp),%ecx
mov    (%rax,%rcx,4),%esi
call   1040 <sqlite3_result_int@plt>
mov    -0x40(%rbp),%rax
mov    %rax,%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    $0x28,%rsp
mov    %rdx,%r15
mov    %rdi,%rbx
mov    (%rdx),%rdi
call   1060 <sqlite3_value_text@plt>
mov    %rax,%r14
mov    0x8(%r15),%rdi
call   1060 <sqlite3_value_text@plt>
test   %r14,%r14
je     1438 <levenshtein+0x2f8>
mov    %rax,%r15
test   %rax,%rax
je     1438 <levenshtein+0x2f8>
mov    %rbx,-0x50(%rbp)
mov    %r14,%rdi
call   1030 <strlen@plt>
mov    %eax,%ebx
mov    %r15,%rdi
call   1030 <strlen@plt>
mov    %eax,%r8d
mov    %rsp,-0x48(%rbp)
lea    0x1(%r8),%ecx
mov    %rbx,%rax
mov    %rbx,-0x30(%rbp)
lea    0x1(%rbx),%r11d
mov    %rcx,-0x38(%rbp)
imul   %r11,%rcx
lea    0xf(,%rcx,4),%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%rdx
mov    %rdx,%r13
sub    %rcx,%r13
neg    %rcx
mov    %r13,%rsp
movl   $0x0,(%rdx,%rcx,1)
test   %r8d,%r8d
je     1254 <levenshtein+0x114>
mov    -0x38(%rbp),%rax
lea    -0x1(%rax),%r9
mov    $0x1,%ecx
cmp    $0x2,%eax
je     1235 <levenshtein+0xf5>
lea    0x0(,%r11,8),%r10
mov    %r9,%rdi
and    $0xfffffffffffffffe,%rdi
neg    %rdi
mov    $0x1,%ecx
mov    %r13,%rbx
nopw   0x0(%rax,%rax,1)
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    1210 <levenshtein+0xd0>
test   $0x1,%r9b
je     1254 <levenshtein+0x114>
lea    -0x1(%rcx),%rdx
imul   %r11,%rdx
mov    0x0(%r13,%rdx,4),%edx
add    $0x1,%edx
imul   %r11,%rcx
mov    %edx,0x0(%r13,%rcx,4)
cmpl   $0x0,-0x30(%rbp)
je     138f <levenshtein+0x24f>
cmp    $0x3,%r11d
mov    $0x2,%edi
cmovae %r11d,%edi
mov    0x0(%r13),%edx
lea    -0x1(%rdi),%r10
mov    $0x1,%r9d
cmp    $0x8,%r10
jb     136d <levenshtein+0x22d>
mov    %r10,%r9
and    $0xfffffffffffffff8,%r9
movd   %edx,%xmm0
pshufd $0x0,%xmm0,%xmm0
paddd  0xd65(%rip),%xmm0
lea    -0x8(%r9),%rcx
mov    %rcx,%rbx
shr    $0x3,%rbx
add    $0x1,%rbx
test   %rcx,%rcx
je     1482 <levenshtein+0x342>
mov    %rbx,%rcx
and    $0xfffffffffffffffe,%rcx
mov    $0x1,%esi
pcmpeqd %xmm1,%xmm1
movdqa 0xd45(%rip),%xmm2
movdqa 0xd4d(%rip),%xmm3
movdqa 0xd55(%rip),%xmm4
movdqa 0xd5d(%rip),%xmm5
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa %xmm0,%xmm6
psubd  %xmm1,%xmm6
movdqa %xmm0,%xmm7
paddd  %xmm2,%xmm7
movdqu %xmm6,0x0(%r13,%rsi,4)
movdqu %xmm7,0x10(%r13,%rsi,4)
movdqa %xmm0,%xmm6
paddd  %xmm3,%xmm6
movdqa %xmm0,%xmm7
paddd  %xmm4,%xmm7
movdqu %xmm6,0x20(%r13,%rsi,4)
movdqu %xmm7,0x30(%r13,%rsi,4)
paddd  %xmm5,%xmm0
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rcx
jne    12f0 <levenshtein+0x1b0>
test   $0x1,%bl
je     1361 <levenshtein+0x221>
pcmpeqd %xmm1,%xmm1
movdqa %xmm0,%xmm2
psubd  %xmm1,%xmm2
paddd  0xcbd(%rip),%xmm0
movdqu %xmm2,0x0(%r13,%rsi,4)
movdqu %xmm0,0x10(%r13,%rsi,4)
cmp    %r9,%r10
je     138f <levenshtein+0x24f>
add    %r9d,%edx
or     $0x1,%r9
add    $0x1,%edx
lea    0x0(,%r9,4),%rcx
add    %r13,%rcx
sub    %r9,%rdi
xor    %esi,%esi
lea    (%rdx,%rsi,1),%ebx
mov    %ebx,(%rcx,%rsi,4)
add    $0x1,%rsi
cmp    %rsi,%rdi
jne    1380 <levenshtein+0x240>
mov    %r8,-0x40(%rbp)
test   %r8d,%r8d
je     144e <levenshtein+0x30e>
mov    %r15,%rax
cmp    $0x3,%r11d
mov    $0x2,%edx
cmovae %r11d,%edx
lea    0x4(%r13),%rdi
lea    0x0(,%r11,4),%r9
add    $0xffffffffffffffff,%rdx
mov    $0x1,%r10d
jmp    13dd <levenshtein+0x29d>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%r10
add    %r9,%rdi
cmp    -0x38(%rbp),%r10
je     144e <levenshtein+0x30e>
cmpl   $0x0,-0x30(%rbp)
je     13d0 <levenshtein+0x290>
mov    %r10,%rcx
imul   %r11,%rcx
mov    0x0(%r13,%rcx,4),%ecx
mov    -0x1(%r10,%rax,1),%bl
lea    (%rdi,%r9,1),%rsi
xor    %r15d,%r15d
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%r15,4),%r12d
add    $0x1,%r12d
add    $0x1,%ecx
xor    %r8d,%r8d
cmp    %bl,(%r14,%r15,1)
setne  %r8b
add    -0x4(%rdi,%r15,4),%r8d
cmp    %ecx,%r12d
cmovb  %r12d,%ecx
cmp    %r8d,%ecx
cmovae %r8d,%ecx
mov    %ecx,(%rsi,%r15,4)
add    $0x1,%r15
cmp    %r15,%rdx
jne    1400 <levenshtein+0x2c0>
jmp    13d0 <levenshtein+0x290>
mov    %rbx,%rdi
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <sqlite3_result_null@plt>
mov    -0x40(%rbp),%eax
imul   %r11,%rax
lea    0x0(,%rax,4),%rax
add    %r13,%rax
mov    -0x30(%rbp),%ecx
mov    (%rax,%rcx,4),%esi
mov    -0x50(%rbp),%rdi
call   1040 <sqlite3_result_int@plt>
mov    -0x48(%rbp),%rsp
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x1,%esi
test   $0x1,%bl
jne    133f <levenshtein+0x1ff>
jmp    1361 <levenshtein+0x221>

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

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