#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 int32_t;
typedef scalar_t__ char32_t;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int32_t fc_levenshtein0(int32_t *column, const char32_t *seq1, int32_t len1,
                        const char32_t *seq2, int32_t len2) {
  assert((len1 >= 0 && len1 <= 4096) && (len2 >= 0 && len2 <= 4096) &&
         len1 >= len2);
  do {
    assert(len1 >= len2);
    while (len2 && *seq1 == *seq2) {
      seq1++;
      seq2++;
      len1--;
      len2--;
    }
    while (len2 && seq1[len1 - 1] == seq2[len2 - 1]) {
      len1--;
      len2--;
    }
  } while (0);
  if (len2 == 0)
    return len1;
  for (int32_t j = 1; j <= len2; j++)
    column[j] = j;
  for (int32_t i = 1; i <= len1; i++) {
    *column = i;
    int32_t last = i - 1;
    for (int32_t j = 1; j <= len2; j++) {
      const int32_t old = column[j];
      if (seq1[i - 1] == seq2[j - 1])
        column[j] = last;
      else {
        const int32_t ic = column[j - 1] + 1;
        const int32_t dc = column[j] + 1;
        const int32_t rc = last + 1;
        column[j] = ((ic) < (((dc) < (rc) ? (dc) : (rc)))
                         ? (ic)
                         : (((dc) < (rc) ? (dc) : (rc))));
      }
      last = old;
    }
  }
  return column[len2];
}


