#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 */
void *malloc(size_t);
int max(int, int);
int /*<<< orphan*/ memcpy(void *, void *, size_t);
int AL_longest_common_subsequence(size_t size, void *arr1, int arr1len,
                                  void *arr2, int arr2len,
                                  int (*comp)(void *key1, void *key2),
                                  void **ret) {
  int M[arr1len + 1][arr2len + 1];
  for (int j = 0; j < arr1len + 1; j++) {
    for (int i = 0; i < arr2len + 1; i++) {
      if (i == 0 || j == 0) {
        M[j][i] = 0;
      } else {
        void *k1 = arr1 + (size * (j - 1));
        void *k2 = arr2 + (size * (i - 1));
        if (comp(k1, k2) == 0) {
          M[j][i] = M[j - 1][i - 1] + 1;
        } else {
          M[j][i] = max(M[j - 1][i], M[j][i - 1]);
        }
      }
    }
  }
  int p = M[arr1len][arr2len];
  int i, j;
  i = arr2len;
  j = arr1len;
  if (p > 0) {
    *ret = malloc(size * p);
    void *k = *ret + (size * (p - 1));
    void *s = NULL;
    while (p > 0 && j > 0 && i > 0) {
      if (M[j - 1][i] == p) {
        j--;
      } else if (M[j][i - 1] == p) {
        i--;
      } else {
        i--;
        j--;
        s = arr1 + (size * j);
        memcpy(k, s, size);
        p = M[j][i];
        k -= size;
      }
    }
  } else {
    *ret = NULL;
  }
  return M[arr1len][arr2len];
}


