int check_format(char format[]) {
  char *c;
  for (c = format; *c; c++)
    if (c[0] == '%') {
      int r = -1;
      c++;
      switch (c[0]) {
      case '0' ... '9':
        r = 0;
        while (c[0] >= '0' && c[0] <= '9') {
          r *= 10;
          r += c[0] - '0';
          c++;
        }
        if (r <= 0 || r > 100)
          return 0;
        break;
      case '%':
        if (r != -1)
          return 0;
      case 'n':
      case 'a':
      case 's':
      case 'x':
      case 'r':
      case 'I':
      case 't':
      case 'T':
      case 'm':
      case 'M':
      case 'h':
      case 'S':
      case 'v':
        break;
      default:
        return 0;
      }
    }
  return 1;
}


x86 assembly (clang, -O0):
<check_format>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     123d <check_format+0x13d>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x25,%eax
jne    1227 <check_format+0x127>
movl   $0xffffffff,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
add    $0xffffffdb,%eax
mov    %eax,%ecx
mov    %rcx,-0x28(%rbp)
sub    $0x53,%eax
ja     1216 <check_format+0x116>
mov    -0x28(%rbp),%rax
lea    0xe9c(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movl   $0x0,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x30,%ecx
mov    %al,-0x29(%rbp)
jl     1199 <check_format+0x99>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
setle  %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    11a9 <check_format+0xa9>
jmp    11d1 <check_format+0xd1>
imul   $0xa,-0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1174 <check_format+0x74>
cmpl   $0x0,-0x1c(%rbp)
jle    11e5 <check_format+0xe5>
cmpl   $0x64,-0x1c(%rbp)
jle    11f1 <check_format+0xf1>
movl   $0x0,-0x4(%rbp)
jmp    1244 <check_format+0x144>
jmp    1222 <check_format+0x122>
cmpl   $0xffffffff,-0x1c(%rbp)
je     120c <check_format+0x10c>
movl   $0x0,-0x4(%rbp)
jmp    1244 <check_format+0x144>
jmp    1211 <check_format+0x111>
jmp    1222 <check_format+0x122>
movl   $0x0,-0x4(%rbp)
jmp    1244 <check_format+0x144>
jmp    1227 <check_format+0x127>
jmp    122c <check_format+0x12c>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1110 <check_format+0x10>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_format>:
lea    0xef9(%rip),%rcx
jmp    1118 <check_format+0x18>
nopl   0x0(%rax)
test   %al,%al
je     1178 <check_format+0x78>
add    $0x1,%rdi
mov    (%rdi),%al
cmp    $0x25,%al
jne    1110 <check_format+0x10>
movsbl 0x1(%rdi),%edx
xor    %eax,%eax
lea    -0x25(%rdx),%esi
cmp    $0x53,%esi
ja     1177 <check_format+0x77>
add    $0x1,%rdi
movslq (%rcx,%rsi,4),%rsi
add    %rcx,%rsi
jmp    *%rsi
lea    -0x30(%rdx),%esi
cmp    $0x9,%sil
ja     1177 <check_format+0x77>
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl %dl,%edx
lea    (%rax,%rax,4),%eax
lea    (%rdx,%rax,2),%eax
add    $0xffffffd0,%eax
movzbl 0x1(%rdi),%edx
add    $0x1,%rdi
lea    -0x30(%rdx),%esi
cmp    $0xa,%sil
jb     1150 <check_format+0x50>
add    $0xffffff9b,%eax
cmp    $0xffffff9c,%eax
jae    1114 <check_format+0x14>
xor    %eax,%eax
ret
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @check_format(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i32
store i8* %0, i8** %3
%6 = load i8*, i8** %3
store i8* %6, i8** %4
br label %7
7: ; preds = %68, %1
%8 = load i8*, i8** %4
%9 = load i8, i8* %8
%10 = icmp ne i8 %9, 0
br i1 %10, label %11, label %71
11: ; preds = %7
%12 = load i8*, i8** %4
%13 = getelementptr inbounds i8, i8* %12, i64 0
%14 = load i8, i8* %13
%15 = sext i8 %14 to i32
%16 = icmp eq i32 %15, 37
br i1 %16, label %17, label %67
17: ; preds = %11
store i32 -1, i32* %5
%18 = load i8*, i8** %4
%19 = getelementptr inbounds i8, i8* %18, i32 1
store i8* %19, i8** %4
%20 = load i8*, i8** %4
%21 = getelementptr inbounds i8, i8* %20, i64 0
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
switch i32 %23, label %65 [
i32 48, label %24
i32 49, label %24
i32 50, label %24
i32 51, label %24
i32 52, label %24
i32 53, label %24
i32 54, label %24
i32 55, label %24
i32 56, label %24
i32 57, label %24
i32 37, label %59
i32 110, label %64
i32 97, label %64
i32 115, label %64
i32 120, label %64
i32 114, label %64
i32 73, label %64
i32 116, label %64
i32 84, label %64
i32 109, label %64
i32 77, label %64
i32 104, label %64
i32 83, label %64
i32 118, label %64
]
24: ; preds = %17, %17, %17, %17, %17, %17, %17, %17, %17, %17
store i32 0, i32* %5
br label %25
25: ; preds = %39, %24
%26 = load i8*, i8** %4
%27 = getelementptr inbounds i8, i8* %26, i64 0
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp sge i32 %29, 48
br i1 %30, label %31, label %37
31: ; preds = %25
%32 = load i8*, i8** %4
%33 = getelementptr inbounds i8, i8* %32, i64 0
%34 = load i8, i8* %33
%35 = sext i8 %34 to i32
%36 = icmp sle i32 %35, 57
br label %37
37: ; preds = %31, %25
%38 = phi i1 [ false, %25 ], [ %36, %31 ]
br i1 %38, label %39, label %51
39: ; preds = %37
%40 = load i32, i32* %5
%41 = mul nsw i32 %40, 10
store i32 %41, i32* %5
%42 = load i8*, i8** %4
%43 = getelementptr inbounds i8, i8* %42, i64 0
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
%46 = sub nsw i32 %45, 48
%47 = load i32, i32* %5
%48 = add nsw i32 %47, %46
store i32 %48, i32* %5
%49 = load i8*, i8** %4
%50 = getelementptr inbounds i8, i8* %49, i32 1
store i8* %50, i8** %4
br label %25
51: ; preds = %37
%52 = load i32, i32* %5
%53 = icmp sle i32 %52, 0
br i1 %53, label %57, label %54
54: ; preds = %51
%55 = load i32, i32* %5
%56 = icmp sgt i32 %55, 100
br i1 %56, label %57, label %58
57: ; preds = %54, %51
store i32 0, i32* %2
br label %72
58: ; preds = %54
br label %66
59: ; preds = %17
%60 = load i32, i32* %5
%61 = icmp ne i32 %60, -1
br i1 %61, label %62, label %63
62: ; preds = %59
store i32 0, i32* %2
br label %72
63: ; preds = %59
br label %64
64: ; preds = %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %63
br label %66
65: ; preds = %17
store i32 0, i32* %2
br label %72
66: ; preds = %64, %58
br label %67
67: ; preds = %66, %11
br label %68
68: ; preds = %67
%69 = load i8*, i8** %4
%70 = getelementptr inbounds i8, i8* %69, i32 1
store i8* %70, i8** %4
br label %7
71: ; preds = %7
store i32 1, i32* %2
br label %72
72: ; preds = %71, %65, %62, %57
%73 = load i32, i32* %2
ret i32 %73
}

LLVM IR (-O2):
define i32 @check_format(i8* nocapture %0) {
br label %2
2: ; preds = %27, %1
%3 = phi i8* [ %0, %1 ], [ %29, %27 ]
%4 = load i8, i8* %3
switch i8 %4, label %27 [
i8 0, label %30
i8 37, label %5
]
5: ; preds = %2
%6 = getelementptr inbounds i8, i8* %3, i64 1
%7 = load i8, i8* %6
%8 = sext i8 %7 to i32
switch i32 %8, label %30 [
i32 48, label %9
i32 49, label %9
i32 50, label %9
i32 51, label %9
i32 52, label %9
i32 53, label %9
i32 54, label %9
i32 55, label %9
i32 56, label %9
i32 57, label %9
i32 37, label %27
i32 110, label %27
i32 97, label %27
i32 115, label %27
i32 120, label %27
i32 114, label %27
i32 73, label %27
i32 116, label %27
i32 84, label %27
i32 109, label %27
i32 77, label %27
i32 104, label %27
i32 83, label %27
i32 118, label %27
]
9: ; preds = %5, %5, %5, %5, %5, %5, %5, %5, %5, %5
%10 = add i8 %7, -48
%11 = icmp ult i8 %10, 10
br i1 %11, label %12, label %30
12: ; preds = %9, %12
%13 = phi i8 [ %21, %12 ], [ %7, %9 ]
%14 = phi i32 [ %19, %12 ], [ 0, %9 ]
%15 = phi i8* [ %20, %12 ], [ %6, %9 ]
%16 = zext i8 %13 to i32
%17 = mul nsw i32 %14, 10
%18 = add i32 %17, -48
%19 = add i32 %18, %16
%20 = getelementptr inbounds i8, i8* %15, i64 1
%21 = load i8, i8* %20
%22 = add i8 %21, -48
%23 = icmp ult i8 %22, 10
br i1 %23, label %12, label %24
24: ; preds = %12
%25 = add i32 %19, -101
%26 = icmp ult i32 %25, -100
br i1 %26, label %30, label %27
27: ; preds = %5, %5, %5, %5, %5, %5, %5, %5, %5, %5, %5, %5, %5, %5, %24, %2
%28 = phi i8* [ %3, %2 ], [ %6, %5 ], [ %6, %5 ], [ %6, %5 ], [ %6, %5 ], [ %6, %5 ], [ %6, %5 ], [ %6, %5 ], [ %6, %5 ], [ %6, %5 ], [ %6, %5 ], [ %6, %5 ], [ %6, %5 ], [ %6, %5 ], [ %20, %24 ], [ %6, %5 ]
%29 = getelementptr inbounds i8, i8* %28, i64 1
br label %2
30: ; preds = %9, %5, %24, %2
%31 = phi i32 [ 1, %2 ], [ 0, %24 ], [ 0, %5 ], [ 0, %9 ]
ret i32 %31
}