int is_id_char(char c, int first) {
  if ((c >= 'A' && c <= 'Z') || (c >= 'a' && c <= 'z') || c == '_')
    return 1;
  if (first)
    return 0;
  return c >= '0' && c <= '9';
}


x86 assembly (clang, -O0):
<is_id_char>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
mov    %al,-0x5(%rbp)
mov    %esi,-0xc(%rbp)
movsbl -0x5(%rbp),%eax
cmp    $0x41,%eax
jl     1127 <is_id_char+0x27>
movsbl -0x5(%rbp),%eax
cmp    $0x5a,%eax
jle    114e <is_id_char+0x4e>
movsbl -0x5(%rbp),%eax
cmp    $0x61,%eax
jl     1141 <is_id_char+0x41>
movsbl -0x5(%rbp),%eax
cmp    $0x7a,%eax
jle    114e <is_id_char+0x4e>
movsbl -0x5(%rbp),%eax
cmp    $0x5f,%eax
jne    115a <is_id_char+0x5a>
movl   $0x1,-0x4(%rbp)
jmp    119a <is_id_char+0x9a>
cmpl   $0x0,-0xc(%rbp)
je     1170 <is_id_char+0x70>
movl   $0x0,-0x4(%rbp)
jmp    119a <is_id_char+0x9a>
movsbl -0x5(%rbp),%ecx
xor    %eax,%eax
cmp    $0x30,%ecx
mov    %al,-0xd(%rbp)
jl     118f <is_id_char+0x8f>
movsbl -0x5(%rbp),%eax
cmp    $0x39,%eax
setle  %al
mov    %al,-0xd(%rbp)
mov    -0xd(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_id_char>:
lea    -0x41(%rdi),%ecx
mov    $0x1,%eax
cmp    $0x1a,%cl
jb     1121 <is_id_char+0x21>
cmp    $0x5f,%dil
je     1121 <is_id_char+0x21>
lea    -0x61(%rdi),%ecx
cmp    $0x1a,%cl
jb     1121 <is_id_char+0x21>
xor    %eax,%eax
test   %esi,%esi
je     1122 <is_id_char+0x22>
ret
add    $0xd0,%dil
xor    %eax,%eax
cmp    $0xa,%dil
setb   %al
ret

LLVM IR (-O0):
define i32 @is_id_char(i8 signext %0, i32 %1) {
%3 = alloca i32
%4 = alloca i8
%5 = alloca i32
store i8 %0, i8* %4
store i32 %1, i32* %5
%6 = load i8, i8* %4
%7 = sext i8 %6 to i32
%8 = icmp sge i32 %7, 65
br i1 %8, label %9, label %13
9: ; preds = %2
%10 = load i8, i8* %4
%11 = sext i8 %10 to i32
%12 = icmp sle i32 %11, 90
br i1 %12, label %25, label %13
13: ; preds = %9, %2
%14 = load i8, i8* %4
%15 = sext i8 %14 to i32
%16 = icmp sge i32 %15, 97
br i1 %16, label %17, label %21
17: ; preds = %13
%18 = load i8, i8* %4
%19 = sext i8 %18 to i32
%20 = icmp sle i32 %19, 122
br i1 %20, label %25, label %21
21: ; preds = %17, %13
%22 = load i8, i8* %4
%23 = sext i8 %22 to i32
%24 = icmp eq i32 %23, 95
br i1 %24, label %25, label %26
25: ; preds = %21, %17, %9
store i32 1, i32* %3
br label %41
26: ; preds = %21
%27 = load i32, i32* %5
%28 = icmp ne i32 %27, 0
br i1 %28, label %29, label %30
29: ; preds = %26
store i32 0, i32* %3
br label %41
30: ; preds = %26
%31 = load i8, i8* %4
%32 = sext i8 %31 to i32
%33 = icmp sge i32 %32, 48
br i1 %33, label %34, label %38
34: ; preds = %30
%35 = load i8, i8* %4
%36 = sext i8 %35 to i32
%37 = icmp sle i32 %36, 57
br label %38
38: ; preds = %34, %30
%39 = phi i1 [ false, %30 ], [ %37, %34 ]
%40 = zext i1 %39 to i32
store i32 %40, i32* %3
br label %41
41: ; preds = %38, %29, %25
%42 = load i32, i32* %3
ret i32 %42
}

LLVM IR (-O2):
define i32 @is_id_char(i8 signext %0, i32 %1) {
%3 = add i8 %0, -65
%4 = icmp ult i8 %3, 26
br i1 %4, label %16, label %5
5: ; preds = %2
%6 = add i8 %0, -97
%7 = icmp ult i8 %6, 26
%8 = icmp eq i8 %0, 95
%9 = or i1 %8, %7
br i1 %9, label %16, label %10
10: ; preds = %5
%11 = icmp eq i32 %1, 0
br i1 %11, label %12, label %16
12: ; preds = %10
%13 = add i8 %0, -48
%14 = icmp ult i8 %13, 10
%15 = zext i1 %14 to i32
br label %16
16: ; preds = %10, %2, %5, %12
%17 = phi i32 [ %15, %12 ], [ 1, %5 ], [ 1, %2 ], [ 0, %10 ]
ret i32 %17
}