int match_subpath(const char *prefix, const char *path, const char **sub) {
  char prev = 0;
  while (*prefix && *prefix == *path) {
    prefix++;
    prev = *path++;
  }
  if (sub)
    *sub = path;
  return *prefix == 0 && (*path == 0 || *path == '/' || prev == '/');
}


x86 assembly (clang, -O0):
<match_subpath>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movb   $0x0,-0x19(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1a(%rbp)
je     113f <match_subpath+0x3f>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0x1a(%rbp)
mov    -0x1a(%rbp),%al
test   $0x1,%al
jne    114f <match_subpath+0x4f>
jmp    1174 <match_subpath+0x74>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%al
mov    %al,-0x19(%rbp)
jmp    1114 <match_subpath+0x14>
cmpq   $0x0,-0x18(%rbp)
je     118a <match_subpath+0x8a>
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1b(%rbp)
jne    11dc <match_subpath+0xdc>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0x1c(%rbp)
je     11d6 <match_subpath+0xd6>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x2f,%ecx
mov    %al,-0x1c(%rbp)
je     11d6 <match_subpath+0xd6>
movsbl -0x19(%rbp),%eax
cmp    $0x2f,%eax
sete   %al
mov    %al,-0x1c(%rbp)
mov    -0x1c(%rbp),%al
mov    %al,-0x1b(%rbp)
mov    -0x1b(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<match_subpath>:
mov    (%rdi),%r9b
xor    %r8d,%r8d
test   %r9b,%r9b
je     1141 <match_subpath+0x41>
cmp    (%rsi),%r9b
jne    1144 <match_subpath+0x44>
add    $0x1,%rsi
add    $0x1,%rdi
mov    %rdi,%rax
mov    %rsi,%rcx
xchg   %ax,%ax
mov    %r9d,%r8d
mov    %rcx,%rsi
mov    %rax,%rdi
movzbl (%rax),%r9d
test   %r9b,%r9b
je     1171 <match_subpath+0x71>
lea    0x1(%rsi),%rcx
lea    0x1(%rdi),%rax
cmp    (%rsi),%r9b
je     1120 <match_subpath+0x20>
jmp    1174 <match_subpath+0x74>
xor    %r9d,%r9d
test   %rdx,%rdx
je     114f <match_subpath+0x4f>
mov    %rsi,(%rdx)
mov    (%rdi),%r9b
xor    %eax,%eax
test   %r9b,%r9b
je     1157 <match_subpath+0x57>
ret
mov    (%rsi),%cl
mov    $0x1,%eax
test   %cl,%cl
je     1156 <match_subpath+0x56>
cmp    $0x2f,%cl
je     1156 <match_subpath+0x56>
xor    %eax,%eax
cmp    $0x2f,%r8d
sete   %al
ret
xor    %r9d,%r9d
movsbl %r8b,%r8d
test   %rdx,%rdx
jne    1149 <match_subpath+0x49>
jmp    114f <match_subpath+0x4f>

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

LLVM IR (-O2):
define i32 @match_subpath(i8* nocapture %0, i8* %1, i8** writeonly %2) {
%4 = load i8, i8* %0
%5 = icmp eq i8 %4, 0
br i1 %5, label %23, label %6
6: ; preds = %3
%7 = load i8, i8* %1
%8 = icmp eq i8 %4, %7
br i1 %8, label %12, label %23
9: ; preds = %12
%10 = load i8, i8* %17
%11 = icmp eq i8 %18, %10
br i1 %11, label %12, label %20
12: ; preds = %6, %9
%13 = phi i8* [ %17, %9 ], [ %1, %6 ]
%14 = phi i8* [ %16, %9 ], [ %0, %6 ]
%15 = phi i8 [ %18, %9 ], [ %4, %6 ]
%16 = getelementptr inbounds i8, i8* %14, i64 1
%17 = getelementptr inbounds i8, i8* %13, i64 1
%18 = load i8, i8* %16
%19 = icmp eq i8 %18, 0
br i1 %19, label %20, label %9
20: ; preds = %9, %12
%21 = phi i8 [ %18, %9 ], [ 0, %12 ]
%22 = sext i8 %15 to i32
br label %23
23: ; preds = %20, %6, %3
%24 = phi i8 [ 0, %3 ], [ %4, %6 ], [ %21, %20 ]
%25 = phi i8* [ %1, %3 ], [ %1, %6 ], [ %17, %20 ]
%26 = phi i8* [ %0, %3 ], [ %0, %6 ], [ %16, %20 ]
%27 = phi i32 [ 0, %3 ], [ 0, %6 ], [ %22, %20 ]
%28 = icmp eq i8** %2, null
br i1 %28, label %31, label %29
29: ; preds = %23
store i8* %25, i8** %2
%30 = load i8, i8* %26
br label %31
31: ; preds = %29, %23
%32 = phi i8 [ %30, %29 ], [ %24, %23 ]
%33 = icmp eq i8 %32, 0
br i1 %33, label %34, label %39
34: ; preds = %31
%35 = load i8, i8* %25
switch i8 %35, label %36 [
i8 0, label %39
i8 47, label %39
]
36: ; preds = %34
%37 = icmp eq i32 %27, 47
%38 = zext i1 %37 to i32
br label %39
39: ; preds = %34, %34, %36, %31
%40 = phi i32 [ 0, %31 ], [ 1, %34 ], [ %38, %36 ], [ 1, %34 ]
ret i32 %40
}