#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 INT32_MAX;
int /*<<< orphan*/ assert(int);
int32_t fc_lev_bounded2(const char32_t *seq1, int32_t len1,
                        const char32_t *seq2, int32_t len2) {
  assert((len1 >= 0 && len1 <= 4096) && (len2 >= 0 && len2 <= 4096));
  static const char *const models[3][4] = {
      {"id", "di", "rr", NULL},
      {"dr", "rd", NULL},
      {"dd", NULL},
  };
  int32_t dist = 3;
  if (len1 < len2) {
    do {
      const char32_t *tmp = seq1;
      seq1 = seq2;
      seq2 = tmp;
    } while (0);
    do {
      int32_t tmp = len1;
      len1 = len2;
      len2 = tmp;
    } while (0);
  }
  do {
    assert(len1 >= len2);
    while (len2 && *seq1 == *seq2) {
      seq1++;
      seq2++;
      len1--;
      len2--;
    }
    while (len2 && seq1[len1 - 1] == seq2[len2 - 1]) {
      len1--;
      len2--;
    }
  } while (0);
  const int32_t diff = len1 - len2;
  if (diff > 2)
    return INT32_MAX;
  if (len2 == 0)
    return len1;
  for (const char *const *model = models[diff]; *model; model++) {
    int32_t i = 0, j = 0, cost = 0;
    while (i < len1 && j < len2) {
      if (seq1[i] == seq2[j]) {
        i++;
        j++;
      } else {
        cost++;
        if (cost > 2)
          break;
        switch ((*model)[cost - 1]) {
        case 'd':
          i++;
          break;
        case 'i':
          j++;
          break;
        default:
          i++;
          j++;
          break;
        }
      }
    }
    if (cost <= 2) {
      if (i < len1)
        cost += len1 - i;
      else if (j < len2)
        cost += len2 - j;
      if (cost < dist)
        dist = cost;
    }
  }
  return dist;
}


