#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 */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ build_lcs_str(char const *, size_t, char const *, size_t,
                                 unsigned int **, char *);
size_t strlen(char const *);
size_t lcs(const char *str1, const char *str2, char *out) {
  size_t M = strlen(str1);
  size_t N = strlen(str2);
  assert(M <= 1024);
  assert(N <= 1024);
  static unsigned lcs_table[1024 + 1][1024 + 1];
  size_t i;
  for (i = 0; i < M; i++) {
    lcs_table[i][0] = 0;
  }
  for (i = 0; i < N; i++) {
    lcs_table[0][i] = 0;
  }
  for (i = 1; i < M + 1; i++) {
    size_t j;
    for (j = 1; j < N + 1; j++) {
      if (str1[i - 1] == str2[j - 1]) {
        lcs_table[i][j] = lcs_table[i - 1][j - 1] + 1;
      } else {
        lcs_table[i][j] =
            ((((lcs_table[i][j - 1]) > (lcs_table[i - 1][j])
                   ? (lcs_table[i][j - 1])
                   : (lcs_table[i - 1][j]))) > (lcs_table[i - 1][j - 1])
                 ? (((lcs_table[i][j - 1]) > (lcs_table[i - 1][j])
                         ? (lcs_table[i][j - 1])
                         : (lcs_table[i - 1][j])))
                 : (lcs_table[i - 1][j - 1]));
      }
    }
  }
  build_lcs_str(str1, M, str2, N, lcs_table, out);
  return lcs_table[M][N];
}


