int strindexright(char source[], char target[], int slen, int tlen) {
  int is, it;
  for (is = slen - 1, it = tlen - 1; is > tlen; --is) {
    if (source[is] == target[it]) {
      while (it > 0)
        if (source[--is] != target[--it])
          break;
      if (it == 0 && source[is] == target[it])
        return is;
      is += tlen - it - 1;
      it = tlen - 1;
    }
  }
  return -1;
}


x86 assembly (clang, -O0):
<strindexright>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %ecx,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
jle    11f9 <strindexright+0xf9>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x28(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    11e6 <strindexright+0xe6>
jmp    1155 <strindexright+0x55>
cmpl   $0x0,-0x28(%rbp)
jle    1199 <strindexright+0x99>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x24(%rbp)
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
mov    -0x28(%rbp),%edx
add    $0xffffffff,%edx
mov    %edx,-0x28(%rbp)
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     1194 <strindexright+0x94>
jmp    1199 <strindexright+0x99>
jmp    1155 <strindexright+0x55>
cmpl   $0x0,-0x28(%rbp)
jne    11ce <strindexright+0xce>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x28(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    11ce <strindexright+0xce>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1200 <strindexright+0x100>
mov    -0x20(%rbp),%eax
sub    -0x28(%rbp),%eax
sub    $0x1,%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11eb <strindexright+0xeb>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    1124 <strindexright+0x24>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<strindexright>:
push   %rbp
push   %r14
push   %rbx
add    $0xffffffff,%edx
mov    $0xffffffff,%eax
cmp    %ecx,%edx
jle    11a4 <strindexright+0xa4>
movslq %ecx,%r8
add    $0xffffffffffffffff,%r8
mov    (%rsi,%r8,1),%r9b
lea    -0x1(%rdi),%r10
jmp    113f <strindexright+0x3f>
cs nopw 0x0(%rax,%rax,1)
nop
not    %r11d
add    %ecx,%edx
add    %r11d,%edx
add    $0xffffffff,%edx
cmp    %ecx,%edx
jle    11a4 <strindexright+0xa4>
movslq %edx,%rbx
cmp    %r9b,(%rdi,%rbx,1)
jne    1138 <strindexright+0x38>
cmp    $0x2,%ecx
jl     1190 <strindexright+0x90>
add    %r10,%rbx
mov    %r8d,%r14d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%rbx),%ebp
lea    -0x1(%r14),%r11d
add    $0xffffffff,%edx
cmp    (%rsi,%r11,1),%bpl
jne    117d <strindexright+0x7d>
add    $0xffffffffffffffff,%rbx
cmp    $0x1,%r14d
mov    %r11d,%r14d
ja     1160 <strindexright+0x60>
test   %r11d,%r11d
jne    1130 <strindexright+0x30>
jmp    1198 <strindexright+0x98>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r8d,%r11d
test   %r11d,%r11d
jne    1130 <strindexright+0x30>
movslq %edx,%rbx
mov    (%rdi,%rbx,1),%bl
cmp    (%rsi),%bl
jne    1130 <strindexright+0x30>
mov    %edx,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

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

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