unsigned rStrlen(const char *str, char eof, unsigned *escapelen,
                 unsigned fmttype) {
  if (!str)
    return 0;
  if (!str[0])
    return 0;
  _Bool prevescape = 0, escape = 0, backread = 0;
  int rcount, count;
  for (rcount = count = 0; str[rcount] != 0; rcount++, count++) {
    if (escape) {
      count--;
      escape = 0;
      prevescape = 1;
      continue;
    }
    if (str[rcount] == eof)
      break;
    switch (str[rcount]) {
    case '\\':
      escape = 1;
      break;
    case '*':
    case '+':
    case '?':
    case '{':
    case '(':
      backread = 1;
      switch (count) {
      case 0:
        printf("Warning: unexcept char '%c'\n", str[rcount]);
      case 1:
        *escapelen = 1;
        return (rcount == 0) ? 1 + prevescape : rcount;
      default:
        *escapelen = count - backread;
        return rcount - prevescape - backread;
      }
    }
    prevescape = 0;
  }
  *escapelen = count;
  return rcount;
}


x86 assembly (clang, -O0):
<rStrlen>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %sil,%al
mov    %rdi,-0x10(%rbp)
mov    %al,-0x11(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1140 <rStrlen+0x30>
movl   $0x0,-0x4(%rbp)
jmp    130a <rStrlen+0x1fa>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1159 <rStrlen+0x49>
movl   $0x0,-0x4(%rbp)
jmp    130a <rStrlen+0x1fa>
movb   $0x0,-0x25(%rbp)
movb   $0x0,-0x26(%rbp)
movb   $0x0,-0x27(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     12fb <rStrlen+0x1eb>
testb  $0x1,-0x26(%rbp)
je     11a8 <rStrlen+0x98>
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
movb   $0x0,-0x26(%rbp)
movb   $0x1,-0x25(%rbp)
jmp    12e4 <rStrlen+0x1d4>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    11c5 <rStrlen+0xb5>
jmp    12fb <rStrlen+0x1eb>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x34(%rbp)
sub    $0x28,%eax
je     1232 <rStrlen+0x122>
jmp    11e2 <rStrlen+0xd2>
mov    -0x34(%rbp),%eax
add    $0xffffffd6,%eax
sub    $0x2,%eax
jb     1232 <rStrlen+0x122>
jmp    11f6 <rStrlen+0xe6>
mov    -0x34(%rbp),%eax
sub    $0x3f,%eax
je     1232 <rStrlen+0x122>
jmp    1207 <rStrlen+0xf7>
mov    -0x34(%rbp),%eax
sub    $0x5c,%eax
je     1229 <rStrlen+0x119>
jmp    1218 <rStrlen+0x108>
mov    -0x34(%rbp),%eax
sub    $0x7b,%eax
je     1232 <rStrlen+0x122>
jmp    12e0 <rStrlen+0x1d0>
movb   $0x1,-0x26(%rbp)
jmp    12e0 <rStrlen+0x1d0>
movb   $0x1,-0x27(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x38(%rbp)
test   %eax,%eax
je     125a <rStrlen+0x14a>
jmp    1249 <rStrlen+0x139>
mov    -0x38(%rbp),%eax
sub    $0x1,%eax
je     1274 <rStrlen+0x164>
jmp    12ac <rStrlen+0x19c>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xd93(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x20(%rbp),%rax
movl   $0x1,(%rax)
cmpl   $0x0,-0x2c(%rbp)
jne    129b <rStrlen+0x18b>
mov    -0x25(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    12a1 <rStrlen+0x191>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    130a <rStrlen+0x1fa>
mov    -0x30(%rbp),%ecx
mov    -0x27(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
sub    %eax,%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x2c(%rbp),%eax
mov    -0x25(%rbp),%cl
and    $0x1,%cl
movzbl %cl,%ecx
sub    %ecx,%eax
mov    -0x27(%rbp),%cl
and    $0x1,%cl
movzbl %cl,%ecx
sub    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    130a <rStrlen+0x1fa>
movb   $0x0,-0x25(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1173 <rStrlen+0x63>
mov    -0x30(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rStrlen>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
xor    %eax,%eax
test   %rdi,%rdi
je     11cf <rStrlen+0xbf>
mov    %rdx,%r14
mov    (%rdi),%dl
test   %dl,%dl
je     11cf <rStrlen+0xbf>
xor    %ebx,%ebx
mov    $0x80000d,%r8d
xor    %ecx,%ecx
xor    %ebp,%ebp
xor    %r15d,%r15d
jmp    1158 <rStrlen+0x48>
add    $0xffffffff,%ecx
mov    $0x1,%r15b
xor    %ebp,%ebp
add    $0x1,%ecx
movzbl 0x1(%rdi,%rbx,1),%edx
add    $0x1,%rbx
test   %dl,%dl
je     1189 <rStrlen+0x79>
test   $0x1,%bpl
jne    1140 <rStrlen+0x30>
cmp    %sil,%dl
je     1189 <rStrlen+0x79>
movsbl %dl,%eax
lea    -0x28(%rax),%edx
cmp    $0x34,%edx
ja     117f <rStrlen+0x6f>
cmp    $0x34,%rdx
jne    1179 <rStrlen+0x69>
mov    $0x1,%bpl
jmp    1184 <rStrlen+0x74>
bt     %rdx,%r8
jb     1190 <rStrlen+0x80>
cmp    $0x7b,%eax
je     1190 <rStrlen+0x80>
xor    %r15d,%r15d
jmp    1148 <rStrlen+0x38>
mov    %ebx,%eax
mov    %ecx,(%r14)
jmp    11cf <rStrlen+0xbf>
cmp    $0x1,%ecx
je     11a9 <rStrlen+0x99>
test   %ecx,%ecx
jne    11bf <rStrlen+0xaf>
lea    0xe60(%rip),%rdi
mov    %eax,%esi
xor    %eax,%eax
call   1030 <printf@plt>
movl   $0x1,(%r14)
add    $0x1,%r15b
test   %ebx,%ebx
movzbl %r15b,%eax
cmovne %ebx,%eax
jmp    11cf <rStrlen+0xbf>
add    $0xffffffff,%ecx
mov    %ecx,(%r14)
movzbl %r15b,%eax
not    %eax
add    %eax,%ebx
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [29 x i8] c"Warning: unexcept char '%c'\0A\00"
define i32 @rStrlen(i8* %0, i8 signext %1, i32* nocapture writeonly %2, i32 %3) {
%5 = icmp eq i8* %0, null
br i1 %5, label %54, label %6
6: ; preds = %4
%7 = load i8, i8* %0
%8 = icmp eq i8 %7, 0
br i1 %8, label %54, label %9
9: ; preds = %6, %39
%10 = phi i64 [ %43, %39 ], [ 0, %6 ]
%11 = phi i8 [ %47, %39 ], [ %7, %6 ]
%12 = phi i32 [ %45, %39 ], [ 0, %6 ]
%13 = phi i32 [ %44, %39 ], [ 0, %6 ]
%14 = phi i8 [ %41, %39 ], [ 0, %6 ]
%15 = phi i8 [ %40, %39 ], [ 0, %6 ]
%16 = sext i8 %11 to i32
%17 = and i8 %14, 1
%18 = icmp eq i8 %17, 0
br i1 %18, label %21, label %19
19: ; preds = %9
%20 = add nsw i32 %12, -1
br label %39
21: ; preds = %9
%22 = icmp eq i8 %11, %1
br i1 %22, label %49, label %23
23: ; preds = %21
switch i32 %16, label %39 [
i32 92, label %24
i32 42, label %25
i32 43, label %25
i32 63, label %25
i32 123, label %25
i32 40, label %25
]
24: ; preds = %23
br label %39
25: ; preds = %23, %23, %23, %23, %23
%26 = trunc i64 %10 to i32
switch i32 %12, label %34 [
i32 0, label %27
i32 1, label %29
]
27: ; preds = %25
%28 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0), i32 %16)
br label %29
29: ; preds = %25, %27
store i32 1, i32* %2
%30 = icmp eq i32 %26, 0
%31 = add nuw nsw i8 %15, 1
%32 = zext i8 %31 to i32
%33 = select i1 %30, i32 %32, i32 %26
br label %54
34: ; preds = %25
%35 = add nsw i32 %12, -1
store i32 %35, i32* %2
%36 = zext i8 %15 to i32
%37 = xor i32 %36, -1
%38 = add nsw i32 %26, %37
br label %54
39: ; preds = %24, %23, %19
%40 = phi i8 [ 1, %19 ], [ 0, %23 ], [ 0, %24 ]
%41 = phi i8 [ 0, %19 ], [ %14, %23 ], [ 1, %24 ]
%42 = phi i32 [ %20, %19 ], [ %12, %23 ], [ %12, %24 ]
%43 = add nuw i64 %10, 1
%44 = add nuw nsw i32 %13, 1
%45 = add nsw i32 %42, 1
%46 = getelementptr inbounds i8, i8* %0, i64 %43
%47 = load i8, i8* %46
%48 = icmp eq i8 %47, 0
br i1 %48, label %51, label %9
49: ; preds = %21
%50 = trunc i64 %10 to i32
br label %51
51: ; preds = %39, %49
%52 = phi i32 [ %50, %49 ], [ %44, %39 ]
%53 = phi i32 [ %12, %49 ], [ %45, %39 ]
store i32 %53, i32* %2
br label %54
54: ; preds = %29, %34, %51, %6, %4
%55 = phi i32 [ 0, %4 ], [ 0, %6 ], [ %52, %51 ], [ %38, %34 ], [ %33, %29 ]
ret i32 %55
}