int next_spec(specin, specout)
char *specin, *specout;
{
  register char *s = specout;
  register char *t = specin;
  for (; *t != '%'; *s++ = *t++) {
    if (*t == '\0') {
      *s = '\0';
      return (-1);
    }
  }
  *s++ = *t++;
  for (; *s++ = *t; t++) {
    switch (*t) {
    case '%':
      *s = '\0';
      return (-1);
    case 'd':
    case 'x':
    case 'o':
    case 'u':
      *s = '\0';
      return (4);
    case 'c':
      *s = '\0';
      return (0);
    case 'f':
    case 'e':
    case 'g':
      *s = '\0';
      return (2);
    case 's':
      *s = '\0';
      return (5);
    case '[':
      t += 1;
      while (*t != ']') {
        if (*t == '\0')
          return (-2);
        *s++ = *t++;
      }
      *s++ = ']';
      *s = '\0';
      return (5);
    case '#':
    case '-':
    case '+':
    case ' ':
    case '.':
    case '0':
    case '1':
    case '2':
    case '3':
    case '4':
    case '5':
    case '6':
    case '7':
    case '8':
    case '9':
      break;
    default:
      return (-2);
    }
  }
  return (-2);
}


x86 assembly (clang, -O0):
<next_spec>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x25,%eax
je     117b <next_spec+0x7b>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    114f <next_spec+0x4f>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
movl   $0xffffffff,-0x4(%rbp)
jmp    12fa <next_spec+0x1fa>
jmp    1154 <next_spec+0x54>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%cl
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %cl,(%rax)
jmp    111c <next_spec+0x1c>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%cl
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %cl,(%rax)
mov    -0x28(%rbp),%rax
mov    (%rax),%al
mov    -0x20(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %al,(%rcx)
cmp    $0x0,%al
je     12f3 <next_spec+0x1f3>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
add    $0xffffffe0,%eax
mov    %eax,%ecx
mov    %rcx,-0x30(%rbp)
sub    $0x58,%eax
ja     12d1 <next_spec+0x1d1>
mov    -0x30(%rbp),%rax
lea    0xe20(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
movl   $0xffffffff,-0x4(%rbp)
jmp    12fa <next_spec+0x1fa>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
movl   $0x4,-0x4(%rbp)
jmp    12fa <next_spec+0x1fa>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    12fa <next_spec+0x1fa>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
movl   $0x2,-0x4(%rbp)
jmp    12fa <next_spec+0x1fa>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
movl   $0x5,-0x4(%rbp)
jmp    12fa <next_spec+0x1fa>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
je     12a7 <next_spec+0x1a7>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1280 <next_spec+0x180>
movl   $0xfffffffe,-0x4(%rbp)
jmp    12fa <next_spec+0x1fa>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%cl
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %cl,(%rax)
jmp    1254 <next_spec+0x154>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movb   $0x5d,(%rax)
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
movl   $0x5,-0x4(%rbp)
jmp    12fa <next_spec+0x1fa>
jmp    12dd <next_spec+0x1dd>
movl   $0xfffffffe,-0x4(%rbp)
jmp    12fa <next_spec+0x1fa>
jmp    12e2 <next_spec+0x1e2>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    119d <next_spec+0x9d>
movl   $0xfffffffe,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<next_spec>:
add    $0x2,%rdi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl -0x2(%rdi),%eax
test   %al,%al
je     1177 <next_spec+0x77>
cmp    $0x25,%al
je     1128 <next_spec+0x28>
mov    %al,(%rsi)
add    $0x1,%rsi
add    $0x1,%rdi
jmp    1110 <next_spec+0x10>
movb   $0x25,(%rsi)
mov    -0x1(%rdi),%cl
mov    %cl,0x1(%rsi)
mov    $0xfffffffe,%eax
test   %cl,%cl
je     1176 <next_spec+0x76>
add    $0x2,%rsi
lea    0xebb(%rip),%rcx
cs nopw 0x0(%rax,%rax,1)
nop
movsbl -0x1(%rdi),%edx
add    $0xffffffe0,%edx
cmp    $0x58,%edx
ja     1176 <next_spec+0x76>
movslq (%rcx,%rdx,4),%rdx
add    %rcx,%rdx
jmp    *%rdx
movzbl (%rdi),%edx
mov    %dl,(%rsi)
add    $0x1,%rsi
add    $0x1,%rdi
test   %dl,%dl
jne    1150 <next_spec+0x50>
ret
mov    $0xffffffff,%eax
movb   $0x0,(%rsi)
ret
cmp    $0x5d,%cl
je     11b1 <next_spec+0xb1>
add    $0x1,%rdi
mov    %cl,-0x1(%rsi)
add    $0x1,%rsi
movzbl (%rdi),%ecx
test   %cl,%cl
jne    1180 <next_spec+0x80>
jmp    1176 <next_spec+0x76>
mov    $0x4,%eax
movb   $0x0,(%rsi)
ret
mov    $0x2,%eax
movb   $0x0,(%rsi)
ret
xor    %eax,%eax
movb   $0x0,(%rsi)
ret
movb   $0x5d,-0x1(%rsi)
mov    $0x5,%eax
movb   $0x0,(%rsi)
ret

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

LLVM IR (-O2):
define i32 @next_spec(i8* nocapture %0, i8* nocapture writeonly %1) {
br label %3
3: ; preds = %7, %2
%4 = phi i8* [ %1, %2 ], [ %9, %7 ]
%5 = phi i8* [ %0, %2 ], [ %8, %7 ]
%6 = load i8, i8* %5
switch i8 %6, label %7 [
i8 37, label %10
i8 0, label %43
]
7: ; preds = %3
%8 = getelementptr inbounds i8, i8* %5, i64 1
%9 = getelementptr inbounds i8, i8* %4, i64 1
store i8 %6, i8* %4
br label %3
10: ; preds = %3
%11 = getelementptr inbounds i8, i8* %4, i64 1
store i8 37, i8* %4
%12 = getelementptr inbounds i8, i8* %5, i64 1
%13 = load i8, i8* %12
store i8 %13, i8* %11
%14 = icmp eq i8 %13, 0
br i1 %14, label %46, label %15
15: ; preds = %10
%16 = getelementptr inbounds i8, i8* %4, i64 2
br label %17
17: ; preds = %15, %36
%18 = phi i8* [ %39, %36 ], [ %16, %15 ]
%19 = phi i8* [ %37, %36 ], [ %12, %15 ]
%20 = phi i8* [ %19, %36 ], [ %5, %15 ]
%21 = load i8, i8* %19
%22 = sext i8 %21 to i32
switch i32 %22, label %46 [
i32 37, label %41
i32 100, label %42
i32 120, label %42
i32 111, label %42
i32 117, label %42
i32 99, label %43
i32 102, label %23
i32 101, label %23
i32 103, label %23
i32 115, label %24
i32 91, label %25
i32 35, label %36
i32 45, label %36
i32 43, label %36
i32 32, label %36
i32 46, label %36
i32 48, label %36
i32 49, label %36
i32 50, label %36
i32 51, label %36
i32 52, label %36
i32 53, label %36
i32 54, label %36
i32 55, label %36
i32 56, label %36
i32 57, label %36
]
23: ; preds = %17, %17, %17
br label %43
24: ; preds = %17
br label %43
25: ; preds = %17
%26 = getelementptr inbounds i8, i8* %20, i64 2
br label %27
27: ; preds = %31, %25
%28 = phi i8* [ %18, %25 ], [ %33, %31 ]
%29 = phi i8* [ %26, %25 ], [ %32, %31 ]
%30 = load i8, i8* %29
switch i8 %30, label %31 [
i8 93, label %34
i8 0, label %46
]
31: ; preds = %27
%32 = getelementptr inbounds i8, i8* %29, i64 1
%33 = getelementptr inbounds i8, i8* %28, i64 1
store i8 %30, i8* %28
br label %27
34: ; preds = %27
%35 = getelementptr inbounds i8, i8* %28, i64 1
store i8 93, i8* %28
br label %43
36: ; preds = %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17
%37 = getelementptr inbounds i8, i8* %19, i64 1
%38 = load i8, i8* %37
%39 = getelementptr inbounds i8, i8* %18, i64 1
store i8 %38, i8* %18
%40 = icmp eq i8 %38, 0
br i1 %40, label %46, label %17
41: ; preds = %17
br label %43
42: ; preds = %17, %17, %17, %17
br label %43
43: ; preds = %3, %17, %42, %41, %23, %24, %34
%44 = phi i8* [ %35, %34 ], [ %18, %24 ], [ %18, %23 ], [ %18, %41 ], [ %18, %42 ], [ %18, %17 ], [ %4, %3 ]
%45 = phi i32 [ 5, %34 ], [ 5, %24 ], [ 2, %23 ], [ -1, %41 ], [ 4, %42 ], [ 0, %17 ], [ -1, %3 ]
store i8 0, i8* %44
br label %46
46: ; preds = %17, %36, %27, %43, %10
%47 = phi i32 [ -2, %10 ], [ %45, %43 ], [ -2, %27 ], [ -2, %36 ], [ -2, %17 ]
ret i32 %47
}