int yuri_validate_escape(const char *str) {
  while (*str) {
    if (*str != '%') {
      str++;
      continue;
    }
    if (!(((str[1]) >= 'a' && (str[1]) <= 'f') ||
          ((str[1]) >= 'A' && (str[1]) <= 'F') ||
          ((str[1]) >= '0' && (str[1]) <= '9')) ||
        !(((str[2]) >= 'a' && (str[2]) <= 'f') ||
          ((str[2]) >= 'A' && (str[2]) <= 'F') ||
          ((str[2]) >= '0' && (str[2]) <= '9')) ||
        (str[1] == '0' && str[2] == '0'))
      return -1;
    str += 3;
  }
  return 0;
}


x86 assembly (clang, -O0):
<yuri_validate_escape>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1241 <yuri_validate_escape+0x141>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x25,%eax
je     1136 <yuri_validate_escape+0x36>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1108 <yuri_validate_escape+0x8>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x61,%eax
jl     1158 <yuri_validate_escape+0x58>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x66,%eax
jle    119c <yuri_validate_escape+0x9c>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x41,%eax
jl     117a <yuri_validate_escape+0x7a>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x46,%eax
jle    119c <yuri_validate_escape+0x9c>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x30,%eax
jl     1224 <yuri_validate_escape+0x124>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x39,%eax
jg     1224 <yuri_validate_escape+0x124>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x61,%eax
jl     11be <yuri_validate_escape+0xbe>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x66,%eax
jle    1202 <yuri_validate_escape+0x102>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x41,%eax
jl     11e0 <yuri_validate_escape+0xe0>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x46,%eax
jle    1202 <yuri_validate_escape+0x102>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x30,%eax
jl     1224 <yuri_validate_escape+0x124>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x39,%eax
jg     1224 <yuri_validate_escape+0x124>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x30,%eax
jne    1230 <yuri_validate_escape+0x130>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x30,%eax
jne    1230 <yuri_validate_escape+0x130>
movl   $0xffffffff,-0x4(%rbp)
jmp    1248 <yuri_validate_escape+0x148>
mov    -0x10(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x10(%rbp)
jmp    1108 <yuri_validate_escape+0x8>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<yuri_validate_escape>:
movabs $0x3f0000003f,%r8
jmp    111c <yuri_validate_escape+0x1c>
nopl   0x0(%rax)
mov    $0x1,%esi
test   %al,%al
je     117d <yuri_validate_escape+0x7d>
add    %rsi,%rdi
movzbl (%rdi),%eax
cmp    $0x25,%al
jne    1110 <yuri_validate_escape+0x10>
movzbl 0x1(%rdi),%edx
lea    -0x30(%rdx),%eax
cmp    $0xa,%al
jb     1144 <yuri_validate_escape+0x44>
mov    $0xffffffff,%eax
lea    -0x41(%rdx),%ecx
cmp    $0x25,%cl
ja     1185 <yuri_validate_escape+0x85>
movzbl %cl,%ecx
bt     %rcx,%r8
jae    1185 <yuri_validate_escape+0x85>
movzbl 0x2(%rdi),%ecx
lea    -0x30(%rcx),%eax
cmp    $0xa,%al
jae    1160 <yuri_validate_escape+0x60>
mov    $0x3,%esi
cmp    $0x30,%dl
jne    1119 <yuri_validate_escape+0x19>
cmp    $0x30,%cl
jne    1119 <yuri_validate_escape+0x19>
jmp    1180 <yuri_validate_escape+0x80>
mov    $0xffffffff,%eax
add    $0xbf,%cl
cmp    $0x25,%cl
ja     1185 <yuri_validate_escape+0x85>
mov    $0x3,%esi
movzbl %cl,%ecx
bt     %rcx,%r8
jb     1119 <yuri_validate_escape+0x19>
jmp    1185 <yuri_validate_escape+0x85>
xor    %eax,%eax
ret
mov    $0xffffffff,%eax
ret

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

LLVM IR (-O2):
define i32 @yuri_validate_escape(i8* nocapture %0) {
br label %2
2: ; preds = %5, %1
%3 = phi i8* [ %0, %1 ], [ %7, %5 ]
%4 = load i8, i8* %3
switch i8 %4, label %5 [
i8 0, label %26
i8 37, label %8
]
5: ; preds = %2, %22, %21, %21, %21, %21, %21, %21, %21, %21, %21, %21, %21, %21
%6 = phi i64 [ 3, %21 ], [ 3, %21 ], [ 3, %21 ], [ 3, %21 ], [ 3, %21 ], [ 3, %21 ], [ 3, %21 ], [ 3, %21 ], [ 3, %21 ], [ 3, %21 ], [ 3, %21 ], [ 3, %21 ], [ 3, %22 ], [ 1, %2 ]
%7 = getelementptr inbounds i8, i8* %3, i64 %6
br label %2
8: ; preds = %2
%9 = getelementptr inbounds i8, i8* %3, i64 1
%10 = load i8, i8* %9
%11 = freeze i8 %10
%12 = add i8 %11, -48
%13 = icmp ult i8 %12, 10
br i1 %13, label %15, label %14
14: ; preds = %8
switch i8 %11, label %26 [
i8 102, label %15
i8 101, label %15
i8 100, label %15
i8 99, label %15
i8 98, label %15
i8 97, label %15
i8 70, label %15
i8 69, label %15
i8 68, label %15
i8 67, label %15
i8 66, label %15
i8 65, label %15
]
15: ; preds = %14, %14, %14, %14, %14, %14, %14, %14, %14, %14, %14, %14, %8
%16 = getelementptr inbounds i8, i8* %3, i64 2
%17 = load i8, i8* %16
%18 = freeze i8 %17
%19 = add i8 %18, -48
%20 = icmp ult i8 %19, 10
br i1 %20, label %22, label %21
21: ; preds = %15
switch i8 %18, label %26 [
i8 102, label %5
i8 101, label %5
i8 100, label %5
i8 99, label %5
i8 98, label %5
i8 97, label %5
i8 70, label %5
i8 69, label %5
i8 68, label %5
i8 67, label %5
i8 66, label %5
i8 65, label %5
]
22: ; preds = %15
%23 = icmp eq i8 %11, 48
%24 = icmp eq i8 %18, 48
%25 = and i1 %23, %24
br i1 %25, label %26, label %5
26: ; preds = %21, %14, %22, %2
%27 = phi i32 [ 0, %2 ], [ -1, %22 ], [ -1, %14 ], [ -1, %21 ]
ret i32 %27
}