int ef_matches_range(int c, const char *pattern, const char **endp) {
  const char *pptr = pattern;
  int invert = 0;
  int matched = 0;
  if (*pptr == '^') {
    pptr++;
    invert = 1;
  };
  if (*pptr == '-') {
    pptr++;
    if (c == '-') {
      *endp = pptr;
      matched = 1;
    };
    while (*pptr == '-')
      pptr++;
  };
  if (*pptr == ']') {
    pptr++;
    if (c == ']') {
      *endp = pptr;
      matched = 1;
    };
  };
  while (!matched && *pptr && *pptr != ']') {
    if (*pptr == '-') {
      if (pptr[1] != ']') {
        if (c >= pptr[-1] && c <= pptr[1])
          matched = 1;
        pptr += 2;
      };
    } else if (*pptr++ == c) {
      matched = 1;
    };
  };
  while (*pptr && *pptr != ']')
    pptr++;
  if (*pptr == ']') {
    *endp = pptr + 1;
    return matched ? !invert : invert;
  };
  *endp = pptr;
  return 0;
}


x86 assembly (clang, -O0):
<ef_matches_range>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5e,%eax
jne    1148 <ef_matches_range+0x48>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
movl   $0x1,-0x24(%rbp)
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    11ab <ef_matches_range+0xab>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
cmpl   $0x2d,-0x8(%rbp)
jne    1180 <ef_matches_range+0x80>
mov    -0x20(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x1,-0x28(%rbp)
jmp    1185 <ef_matches_range+0x85>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    11a6 <ef_matches_range+0xa6>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1185 <ef_matches_range+0x85>
jmp    11ab <ef_matches_range+0xab>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
jne    11e8 <ef_matches_range+0xe8>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
cmpl   $0x5d,-0x8(%rbp)
jne    11e3 <ef_matches_range+0xe3>
mov    -0x20(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x1,-0x28(%rbp)
jmp    11e8 <ef_matches_range+0xe8>
jmp    11ed <ef_matches_range+0xed>
xor    %eax,%eax
cmpl   $0x0,-0x28(%rbp)
mov    %al,-0x29(%rbp)
jne    1221 <ef_matches_range+0x121>
mov    -0x20(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x29(%rbp)
je     1221 <ef_matches_range+0x121>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
setne  %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    1231 <ef_matches_range+0x131>
jmp    12bc <ef_matches_range+0x1bc>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    1290 <ef_matches_range+0x190>
mov    -0x20(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x5d,%eax
je     128b <ef_matches_range+0x18b>
mov    -0x8(%rbp),%eax
mov    -0x20(%rbp),%rcx
movsbl -0x1(%rcx),%ecx
cmp    %ecx,%eax
jl     127f <ef_matches_range+0x17f>
mov    -0x8(%rbp),%eax
mov    -0x20(%rbp),%rcx
movsbl 0x1(%rcx),%ecx
cmp    %ecx,%eax
jg     127f <ef_matches_range+0x17f>
movl   $0x1,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x20(%rbp)
jmp    12b7 <ef_matches_range+0x1b7>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movsbl (%rax),%eax
cmp    -0x8(%rbp),%eax
jne    12b2 <ef_matches_range+0x1b2>
movl   $0x1,-0x28(%rbp)
jmp    12b7 <ef_matches_range+0x1b7>
jmp    11ed <ef_matches_range+0xed>
jmp    12c1 <ef_matches_range+0x1c1>
mov    -0x20(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x2a(%rbp)
je     12e6 <ef_matches_range+0x1e6>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
setne  %al
mov    %al,-0x2a(%rbp)
mov    -0x2a(%rbp),%al
test   $0x1,%al
jne    12f6 <ef_matches_range+0x1f6>
jmp    1307 <ef_matches_range+0x207>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    12c1 <ef_matches_range+0x1c1>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
jne    1357 <ef_matches_range+0x257>
mov    -0x20(%rbp),%rcx
add    $0x1,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
cmpl   $0x0,-0x28(%rbp)
je     1346 <ef_matches_range+0x246>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x30(%rbp)
jmp    134c <ef_matches_range+0x24c>
mov    -0x24(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1369 <ef_matches_range+0x269>
mov    -0x20(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ef_matches_range>:
mov    (%rsi),%r8b
xor    %eax,%eax
cmp    $0x5e,%r8b
sete   %al
lea    (%rsi,%rax,1),%rcx
mov    (%rsi,%rax,1),%al
xor    %esi,%esi
cmp    $0x2d,%al
jne    113c <ef_matches_range+0x3c>
xor    %esi,%esi
cmp    $0x2d,%edi
jne    1130 <ef_matches_range+0x30>
lea    0x1(%rcx),%rax
mov    %rax,(%rdx)
mov    $0x1,%esi
nopl   0x0(%rax)
movzbl 0x1(%rcx),%eax
add    $0x1,%rcx
cmp    $0x2d,%al
je     1130 <ef_matches_range+0x30>
cmp    $0x5d,%al
jne    1151 <ef_matches_range+0x51>
add    $0x1,%rcx
cmp    $0x5d,%edi
jne    1151 <ef_matches_range+0x51>
mov    %rcx,(%rdx)
xor    %r9d,%r9d
jmp    11b8 <ef_matches_range+0xb8>
test   %esi,%esi
je     1173 <ef_matches_range+0x73>
xor    %r9d,%r9d
jmp    11b8 <ef_matches_range+0xb8>
nopw   0x0(%rax,%rax,1)
test   %al,%al
je     11a2 <ef_matches_range+0xa2>
cmp    $0x5d,%al
je     11a2 <ef_matches_range+0xa2>
add    $0x1,%rcx
xor    %r9d,%r9d
cmp    %edi,%eax
je     11b8 <ef_matches_range+0xb8>
movsbl (%rcx),%eax
cs nopw 0x0(%rax,%rax,1)
cmp    $0x2d,%al
jne    1160 <ef_matches_range+0x60>
movsbl 0x1(%rcx),%esi
cmp    $0x5d,%esi
je     1180 <ef_matches_range+0x80>
movsbl -0x1(%rcx),%eax
add    $0x2,%rcx
cmp    %edi,%eax
jg     1173 <ef_matches_range+0x73>
xor    %r9d,%r9d
cmp    %edi,%esi
jl     1173 <ef_matches_range+0x73>
jmp    11b8 <ef_matches_range+0xb8>
mov    $0x1,%r9b
jmp    11b8 <ef_matches_range+0xb8>
nopw   0x0(%rax,%rax,1)
cmp    $0x5d,%al
je     11c5 <ef_matches_range+0xc5>
add    $0x1,%rcx
movzbl (%rcx),%eax
test   %al,%al
jne    11b0 <ef_matches_range+0xb0>
mov    %rcx,(%rdx)
xor    %eax,%eax
ret
cmp    $0x5e,%r8b
sete   %al
add    $0x1,%rcx
mov    %rcx,(%rdx)
xor    %r9b,%al
xor    $0x1,%al
movzbl %al,%eax
ret

LLVM IR (-O0):
define i32 @ef_matches_range(i32 %0, i8* %1, i8** %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8**
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i32
store i32 %0, i32* %5
store i8* %1, i8** %6
store i8** %2, i8*** %7
%11 = load i8*, i8** %6
store i8* %11, i8** %8
store i32 0, i32* %9
store i32 0, i32* %10
%12 = load i8*, i8** %8
%13 = load i8, i8* %12
%14 = sext i8 %13 to i32
%15 = icmp eq i32 %14, 94
br i1 %15, label %16, label %19
16: ; preds = %3
%17 = load i8*, i8** %8
%18 = getelementptr inbounds i8, i8* %17, i32 1
store i8* %18, i8** %8
store i32 1, i32* %9
br label %19
19: ; preds = %16, %3
%20 = load i8*, i8** %8
%21 = load i8, i8* %20
%22 = sext i8 %21 to i32
%23 = icmp eq i32 %22, 45
br i1 %23, label %24, label %42
24: ; preds = %19
%25 = load i8*, i8** %8
%26 = getelementptr inbounds i8, i8* %25, i32 1
store i8* %26, i8** %8
%27 = load i32, i32* %5
%28 = icmp eq i32 %27, 45
br i1 %28, label %29, label %32
29: ; preds = %24
%30 = load i8*, i8** %8
%31 = load i8**, i8*** %7
store i8* %30, i8** %31
store i32 1, i32* %10
br label %32
32: ; preds = %29, %24
br label %33
33: ; preds = %38, %32
%34 = load i8*, i8** %8
%35 = load i8, i8* %34
%36 = sext i8 %35 to i32
%37 = icmp eq i32 %36, 45
br i1 %37, label %38, label %41
38: ; preds = %33
%39 = load i8*, i8** %8
%40 = getelementptr inbounds i8, i8* %39, i32 1
store i8* %40, i8** %8
br label %33
41: ; preds = %33
br label %42
42: ; preds = %41, %19
%43 = load i8*, i8** %8
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
%46 = icmp eq i32 %45, 93
br i1 %46, label %47, label %56
47: ; preds = %42
%48 = load i8*, i8** %8
%49 = getelementptr inbounds i8, i8* %48, i32 1
store i8* %49, i8** %8
%50 = load i32, i32* %5
%51 = icmp eq i32 %50, 93
br i1 %51, label %52, label %55
52: ; preds = %47
%53 = load i8*, i8** %8
%54 = load i8**, i8*** %7
store i8* %53, i8** %54
store i32 1, i32* %10
br label %55
55: ; preds = %52, %47
br label %56
56: ; preds = %55, %42
br label %57
57: ; preds = %111, %56
%58 = load i32, i32* %10
%59 = icmp ne i32 %58, 0
br i1 %59, label %70, label %60
60: ; preds = %57
%61 = load i8*, i8** %8
%62 = load i8, i8* %61
%63 = sext i8 %62 to i32
%64 = icmp ne i32 %63, 0
br i1 %64, label %65, label %70
65: ; preds = %60
%66 = load i8*, i8** %8
%67 = load i8, i8* %66
%68 = sext i8 %67 to i32
%69 = icmp ne i32 %68, 93
br label %70
70: ; preds = %65, %60, %57
%71 = phi i1 [ false, %60 ], [ false, %57 ], [ %69, %65 ]
br i1 %71, label %72, label %112
72: ; preds = %70
%73 = load i8*, i8** %8
%74 = load i8, i8* %73
%75 = sext i8 %74 to i32
%76 = icmp eq i32 %75, 45
br i1 %76, label %77, label %102
77: ; preds = %72
%78 = load i8*, i8** %8
%79 = getelementptr inbounds i8, i8* %78, i64 1
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp ne i32 %81, 93
br i1 %82, label %83, label %101
83: ; preds = %77
%84 = load i32, i32* %5
%85 = load i8*, i8** %8
%86 = getelementptr inbounds i8, i8* %85, i64 -1
%87 = load i8, i8* %86
%88 = sext i8 %87 to i32
%89 = icmp sge i32 %84, %88
br i1 %89, label %90, label %98
90: ; preds = %83
%91 = load i32, i32* %5
%92 = load i8*, i8** %8
%93 = getelementptr inbounds i8, i8* %92, i64 1
%94 = load i8, i8* %93
%95 = sext i8 %94 to i32
%96 = icmp sle i32 %91, %95
br i1 %96, label %97, label %98
97: ; preds = %90
store i32 1, i32* %10
br label %98
98: ; preds = %97, %90, %83
%99 = load i8*, i8** %8
%100 = getelementptr inbounds i8, i8* %99, i64 2
store i8* %100, i8** %8
br label %101
101: ; preds = %98, %77
br label %111
102: ; preds = %72
%103 = load i8*, i8** %8
%104 = getelementptr inbounds i8, i8* %103, i32 1
store i8* %104, i8** %8
%105 = load i8, i8* %103
%106 = sext i8 %105 to i32
%107 = load i32, i32* %5
%108 = icmp eq i32 %106, %107
br i1 %108, label %109, label %110
109: ; preds = %102
store i32 1, i32* %10
br label %110
110: ; preds = %109, %102
br label %111
111: ; preds = %110, %101
br label %57
112: ; preds = %70
br label %113
113: ; preds = %125, %112
%114 = load i8*, i8** %8
%115 = load i8, i8* %114
%116 = sext i8 %115 to i32
%117 = icmp ne i32 %116, 0
br i1 %117, label %118, label %123
118: ; preds = %113
%119 = load i8*, i8** %8
%120 = load i8, i8* %119
%121 = sext i8 %120 to i32
%122 = icmp ne i32 %121, 93
br label %123
123: ; preds = %118, %113
%124 = phi i1 [ false, %113 ], [ %122, %118 ]
br i1 %124, label %125, label %128
125: ; preds = %123
%126 = load i8*, i8** %8
%127 = getelementptr inbounds i8, i8* %126, i32 1
store i8* %127, i8** %8
br label %113
128: ; preds = %123
%129 = load i8*, i8** %8
%130 = load i8, i8* %129
%131 = sext i8 %130 to i32
%132 = icmp eq i32 %131, 93
br i1 %132, label %133, label %148
133: ; preds = %128
%134 = load i8*, i8** %8
%135 = getelementptr inbounds i8, i8* %134, i64 1
%136 = load i8**, i8*** %7
store i8* %135, i8** %136
%137 = load i32, i32* %10
%138 = icmp ne i32 %137, 0
br i1 %138, label %139, label %144
139: ; preds = %133
%140 = load i32, i32* %9
%141 = icmp ne i32 %140, 0
%142 = xor i1 %141, true
%143 = zext i1 %142 to i32
br label %146
144: ; preds = %133
%145 = load i32, i32* %9
br label %146
146: ; preds = %144, %139
%147 = phi i32 [ %143, %139 ], [ %145, %144 ]
store i32 %147, i32* %4
br label %151
148: ; preds = %128
%149 = load i8*, i8** %8
%150 = load i8**, i8*** %7
store i8* %149, i8** %150
store i32 0, i32* %4
br label %151
151: ; preds = %148, %146
%152 = load i32, i32* %4
ret i32 %152
}

LLVM IR (-O2):
define i32 @ef_matches_range(i32 %0, i8* %1, i8** nocapture writeonly %2) {
%4 = load i8, i8* %1
%5 = icmp eq i8 %4, 94
%6 = zext i1 %5 to i64
%7 = getelementptr i8, i8* %1, i64 %6
%8 = load i8, i8* %7
%9 = icmp eq i8 %8, 45
br i1 %9, label %10, label %21
10: ; preds = %3
%11 = getelementptr inbounds i8, i8* %7, i64 1
%12 = icmp eq i32 %0, 45
br i1 %12, label %13, label %14
13: ; preds = %10
store i8* %11, i8** %2
br label %14
14: ; preds = %13, %10
%15 = phi i32 [ 1, %13 ], [ 0, %10 ]
br label %16
16: ; preds = %16, %14
%17 = phi i8* [ %11, %14 ], [ %20, %16 ]
%18 = load i8, i8* %17
%19 = icmp eq i8 %18, 45
%20 = getelementptr inbounds i8, i8* %17, i64 1
br i1 %19, label %16, label %21
21: ; preds = %16, %3
%22 = phi i8 [ %8, %3 ], [ %18, %16 ]
%23 = phi i8* [ %7, %3 ], [ %17, %16 ]
%24 = phi i32 [ 0, %3 ], [ %15, %16 ]
%25 = icmp eq i8 %22, 93
br i1 %25, label %26, label %30
26: ; preds = %21
%27 = getelementptr inbounds i8, i8* %23, i64 1
%28 = icmp eq i32 %0, 93
br i1 %28, label %29, label %30
29: ; preds = %26
store i8* %27, i8** %2
br label %56
30: ; preds = %26, %21
%31 = phi i8* [ %27, %26 ], [ %23, %21 ]
%32 = icmp eq i32 %24, 0
br i1 %32, label %33, label %56
33: ; preds = %30, %50
%34 = phi i8* [ %51, %50 ], [ %31, %30 ]
%35 = load i8, i8* %34
%36 = getelementptr inbounds i8, i8* %34, i64 1
br label %37
37: ; preds = %38, %33
switch i8 %35, label %52 [
i8 0, label %56
i8 93, label %56
i8 45, label %38
]
38: ; preds = %37
%39 = load i8, i8* %36
%40 = icmp eq i8 %39, 93
br i1 %40, label %37, label %41
41: ; preds = %38
%42 = sext i8 %39 to i32
%43 = getelementptr inbounds i8, i8* %34, i64 -1
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
%46 = icmp sle i32 %45, %0
%47 = icmp sge i32 %42, %0
%48 = select i1 %46, i1 %47, i1 false
%49 = getelementptr inbounds i8, i8* %34, i64 2
br i1 %48, label %56, label %50
50: ; preds = %41, %52
%51 = phi i8* [ %54, %52 ], [ %49, %41 ]
br label %33
52: ; preds = %37
%53 = sext i8 %35 to i32
%54 = getelementptr inbounds i8, i8* %34, i64 1
%55 = icmp eq i32 %53, %0
br i1 %55, label %56, label %50
56: ; preds = %41, %52, %37, %37, %29, %30
%57 = phi i8* [ %31, %30 ], [ %27, %29 ], [ %34, %37 ], [ %34, %37 ], [ %49, %41 ], [ %54, %52 ]
%58 = phi i1 [ false, %30 ], [ false, %29 ], [ true, %37 ], [ true, %37 ], [ false, %52 ], [ false, %41 ]
br label %59
59: ; preds = %62, %56
%60 = phi i8* [ %57, %56 ], [ %63, %62 ]
%61 = load i8, i8* %60
switch i8 %61, label %62 [
i8 93, label %64
i8 0, label %69
]
62: ; preds = %59
%63 = getelementptr inbounds i8, i8* %60, i64 1
br label %59
64: ; preds = %59
%65 = getelementptr inbounds i8, i8* %60, i64 1
store i8* %65, i8** %2
%66 = xor i1 %5, %58
%67 = xor i1 %66, true
%68 = zext i1 %67 to i32
br label %70
69: ; preds = %59
store i8* %60, i8** %2
br label %70
70: ; preds = %69, %64
%71 = phi i32 [ %68, %64 ], [ 0, %69 ]
ret i32 %71
}