int check_nl(char *p) {
  while (*p != '\0') {
    switch (*p++) {
    case '!':
      return 0;
    case '|':
    case '[':
    case ':':
    case ']':
    case ' ':
    case '\t':
      return 1;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<check_nl>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     11be <check_nl+0xbe>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
mov    %eax,-0x14(%rbp)
sub    $0x9,%eax
je     11ad <check_nl+0xad>
jmp    113b <check_nl+0x3b>
mov    -0x14(%rbp),%eax
sub    $0x20,%eax
je     11ad <check_nl+0xad>
jmp    114c <check_nl+0x4c>
mov    -0x14(%rbp),%eax
sub    $0x21,%eax
je     11a1 <check_nl+0xa1>
jmp    115d <check_nl+0x5d>
mov    -0x14(%rbp),%eax
sub    $0x3a,%eax
je     11ad <check_nl+0xad>
jmp    116e <check_nl+0x6e>
mov    -0x14(%rbp),%eax
sub    $0x5b,%eax
je     11ad <check_nl+0xad>
jmp    117f <check_nl+0x7f>
mov    -0x14(%rbp),%eax
sub    $0x5d,%eax
je     11ad <check_nl+0xad>
jmp    1190 <check_nl+0x90>
mov    -0x14(%rbp),%eax
sub    $0x7c,%eax
je     11ad <check_nl+0xad>
jmp    11b9 <check_nl+0xb9>
movl   $0x0,-0x4(%rbp)
jmp    11c5 <check_nl+0xc5>
movl   $0x1,-0x4(%rbp)
jmp    11c5 <check_nl+0xc5>
jmp    1108 <check_nl+0x8>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_nl>:
movabs $0x200000005,%rcx
mov    $0x1,%eax
jmp    1125 <check_nl+0x25>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    $0x3a,%edx
je     1161 <check_nl+0x61>
movsbl (%rdi),%edx
test   %edx,%edx
je     1161 <check_nl+0x61>
add    $0x1,%rdi
cmp    $0x39,%edx
jle    1150 <check_nl+0x50>
lea    -0x5b(%rdx),%esi
cmp    $0x21,%esi
ja     1120 <check_nl+0x20>
bt     %rsi,%rcx
jae    1120 <check_nl+0x20>
jmp    1161 <check_nl+0x61>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    $0x9,%edx
je     1161 <check_nl+0x61>
cmp    $0x20,%edx
je     1161 <check_nl+0x61>
cmp    $0x21,%edx
jne    1125 <check_nl+0x25>
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @check_nl(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
store i8* %0, i8** %3
br label %4
4: ; preds = %16, %1
%5 = load i8*, i8** %3
%6 = load i8, i8* %5
%7 = sext i8 %6 to i32
%8 = icmp ne i32 %7, 0
br i1 %8, label %9, label %17
9: ; preds = %4
%10 = load i8*, i8** %3
%11 = getelementptr inbounds i8, i8* %10, i32 1
store i8* %11, i8** %3
%12 = load i8, i8* %10
%13 = sext i8 %12 to i32
switch i32 %13, label %16 [
i32 33, label %14
i32 124, label %15
i32 91, label %15
i32 58, label %15
i32 93, label %15
i32 32, label %15
i32 9, label %15
]
14: ; preds = %9
store i32 0, i32* %2
br label %18
15: ; preds = %9, %9, %9, %9, %9, %9
store i32 1, i32* %2
br label %18
16: ; preds = %9
br label %4
17: ; preds = %4
store i32 1, i32* %2
br label %18
18: ; preds = %17, %15, %14
%19 = load i32, i32* %2
ret i32 %19
}

LLVM IR (-O2):
define i32 @check_nl(i8* nocapture %0) {
br label %2
2: ; preds = %6, %1
%3 = phi i8* [ %0, %1 ], [ %8, %6 ]
%4 = load i8, i8* %3
%5 = icmp eq i8 %4, 0
br i1 %5, label %9, label %6
6: ; preds = %2
%7 = sext i8 %4 to i32
%8 = getelementptr inbounds i8, i8* %3, i64 1
switch i32 %7, label %2 [
i32 33, label %9
i32 124, label %11
i32 91, label %11
i32 58, label %11
i32 93, label %11
i32 32, label %11
i32 9, label %11
]
9: ; preds = %6, %2
%10 = phi i32 [ 1, %2 ], [ 0, %6 ]
br label %11
11: ; preds = %6, %6, %6, %6, %6, %6, %9
%12 = phi i32 [ %10, %9 ], [ 1, %6 ], [ 1, %6 ], [ 1, %6 ], [ 1, %6 ], [ 1, %6 ], [ 1, %6 ]
ret i32 %12
}