int charmask(unsigned char *input, int len, char *mask) {
  unsigned char *end;
  unsigned char c;
  int result = 0;
  memset(mask, 0, 256);
  for (end = input + len; input < end; input++) {
    c = *input;
    if ((input + 3 < end) && input[1] == '.' && input[2] == '.' &&
        input[3] >= c) {
      memset(mask + c, 1, input[3] - c + 1);
      input += 3;
    } else if ((input + 1 < end) && input[0] == '.' && input[1] == '.') {
      if (end - len >= input) {
        result = -1;
        continue;
      }
      if (input + 2 >= end) {
        result = -1;
        continue;
      }
      if (input[-1] > input[2]) {
        result = -1;
        continue;
      }
      result = -1;
      continue;
    } else {
      mask[c] = 1;
    }
  }
  return result;
}


x86 assembly (clang, -O0):
<charmask>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x18(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1030 <memset@plt>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    12b2 <charmask+0x1a2>
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x21(%rbp)
mov    -0x8(%rbp),%rax
add    $0x3,%rax
cmp    -0x20(%rbp),%rax
jae    11e4 <charmask+0xd4>
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0x2e,%eax
jne    11e4 <charmask+0xd4>
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
cmp    $0x2e,%eax
jne    11e4 <charmask+0xd4>
mov    -0x8(%rbp),%rax
movzbl 0x3(%rax),%eax
movzbl -0x21(%rbp),%ecx
cmp    %ecx,%eax
jl     11e4 <charmask+0xd4>
mov    -0x18(%rbp),%rdi
movzbl -0x21(%rbp),%eax
cltq
add    %rax,%rdi
mov    -0x8(%rbp),%rax
movzbl 0x3(%rax),%eax
movzbl -0x21(%rbp),%ecx
sub    %ecx,%eax
add    $0x1,%eax
movslq %eax,%rdx
mov    $0x1,%esi
call   1030 <memset@plt>
mov    -0x8(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x8(%rbp)
jmp    129c <charmask+0x18c>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
cmp    -0x20(%rbp),%rax
jae    128b <charmask+0x17b>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x2e,%eax
jne    128b <charmask+0x17b>
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0x2e,%eax
jne    128b <charmask+0x17b>
mov    -0x20(%rbp),%rax
movslq -0xc(%rbp),%rdx
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
cmp    -0x8(%rbp),%rax
jb     123d <charmask+0x12d>
movl   $0xffffffff,-0x28(%rbp)
jmp    12a1 <charmask+0x191>
mov    -0x8(%rbp),%rax
add    $0x2,%rax
cmp    -0x20(%rbp),%rax
jb     125b <charmask+0x14b>
movl   $0xffffffff,-0x28(%rbp)
jmp    12a1 <charmask+0x191>
mov    -0x8(%rbp),%rax
movzbl -0x1(%rax),%eax
mov    -0x8(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
cmp    %ecx,%eax
jle    127f <charmask+0x16f>
movl   $0xffffffff,-0x28(%rbp)
jmp    12a1 <charmask+0x191>
movl   $0xffffffff,-0x28(%rbp)
jmp    12a1 <charmask+0x191>
mov    -0x18(%rbp),%rax
movzbl -0x21(%rbp),%ecx
movb   $0x1,(%rax,%rcx,1)
jmp    129c <charmask+0x18c>
jmp    12a1 <charmask+0x191>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1149 <charmask+0x39>
mov    -0x28(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<charmask>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
xorps  %xmm0,%xmm0
movups %xmm0,0xf0(%rdx)
movups %xmm0,0xe0(%rdx)
movups %xmm0,0xd0(%rdx)
movups %xmm0,0xc0(%rdx)
movups %xmm0,0xb0(%rdx)
movups %xmm0,0xa0(%rdx)
movups %xmm0,0x90(%rdx)
movups %xmm0,0x80(%rdx)
movups %xmm0,0x70(%rdx)
movups %xmm0,0x60(%rdx)
movups %xmm0,0x50(%rdx)
movups %xmm0,0x40(%rdx)
movups %xmm0,0x30(%rdx)
movups %xmm0,0x20(%rdx)
movups %xmm0,0x10(%rdx)
movups %xmm0,(%rdx)
test   %esi,%esi
jle    11f4 <charmask+0xe4>
mov    %rdx,%r15
movslq %esi,%rbp
add    %rdi,%rbp
xor    %r14d,%r14d
jmp    119e <charmask+0x8e>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movb   $0x1,(%r15,%rax,1)
add    $0x1,%rdi
cmp    %rbp,%rdi
jae    11f7 <charmask+0xe7>
movzbl (%rdi),%eax
lea    0x3(%rdi),%rbx
cmp    %rbp,%rbx
jae    11c0 <charmask+0xb0>
cmpb   $0x2e,0x1(%rdi)
jne    11c0 <charmask+0xb0>
cmpb   $0x2e,0x2(%rdi)
jne    11c0 <charmask+0xb0>
movzbl (%rbx),%edx
cmp    %al,%dl
jae    11da <charmask+0xca>
nopl   (%rax)
lea    0x1(%rdi),%rcx
cmp    %rbp,%rcx
jae    1190 <charmask+0x80>
cmp    $0x2e,%al
jne    1190 <charmask+0x80>
cmpb   $0x2e,(%rcx)
jne    1190 <charmask+0x80>
mov    $0xffffffff,%r14d
jmp    1195 <charmask+0x85>
lea    (%r15,%rax,1),%rdi
sub    %rax,%rdx
add    $0x1,%rdx
mov    $0x1,%esi
call   1030 <memset@plt>
mov    %rbx,%rdi
jmp    1195 <charmask+0x85>
xor    %r14d,%r14d
mov    %r14d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @charmask(i8* %0, i32 %1, i8* nocapture writeonly %2) {
tail call void @llvm.memset.p0i8.i64(i8* align 1 dereferenceable(256) %2, i8 0, i64 256, i1 false)
%4 = sext i32 %1 to i64
%5 = getelementptr inbounds i8, i8* %0, i64 %4
%6 = icmp sgt i32 %1, 0
br i1 %6, label %7, label %46
7: ; preds = %3, %41
%8 = phi i32 [ %43, %41 ], [ 0, %3 ]
%9 = phi i8* [ %44, %41 ], [ %0, %3 ]
%10 = load i8, i8* %9
%11 = getelementptr inbounds i8, i8* %9, i64 3
%12 = icmp ult i8* %11, %5
br i1 %12, label %13, label %30
13: ; preds = %7
%14 = getelementptr inbounds i8, i8* %9, i64 1
%15 = load i8, i8* %14
%16 = icmp eq i8 %15, 46
br i1 %16, label %17, label %30
17: ; preds = %13
%18 = getelementptr inbounds i8, i8* %9, i64 2
%19 = load i8, i8* %18
%20 = icmp eq i8 %19, 46
br i1 %20, label %21, label %30
21: ; preds = %17
%22 = load i8, i8* %11
%23 = icmp ult i8 %22, %10
br i1 %23, label %30, label %24
24: ; preds = %21
%25 = zext i8 %10 to i64
%26 = zext i8 %22 to i64
%27 = getelementptr inbounds i8, i8* %2, i64 %25
%28 = sub nsw i64 1, %25
%29 = add nsw i64 %28, %26
tail call void @llvm.memset.p0i8.i64(i8* align 1 %27, i8 1, i64 %29, i1 false)
br label %41
30: ; preds = %21, %17, %13, %7
%31 = getelementptr inbounds i8, i8* %9, i64 1
%32 = icmp ult i8* %31, %5
%33 = icmp eq i8 %10, 46
%34 = select i1 %32, i1 %33, i1 false
br i1 %34, label %35, label %38
35: ; preds = %30
%36 = load i8, i8* %31
%37 = icmp eq i8 %36, 46
br i1 %37, label %41, label %38
38: ; preds = %35, %30
%39 = zext i8 %10 to i64
%40 = getelementptr inbounds i8, i8* %2, i64 %39
store i8 1, i8* %40
br label %41
41: ; preds = %35, %24, %38
%42 = phi i8* [ %11, %24 ], [ %9, %38 ], [ %9, %35 ]
%43 = phi i32 [ %8, %24 ], [ %8, %38 ], [ -1, %35 ]
%44 = getelementptr inbounds i8, i8* %42, i64 1
%45 = icmp ult i8* %44, %5
br i1 %45, label %7, label %46
46: ; preds = %41, %3
%47 = phi i32 [ 0, %3 ], [ %43, %41 ]
ret i32 %47
}