void get_lcs(const int ROWS, const int COLS, int table[ROWS][COLS],
             const char *X, const char *Y, char *lcs) {
  int i = ROWS - 1, j = COLS - 1, c = table[i][j] - 1;
  while (c >= 0) {
    while (i - 1 >= 0 && table[i - 1][j] == table[i][j]) {
      i--;
    }
    while (j - 1 >= 0 && table[i][j - 1] == table[i][j]) {
      j--;
    }
    if (i >= 0) {
      lcs[c--] = X[i];
    } else if (j >= 0) {
      lcs[c--] = Y[j];
    }
    i--;
    j--;
  }
}


x86 assembly (clang, -O0):
<get_lcs>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,%edx
mov    %rdx,-0x40(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jl     12c8 <get_lcs+0x1c8>
jmp    1164 <get_lcs+0x64>
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x41(%rbp)
jl     11bb <get_lcs+0xbb>
mov    -0x40(%rbp),%rsi
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
sete   %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    11cb <get_lcs+0xcb>
jmp    11d9 <get_lcs+0xd9>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1164 <get_lcs+0x64>
jmp    11de <get_lcs+0xde>
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x42(%rbp)
jl     1235 <get_lcs+0x135>
mov    -0x40(%rbp),%rsi
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
sete   %al
mov    %al,-0x42(%rbp)
mov    -0x42(%rbp),%al
test   $0x1,%al
jne    1245 <get_lcs+0x145>
jmp    1253 <get_lcs+0x153>
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    11de <get_lcs+0xde>
cmpl   $0x0,-0x2c(%rbp)
jl     1282 <get_lcs+0x182>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0xffffffff,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    12b1 <get_lcs+0x1b1>
cmpl   $0x0,-0x30(%rbp)
jl     12ac <get_lcs+0x1ac>
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0xffffffff,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    12b1 <get_lcs+0x1b1>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    1155 <get_lcs+0x55>
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_lcs>:
push   %rbp
push   %r15
push   %r14
push   %rbx
mov    %esi,%r14d
add    $0xffffffff,%edi
movslq %edi,%rax
imul   %r14,%rax
lea    (%rdx,%rax,4),%rax
movslq %esi,%rbx
mov    -0x4(%rax,%rbx,4),%r10d
test   %r10d,%r10d
jle    11fc <get_lcs+0xfc>
add    $0xffffffff,%esi
add    $0xffffffff,%r10d
jmp    1163 <get_lcs+0x63>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %eax,%eax
mov    (%rsi,%rax,1),%al
movslq %r10d,%rsi
add    $0xffffffff,%r10d
mov    %al,(%r9,%rsi,1)
add    $0xffffffff,%edi
add    $0xffffffff,%r11d
mov    %r11d,%esi
test   %r10d,%r10d
js     11fc <get_lcs+0xfc>
mov    %edi,%eax
movslq %esi,%rbx
test   %edi,%edi
mov    $0x0,%edi
cmovs  %eax,%edi
lea    (%rdx,%rbx,4),%r11
cs nopw 0x0(%rax,%rax,1)
test   %eax,%eax
jle    11a9 <get_lcs+0xa9>
lea    -0x1(%rax),%r15d
mov    %r15,%rbx
imul   %r14,%rbx
mov    (%r11,%rbx,4),%ebp
mov    %eax,%ebx
imul   %r14,%rbx
mov    %r15d,%eax
cmp    (%r11,%rbx,4),%ebp
je     1180 <get_lcs+0x80>
add    $0x1,%r15d
mov    %r15d,%edi
movslq %edi,%rax
imul   %r14,%rax
lea    (%rdx,%rax,4),%r15
test   %esi,%esi
mov    $0x0,%r11d
cmovs  %esi,%r11d
test   %esi,%esi
jle    11db <get_lcs+0xdb>
lea    -0x1(%rsi),%ebx
mov    (%r15,%rbx,4),%ebp
mov    %esi,%eax
mov    %ebx,%esi
cmp    (%r15,%rax,4),%ebp
je     11c0 <get_lcs+0xc0>
add    $0x1,%ebx
mov    %ebx,%r11d
mov    %edi,%eax
mov    %rcx,%rsi
test   %edi,%edi
jns    1140 <get_lcs+0x40>
mov    %r11d,%eax
mov    %r8,%rsi
test   %r11d,%r11d
jns    1140 <get_lcs+0x40>
jmp    1150 <get_lcs+0x50>
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @get_lcs(i32 %0, i32 %1, i32* nocapture %2, i8* nocapture %3, i8* nocapture %4, i8* nocapture writeonly %5) {
%7 = zext i32 %1 to i64
%8 = add nsw i32 %0, -1
%9 = add nsw i32 %1, -1
%10 = sext i32 %8 to i64
%11 = mul nsw i64 %10, %7
%12 = getelementptr inbounds i32, i32* %2, i64 %11
%13 = sext i32 %9 to i64
%14 = getelementptr inbounds i32, i32* %12, i64 %13
%15 = load i32, i32* %14
%16 = icmp sgt i32 %15, 0
br i1 %16, label %17, label %78
17: ; preds = %6
%18 = add nsw i32 %15, -1
br label %19
19: ; preds = %17, %73
%20 = phi i32 [ %74, %73 ], [ %18, %17 ]
%21 = phi i32 [ %76, %73 ], [ %9, %17 ]
%22 = phi i32 [ %75, %73 ], [ %8, %17 ]
%23 = sext i32 %21 to i64
%24 = call i32 @llvm.smin.i32(i32 %22, i32 0)
%25 = getelementptr inbounds i32, i32* %2, i64 %23
%26 = getelementptr inbounds i32, i32* %2, i64 %23
br label %27
27: ; preds = %19, %30
%28 = phi i32 [ %31, %30 ], [ %22, %19 ]
%29 = icmp sgt i32 %28, 0
br i1 %29, label %30, label %41
30: ; preds = %27
%31 = add nsw i32 %28, -1
%32 = zext i32 %31 to i64
%33 = mul nuw nsw i64 %32, %7
%34 = getelementptr inbounds i32, i32* %25, i64 %33
%35 = load i32, i32* %34
%36 = zext i32 %28 to i64
%37 = mul nuw nsw i64 %36, %7
%38 = getelementptr inbounds i32, i32* %26, i64 %37
%39 = load i32, i32* %38
%40 = icmp eq i32 %35, %39
br i1 %40, label %27, label %41
41: ; preds = %27, %30
%42 = phi i32 [ %24, %27 ], [ %28, %30 ]
%43 = sext i32 %42 to i64
%44 = mul nsw i64 %43, %7
%45 = getelementptr inbounds i32, i32* %2, i64 %44
%46 = call i32 @llvm.smin.i32(i32 %21, i32 0)
br label %47
47: ; preds = %50, %41
%48 = phi i32 [ %21, %41 ], [ %51, %50 ]
%49 = icmp sgt i32 %48, 0
br i1 %49, label %50, label %59
50: ; preds = %47
%51 = add nsw i32 %48, -1
%52 = zext i32 %51 to i64
%53 = getelementptr inbounds i32, i32* %45, i64 %52
%54 = load i32, i32* %53
%55 = zext i32 %48 to i64
%56 = getelementptr inbounds i32, i32* %45, i64 %55
%57 = load i32, i32* %56
%58 = icmp eq i32 %54, %57
br i1 %58, label %47, label %59
59: ; preds = %47, %50
%60 = phi i32 [ %46, %47 ], [ %48, %50 ]
%61 = icmp sgt i32 %42, -1
br i1 %61, label %64, label %62
62: ; preds = %59
%63 = icmp sgt i32 %60, -1
br i1 %63, label %64, label %73
64: ; preds = %62, %59
%65 = phi i32 [ %42, %59 ], [ %60, %62 ]
%66 = phi i8* [ %3, %59 ], [ %4, %62 ]
%67 = zext i32 %65 to i64
%68 = getelementptr inbounds i8, i8* %66, i64 %67
%69 = load i8, i8* %68
%70 = add nsw i32 %20, -1
%71 = sext i32 %20 to i64
%72 = getelementptr inbounds i8, i8* %5, i64 %71
store i8 %69, i8* %72
br label %73
73: ; preds = %64, %62
%74 = phi i32 [ %20, %62 ], [ %70, %64 ]
%75 = add nsw i32 %42, -1
%76 = add nsw i32 %60, -1
%77 = icmp sgt i32 %74, -1
br i1 %77, label %19, label %78
78: ; preds = %73, %6
ret void
}