char *bt(int *ib, char *sb, int s, int t, int i, int j, int p) {
  if (i < 1 || j < 1)
    return sb + p;
  if (sb[i - 1] == sb[s + j - 1]) {
    sb[--p] = sb[i - 1];
    return bt(ib, sb, s, t, i - 1, j - 1, p);
  }
  if (ib[i * (t + 1) + j - 1] > ib[(i - 1) * (t + 1) + j])
    return bt(ib, sb, s, t, i, j - 1, p);
  return bt(ib, sb, s, t, i - 1, j, p);
}


x86 assembly (clang, -O0):
<bt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %ecx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
cmpl   $0x1,-0x24(%rbp)
jl     1145 <bt+0x35>
cmpl   $0x1,-0x28(%rbp)
jge    1159 <bt+0x49>
mov    -0x18(%rbp),%rax
movslq 0x10(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
jmp    1270 <bt+0x160>
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
mov    -0x1c(%rbp),%edx
add    -0x28(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    11db <bt+0xcb>
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    0x10(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,0x10(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    -0x24(%rbp),%r8d
sub    $0x1,%r8d
mov    -0x28(%rbp),%r9d
sub    $0x1,%r9d
mov    0x10(%rbp),%eax
mov    %eax,(%rsp)
call   1030 <bt@plt>
mov    %rax,-0x8(%rbp)
jmp    1270 <bt+0x160>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    -0x20(%rbp),%edx
add    $0x1,%edx
imul   %edx,%ecx
add    -0x28(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x24(%rbp),%edx
sub    $0x1,%edx
mov    -0x20(%rbp),%esi
add    $0x1,%esi
imul   %esi,%edx
add    -0x28(%rbp),%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    1247 <bt+0x137>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    -0x24(%rbp),%r8d
mov    -0x28(%rbp),%r9d
sub    $0x1,%r9d
mov    0x10(%rbp),%eax
mov    %eax,(%rsp)
call   1030 <bt@plt>
mov    %rax,-0x8(%rbp)
jmp    1270 <bt+0x160>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x1c(%rbp),%edx
mov    -0x20(%rbp),%ecx
mov    -0x24(%rbp),%r8d
sub    $0x1,%r8d
mov    -0x28(%rbp),%r9d
mov    0x10(%rbp),%eax
mov    %eax,(%rsp)
call   1030 <bt@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bt>:
push   %rbp
push   %rbx
mov    %rsi,%rax
mov    0x18(%rsp),%r10d
test   %r8d,%r8d
jle    11a8 <bt+0xa8>
test   %r9d,%r9d
jle    11a8 <bt+0xa8>
add    $0x1,%ecx
movslq %r10d,%r10
mov    %r9d,%ebx
mov    %r8d,%r11d
nopl   0x0(%rax,%rax,1)
lea    -0x1(%r11),%r8d
movzbl (%rax,%r8,1),%esi
lea    -0x1(%rbx),%r9d
lea    (%rbx,%rdx,1),%ebp
add    $0xffffffff,%ebp
movslq %ebp,%rbp
cmp    (%rax,%rbp,1),%sil
je     1190 <bt+0x90>
mov    %r11d,%esi
imul   %ecx,%esi
add    %esi,%r9d
movslq %r9d,%rsi
mov    (%rdi,%rsi,4),%r9d
mov    %r8d,%esi
imul   %ecx,%esi
add    %ebx,%esi
movslq %esi,%rbp
xor    %esi,%esi
cmp    (%rdi,%rbp,4),%r9d
setg   %r9b
cmovg  %r11d,%r8d
test   %r8d,%r8d
jle    11a8 <bt+0xa8>
mov    %r9b,%sil
sub    %esi,%ebx
mov    %r8d,%r11d
test   %ebx,%ebx
jg     1130 <bt+0x30>
jmp    11a8 <bt+0xa8>
nopl   0x0(%rax,%rax,1)
mov    %sil,-0x1(%rax,%r10,1)
add    $0xffffffffffffffff,%r10
cmp    $0x2,%r11d
jb     11a8 <bt+0xa8>
cmp    $0x2,%ebx
jae    1122 <bt+0x22>
movslq %r10d,%rcx
add    %rcx,%rax
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define i8* @bt(i32* %0, i8* %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6) {
%8 = icmp slt i32 %4, 1
%9 = icmp slt i32 %5, 1
%10 = or i1 %8, %9
br i1 %10, label %22, label %11
11: ; preds = %7
%12 = add nsw i32 %3, 1
%13 = sext i32 %6 to i64
br label %14
14: ; preds = %11, %39
%15 = phi i64 [ %13, %11 ], [ %40, %39 ]
%16 = phi i32 [ %5, %11 ], [ %33, %39 ]
%17 = phi i32 [ %4, %11 ], [ %29, %39 ]
br label %26
18: ; preds = %45
%19 = trunc i64 %15 to i32
br label %22
20: ; preds = %39
%21 = trunc i64 %40 to i32
br label %22
22: ; preds = %20, %18, %7
%23 = phi i32 [ %6, %7 ], [ %19, %18 ], [ %21, %20 ]
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %1, i64 %24
ret i8* %25
26: ; preds = %14, %45
%27 = phi i32 [ %16, %14 ], [ %59, %45 ]
%28 = phi i32 [ %17, %14 ], [ %57, %45 ]
%29 = add nsw i32 %28, -1
%30 = zext i32 %29 to i64
%31 = getelementptr inbounds i8, i8* %1, i64 %30
%32 = load i8, i8* %31
%33 = add nsw i32 %27, -1
%34 = add i32 %33, %2
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i8, i8* %1, i64 %35
%37 = load i8, i8* %36
%38 = icmp eq i8 %32, %37
br i1 %38, label %39, label %45
39: ; preds = %26
%40 = add i64 %15, -1
%41 = getelementptr inbounds i8, i8* %1, i64 %40
store i8 %32, i8* %41
%42 = icmp ult i32 %28, 2
%43 = icmp ult i32 %27, 2
%44 = or i1 %42, %43
br i1 %44, label %20, label %14
45: ; preds = %26
%46 = mul nsw i32 %28, %12
%47 = add i32 %33, %46
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %0, i64 %48
%50 = load i32, i32* %49
%51 = mul nsw i32 %29, %12
%52 = add nsw i32 %51, %27
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i32, i32* %0, i64 %53
%55 = load i32, i32* %54
%56 = icmp sgt i32 %50, %55
%57 = select i1 %56, i32 %28, i32 %29
%58 = sext i1 %56 to i32
%59 = add nsw i32 %27, %58
%60 = icmp slt i32 %57, 1
%61 = icmp slt i32 %59, 1
%62 = or i1 %60, %61
br i1 %62, label %18, label %26
}