x86 assembly (clang, -O0):
<fc_levenshtein0>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8d,-0x2c(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0x4d(%rbp)
jl     1179 <fc_levenshtein0+0x69>
xor    %eax,%eax
cmpl   $0x1000,-0x1c(%rbp)
mov    %al,-0x4d(%rbp)
jg     1179 <fc_levenshtein0+0x69>
xor    %eax,%eax
cmpl   $0x0,-0x2c(%rbp)
mov    %al,-0x4d(%rbp)
jl     1179 <fc_levenshtein0+0x69>
xor    %eax,%eax
cmpl   $0x1000,-0x2c(%rbp)
mov    %al,-0x4d(%rbp)
jg     1179 <fc_levenshtein0+0x69>
mov    -0x1c(%rbp),%eax
cmp    -0x2c(%rbp),%eax
setge  %al
mov    %al,-0x4d(%rbp)
mov    -0x4d(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x1c(%rbp),%eax
cmp    -0x2c(%rbp),%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
xor    %eax,%eax
cmpl   $0x0,-0x2c(%rbp)
mov    %al,-0x4e(%rbp)
je     11bc <fc_levenshtein0+0xac>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x28(%rbp),%rcx
cmp    (%rcx),%rax
sete   %al
mov    %al,-0x4e(%rbp)
mov    -0x4e(%rbp),%al
test   $0x1,%al
jne    11cc <fc_levenshtein0+0xbc>
jmp    11fb <fc_levenshtein0+0xeb>
mov    -0x18(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x18(%rbp)
mov    -0x28(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1199 <fc_levenshtein0+0x89>
jmp    1200 <fc_levenshtein0+0xf0>
xor    %eax,%eax
cmpl   $0x0,-0x2c(%rbp)
mov    %al,-0x4f(%rbp)
je     1237 <fc_levenshtein0+0x127>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x28(%rbp),%rcx
mov    -0x2c(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,8),%rax
sete   %al
mov    %al,-0x4f(%rbp)
mov    -0x4f(%rbp),%al
test   $0x1,%al
jne    1247 <fc_levenshtein0+0x137>
jmp    125e <fc_levenshtein0+0x14e>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1200 <fc_levenshtein0+0xf0>
jmp    1263 <fc_levenshtein0+0x153>
cmpl   $0x0,-0x2c(%rbp)
jne    1278 <fc_levenshtein0+0x168>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13fa <fc_levenshtein0+0x2ea>
movl   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jg     12a7 <fc_levenshtein0+0x197>
mov    -0x30(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    127f <fc_levenshtein0+0x16f>
movl   $0x1,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     13ec <fc_levenshtein0+0x2dc>
mov    -0x34(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x38(%rbp)
movl   $0x1,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jg     13d9 <fc_levenshtein0+0x2c9>
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x28(%rbp),%rcx
mov    -0x3c(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,8),%rax
jne    1328 <fc_levenshtein0+0x218>
mov    -0x38(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    13c5 <fc_levenshtein0+0x2b5>
mov    -0x10(%rbp),%rax
mov    -0x3c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x4c(%rbp),%eax
jge    1375 <fc_levenshtein0+0x265>
mov    -0x48(%rbp),%eax
mov    %eax,-0x58(%rbp)
jmp    137b <fc_levenshtein0+0x26b>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x54(%rbp),%eax
mov    -0x58(%rbp),%ecx
cmp    %ecx,%eax
jge    1394 <fc_levenshtein0+0x284>
mov    -0x44(%rbp),%eax
mov    %eax,-0x5c(%rbp)
jmp    13b7 <fc_levenshtein0+0x2a7>
mov    -0x48(%rbp),%eax
cmp    -0x4c(%rbp),%eax
jge    13ab <fc_levenshtein0+0x29b>
mov    -0x48(%rbp),%eax
mov    %eax,-0x60(%rbp)
jmp    13b1 <fc_levenshtein0+0x2a1>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x60(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x40(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    12d3 <fc_levenshtein0+0x1c3>
jmp    13de <fc_levenshtein0+0x2ce>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12ae <fc_levenshtein0+0x19e>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fc_levenshtein0>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r8d,%ebp
mov    %edx,%r12d
xor    %ebx,%ebx
mov    %edx,%eax
sub    %r8d,%eax
mov    %eax,0x4(%rsp)
setge  %bl
xor    %edx,%edx
cmp    $0x1001,%r8d
mov    $0x0,%eax
cmovb  %ebx,%eax
mov    %rcx,%r14
mov    %rsi,%r15
mov    %rdi,%r13
cmp    $0x1001,%r12d
cmovae %edx,%eax
mov    %eax,%edi
call   1030 <assert@plt>
mov    %ebx,%edi
call   1030 <assert@plt>
xor    %ebx,%ebx
test   %ebp,%ebp
je     1194 <fc_levenshtein0+0x84>
nopw   0x0(%rax,%rax,1)
mov    (%r15),%rax
cmp    (%r14),%rax
jne    1192 <fc_levenshtein0+0x82>
add    $0x8,%r15
add    $0x8,%r14
add    $0xffffffff,%r12d
add    $0xffffffff,%ebp
jne    1170 <fc_levenshtein0+0x60>
mov    0x4(%rsp),%eax
mov    %eax,%r12d
jmp    1194 <fc_levenshtein0+0x84>
mov    %ebp,%ebx
movslq %ebx,%rbp
movslq %r12d,%rax
lea    (%r15,%rax,8),%rcx
add    $0xfffffffffffffff8,%rcx
sub    %ebp,%eax
mov    %rbp,%rdx
shl    $0x20,%rdx
movabs $0x100000000,%r8
add    %rdx,%r8
lea    (%r14,%rbp,8),%rdi
add    $0xfffffffffffffff8,%rdi
xor    %edx,%edx
movabs $0xffffffff00000000,%r9
ff ff ff
nopl   0x0(%rax)
mov    %rbp,%rsi
add    %rdx,%rsi
je     145b <fc_levenshtein0+0x34b>
mov    (%rcx,%rdx,8),%rsi
lea    -0x1(%rdx),%r10
add    %r9,%r8
cmp    (%rdi,%rdx,8),%rsi
mov    %r10,%rdx
je     11d0 <fc_levenshtein0+0xc0>
lea    0x1(%r12),%ecx
add    %r10,%rcx
mov    %ebx,%eax
mov    %rbx,%rdx
lea    (%rax,%r10,1),%r11
add    $0x1,%r11d
lea    (%rax,%r10,1),%rbx
add    $0x2,%rbx
test   %r11d,%r11d
jle    13ce <fc_levenshtein0+0x2be>
lea    (%rdx,%r10,1),%r9d
add    $0x2,%r9d
add    $0xffffffffffffffff,%r9
mov    $0x1,%ebp
cmp    $0x8,%r9
jb     13b9 <fc_levenshtein0+0x2a9>
mov    %r9,%rbp
and    $0xfffffffffffffff8,%rbp
lea    -0x8(%rbp),%rdx
mov    %rdx,%rax
shr    $0x3,%rax
add    $0x1,%rax
cmp    $0x18,%rdx
jae    125c <fc_levenshtein0+0x14c>
movdqa 0xdab(%rip),%xmm0
xor    %edi,%edi
jmp    1355 <fc_levenshtein0+0x245>
mov    %ebx,%esi
add    $0xffffffffffffffff,%rsi
and    $0xfffffffffffffff8,%rsi
add    $0xfffffffffffffff8,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
and    $0xfffffffffffffffc,%rsi
movdqa 0xd82(%rip),%xmm0
xor    %edi,%edi
movdqa 0xd87(%rip),%xmm8
movdqa 0xd8e(%rip),%xmm9
movdqa 0xd95(%rip),%xmm10
movdqa 0xd9d(%rip),%xmm4
movdqa 0xda5(%rip),%xmm5
movdqa 0xdad(%rip),%xmm6
movdqa 0xdb5(%rip),%xmm7
movdqa 0xdbd(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa %xmm0,%xmm2
paddd  %xmm8,%xmm2
movdqu %xmm0,0x4(%r13,%rdi,4)
movdqu %xmm2,0x14(%r13,%rdi,4)
movdqa %xmm0,%xmm2
paddd  %xmm9,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm10,%xmm3
movdqu %xmm2,0x24(%r13,%rdi,4)
movdqu %xmm3,0x34(%r13,%rdi,4)
movdqa %xmm0,%xmm2
paddd  %xmm4,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm5,%xmm3
movdqu %xmm2,0x44(%r13,%rdi,4)
movdqu %xmm3,0x54(%r13,%rdi,4)
movdqa %xmm0,%xmm2
paddd  %xmm6,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm7,%xmm3
movdqu %xmm2,0x64(%r13,%rdi,4)
movdqu %xmm3,0x74(%r13,%rdi,4)
add    $0x20,%rdi
paddd  %xmm1,%xmm0
add    $0xfffffffffffffffc,%rsi
jne    12d0 <fc_levenshtein0+0x1c0>
test   $0x3,%al
je     13b0 <fc_levenshtein0+0x2a0>
lea    -0x1(%rbx),%eax
and    $0x18,%al
add    $0xf8,%al
shr    $0x3,%al
add    $0x1,%al
movzbl %al,%eax
and    $0x3,%eax
movdqa 0xc9d(%rip),%xmm1
movdqa 0xca5(%rip),%xmm2
nopl   0x0(%rax,%rax,1)
lea    0x0(,%rdi,4),%rdx
movdqa %xmm0,%xmm3
paddd  %xmm1,%xmm3
or     $0x4,%rdx
movdqu %xmm0,0x0(%r13,%rdx,1)
movdqu %xmm3,0x10(%r13,%rdx,1)
add    $0x8,%rdi
paddd  %xmm2,%xmm0
add    $0xffffffffffffffff,%rax
jne    1380 <fc_levenshtein0+0x270>
cmp    %rbp,%r9
je     13ce <fc_levenshtein0+0x2be>
or     $0x1,%rbp
mov    %ebx,%eax
nopl   0x0(%rax,%rax,1)
mov    %ebp,0x0(%r13,%rbp,4)
add    $0x1,%rbp
cmp    %rbp,%rax
jne    13c0 <fc_levenshtein0+0x2b0>
test   %ecx,%ecx
jle    1452 <fc_levenshtein0+0x342>
lea    (%r12,%r10,1),%r9d
add    $0x2,%r9d
mov    %ebx,%esi
add    $0xffffffffffffffff,%rsi
mov    $0x1,%r10d
jmp    13f9 <fc_levenshtein0+0x2e9>
nopl   0x0(%rax)
add    $0x1,%r10
cmp    %r9,%r10
je     1452 <fc_levenshtein0+0x342>
mov    %r10d,0x0(%r13)
test   %r11d,%r11d
jle    13f0 <fc_levenshtein0+0x2e0>
lea    -0x1(%r10),%rbp
mov    -0x8(%r15,%r10,8),%rax
xor    %edx,%edx
mov    %r10d,%edi
jmp    1432 <fc_levenshtein0+0x322>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %ebp,0x4(%r13,%rdx,4)
add    $0x1,%rdx
mov    %ebp,%edi
mov    %ecx,%ebp
cmp    %rdx,%rsi
je     13f0 <fc_levenshtein0+0x2e0>
mov    0x4(%r13,%rdx,4),%ecx
cmp    (%r14,%rdx,8),%rax
je     1420 <fc_levenshtein0+0x310>
add    $0x1,%edi
lea    0x1(%rcx),%ebx
add    $0x1,%ebp
cmp    %ebp,%ebx
cmovl  %ebx,%ebp
cmp    %ebp,%edi
cmovl  %edi,%ebp
jmp    1420 <fc_levenshtein0+0x310>
sar    $0x1e,%r8
mov    0x0(%r13,%r8,1),%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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