x86 assembly (clang, -O0):
<fc_lev_bounded2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x14(%rbp)
mov    %al,-0x4d(%rbp)
jl     1169 <fc_lev_bounded2+0x59>
xor    %eax,%eax
cmpl   $0x1000,-0x14(%rbp)
mov    %al,-0x4d(%rbp)
jg     1169 <fc_lev_bounded2+0x59>
xor    %eax,%eax
cmpl   $0x0,-0x24(%rbp)
mov    %al,-0x4e(%rbp)
jl     1163 <fc_lev_bounded2+0x53>
cmpl   $0x1000,-0x24(%rbp)
setle  %al
mov    %al,-0x4e(%rbp)
mov    -0x4e(%rbp),%al
mov    %al,-0x4d(%rbp)
mov    -0x4d(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movl   $0x3,-0x28(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11c2 <fc_lev_bounded2+0xb2>
jmp    118e <fc_lev_bounded2+0x7e>
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    11ab <fc_lev_bounded2+0x9b>
mov    -0x14(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x34(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    11c2 <fc_lev_bounded2+0xb2>
jmp    11c7 <fc_lev_bounded2+0xb7>
mov    -0x14(%rbp),%eax
cmp    -0x24(%rbp),%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
xor    %eax,%eax
cmpl   $0x0,-0x24(%rbp)
mov    %al,-0x4f(%rbp)
je     11fd <fc_lev_bounded2+0xed>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%rax
sete   %al
mov    %al,-0x4f(%rbp)
mov    -0x4f(%rbp),%al
test   $0x1,%al
jne    120d <fc_lev_bounded2+0xfd>
jmp    123c <fc_lev_bounded2+0x12c>
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    11da <fc_lev_bounded2+0xca>
jmp    1241 <fc_lev_bounded2+0x131>
xor    %eax,%eax
cmpl   $0x0,-0x24(%rbp)
mov    %al,-0x50(%rbp)
je     1278 <fc_lev_bounded2+0x168>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x20(%rbp),%rcx
mov    -0x24(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,8),%rax
sete   %al
mov    %al,-0x50(%rbp)
mov    -0x50(%rbp),%al
test   $0x1,%al
jne    1288 <fc_lev_bounded2+0x178>
jmp    129f <fc_lev_bounded2+0x18f>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    1241 <fc_lev_bounded2+0x131>
jmp    12a4 <fc_lev_bounded2+0x194>
mov    -0x14(%rbp),%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x2,-0x38(%rbp)
jle    12c8 <fc_lev_bounded2+0x1b8>
mov    0x2d1a(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1475 <fc_lev_bounded2+0x365>
cmpl   $0x0,-0x24(%rbp)
jne    12dd <fc_lev_bounded2+0x1cd>
mov    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1475 <fc_lev_bounded2+0x365>
movslq -0x38(%rbp),%rcx
lea    0x2ac8(%rip),%rax
shl    $0x5,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmpq   $0x0,(%rax)
je     146f <fc_lev_bounded2+0x35f>
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x44(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x51(%rbp)
jge    1333 <fc_lev_bounded2+0x223>
mov    -0x48(%rbp),%eax
cmp    -0x24(%rbp),%eax
setl   %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
test   $0x1,%al
jne    1343 <fc_lev_bounded2+0x233>
jmp    13fe <fc_lev_bounded2+0x2ee>
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x20(%rbp),%rcx
movslq -0x48(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
jne    1378 <fc_lev_bounded2+0x268>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    13f9 <fc_lev_bounded2+0x2e9>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
cmpl   $0x2,-0x4c(%rbp)
jle    1390 <fc_lev_bounded2+0x280>
jmp    13fe <fc_lev_bounded2+0x2ee>
mov    -0x40(%rbp),%rax
mov    (%rax),%rax
mov    -0x4c(%rbp),%ecx
add    $0xffffffff,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x58(%rbp)
sub    $0x64,%eax
je     13c6 <fc_lev_bounded2+0x2b6>
jmp    13b5 <fc_lev_bounded2+0x2a5>
mov    -0x58(%rbp),%eax
sub    $0x69,%eax
je     13d4 <fc_lev_bounded2+0x2c4>
jmp    13e2 <fc_lev_bounded2+0x2d2>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    13f4 <fc_lev_bounded2+0x2e4>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    13f4 <fc_lev_bounded2+0x2e4>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    13f9 <fc_lev_bounded2+0x2e9>
jmp    1316 <fc_lev_bounded2+0x206>
cmpl   $0x2,-0x4c(%rbp)
jg     1459 <fc_lev_bounded2+0x349>
mov    -0x44(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1425 <fc_lev_bounded2+0x315>
mov    -0x14(%rbp),%eax
sub    -0x44(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
jmp    1442 <fc_lev_bounded2+0x332>
mov    -0x48(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    143d <fc_lev_bounded2+0x32d>
mov    -0x24(%rbp),%eax
sub    -0x48(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
jmp    1442 <fc_lev_bounded2+0x332>
mov    -0x4c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    1454 <fc_lev_bounded2+0x344>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    1459 <fc_lev_bounded2+0x349>
jmp    145e <fc_lev_bounded2+0x34e>
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x40(%rbp)
jmp    12f3 <fc_lev_bounded2+0x1e3>
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fc_lev_bounded2>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %ecx,%r14d
mov    %rdx,%r13
mov    %esi,%r12d
mov    %rdi,%rbx
cmp    $0x1001,%esi
setb   %al
cmp    $0x1001,%ecx
setb   %cl
and    %al,%cl
movzbl %cl,%edi
call   1030 <assert@plt>
cmp    %r14d,%r12d
jge    1150 <fc_lev_bounded2+0x40>
mov    %rbx,%r15
mov    %r12d,%ebp
jmp    115c <fc_lev_bounded2+0x4c>
mov    %r13,%r15
mov    %r14d,%ebp
mov    %r12d,%r14d
mov    %rbx,%r13
xor    %edi,%edi
mov    %r14d,%ebx
sub    %ebp,%ebx
setge  %dil
call   1030 <assert@plt>
xor    %r8d,%r8d
test   %ebp,%ebp
je     11a2 <fc_lev_bounded2+0x92>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    0x0(%r13),%rax
cmp    (%r15),%rax
jne    119f <fc_lev_bounded2+0x8f>
add    $0x8,%r13
add    $0x8,%r15
add    $0xffffffff,%r14d
add    $0xffffffff,%ebp
jne    1180 <fc_lev_bounded2+0x70>
mov    %ebx,%r14d
jmp    11a2 <fc_lev_bounded2+0x92>
mov    %ebp,%r8d
movslq %r8d,%rdx
movslq %r14d,%rax
lea    -0x8(,%rax,8),%rsi
ff
add    %r13,%rsi
sub    %edx,%eax
lea    (%r15,%rdx,8),%rdi
add    $0xfffffffffffffff8,%rdi
neg    %rdx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmp    %rcx,%rdx
je     12d9 <fc_lev_bounded2+0x1c9>
mov    (%rsi,%rcx,8),%rbp
lea    -0x1(%rcx),%rbx
cmp    (%rdi,%rcx,8),%rbp
mov    %rbx,%rcx
je     11d0 <fc_lev_bounded2+0xc0>
add    $0x1,%r14d
lea    (%r14,%rbx,1),%r12
add    $0x1,%r8d
mov    %r8,(%rsp)
lea    (%r8,%rbx,1),%rsi
mov    %r12d,%eax
sub    %esi,%eax
cmp    $0x3,%eax
jge    12de <fc_lev_bounded2+0x1ce>
cltq
shl    $0x5,%rax
lea    0x2b97(%rip),%rcx
lea    (%rcx,%rax,1),%r11
mov    (%rax,%rcx,1),%rdi
test   %r12d,%r12d
setg   %r10b
test   %esi,%esi
setg   %r9b
and    %r9b,%r10b
add    %rbx,%r14
add    %rbx,(%rsp)
mov    $0x3,%eax
jmp    126b <fc_lev_bounded2+0x15b>
nop
xor    %ebp,%ebp
mov    $0x0,%ecx
mov    $0x0,%edx
mov    %r9d,%ebx
test   %r12d,%r12d
jle    12ce <fc_lev_bounded2+0x1be>
sub    %ebp,%ecx
add    %r14d,%ecx
cmp    %eax,%ecx
cmovl  %ecx,%eax
mov    0x8(%r11),%rdi
add    $0x8,%r11
test   %rdi,%rdi
je     12e7 <fc_lev_bounded2+0x1d7>
test   %r10b,%r10b
je     1240 <fc_lev_bounded2+0x130>
xor    %ecx,%ecx
xor    %edx,%edx
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
movslq %ebp,%rbx
mov    0x0(%r13,%rbx,8),%rbx
movslq %edx,%r8
cmp    (%r15,%r8,8),%rbx
je     12b0 <fc_lev_bounded2+0x1a0>
cmp    $0x1,%ecx
jg     125e <fc_lev_bounded2+0x14e>
movslq %ecx,%rbx
add    $0x1,%ecx
movsbl (%rdi,%rbx,1),%ebx
cmp    $0x69,%ebx
je     12b3 <fc_lev_bounded2+0x1a3>
cmp    $0x64,%ebx
jne    12b0 <fc_lev_bounded2+0x1a0>
add    $0x1,%ebp
jmp    12b6 <fc_lev_bounded2+0x1a6>
nop
add    $0x1,%ebp
add    $0x1,%edx
cmp    %esi,%edx
setl   %bl
cmp    %r12d,%ebp
jge    12c4 <fc_lev_bounded2+0x1b4>
cmp    %esi,%edx
jl     1280 <fc_lev_bounded2+0x170>
cmp    $0x2,%ecx
jg     125e <fc_lev_bounded2+0x14e>
cmp    %r12d,%ebp
jl     1254 <fc_lev_bounded2+0x144>
test   %bl,%bl
je     1259 <fc_lev_bounded2+0x149>
sub    %edx,%ecx
add    (%rsp),%ecx
jmp    1259 <fc_lev_bounded2+0x149>
cmp    $0x2,%eax
jle    12e7 <fc_lev_bounded2+0x1d7>
mov    0x2cf3(%rip),%rax
mov    (%rax),%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@fc_lev_bounded2.models = internal unnamed_addr constant [3 x [4 x i8*]] [[4 x i8*] [i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i32 0, i32 0), i8* null], [4 x i8*] [i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i32 0, i32 0), i8* null, i8* null], [4 x i8*] [i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.5, i32 0, i32 0), i8* null, i8* null, i8* null]]
@.str = [3 x i8] c"id\00"
@.str.1 = [3 x i8] c"di\00"
@.str.2 = [3 x i8] c"rr\00"
@.str.3 = [3 x i8] c"dr\00"
@.str.4 = [3 x i8] c"rd\00"
@.str.5 = [3 x i8] c"dd\00"
@INT32_MAX = global i32 0
define i32 @fc_lev_bounded2(i64* nocapture %0, i32 %1, i64* nocapture %2, i32 %3) {
%5 = icmp ult i32 %1, 4097
%6 = icmp ult i32 %3, 4097
%7 = and i1 %5, %6
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = icmp slt i32 %1, %3
br i1 %10, label %11, label %12
11: ; preds = %4
br label %12
12: ; preds = %4, %11
%13 = phi i64* [ %0, %11 ], [ %2, %4 ]
%14 = phi i32 [ %1, %11 ], [ %3, %4 ]
%15 = phi i32 [ %3, %11 ], [ %1, %4 ]
%16 = phi i64* [ %2, %11 ], [ %0, %4 ]
%17 = icmp sge i32 %15, %14
%18 = zext i1 %17 to i32
%19 = tail call i32 @assert(i32 %18)
%20 = icmp eq i32 %14, 0
br i1 %20, label %37, label %21
21: ; preds = %12
%22 = sub i32 %15, %14
br label %23
23: ; preds = %21, %31
%24 = phi i64* [ %32, %31 ], [ %16, %21 ]
%25 = phi i32 [ %34, %31 ], [ %15, %21 ]
%26 = phi i32 [ %35, %31 ], [ %14, %21 ]
%27 = phi i64* [ %33, %31 ], [ %13, %21 ]
%28 = load i64, i64* %24
%29 = load i64, i64* %27
%30 = icmp eq i64 %28, %29
br i1 %30, label %31, label %37
31: ; preds = %23
%32 = getelementptr inbounds i64, i64* %24, i64 1
%33 = getelementptr inbounds i64, i64* %27, i64 1
%34 = add nsw i32 %25, -1
%35 = add nsw i32 %26, -1
%36 = icmp eq i32 %35, 0
br i1 %36, label %37, label %23
37: ; preds = %23, %31, %12
%38 = phi i64* [ %13, %12 ], [ %33, %31 ], [ %27, %23 ]
%39 = phi i32 [ 0, %12 ], [ 0, %31 ], [ %26, %23 ]
%40 = phi i32 [ %15, %12 ], [ %22, %31 ], [ %25, %23 ]
%41 = phi i64* [ %16, %12 ], [ %32, %31 ], [ %24, %23 ]
%42 = sext i32 %39 to i64
%43 = sext i32 %40 to i64
%44 = sub i32 %40, %39
br label %45
45: ; preds = %49, %37
%46 = phi i64 [ %50, %49 ], [ %43, %37 ]
%47 = phi i64 [ %53, %49 ], [ %42, %37 ]
%48 = icmp eq i64 %47, 0
br i1 %48, label %57, label %49
49: ; preds = %45
%50 = add nsw i64 %46, -1
%51 = getelementptr inbounds i64, i64* %41, i64 %50
%52 = load i64, i64* %51
%53 = add nsw i64 %47, -1
%54 = getelementptr inbounds i64, i64* %38, i64 %53
%55 = load i64, i64* %54
%56 = icmp eq i64 %52, %55
br i1 %56, label %45, label %59
57: ; preds = %45
%58 = icmp sgt i32 %44, 2
br i1 %58, label %64, label %138
59: ; preds = %49
%60 = trunc i64 %46 to i32
%61 = trunc i64 %47 to i32
%62 = sub nsw i32 %60, %61
%63 = icmp sgt i32 %62, 2
br i1 %63, label %64, label %66
64: ; preds = %59, %57
%65 = load i32, i32* @INT32_MAX
br label %138
66: ; preds = %59
%67 = sext i32 %62 to i64
%68 = getelementptr inbounds [3 x [4 x i8*]], [3 x [4 x i8*]]* @fc_lev_bounded2.models, i64 0, i64 %67, i64 0
%69 = load i8*, i8** %68
%70 = icmp sgt i32 %60, 0
%71 = icmp sgt i32 %61, 0
%72 = select i1 %70, i1 %71, i1 false
br label %73
73: ; preds = %66, %133
%74 = phi i8* [ %69, %66 ], [ %136, %133 ]
%75 = phi i8** [ %68, %66 ], [ %135, %133 ]
%76 = phi i32 [ 3, %66 ], [ %134, %133 ]
br i1 %72, label %78, label %77
77: ; preds = %73
br i1 %70, label %117, label %122
78: ; preds = %73, %107
%79 = phi i32 [ %110, %107 ], [ 0, %73 ]
%80 = phi i32 [ %109, %107 ], [ 0, %73 ]
%81 = phi i32 [ %108, %107 ], [ 0, %73 ]
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds i64, i64* %41, i64 %82
%84 = load i64, i64* %83
%85 = sext i32 %80 to i64
%86 = getelementptr inbounds i64, i64* %38, i64 %85
%87 = load i64, i64* %86
%88 = icmp eq i64 %84, %87
br i1 %88, label %89, label %92
89: ; preds = %78
%90 = add nsw i32 %81, 1
%91 = add nsw i32 %80, 1
br label %107
92: ; preds = %78
%93 = add nsw i32 %79, 1
%94 = icmp sgt i32 %79, 1
br i1 %94, label %133, label %95
95: ; preds = %92
%96 = sext i32 %79 to i64
%97 = getelementptr inbounds i8, i8* %74, i64 %96
%98 = load i8, i8* %97
%99 = sext i8 %98 to i32
switch i32 %99, label %104 [
i32 100, label %100
i32 105, label %102
]
100: ; preds = %95
%101 = add nsw i32 %81, 1
br label %107
102: ; preds = %95
%103 = add nsw i32 %80, 1
br label %107
104: ; preds = %95
%105 = add nsw i32 %81, 1
%106 = add nsw i32 %80, 1
br label %107
107: ; preds = %100, %102, %104, %89
%108 = phi i32 [ %90, %89 ], [ %105, %104 ], [ %81, %102 ], [ %101, %100 ]
%109 = phi i32 [ %91, %89 ], [ %106, %104 ], [ %103, %102 ], [ %80, %100 ]
%110 = phi i32 [ %79, %89 ], [ %93, %104 ], [ %93, %102 ], [ %93, %100 ]
%111 = icmp slt i32 %108, %60
%112 = icmp slt i32 %109, %61
%113 = select i1 %111, i1 %112, i1 false
br i1 %113, label %78, label %114
114: ; preds = %107
%115 = icmp slt i32 %110, 3
br i1 %115, label %116, label %133
116: ; preds = %114
br i1 %111, label %117, label %122
117: ; preds = %77, %116
%118 = phi i32 [ 0, %77 ], [ %108, %116 ]
%119 = phi i32 [ 0, %77 ], [ %110, %116 ]
%120 = sub i32 %60, %118
%121 = add nsw i32 %120, %119
br label %129
122: ; preds = %77, %116
%123 = phi i32 [ 0, %77 ], [ %109, %116 ]
%124 = phi i32 [ 0, %77 ], [ %110, %116 ]
%125 = phi i1 [ %71, %77 ], [ %112, %116 ]
br i1 %125, label %126, label %129
126: ; preds = %122
%127 = sub i32 %61, %123
%128 = add nsw i32 %127, %124
br label %129
129: ; preds = %122, %126, %117
%130 = phi i32 [ %121, %117 ], [ %128, %126 ], [ %124, %122 ]
%131 = icmp slt i32 %130, %76
%132 = select i1 %131, i32 %130, i32 %76
br label %133
133: ; preds = %92, %129, %114
%134 = phi i32 [ %76, %114 ], [ %132, %129 ], [ %76, %92 ]
%135 = getelementptr inbounds i8*, i8** %75, i64 1
%136 = load i8*, i8** %135
%137 = icmp eq i8* %136, null
br i1 %137, label %138, label %73
138: ; preds = %133, %57, %64
%139 = phi i32 [ %65, %64 ], [ %44, %57 ], [ %134, %133 ]
ret i32 %139
}