x86 assembly (clang, -O0):
<lcs>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x400,-0x20(%rbp)
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cmpq   $0x400,-0x28(%rbp)
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
movq   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    11c7 <lcs+0x97>
lea    0x2eab(%rip),%rax
imul   $0x1004,-0x30(%rbp),%rcx
add    %rcx,%rax
movl   $0x0,(%rax)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1190 <lcs+0x60>
movq   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1200 <lcs+0xd0>
mov    -0x30(%rbp),%rcx
lea    0x2e68(%rip),%rax
movl   $0x0,(%rax,%rcx,4)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    11cf <lcs+0x9f>
movq   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x20(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jae    1464 <lcs+0x334>
movq   $0x1,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x28(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jae    144e <lcs+0x31e>
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    $0x1,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
mov    -0x38(%rbp),%rdx
sub    $0x1,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    12a7 <lcs+0x177>
mov    -0x30(%rbp),%rcx
sub    $0x1,%rcx
lea    0x2ddf(%rip),%rax
imul   $0x1004,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
lea    0x2dc0(%rip),%rax
imul   $0x1004,-0x30(%rbp),%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1438 <lcs+0x308>
lea    0x2da2(%rip),%rax
imul   $0x1004,-0x30(%rbp),%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x30(%rbp),%rdx
sub    $0x1,%rdx
lea    0x2d7d(%rip),%rcx
imul   $0x1004,%rdx,%rdx
add    %rdx,%rcx
mov    -0x38(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jbe    130f <lcs+0x1df>
lea    0x2d5f(%rip),%rax
imul   $0x1004,-0x30(%rbp),%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
jmp    1332 <lcs+0x202>
mov    -0x30(%rbp),%rcx
sub    $0x1,%rcx
lea    0x2d32(%rip),%rax
imul   $0x1004,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    -0x30(%rbp),%rdx
sub    $0x1,%rdx
lea    0x2d0c(%rip),%rcx
imul   $0x1004,%rdx,%rdx
add    %rdx,%rcx
mov    -0x38(%rbp),%rdx
sub    $0x1,%rdx
cmp    (%rcx,%rdx,4),%eax
jbe    13f5 <lcs+0x2c5>
lea    0x2cea(%rip),%rax
imul   $0x1004,-0x30(%rbp),%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x30(%rbp),%rdx
sub    $0x1,%rdx
lea    0x2cc5(%rip),%rcx
imul   $0x1004,%rdx,%rdx
add    %rdx,%rcx
mov    -0x38(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jbe    13c7 <lcs+0x297>
lea    0x2ca7(%rip),%rax
imul   $0x1004,-0x30(%rbp),%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
jmp    13ea <lcs+0x2ba>
mov    -0x30(%rbp),%rcx
sub    $0x1,%rcx
lea    0x2c7a(%rip),%rax
imul   $0x1004,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    141c <lcs+0x2ec>
mov    -0x30(%rbp),%rcx
sub    $0x1,%rcx
lea    0x2c4c(%rip),%rax
imul   $0x1004,%rcx,%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%edx
lea    0x2c2a(%rip),%rax
imul   $0x1004,-0x30(%rbp),%rcx
add    %rcx,%rax
mov    -0x38(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    143d <lcs+0x30d>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1225 <lcs+0xf5>
jmp    1453 <lcs+0x323>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1208 <lcs+0xd8>
mov    -0x8(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x10(%rbp),%rdx
mov    -0x28(%rbp),%rcx
mov    -0x18(%rbp),%r9
lea    0x2bd1(%rip),%r8
call   1040 <build_lcs_str@plt>
lea    0x2bc5(%rip),%rax
imul   $0x1004,-0x20(%rbp),%rcx
add    %rcx,%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<lcs>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdx,%r14
mov    %rsi,%r12
mov    %rdi,%r13
call   1030 <strlen@plt>
mov    %rax,%r15
mov    %r12,%rdi
call   1030 <strlen@plt>
mov    %rax,%rbx
xor    %edi,%edi
cmp    $0x401,%r15
setb   %dil
call   1060 <assert@plt>
xor    %edi,%edi
cmp    $0x401,%rbx
setb   %dil
call   1060 <assert@plt>
test   %r15,%r15
je     1233 <lcs+0xf3>
lea    -0x1(%r15),%rcx
mov    %r15d,%eax
and    $0x3,%eax
cmp    $0x3,%rcx
jae    11a8 <lcs+0x68>
xor    %ecx,%ecx
jmp    11f4 <lcs+0xb4>
mov    %r15,%rdx
and    $0xfffffffffffffffc,%rdx
lea    0x2e9a(%rip),%rsi
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movl   $0x0,(%rsi)
movl   $0x0,0x1004(%rsi)
movl   $0x0,0x2008(%rsi)
movl   $0x0,0x300c(%rsi)
add    $0x4,%rcx
add    $0x4010,%rsi
cmp    %rcx,%rdx
jne    11c0 <lcs+0x80>
test   %rax,%rax
je     1233 <lcs+0xf3>
mov    %rcx,%rdx
shl    $0xc,%rdx
lea    (%rdx,%rcx,4),%rdx
lea    0x2e45(%rip),%rcx
add    %rdx,%rcx
mov    %rax,%rdx
shl    $0xc,%rdx
lea    (%rdx,%rax,4),%rax
xor    %edx,%edx
nopl   0x0(%rax,%rax,1)
movl   $0x0,(%rcx,%rdx,1)
add    $0x1004,%rdx
cmp    %rdx,%rax
jne    1220 <lcs+0xe0>
test   %rbx,%rbx
je     124e <lcs+0x10e>
lea    0x0(,%rbx,4),%rdx
lea    0x2e09(%rip),%rdi
xor    %esi,%esi
call   1040 <memset@plt>
lea    -0x1(%r15),%rax
cmp    $0xfffffffffffffffd,%rax
ja     12cc <lcs+0x18c>
lea    -0x1(%rbx),%r8
mov    $0x1,%edx
lea    0x2de8(%rip),%rcx
jmp    1283 <lcs+0x143>
nopw   0x0(%rax,%rax,1)
lea    0x1(%rdx),%rax
add    $0x1004,%rcx
cmp    %r15,%rdx
mov    %rax,%rdx
je     12cc <lcs+0x18c>
cmp    $0xfffffffffffffffd,%r8
ja     1270 <lcs+0x130>
xor    %esi,%esi
jmp    12b8 <lcs+0x178>
nopl   (%rax)
mov    0x1004(%rcx,%rsi,4),%eax
mov    (%rcx,%rsi,4),%ebp
mov    0x4(%rcx,%rsi,4),%edi
cmp    %edi,%eax
cmova  %eax,%edi
cmp    %ebp,%edi
cmovbe %ebp,%edi
mov    %edi,0x1008(%rcx,%rsi,4)
add    $0x1,%rsi
cmp    %rsi,%rbx
je     1270 <lcs+0x130>
movzbl -0x1(%r13,%rdx,1),%eax
cmp    (%r12,%rsi,1),%al
jne    1290 <lcs+0x150>
mov    (%rcx,%rsi,4),%edi
add    $0x1,%edi
jmp    12a8 <lcs+0x168>
lea    0x2d7d(%rip),%rbp
mov    %r13,%rdi
mov    %r15,%rsi
mov    %r12,%rdx
mov    %rbx,%rcx
mov    %rbp,%r8
mov    %r14,%r9
call   1050 <build_lcs_str@plt>
mov    %r15,%rax
shl    $0xc,%rax
lea    (%rax,%r15,4),%rax
add    %rbp,%rax
mov    (%rax,%rbx,4),%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@lcs.lcs_table = internal global [1025 x [1025 x i32]] zeroinitializer
define i64 @lcs(i8* %0, i8* %1, i8* %2) {
%4 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%5 = tail call i64 @strlen(i8* dereferenceable(1) %1)
%6 = icmp ult i64 %4, 1025
%7 = zext i1 %6 to i32
%8 = tail call i32 @assert(i32 %7)
%9 = icmp ult i64 %5, 1025
%10 = zext i1 %9 to i32
%11 = tail call i32 @assert(i32 %10)
%12 = icmp eq i64 %4, 0
br i1 %12, label %29, label %13
13: ; preds = %3
%14 = add i64 %4, -1
%15 = and i64 %4, 3
%16 = icmp ult i64 %14, 3
br i1 %16, label %19, label %17
17: ; preds = %13
%18 = and i64 %4, -4
br label %33
19: ; preds = %33, %13
%20 = phi i64 [ 0, %13 ], [ %43, %33 ]
%21 = icmp eq i64 %15, 0
br i1 %21, label %29, label %22
22: ; preds = %19, %22
%23 = phi i64 [ %26, %22 ], [ %20, %19 ]
%24 = phi i64 [ %27, %22 ], [ 0, %19 ]
%25 = getelementptr inbounds [1025 x [1025 x i32]], [1025 x [1025 x i32]]* @lcs.lcs_table, i64 0, i64 %23, i64 0
store i32 0, i32* %25
%26 = add nuw i64 %23, 1
%27 = add i64 %24, 1
%28 = icmp eq i64 %27, %15
br i1 %28, label %29, label %22
29: ; preds = %19, %22, %3
%30 = icmp eq i64 %5, 0
br i1 %30, label %46, label %31
31: ; preds = %29
%32 = shl nuw i64 %5, 2
br label %46
33: ; preds = %33, %17
%34 = phi i64 [ 0, %17 ], [ %43, %33 ]
%35 = phi i64 [ 0, %17 ], [ %44, %33 ]
%36 = getelementptr inbounds [1025 x [1025 x i32]], [1025 x [1025 x i32]]* @lcs.lcs_table, i64 0, i64 %34, i64 0
store i32 0, i32* %36
%37 = or i64 %34, 1
%38 = getelementptr inbounds [1025 x [1025 x i32]], [1025 x [1025 x i32]]* @lcs.lcs_table, i64 0, i64 %37, i64 0
store i32 0, i32* %38
%39 = or i64 %34, 2
%40 = getelementptr inbounds [1025 x [1025 x i32]], [1025 x [1025 x i32]]* @lcs.lcs_table, i64 0, i64 %39, i64 0
store i32 0, i32* %40
%41 = or i64 %34, 3
%42 = getelementptr inbounds [1025 x [1025 x i32]], [1025 x [1025 x i32]]* @lcs.lcs_table, i64 0, i64 %41, i64 0
store i32 0, i32* %42
%43 = add nuw i64 %34, 4
%44 = add i64 %35, 4
%45 = icmp eq i64 %44, %18
br i1 %45, label %19, label %33
46: ; preds = %31, %29
%47 = add i64 %4, -1
%48 = icmp ult i64 %47, -2
br i1 %48, label %49, label %87
49: ; preds = %46
%50 = add i64 %5, -1
%51 = icmp ult i64 %50, -2
br label %52
52: ; preds = %49, %84
%53 = phi i64 [ 1, %49 ], [ %85, %84 ]
br i1 %51, label %54, label %84
54: ; preds = %52
%55 = add i64 %53, -1
%56 = getelementptr inbounds i8, i8* %0, i64 %55
br label %57
57: ; preds = %54, %79
%58 = phi i64 [ 1, %54 ], [ %82, %79 ]
%59 = load i8, i8* %56
%60 = add i64 %58, -1
%61 = getelementptr inbounds i8, i8* %1, i64 %60
%62 = load i8, i8* %61
%63 = icmp eq i8 %59, %62
br i1 %63, label %64, label %68
64: ; preds = %57
%65 = getelementptr inbounds [1025 x [1025 x i32]], [1025 x [1025 x i32]]* @lcs.lcs_table, i64 0, i64 %55, i64 %60
%66 = load i32, i32* %65
%67 = add i32 %66, 1
br label %79
68: ; preds = %57
%69 = getelementptr inbounds [1025 x [1025 x i32]], [1025 x [1025 x i32]]* @lcs.lcs_table, i64 0, i64 %53, i64 %60
%70 = load i32, i32* %69
%71 = getelementptr inbounds [1025 x [1025 x i32]], [1025 x [1025 x i32]]* @lcs.lcs_table, i64 0, i64 %55, i64 %58
%72 = load i32, i32* %71
%73 = icmp ugt i32 %70, %72
%74 = select i1 %73, i32 %70, i32 %72
%75 = getelementptr inbounds [1025 x [1025 x i32]], [1025 x [1025 x i32]]* @lcs.lcs_table, i64 0, i64 %55, i64 %60
%76 = load i32, i32* %75
%77 = icmp ugt i32 %74, %76
%78 = select i1 %77, i32 %74, i32 %76
br label %79
79: ; preds = %64, %68
%80 = phi i32 [ %67, %64 ], [ %78, %68 ]
%81 = getelementptr inbounds [1025 x [1025 x i32]], [1025 x [1025 x i32]]* @lcs.lcs_table, i64 0, i64 %53, i64 %58
store i32 %80, i32* %81
%82 = add nuw i64 %58, 1
%83 = icmp eq i64 %58, %5
br i1 %83, label %84, label %57
84: ; preds = %79, %52
%85 = add nuw i64 %53, 1
%86 = icmp eq i64 %53, %4
br i1 %86, label %87, label %52
87: ; preds = %84, %46
%88 = tail call i32 @build_lcs_str(i8* %0, i64 %4, i8* %1, i64 %5, i32** bitcast ([1025 x [1025 x i32]]* @lcs.lcs_table to i32**), i8* %2)
%89 = getelementptr inbounds [1025 x [1025 x i32]], [1025 x [1025 x i32]]* @lcs.lcs_table, i64 0, i64 %4, i64 %5
%90 = load i32, i32* %89
%91 = zext i32 %90 to i64
ret i64 %91
}