IsIdentifier(str) char *str;
{
  int slen = strlen(str);
  int not_ident = 0;
  int i;
  if (slen < 2)
    not_ident = 1;
  if (!(str[0] >= 'a' && str[0] <= 'z') && !(str[0] >= 'A' && str[0] <= 'Z'))
    not_ident = 1;
  for (i = 1; i < slen; i++) {
    if (!(str[i] >= 'a' && str[i] <= 'z') &&
        !(str[i] >= 'A' && str[i] <= 'Z') &&
        !(str[i] >= '0' && str[i] <= '9') && !(str[i] == '_'))
      not_ident = 1;
  }
  return (!not_ident);
}


x86 assembly (clang, -O0):
<IsIdentifier>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
cmpl   $0x2,-0xc(%rbp)
jge    1140 <IsIdentifier+0x30>
movl   $0x1,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x61,%eax
jl     1160 <IsIdentifier+0x50>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7a,%eax
jle    1187 <IsIdentifier+0x77>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     1180 <IsIdentifier+0x70>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5a,%eax
jle    1187 <IsIdentifier+0x77>
movl   $0x1,-0x10(%rbp)
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1247 <IsIdentifier+0x137>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jl     11c4 <IsIdentifier+0xb4>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7a,%eax
jle    1234 <IsIdentifier+0x124>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     11ee <IsIdentifier+0xde>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5a,%eax
jle    1234 <IsIdentifier+0x124>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     1218 <IsIdentifier+0x108>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jle    1234 <IsIdentifier+0x124>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5f,%eax
je     1234 <IsIdentifier+0x124>
movl   $0x1,-0x10(%rbp)
jmp    1239 <IsIdentifier+0x129>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    118e <IsIdentifier+0x7e>
cmpl   $0x0,-0x10(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<IsIdentifier>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
call   1030 <strlen@plt>
cmp    $0x2,%eax
setl   %cl
mov    (%r14),%dl
and    $0xdf,%dl
add    $0xa5,%dl
cmp    $0xe6,%dl
setb   %dl
or     %cl,%dl
movzbl %dl,%ecx
cmp    $0x2,%eax
jl     11fe <IsIdentifier+0xee>
mov    %eax,%edx
lea    -0x1(%rdx),%r8
cmp    $0x2,%rdx
jne    1155 <IsIdentifier+0x45>
mov    $0x1,%edx
jmp    11d4 <IsIdentifier+0xc4>
mov    %r8,%r9
and    $0xfffffffffffffffe,%r9
neg    %r9
mov    $0x1,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%r14,%rdx,1),%edi
movzbl 0x1(%r14,%rdx,1),%r10d
mov    %edi,%ebx
and    $0xdf,%bl
add    $0xbf,%bl
mov    %r10d,%eax
and    $0xdf,%al
add    $0xbf,%al
cmp    $0x5f,%dil
mov    $0x1,%esi
cmove  %ecx,%esi
add    $0xffffffd0,%edi
cmp    $0xa,%dil
cmovb  %ecx,%esi
cmp    $0x1a,%bl
cmovb  %ecx,%esi
cmp    $0x5f,%r10b
mov    $0x1,%ecx
cmove  %esi,%ecx
lea    -0x30(%r10),%edi
cmp    $0xa,%dil
cmovb  %esi,%ecx
cmp    $0x1a,%al
cmovb  %esi,%ecx
lea    (%r9,%rdx,1),%rax
add    $0x2,%rax
add    $0x2,%rdx
cmp    $0x1,%rax
jne    1170 <IsIdentifier+0x60>
test   $0x1,%r8b
je     11fe <IsIdentifier+0xee>
mov    (%r14,%rdx,1),%al
mov    %eax,%edx
and    $0xdf,%dl
add    $0xbf,%dl
cmp    $0x5f,%al
mov    $0x1,%esi
cmove  %ecx,%esi
add    $0xffffffd0,%eax
cmp    $0xa,%al
cmovb  %ecx,%esi
cmp    $0x1a,%dl
cmovae %esi,%ecx
xor    %eax,%eax
test   %ecx,%ecx
sete   %al
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define i32 @IsIdentifier(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
store i8* %0, i8** %2
%6 = load i8*, i8** %2
%7 = call i64 @strlen(i8* %6)
%8 = trunc i64 %7 to i32
store i32 %8, i32* %3
store i32 0, i32* %4
%9 = load i32, i32* %3
%10 = icmp slt i32 %9, 2
br i1 %10, label %11, label %12
11: ; preds = %1
store i32 1, i32* %4
br label %12
12: ; preds = %11, %1
%13 = load i8*, i8** %2
%14 = getelementptr inbounds i8, i8* %13, i64 0
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = icmp sge i32 %16, 97
br i1 %17, label %18, label %24
18: ; preds = %12
%19 = load i8*, i8** %2
%20 = getelementptr inbounds i8, i8* %19, i64 0
%21 = load i8, i8* %20
%22 = sext i8 %21 to i32
%23 = icmp sle i32 %22, 122
br i1 %23, label %37, label %24
24: ; preds = %18, %12
%25 = load i8*, i8** %2
%26 = getelementptr inbounds i8, i8* %25, i64 0
%27 = load i8, i8* %26
%28 = sext i8 %27 to i32
%29 = icmp sge i32 %28, 65
br i1 %29, label %30, label %36
30: ; preds = %24
%31 = load i8*, i8** %2
%32 = getelementptr inbounds i8, i8* %31, i64 0
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = icmp sle i32 %34, 90
br i1 %35, label %37, label %36
36: ; preds = %30, %24
store i32 1, i32* %4
br label %37
37: ; preds = %36, %30, %18
store i32 1, i32* %5
br label %38
38: ; preds = %100, %37
%39 = load i32, i32* %5
%40 = load i32, i32* %3
%41 = icmp slt i32 %39, %40
br i1 %41, label %42, label %103
42: ; preds = %38
%43 = load i8*, i8** %2
%44 = load i32, i32* %5
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i8, i8* %43, i64 %45
%47 = load i8, i8* %46
%48 = sext i8 %47 to i32
%49 = icmp sge i32 %48, 97
br i1 %49, label %50, label %58
50: ; preds = %42
%51 = load i8*, i8** %2
%52 = load i32, i32* %5
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i8, i8* %51, i64 %53
%55 = load i8, i8* %54
%56 = sext i8 %55 to i32
%57 = icmp sle i32 %56, 122
br i1 %57, label %99, label %58
58: ; preds = %50, %42
%59 = load i8*, i8** %2
%60 = load i32, i32* %5
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i8, i8* %59, i64 %61
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = icmp sge i32 %64, 65
br i1 %65, label %66, label %74
66: ; preds = %58
%67 = load i8*, i8** %2
%68 = load i32, i32* %5
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i8, i8* %67, i64 %69
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = icmp sle i32 %72, 90
br i1 %73, label %99, label %74
74: ; preds = %66, %58
%75 = load i8*, i8** %2
%76 = load i32, i32* %5
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i8, i8* %75, i64 %77
%79 = load i8, i8* %78
%80 = sext i8 %79 to i32
%81 = icmp sge i32 %80, 48
br i1 %81, label %82, label %90
82: ; preds = %74
%83 = load i8*, i8** %2
%84 = load i32, i32* %5
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i8, i8* %83, i64 %85
%87 = load i8, i8* %86
%88 = sext i8 %87 to i32
%89 = icmp sle i32 %88, 57
br i1 %89, label %99, label %90
90: ; preds = %82, %74
%91 = load i8*, i8** %2
%92 = load i32, i32* %5
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %91, i64 %93
%95 = load i8, i8* %94
%96 = sext i8 %95 to i32
%97 = icmp eq i32 %96, 95
br i1 %97, label %99, label %98
98: ; preds = %90
store i32 1, i32* %4
br label %99
99: ; preds = %98, %90, %82, %66, %50
br label %100
100: ; preds = %99
%101 = load i32, i32* %5
%102 = add nsw i32 %101, 1
store i32 %102, i32* %5
br label %38
103: ; preds = %38
%104 = load i32, i32* %4
%105 = icmp ne i32 %104, 0
%106 = xor i1 %105, true
%107 = zext i1 %106 to i32
ret i32 %107
}

