int strindex(char line[], char pattern[]) {
  int i, j, k;
  int line_len, pattern_len;
  for (line_len = 0; line[line_len] != '\0'; line_len++) {
    ;
  }
  for (pattern_len = 0; pattern[pattern_len] != '\0'; pattern_len++) {
    ;
  }
  for (i = line_len - 1; i >= 0; i--) {
    for (j = i, k = pattern_len - 1; j >= 0 && k >= 0; j--, k--) {
      if (line[j] != pattern[k]) {
        break;
      }
    }
    if (k < 0) {
      return i;
    }
  }
  return -1;
}


x86 assembly (clang, -O0):
<strindex>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     113b <strindex+0x3b>
jmp    112d <strindex+0x2d>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1113 <strindex+0x13>
movl   $0x0,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     116a <strindex+0x6a>
jmp    115c <strindex+0x5c>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1142 <strindex+0x42>
mov    -0x28(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jl     121e <strindex+0x11e>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x20(%rbp)
mov    %al,-0x2d(%rbp)
jl     11a5 <strindex+0xa5>
cmpl   $0x0,-0x24(%rbp)
setge  %al
mov    %al,-0x2d(%rbp)
mov    -0x2d(%rbp),%al
test   $0x1,%al
jne    11b5 <strindex+0xb5>
jmp    11f6 <strindex+0xf6>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     11da <strindex+0xda>
jmp    11f6 <strindex+0xf6>
jmp    11df <strindex+0xdf>
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    118c <strindex+0x8c>
cmpl   $0x0,-0x24(%rbp)
jge    120b <strindex+0x10b>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1225 <strindex+0x125>
jmp    1210 <strindex+0x110>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    1173 <strindex+0x73>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<strindex>:
mov    $0xffffffff,%eax
mov    %rdi,%rcx
nopl   0x0(%rax,%rax,1)
add    $0x1,%eax
cmpb   $0x0,(%rcx)
lea    0x1(%rcx),%rcx
jne    1110 <strindex+0x10>
mov    $0xffffffffffffffff,%r9
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmpb   $0x0,0x1(%rsi,%r9,1)
lea    0x1(%r9),%r9
jne    1130 <strindex+0x30>
mov    %r9d,%r8d
jmp    1157 <strindex+0x57>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r10,%rdx
test   %edx,%edx
jle    1199 <strindex+0x99>
mov    %eax,%edx
lea    -0x1(%rdx),%eax
test   %edx,%edx
jle    119a <strindex+0x9a>
mov    %r8,%r10
mov    %eax,%ecx
test   %r9d,%r9d
je     119a <strindex+0x9a>
nopw   0x0(%rax,%rax,1)
lea    -0x1(%r10),%r11d
mov    %ecx,%edx
movzbl (%rdi,%rdx,1),%edx
cmp    (%rsi,%r11,1),%dl
jne    1150 <strindex+0x50>
mov    %r10,%rdx
add    $0xffffffffffffffff,%rdx
test   %ecx,%ecx
jle    1153 <strindex+0x53>
add    $0xffffffff,%ecx
cmp    $0x2,%r10d
mov    %rdx,%r10
jge    1170 <strindex+0x70>
jmp    1153 <strindex+0x53>
ret
test   %edx,%edx
mov    $0xffffffff,%ecx
cmovle %ecx,%eax
ret

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

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