int FalseAtom(const char *in) {
  return (in[0] == 'f' && in[1] == 'a' && in[2] == 'l' && in[3] == 's' &&
          in[4] == 'e');
}


x86 assembly (clang, -O0):
<FalseAtom>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x66,%ecx
mov    %al,-0x9(%rbp)
jne    1170 <FalseAtom+0x70>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%ecx
xor    %eax,%eax
cmp    $0x61,%ecx
mov    %al,-0x9(%rbp)
jne    1170 <FalseAtom+0x70>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%ecx
xor    %eax,%eax
cmp    $0x6c,%ecx
mov    %al,-0x9(%rbp)
jne    1170 <FalseAtom+0x70>
mov    -0x8(%rbp),%rax
movsbl 0x3(%rax),%ecx
xor    %eax,%eax
cmp    $0x73,%ecx
mov    %al,-0x9(%rbp)
jne    1170 <FalseAtom+0x70>
mov    -0x8(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x65,%eax
sete   %al
mov    %al,-0x9(%rbp)
mov    -0x9(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<FalseAtom>:
xor    %eax,%eax
cmpb   $0x66,(%rdi)
jne    1122 <FalseAtom+0x22>
cmpb   $0x61,0x1(%rdi)
jne    1122 <FalseAtom+0x22>
cmpb   $0x6c,0x2(%rdi)
jne    1122 <FalseAtom+0x22>
cmpb   $0x73,0x3(%rdi)
jne    1122 <FalseAtom+0x22>
xor    %eax,%eax
cmpb   $0x65,0x4(%rdi)
sete   %al
ret

LLVM IR (-O0):
define i32 @FalseAtom(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = load i8*, i8** %2
%4 = getelementptr inbounds i8, i8* %3, i64 0
%5 = load i8, i8* %4
%6 = sext i8 %5 to i32
%7 = icmp eq i32 %6, 102
br i1 %7, label %8, label %32
8: ; preds = %1
%9 = load i8*, i8** %2
%10 = getelementptr inbounds i8, i8* %9, i64 1
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = icmp eq i32 %12, 97
br i1 %13, label %14, label %32
14: ; preds = %8
%15 = load i8*, i8** %2
%16 = getelementptr inbounds i8, i8* %15, i64 2
%17 = load i8, i8* %16
%18 = sext i8 %17 to i32
%19 = icmp eq i32 %18, 108
br i1 %19, label %20, label %32
20: ; preds = %14
%21 = load i8*, i8** %2
%22 = getelementptr inbounds i8, i8* %21, i64 3
%23 = load i8, i8* %22
%24 = sext i8 %23 to i32
%25 = icmp eq i32 %24, 115
br i1 %25, label %26, label %32
26: ; preds = %20
%27 = load i8*, i8** %2
%28 = getelementptr inbounds i8, i8* %27, i64 4
%29 = load i8, i8* %28
%30 = sext i8 %29 to i32
%31 = icmp eq i32 %30, 101
br label %32
32: ; preds = %26, %20, %14, %8, %1
%33 = phi i1 [ false, %20 ], [ false, %14 ], [ false, %8 ], [ false, %1 ], [ %31, %26 ]
%34 = zext i1 %33 to i32
ret i32 %34
}

LLVM IR (-O2):
define i32 @FalseAtom(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 102
br i1 %3, label %4, label %21
4: ; preds = %1
%5 = getelementptr inbounds i8, i8* %0, i64 1
%6 = load i8, i8* %5
%7 = icmp eq i8 %6, 97
br i1 %7, label %8, label %21
8: ; preds = %4
%9 = getelementptr inbounds i8, i8* %0, i64 2
%10 = load i8, i8* %9
%11 = icmp eq i8 %10, 108
br i1 %11, label %12, label %21
12: ; preds = %8
%13 = getelementptr inbounds i8, i8* %0, i64 3
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 115
br i1 %15, label %16, label %21
16: ; preds = %12
%17 = getelementptr inbounds i8, i8* %0, i64 4
%18 = load i8, i8* %17
%19 = icmp eq i8 %18, 101
%20 = zext i1 %19 to i32
br label %21
21: ; preds = %16, %12, %8, %4, %1
%22 = phi i32 [ 0, %12 ], [ 0, %8 ], [ 0, %4 ], [ 0, %1 ], [ %20, %16 ]
ret i32 %22
}