int is_subsequence(const char *needle, const char *haystack) {
  for (; *haystack; haystack++) {
    char s = *needle;
    if (s == '\0') {
      break;
    }
    char t = *haystack;
    if (t >= 'A' && t <= 'Z' && s >= 'a' && s <= 'z') {
      t = t - 'A' + 'a';
    }
    needle += (s == t);
  }
  return *needle == '\0';
}


x86 assembly (clang, -O0):
<is_subsequence>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     11af <is_subsequence+0xaf>
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
cmp    $0x0,%eax
jne    1134 <is_subsequence+0x34>
jmp    11af <is_subsequence+0xaf>
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x12(%rbp)
movsbl -0x12(%rbp),%eax
cmp    $0x41,%eax
jl     117e <is_subsequence+0x7e>
movsbl -0x12(%rbp),%eax
cmp    $0x5a,%eax
jg     117e <is_subsequence+0x7e>
movsbl -0x11(%rbp),%eax
cmp    $0x61,%eax
jl     117e <is_subsequence+0x7e>
movsbl -0x11(%rbp),%eax
cmp    $0x7a,%eax
jg     117e <is_subsequence+0x7e>
movsbl -0x12(%rbp),%eax
sub    $0x41,%eax
add    $0x61,%eax
mov    %al,-0x12(%rbp)
movsbl -0x11(%rbp),%eax
movsbl -0x12(%rbp),%ecx
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%ecx
mov    -0x8(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    110c <is_subsequence+0xc>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_subsequence>:
mov    (%rsi),%r9b
test   %r9b,%r9b
je     1153 <is_subsequence+0x53>
add    $0x1,%rsi
nopl   0x0(%rax)
movzbl (%rdi),%ecx
test   %cl,%cl
je     1153 <is_subsequence+0x53>
lea    0x20(%r9),%r8d
cmp    $0x7b,%cl
movzbl %r9b,%r10d
movzbl %r8b,%eax
cmovge %r10d,%eax
cmp    $0x61,%cl
cmovl  %r10d,%eax
lea    -0x41(%r9),%edx
cmp    $0x1a,%dl
cmovae %r10d,%eax
xor    %edx,%edx
cmp    %al,%cl
sete   %dl
add    %rdx,%rdi
movzbl (%rsi),%r9d
add    $0x1,%rsi
test   %r9b,%r9b
jne    1110 <is_subsequence+0x10>
xor    %eax,%eax
cmpb   $0x0,(%rdi)
sete   %al
ret

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

LLVM IR (-O2):
define i32 @is_subsequence(i8* nocapture %0, i8* nocapture %1) {
%3 = load i8, i8* %1
%4 = icmp eq i8 %3, 0
br i1 %4, label %26, label %5
5: ; preds = %2, %11
%6 = phi i8 [ %24, %11 ], [ %3, %2 ]
%7 = phi i8* [ %22, %11 ], [ %0, %2 ]
%8 = phi i8* [ %23, %11 ], [ %1, %2 ]
%9 = load i8, i8* %7
%10 = icmp eq i8 %9, 0
br i1 %10, label %26, label %11
11: ; preds = %5
%12 = add i8 %6, -65
%13 = icmp ult i8 %12, 26
%14 = icmp sgt i8 %9, 96
%15 = select i1 %13, i1 %14, i1 false
%16 = icmp slt i8 %9, 123
%17 = select i1 %15, i1 %16, i1 false
%18 = add i8 %6, 32
%19 = select i1 %17, i8 %18, i8 %6
%20 = icmp eq i8 %9, %19
%21 = zext i1 %20 to i64
%22 = getelementptr inbounds i8, i8* %7, i64 %21
%23 = getelementptr inbounds i8, i8* %8, i64 1
%24 = load i8, i8* %23
%25 = icmp eq i8 %24, 0
br i1 %25, label %26, label %5
26: ; preds = %11, %5, %2
%27 = phi i8* [ %0, %2 ], [ %7, %5 ], [ %22, %11 ]
%28 = load i8, i8* %27
%29 = icmp eq i8 %28, 0
%30 = zext i1 %29 to i32
ret i32 %30
}