LLVM IR (-O2):
define i32 @IsIdentifier(i8* nocapture %0) {
%2 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%3 = trunc i64 %2 to i32
%4 = icmp slt i32 %3, 2
%5 = load i8, i8* %0
%6 = and i8 %5, -33
%7 = add i8 %6, -91
%8 = icmp ult i8 %7, -26
%9 = select i1 %8, i1 true, i1 %4
%10 = zext i1 %9 to i32
%11 = icmp sgt i32 %3, 1
br i1 %11, label %12, label %66
12: ; preds = %1
%13 = and i64 %2, 4294967295
%14 = add nsw i64 %13, -1
%15 = and i64 %14, 1
%16 = icmp eq i64 %13, 2
br i1 %16, label %49, label %17
17: ; preds = %12
%18 = and i64 %14, -2
br label %19
19: ; preds = %19, %17
%20 = phi i64 [ 1, %17 ], [ %46, %19 ]
%21 = phi i32 [ %10, %17 ], [ %45, %19 ]
%22 = phi i64 [ 0, %17 ], [ %47, %19 ]
%23 = getelementptr inbounds i8, i8* %0, i64 %20
%24 = load i8, i8* %23
%25 = and i8 %24, -33
%26 = add i8 %25, -65
%27 = icmp ult i8 %26, 26
%28 = add i8 %24, -48
%29 = icmp ult i8 %28, 10
%30 = select i1 %27, i1 true, i1 %29
%31 = icmp eq i8 %24, 95
%32 = select i1 %30, i1 true, i1 %31
%33 = add nuw nsw i64 %20, 1
%34 = getelementptr inbounds i8, i8* %0, i64 %33
%35 = load i8, i8* %34
%36 = and i8 %35, -33
%37 = add i8 %36, -65
%38 = icmp ult i8 %37, 26
%39 = add i8 %35, -48
%40 = icmp ult i8 %39, 10
%41 = select i1 %38, i1 true, i1 %40
%42 = icmp eq i8 %35, 95
%43 = select i1 %41, i1 true, i1 %42
%44 = select i1 %43, i1 %32, i1 false
%45 = select i1 %44, i32 %21, i32 1
%46 = add nuw nsw i64 %20, 2
%47 = add i64 %22, 2
%48 = icmp eq i64 %47, %18
br i1 %48, label %49, label %19
49: ; preds = %19, %12
%50 = phi i32 [ undef, %12 ], [ %45, %19 ]
%51 = phi i64 [ 1, %12 ], [ %46, %19 ]
%52 = phi i32 [ %10, %12 ], [ %45, %19 ]
%53 = icmp eq i64 %15, 0
br i1 %53, label %66, label %54
54: ; preds = %49
%55 = getelementptr inbounds i8, i8* %0, i64 %51
%56 = load i8, i8* %55
%57 = and i8 %56, -33
%58 = add i8 %57, -65
%59 = icmp ult i8 %58, 26
%60 = add i8 %56, -48
%61 = icmp ult i8 %60, 10
%62 = select i1 %59, i1 true, i1 %61
%63 = icmp eq i8 %56, 95
%64 = select i1 %62, i1 true, i1 %63
%65 = select i1 %64, i32 %52, i32 1
br label %66
66: ; preds = %54, %49, %1
%67 = phi i32 [ %10, %1 ], [ %50, %49 ], [ %65, %54 ]
%68 = icmp eq i32 %67, 0
%69 = zext i1 %68 to i32
ret i32 %69
}