#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
scalar_t__ isdigit(unsigned char);
scalar_t__ isupper(unsigned char);
int is_ris_tag(const char *buf) {
  if (!isupper((unsigned char)buf[0]))
    return 0;
  if (!(isupper((unsigned char)buf[1]) || isdigit((unsigned char)buf[1])))
    return 0;
  if (buf[2] != ' ')
    return 0;
  if (buf[3] != ' ')
    return 0;
  if (buf[4] == '-') {
    if (buf[5] == ' ' || buf[5] == '\0' || buf[5] == '\n' || buf[5] == '\r')
      return 1;
  } else if (buf[4] == ' ') {
    if (buf[5] != '-')
      return 0;
    if (buf[6] == ' ' || buf[6] == '\0' || buf[6] == '\n' || buf[6] == '\r')
      return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<is_ris_tag>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%edi
call   1040 <isupper@plt>
cmp    $0x0,%rax
jne    114e <is_ris_tag+0x2e>
movl   $0x0,-0x4(%rbp)
jmp    12b7 <is_ris_tag+0x197>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%edi
call   1040 <isupper@plt>
cmp    $0x0,%rax
jne    1188 <is_ris_tag+0x68>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
jne    1188 <is_ris_tag+0x68>
movl   $0x0,-0x4(%rbp)
jmp    12b7 <is_ris_tag+0x197>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x20,%eax
je     11a5 <is_ris_tag+0x85>
movl   $0x0,-0x4(%rbp)
jmp    12b7 <is_ris_tag+0x197>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x20,%eax
je     11c2 <is_ris_tag+0xa2>
movl   $0x0,-0x4(%rbp)
jmp    12b7 <is_ris_tag+0x197>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x2d,%eax
jne    1228 <is_ris_tag+0x108>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x20,%eax
je     1217 <is_ris_tag+0xf7>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x0,%eax
je     1217 <is_ris_tag+0xf7>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0xa,%eax
je     1217 <is_ris_tag+0xf7>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0xd,%eax
jne    1223 <is_ris_tag+0x103>
movl   $0x1,-0x4(%rbp)
jmp    12b7 <is_ris_tag+0x197>
jmp    12b0 <is_ris_tag+0x190>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x20,%eax
jne    12ab <is_ris_tag+0x18b>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x2d,%eax
je     1256 <is_ris_tag+0x136>
movl   $0x0,-0x4(%rbp)
jmp    12b7 <is_ris_tag+0x197>
mov    -0x10(%rbp),%rax
movsbl 0x6(%rax),%eax
cmp    $0x20,%eax
je     129a <is_ris_tag+0x17a>
mov    -0x10(%rbp),%rax
movsbl 0x6(%rax),%eax
cmp    $0x0,%eax
je     129a <is_ris_tag+0x17a>
mov    -0x10(%rbp),%rax
movsbl 0x6(%rax),%eax
cmp    $0xa,%eax
je     129a <is_ris_tag+0x17a>
mov    -0x10(%rbp),%rax
movsbl 0x6(%rax),%eax
cmp    $0xd,%eax
jne    12a6 <is_ris_tag+0x186>
movl   $0x1,-0x4(%rbp)
jmp    12b7 <is_ris_tag+0x197>
jmp    12ab <is_ris_tag+0x18b>
jmp    12b0 <is_ris_tag+0x190>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_ris_tag>:
push   %rbp
push   %rbx
push   %rax
mov    %rdi,%rbx
movzbl (%rdi),%edi
call   1040 <isupper@plt>
xor    %ebp,%ebp
test   %rax,%rax
je     119b <is_ris_tag+0x7b>
movzbl 0x1(%rbx),%edi
call   1040 <isupper@plt>
test   %rax,%rax
jne    1151 <is_ris_tag+0x31>
movzbl 0x1(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     119b <is_ris_tag+0x7b>
cmpb   $0x20,0x2(%rbx)
jne    119b <is_ris_tag+0x7b>
cmpb   $0x20,0x3(%rbx)
jne    119b <is_ris_tag+0x7b>
mov    0x4(%rbx),%al
cmp    $0x20,%al
je     1174 <is_ris_tag+0x54>
cmp    $0x2d,%al
jne    1199 <is_ris_tag+0x79>
movzbl 0x5(%rbx),%eax
cmp    $0x20,%rax
jbe    1184 <is_ris_tag+0x64>
jmp    1199 <is_ris_tag+0x79>
cmpb   $0x2d,0x5(%rbx)
jne    119b <is_ris_tag+0x7b>
movzbl 0x6(%rbx),%eax
cmp    $0x20,%rax
ja     1199 <is_ris_tag+0x79>
mov    $0x1,%ebp
movabs $0x100002401,%rcx
bt     %rax,%rcx
jb     119b <is_ris_tag+0x7b>
xor    %ebp,%ebp
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @is_ris_tag(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = tail call i64 @isupper(i8 zeroext %2)
%4 = icmp eq i64 %3, 0
br i1 %4, label %36, label %5
5: ; preds = %1
%6 = getelementptr inbounds i8, i8* %0, i64 1
%7 = load i8, i8* %6
%8 = tail call i64 @isupper(i8 zeroext %7)
%9 = icmp eq i64 %8, 0
br i1 %9, label %10, label %14
10: ; preds = %5
%11 = load i8, i8* %6
%12 = tail call i64 @isdigit(i8 zeroext %11)
%13 = icmp eq i64 %12, 0
br i1 %13, label %36, label %14
14: ; preds = %10, %5
%15 = getelementptr inbounds i8, i8* %0, i64 2
%16 = load i8, i8* %15
%17 = icmp eq i8 %16, 32
br i1 %17, label %18, label %36
18: ; preds = %14
%19 = getelementptr inbounds i8, i8* %0, i64 3
%20 = load i8, i8* %19
%21 = icmp eq i8 %20, 32
br i1 %21, label %22, label %36
22: ; preds = %18
%23 = getelementptr inbounds i8, i8* %0, i64 4
%24 = load i8, i8* %23
switch i8 %24, label %35 [
i8 45, label %25
i8 32, label %28
]
25: ; preds = %22
%26 = getelementptr inbounds i8, i8* %0, i64 5
%27 = load i8, i8* %26
switch i8 %27, label %35 [
i8 32, label %36
i8 0, label %36
i8 10, label %36
i8 13, label %36
]
28: ; preds = %22
%29 = getelementptr inbounds i8, i8* %0, i64 5
%30 = load i8, i8* %29
%31 = icmp eq i8 %30, 45
br i1 %31, label %32, label %36
32: ; preds = %28
%33 = getelementptr inbounds i8, i8* %0, i64 6
%34 = load i8, i8* %33
switch i8 %34, label %35 [
i8 32, label %36
i8 0, label %36
i8 10, label %36
i8 13, label %36
]
35: ; preds = %32, %22, %25
br label %36
36: ; preds = %32, %32, %32, %32, %28, %25, %25, %25, %25, %18, %14, %10, %1, %35
%37 = phi i32 [ 0, %35 ], [ 0, %1 ], [ 0, %10 ], [ 0, %14 ], [ 0, %18 ], [ 1, %25 ], [ 1, %25 ], [ 1, %25 ], [ 1, %25 ], [ 0, %28 ], [ 1, %32 ], [ 1, %32 ], [ 1, %32 ], [ 1, %32 ]
ret i32 %37
}