int my_str_isalnum_alias(char *s) {
  int i;
  i = -1;
  while (s && s[++i])
    if (!i && (s[i] < 'A' || s[i] > 'Z') && (s[i] < 'a' || s[i] > 'z')) {
      return (0);
    } else if (i != 0 && (s[i] < 'A' || s[i] > 'Z') &&
               (s[i] < 'a' || s[i] > 'z') && (s[i] < '0' || s[i] > '9') &&
               s[i] != '_' && s[i] != '-')
      return (0);
  return (1);
}


x86 assembly (clang, -O0):
<my_str_isalnum_alias>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0xffffffff,-0x14(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x15(%rbp)
je     113c <my_str_isalnum_alias+0x3c>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x14(%rbp)
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x15(%rbp)
mov    -0x15(%rbp),%al
test   $0x1,%al
jne    114c <my_str_isalnum_alias+0x4c>
jmp    127e <my_str_isalnum_alias+0x17e>
cmpl   $0x0,-0x14(%rbp)
jne    11b6 <my_str_isalnum_alias+0xb6>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     1180 <my_str_isalnum_alias+0x80>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5a,%eax
jle    11b6 <my_str_isalnum_alias+0xb6>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jl     11aa <my_str_isalnum_alias+0xaa>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7a,%eax
jle    11b6 <my_str_isalnum_alias+0xb6>
movl   $0x0,-0x4(%rbp)
jmp    1285 <my_str_isalnum_alias+0x185>
cmpl   $0x0,-0x14(%rbp)
je     1274 <my_str_isalnum_alias+0x174>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     11ea <my_str_isalnum_alias+0xea>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5a,%eax
jle    1274 <my_str_isalnum_alias+0x174>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jl     1214 <my_str_isalnum_alias+0x114>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7a,%eax
jle    1274 <my_str_isalnum_alias+0x174>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     123e <my_str_isalnum_alias+0x13e>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jle    1274 <my_str_isalnum_alias+0x174>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5f,%eax
je     1274 <my_str_isalnum_alias+0x174>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
je     1274 <my_str_isalnum_alias+0x174>
movl   $0x0,-0x4(%rbp)
jmp    1285 <my_str_isalnum_alias+0x185>
jmp    1279 <my_str_isalnum_alias+0x179>
jmp    110f <my_str_isalnum_alias+0xf>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<my_str_isalnum_alias>:
push   %rbx
mov    $0x1,%eax
test   %rdi,%rdi
je     1187 <my_str_isalnum_alias+0x87>
mov    (%rdi),%r11b
test   %r11b,%r11b
je     1187 <my_str_isalnum_alias+0x87>
xor    %ebx,%ebx
jmp    1133 <my_str_isalnum_alias+0x33>
nopw   0x0(%rax,%rax,1)
test   %dl,%dl
jne    1174 <my_str_isalnum_alias+0x74>
movzbl 0x1(%rdi,%rbx,1),%r11d
add    $0x1,%rbx
test   %r11b,%r11b
je     1187 <my_str_isalnum_alias+0x87>
lea    -0x5b(%r11),%r8d
cmp    $0xe6,%r8b
setb   %r10b
lea    -0x7b(%r11),%r9d
cmp    $0xe6,%r9b
setb   %dl
and    %r10b,%dl
test   %rbx,%rbx
je     1120 <my_str_isalnum_alias+0x20>
lea    -0x3a(%r11),%esi
cmp    $0xf6,%sil
setb   %cl
and    %cl,%dl
cmp    $0x1,%dl
jne    1124 <my_str_isalnum_alias+0x24>
cmp    $0x5f,%r11b
je     1124 <my_str_isalnum_alias+0x24>
cmp    $0x2d,%r11b
je     1124 <my_str_isalnum_alias+0x24>
xor    %eax,%eax
pop    %rbx
ret
cmp    $0xe6,%r9b
setae  %al
cmp    $0xe6,%r8b
setae  %cl
or     %al,%cl
movzbl %cl,%eax
pop    %rbx
ret

LLVM IR (-O0):
define i32 @my_str_isalnum_alias(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
store i8* %0, i8** %3
store i32 -1, i32* %4
br label %5
5: ; preds = %124, %1
%6 = load i8*, i8** %3
%7 = icmp ne i8* %6, null
br i1 %7, label %8, label %17
8: ; preds = %5
%9 = load i8*, i8** %3
%10 = load i32, i32* %4
%11 = add nsw i32 %10, 1
store i32 %11, i32* %4
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds i8, i8* %9, i64 %12
%14 = load i8, i8* %13
%15 = sext i8 %14 to i32
%16 = icmp ne i32 %15, 0
br label %17
17: ; preds = %8, %5
%18 = phi i1 [ false, %5 ], [ %16, %8 ]
br i1 %18, label %19, label %125
19: ; preds = %17
%20 = load i32, i32* %4
%21 = icmp ne i32 %20, 0
br i1 %21, label %55, label %22
22: ; preds = %19
%23 = load i8*, i8** %3
%24 = load i32, i32* %4
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i8, i8* %23, i64 %25
%27 = load i8, i8* %26
%28 = sext i8 %27 to i32
%29 = icmp slt i32 %28, 65
br i1 %29, label %38, label %30
30: ; preds = %22
%31 = load i8*, i8** %3
%32 = load i32, i32* %4
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i8, i8* %31, i64 %33
%35 = load i8, i8* %34
%36 = sext i8 %35 to i32
%37 = icmp sgt i32 %36, 90
br i1 %37, label %38, label %55
38: ; preds = %30, %22
%39 = load i8*, i8** %3
%40 = load i32, i32* %4
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i8, i8* %39, i64 %41
%43 = load i8, i8* %42
%44 = sext i8 %43 to i32
%45 = icmp slt i32 %44, 97
br i1 %45, label %54, label %46
46: ; preds = %38
%47 = load i8*, i8** %3
%48 = load i32, i32* %4
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i8, i8* %47, i64 %49
%51 = load i8, i8* %50
%52 = sext i8 %51 to i32
%53 = icmp sgt i32 %52, 122
br i1 %53, label %54, label %55
54: ; preds = %46, %38
store i32 0, i32* %2
br label %126
55: ; preds = %46, %30, %19
%56 = load i32, i32* %4
%57 = icmp ne i32 %56, 0
br i1 %57, label %58, label %123
58: ; preds = %55
%59 = load i8*, i8** %3
%60 = load i32, i32* %4
%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 slt i32 %64, 65
br i1 %65, label %74, label %66
66: ; preds = %58
%67 = load i8*, i8** %3
%68 = load i32, i32* %4
%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 sgt i32 %72, 90
br i1 %73, label %74, label %123
74: ; preds = %66, %58
%75 = load i8*, i8** %3
%76 = load i32, i32* %4
%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 slt i32 %80, 97
br i1 %81, label %90, label %82
82: ; preds = %74
%83 = load i8*, i8** %3
%84 = load i32, i32* %4
%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 sgt i32 %88, 122
br i1 %89, label %90, label %123
90: ; preds = %82, %74
%91 = load i8*, i8** %3
%92 = load i32, i32* %4
%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 slt i32 %96, 48
br i1 %97, label %106, label %98
98: ; preds = %90
%99 = load i8*, i8** %3
%100 = load i32, i32* %4
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i8, i8* %99, i64 %101
%103 = load i8, i8* %102
%104 = sext i8 %103 to i32
%105 = icmp sgt i32 %104, 57
br i1 %105, label %106, label %123
106: ; preds = %98, %90
%107 = load i8*, i8** %3
%108 = load i32, i32* %4
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds i8, i8* %107, i64 %109
%111 = load i8, i8* %110
%112 = sext i8 %111 to i32
%113 = icmp ne i32 %112, 95
br i1 %113, label %114, label %123
114: ; preds = %106
%115 = load i8*, i8** %3
%116 = load i32, i32* %4
%117 = sext i32 %116 to i64
%118 = getelementptr inbounds i8, i8* %115, i64 %117
%119 = load i8, i8* %118
%120 = sext i8 %119 to i32
%121 = icmp ne i32 %120, 45
br i1 %121, label %122, label %123
122: ; preds = %114
store i32 0, i32* %2
br label %126
123: ; preds = %114, %106, %98, %82, %66, %55
br label %124
124: ; preds = %123
br label %5
125: ; preds = %17
store i32 1, i32* %2
br label %126
126: ; preds = %125, %122, %54
%127 = load i32, i32* %2
ret i32 %127
}

LLVM IR (-O2):
define i32 @my_str_isalnum_alias(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %30, label %3
3: ; preds = %1
%4 = load i8, i8* %0
%5 = icmp eq i8 %4, 0
br i1 %5, label %30, label %6
6: ; preds = %3, %21
%7 = phi i8 [ %24, %21 ], [ %4, %3 ]
%8 = phi i64 [ %22, %21 ], [ 0, %3 ]
%9 = icmp eq i64 %8, 0
%10 = add i8 %7, -91
%11 = icmp ult i8 %10, -26
%12 = add i8 %7, -123
%13 = icmp ult i8 %12, -26
%14 = and i1 %11, %13
br i1 %9, label %15, label %16
15: ; preds = %6
br i1 %14, label %26, label %21
16: ; preds = %6
%17 = add i8 %7, -58
%18 = icmp ult i8 %17, -10
%19 = select i1 %14, i1 %18, i1 false
br i1 %19, label %20, label %21
20: ; preds = %16
switch i8 %7, label %30 [
i8 95, label %21
i8 45, label %21
]
21: ; preds = %16, %20, %20, %15
%22 = add nuw nsw i64 %8, 1
%23 = getelementptr inbounds i8, i8* %0, i64 %22
%24 = load i8, i8* %23
%25 = icmp eq i8 %24, 0
br i1 %25, label %30, label %6
26: ; preds = %15
%27 = and i1 %11, %13
%28 = xor i1 %27, true
%29 = zext i1 %28 to i32
br label %30
30: ; preds = %20, %21, %3, %26, %1
%31 = phi i32 [ 1, %1 ], [ %29, %26 ], [ 1, %3 ], [ 1, %21 ], [ 0, %20 ]
ret i32 %31
}