x86 assembly (clang, -O0):
<AL_longest_common_subsequence>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,%ecx
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %rax,-0x90(%rbp)
mov    %rsp,%rdx
mov    %rdx,-0x38(%rbp)
mov    %rcx,%rdx
imul   %rax,%rdx
lea    0xf(,%rdx,4),%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rdx
sub    %rsi,%rdx
mov    %rdx,-0x88(%rbp)
mov    %rdx,%rsp
mov    %rcx,-0x40(%rbp)
mov    %rax,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jge    1349 <AL_longest_common_subsequence+0x219>
movl   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%eax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jge    1336 <AL_longest_common_subsequence+0x206>
cmpl   $0x0,-0x50(%rbp)
je     11e1 <AL_longest_common_subsequence+0xb1>
cmpl   $0x0,-0x4c(%rbp)
jne    120e <AL_longest_common_subsequence+0xde>
mov    -0x88(%rbp),%rax
mov    -0x90(%rbp),%rdx
movslq -0x4c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    1323 <AL_longest_common_subsequence+0x1f3>
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    -0x4c(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
imul   %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    -0x50(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
imul   %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x58(%rbp),%rdi
mov    -0x60(%rbp),%rsi
call   *%rax
cmp    $0x0,%eax
jne    12ac <AL_longest_common_subsequence+0x17c>
mov    -0x88(%rbp),%rax
mov    -0x90(%rbp),%rsi
mov    -0x4c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rdx
imul   %rsi,%rdx
shl    $0x2,%rdx
mov    %rax,%rcx
add    %rdx,%rcx
mov    -0x50(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%edx
add    $0x1,%edx
movslq -0x4c(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    131e <AL_longest_common_subsequence+0x1ee>
mov    -0x88(%rbp),%rax
mov    -0x90(%rbp),%rdx
mov    -0x4c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rsi
imul   %rdx,%rsi
shl    $0x2,%rsi
mov    %rax,%rcx
add    %rsi,%rcx
movslq -0x50(%rbp),%rsi
mov    (%rcx,%rsi,4),%edi
movslq -0x4c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x50(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%esi
call   1030 <max@plt>
mov    -0x90(%rbp),%rsi
mov    %eax,%edx
mov    -0x88(%rbp),%rax
movslq -0x4c(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1323 <AL_longest_common_subsequence+0x1f3>
jmp    1328 <AL_longest_common_subsequence+0x1f8>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    11bc <AL_longest_common_subsequence+0x8c>
jmp    133b <AL_longest_common_subsequence+0x20b>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    11a4 <AL_longest_common_subsequence+0x74>
mov    -0x88(%rbp),%rax
mov    -0x90(%rbp),%rdx
movslq -0x14(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x64(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x6c(%rbp)
cmpl   $0x0,-0x64(%rbp)
jle    1510 <AL_longest_common_subsequence+0x3e0>
mov    -0x8(%rbp),%rdi
movslq -0x64(%rbp),%rax
imul   %rax,%rdi
call   1050 <malloc@plt>
mov    %rax,%rcx
mov    0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x8(%rbp),%rcx
mov    -0x64(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
imul   %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x78(%rbp)
movq   $0x0,-0x80(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x64(%rbp)
mov    %al,-0x91(%rbp)
jle    13f9 <AL_longest_common_subsequence+0x2c9>
xor    %eax,%eax
cmpl   $0x0,-0x6c(%rbp)
mov    %al,-0x91(%rbp)
jle    13f9 <AL_longest_common_subsequence+0x2c9>
cmpl   $0x0,-0x68(%rbp)
setg   %al
mov    %al,-0x91(%rbp)
mov    -0x91(%rbp),%al
test   $0x1,%al
jne    140c <AL_longest_common_subsequence+0x2dc>
jmp    150b <AL_longest_common_subsequence+0x3db>
mov    -0x88(%rbp),%rax
mov    -0x90(%rbp),%rdx
mov    -0x6c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x68(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x64(%rbp),%eax
jne    144c <AL_longest_common_subsequence+0x31c>
mov    -0x6c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x6c(%rbp)
jmp    1506 <AL_longest_common_subsequence+0x3d6>
mov    -0x88(%rbp),%rax
mov    -0x90(%rbp),%rdx
movslq -0x6c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x68(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x64(%rbp),%eax
jne    148c <AL_longest_common_subsequence+0x35c>
mov    -0x68(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x68(%rbp)
jmp    1501 <AL_longest_common_subsequence+0x3d1>
mov    -0x68(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x68(%rbp)
mov    -0x6c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x6c(%rbp),%rdx
imul   %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x80(%rbp)
mov    -0x78(%rbp),%rdi
mov    -0x80(%rbp),%rsi
mov    -0x8(%rbp),%rdx
call   1040 <memcpy@plt>
mov    -0x90(%rbp),%rdx
mov    -0x88(%rbp),%rax
movslq -0x6c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x68(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x64(%rbp)
mov    -0x8(%rbp),%rdx
mov    -0x78(%rbp),%rax
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x78(%rbp)
jmp    1506 <AL_longest_common_subsequence+0x3d6>
jmp    13c8 <AL_longest_common_subsequence+0x298>
jmp    151b <AL_longest_common_subsequence+0x3eb>
mov    0x10(%rbp),%rax
movq   $0x0,(%rax)
mov    -0x88(%rbp),%rax
mov    -0x90(%rbp),%rdx
movslq -0x14(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x38(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<AL_longest_common_subsequence>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %r9,-0x38(%rbp)
mov    %r8d,%r12d
mov    %rcx,-0x60(%rbp)
mov    %rsi,-0x68(%rbp)
mov    %rdi,%rsi
lea    0x1(%rdx),%ecx
lea    0x1(%r12),%eax
mov    %rax,-0x48(%rbp)
mov    %rcx,-0x90(%rbp)
imul   %rcx,%rax
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%rcx
sub    %rax,%rcx
mov    %rcx,-0x40(%rbp)
mov    %rcx,%rsp
mov    %rdx,-0x78(%rbp)
test   %edx,%edx
mov    %rdi,-0x30(%rbp)
js     126d <AL_longest_common_subsequence+0x13d>
mov    -0x48(%rbp),%r13
lea    0x0(,%r13,4),%rax
sub    %rsi,-0x60(%rbp)
mov    %rax,-0x80(%rbp)
neg    %rax
mov    %rax,-0x70(%rbp)
neg    %r13
xor    %ebx,%ebx
mov    -0x40(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    %r12,-0x88(%rbp)
jmp    11f0 <AL_longest_common_subsequence+0xc0>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%rbx
mov    -0x50(%rbp),%rax
add    -0x80(%rbp),%rax
mov    %rax,-0x50(%rbp)
cmp    -0x90(%rbp),%rbx
mov    -0x88(%rbp),%r12
je     126d <AL_longest_common_subsequence+0x13d>
test   %r12d,%r12d
js     11d0 <AL_longest_common_subsequence+0xa0>
lea    -0x1(%rbx),%rax
imul   %rsi,%rax
add    -0x68(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x60(%rbp),%r12
xor    %r15d,%r15d
mov    -0x50(%rbp),%r14
jmp    1244 <AL_longest_common_subsequence+0x114>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    -0x70(%rbp),%rax
mov    (%r14,%rax,1),%edi
mov    -0x4(%r14),%esi
call   1030 <max@plt>
mov    -0x30(%rbp),%rsi
mov    %eax,(%r14)
add    $0x4,%r14
add    %rsi,%r12
cmp    %r15,%r13
je     11d0 <AL_longest_common_subsequence+0xa0>
xor    %eax,%eax
sub    $0x1,%r15
jb     1235 <AL_longest_common_subsequence+0x105>
test   %rbx,%rbx
je     1235 <AL_longest_common_subsequence+0x105>
mov    -0x58(%rbp),%rdi
mov    %r12,%rsi
call   *-0x38(%rbp)
test   %eax,%eax
jne    1220 <AL_longest_common_subsequence+0xf0>
mov    -0x70(%rbp),%rax
mov    -0x4(%r14,%rax,1),%eax
add    $0x1,%eax
jmp    1231 <AL_longest_common_subsequence+0x101>
mov    0x10(%rbp),%r14
mov    -0x78(%rbp),%r15
movslq %r15d,%rax
mov    -0x48(%rbp),%rbx
imul   %rbx,%rax
mov    -0x40(%rbp),%rcx
lea    (%rcx,%rax,4),%rax
movslq %r12d,%rcx
mov    (%rax,%rcx,4),%edi
test   %edi,%edi
mov    %rdi,-0x38(%rbp)
jle    1357 <AL_longest_common_subsequence+0x227>
imul   %rsi,%rdi
call   1050 <malloc@plt>
mov    -0x30(%rbp),%r8
mov    %rax,(%r14)
test   %r15d,%r15d
jle    135e <AL_longest_common_subsequence+0x22e>
test   %r12d,%r12d
jle    135e <AL_longest_common_subsequence+0x22e>
mov    %rax,%r13
mov    -0x38(%rbp),%rcx
lea    -0x1(%rcx),%eax
imul   %r8,%rax
add    %rax,%r13
mov    %r8,%rax
neg    %rax
mov    %rax,-0x58(%rbp)
mov    %ecx,%eax
nopl   0x0(%rax)
mov    %r15,%rdi
add    $0xffffffff,%r15d
mov    %r15,%rcx
imul   %rbx,%rcx
mov    -0x40(%rbp),%rsi
lea    (%rsi,%rcx,4),%r14
mov    %r12d,%ecx
cmp    %eax,(%r14,%rcx,4)
je     1343 <AL_longest_common_subsequence+0x213>
mov    %edi,%ecx
imul   %rbx,%rcx
lea    (%rsi,%rcx,4),%rcx
add    $0xffffffff,%r12d
cmp    %eax,(%rcx,%r12,4)
jne    1320 <AL_longest_common_subsequence+0x1f0>
mov    %rdi,%rdx
mov    %rdi,%r15
jmp    1343 <AL_longest_common_subsequence+0x213>
nopl   0x0(%rax,%rax,1)
mov    %r15,%rsi
imul   %r8,%rsi
add    -0x68(%rbp),%rsi
mov    %r13,%rdi
mov    -0x30(%rbp),%rdx
call   1040 <memcpy@plt>
mov    -0x30(%rbp),%r8
mov    (%r14,%r12,4),%eax
add    -0x58(%rbp),%r13
test   %eax,%eax
mov    -0x48(%rbp),%rbx
jle    135e <AL_longest_common_subsequence+0x22e>
test   %r15d,%r15d
jle    135e <AL_longest_common_subsequence+0x22e>
test   %r12d,%r12d
jg     12e0 <AL_longest_common_subsequence+0x1b0>
jmp    135e <AL_longest_common_subsequence+0x22e>
movq   $0x0,(%r14)
mov    -0x38(%rbp),%rax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @AL_longest_common_subsequence(i64 %0, i8* %1, i32 %2, i8* %3, i32 %4, i32 (i8*, i8*)* nocapture %5, i8** nocapture writeonly %6) {
%8 = add i32 %2, 1
%9 = zext i32 %8 to i64
%10 = add i32 %4, 1
%11 = zext i32 %10 to i64
%12 = mul nuw i64 %11, %9
%13 = alloca i32, i64 %12
%14 = icmp slt i32 %2, 0
br i1 %14, label %28, label %15
15: ; preds = %7
%16 = icmp slt i32 %4, 0
br label %17
17: ; preds = %15, %36
%18 = phi i64 [ 0, %15 ], [ %37, %36 ]
br i1 %16, label %36, label %19
19: ; preds = %17
%20 = icmp eq i64 %18, 0
%21 = add nsw i64 %18, -1
%22 = mul i64 %21, %0
%23 = getelementptr i8, i8* %1, i64 %22
%24 = mul nsw i64 %21, %11
%25 = getelementptr inbounds i32, i32* %13, i64 %24
%26 = mul nuw nsw i64 %18, %11
%27 = getelementptr inbounds i32, i32* %13, i64 %26
br label %39
28: ; preds = %36, %7
%29 = sext i32 %2 to i64
%30 = mul nsw i64 %11, %29
%31 = getelementptr inbounds i32, i32* %13, i64 %30
%32 = sext i32 %4 to i64
%33 = getelementptr inbounds i32, i32* %31, i64 %32
%34 = load i32, i32* %33
%35 = icmp sgt i32 %34, 0
br i1 %35, label %64, label %116
36: ; preds = %59, %17
%37 = add nuw nsw i64 %18, 1
%38 = icmp eq i64 %37, %9
br i1 %38, label %28, label %17
39: ; preds = %19, %59
%40 = phi i64 [ 0, %19 ], [ %62, %59 ]
%41 = icmp eq i64 %40, 0
%42 = select i1 %41, i1 true, i1 %20
br i1 %42, label %59, label %43
43: ; preds = %39
%44 = add nsw i64 %40, -1
%45 = mul i64 %44, %0
%46 = getelementptr i8, i8* %3, i64 %45
%47 = tail call i32 %5(i8* %23, i8* %46)
%48 = icmp eq i32 %47, 0
br i1 %48, label %49, label %53
49: ; preds = %43
%50 = getelementptr inbounds i32, i32* %25, i64 %44
%51 = load i32, i32* %50
%52 = add nsw i32 %51, 1
br label %59
53: ; preds = %43
%54 = getelementptr inbounds i32, i32* %25, i64 %40
%55 = load i32, i32* %54
%56 = getelementptr inbounds i32, i32* %27, i64 %44
%57 = load i32, i32* %56
%58 = tail call i32 @max(i32 %55, i32 %57)
br label %59
59: ; preds = %39, %49, %53
%60 = phi i32 [ %52, %49 ], [ %58, %53 ], [ 0, %39 ]
%61 = getelementptr inbounds i32, i32* %27, i64 %40
store i32 %60, i32* %61
%62 = add nuw nsw i64 %40, 1
%63 = icmp eq i64 %62, %11
br i1 %63, label %36, label %39
64: ; preds = %28
%65 = zext i32 %34 to i64
%66 = mul i64 %65, %0
%67 = tail call i8* @malloc(i64 %66)
store i8* %67, i8** %6
%68 = icmp sgt i32 %2, 0
%69 = icmp sgt i32 %4, 0
%70 = and i1 %68, %69
br i1 %70, label %71, label %117
71: ; preds = %64
%72 = add nsw i32 %34, -1
%73 = zext i32 %72 to i64
%74 = mul i64 %73, %0
%75 = getelementptr i8, i8* %67, i64 %74
%76 = sub i64 0, %0
br label %77
77: ; preds = %71, %106
%78 = phi i8* [ %75, %71 ], [ %110, %106 ]
%79 = phi i32 [ %2, %71 ], [ %109, %106 ]
%80 = phi i32 [ %4, %71 ], [ %108, %106 ]
%81 = phi i32 [ %34, %71 ], [ %107, %106 ]
%82 = add nsw i32 %79, -1
%83 = zext i32 %82 to i64
%84 = mul nuw nsw i64 %83, %11
%85 = getelementptr inbounds i32, i32* %13, i64 %84
%86 = zext i32 %80 to i64
%87 = getelementptr inbounds i32, i32* %85, i64 %86
%88 = load i32, i32* %87
%89 = icmp eq i32 %88, %81
br i1 %89, label %106, label %90
90: ; preds = %77
%91 = zext i32 %79 to i64
%92 = mul nuw nsw i64 %91, %11
%93 = getelementptr inbounds i32, i32* %13, i64 %92
%94 = add nsw i32 %80, -1
%95 = zext i32 %94 to i64
%96 = getelementptr inbounds i32, i32* %93, i64 %95
%97 = load i32, i32* %96
%98 = icmp eq i32 %97, %81
br i1 %98, label %106, label %99
99: ; preds = %90
%100 = mul i64 %83, %0
%101 = getelementptr i8, i8* %1, i64 %100
%102 = tail call i32 @memcpy(i8* %78, i8* %101, i64 %0)
%103 = getelementptr inbounds i32, i32* %85, i64 %95
%104 = load i32, i32* %103
%105 = getelementptr i8, i8* %78, i64 %76
br label %106
106: ; preds = %90, %77, %99
%107 = phi i32 [ %104, %99 ], [ %81, %77 ], [ %81, %90 ]
%108 = phi i32 [ %94, %99 ], [ %80, %77 ], [ %94, %90 ]
%109 = phi i32 [ %82, %99 ], [ %82, %77 ], [ %79, %90 ]
%110 = phi i8* [ %105, %99 ], [ %78, %77 ], [ %78, %90 ]
%111 = icmp sgt i32 %107, 0
%112 = icmp sgt i32 %109, 0
%113 = select i1 %111, i1 %112, i1 false
%114 = icmp sgt i32 %108, 0
%115 = select i1 %113, i1 %114, i1 false
br i1 %115, label %77, label %117
116: ; preds = %28
store i8* null, i8** %6
br label %117
117: ; preds = %106, %64, %116
ret i32 %34
}