#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 */
unsigned long UINT_MAX;
scalar_t__ errno;
int /*<<< orphan*/ is_revchar(char const);
int /*<<< orphan*/ is_uschar(char const, int /*<<< orphan*/,
                             int /*<<< orphan*/);
char *strchr(char const *, char);
size_t strlen(char const *);
unsigned long strtoul(char const *, char **, int);
int parse_coarse(const char *v, unsigned *epoch, const char **upstream,
                 size_t *us_len, const char **rev, size_t *rev_len) {
  char *col, *end, *hyp;
  const char *c;
  unsigned long u;
  size_t len = strlen(v);
  if ((col = strchr(v, ':')) != NULL) {
    if (v[0] == '-') {
      return -1;
    }
    errno = 0;
    u = strtoul(v, &end, 10);
    if (errno != 0 || end != col || u > UINT_MAX) {
      return -1;
    }
    *epoch = u;
    *upstream = col + 1;
  } else {
    *epoch = 0;
    *upstream = v;
  }
  if ((hyp = strchr(v, '-')) != NULL) {
    *rev = hyp + 1;
    *rev_len = len - ((hyp + 1) - v);
    *us_len = (hyp - *upstream);
    for (c = hyp + 1; *c != 0; c++) {
      if (!is_revchar(*c)) {
        return -1;
      }
    }
  } else {
    *rev = v + len;
    *rev_len = 0;
    *us_len = (*rev - *upstream);
  }
  c = *upstream;
  for (; *c != 0 && c != hyp; c++) {
    if (!is_uschar(*c, col != NULL, hyp != NULL)) {
      return -1;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<parse_coarse>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x68(%rbp)
mov    -0x10(%rbp),%rdi
mov    $0x3a,%esi
call   1040 <strchr@plt>
mov    %rax,-0x40(%rbp)
cmp    $0x0,%rax
je     1238 <parse_coarse+0xe8>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    11b5 <parse_coarse+0x65>
movl   $0xffffffff,-0x4(%rbp)
jmp    13ce <parse_coarse+0x27e>
mov    0x2e1c(%rip),%rax
movq   $0x0,(%rax)
mov    -0x10(%rbp),%rdi
lea    -0x48(%rbp),%rsi
mov    $0xa,%edx
call   1070 <strtoul@plt>
mov    %rax,-0x60(%rbp)
mov    0x2df8(%rip),%rax
cmpq   $0x0,(%rax)
jne    120c <parse_coarse+0xbc>
mov    -0x48(%rbp),%rax
cmp    -0x40(%rbp),%rax
jne    120c <parse_coarse+0xbc>
mov    -0x60(%rbp),%rax
mov    0x2de5(%rip),%rcx
cmp    (%rcx),%rax
jbe    1218 <parse_coarse+0xc8>
movl   $0xffffffff,-0x4(%rbp)
jmp    13ce <parse_coarse+0x27e>
mov    -0x60(%rbp),%rax
mov    %eax,%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x40(%rbp),%rcx
add    $0x1,%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
jmp    124d <parse_coarse+0xfd>
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x10(%rbp),%rdi
mov    $0x2d,%esi
call   1040 <strchr@plt>
mov    %rax,-0x50(%rbp)
cmp    $0x0,%rax
je     1302 <parse_coarse+0x1b2>
mov    -0x50(%rbp),%rcx
add    $0x1,%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x68(%rbp),%rcx
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    -0x10(%rbp),%rdx
sub    %rdx,%rax
sub    %rax,%rcx
mov    -0x38(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x50(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
sub    %rax,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     12fd <parse_coarse+0x1ad>
mov    -0x58(%rbp),%rax
movsbl (%rax),%edi
call   1050 <is_revchar@plt>
cmp    $0x0,%eax
jne    12e7 <parse_coarse+0x197>
movl   $0xffffffff,-0x4(%rbp)
jmp    13ce <parse_coarse+0x27e>
jmp    12ec <parse_coarse+0x19c>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    12b6 <parse_coarse+0x166>
jmp    1334 <parse_coarse+0x1e4>
mov    -0x10(%rbp),%rcx
add    -0x68(%rbp),%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x38(%rbp),%rax
movq   $0x0,(%rax)
mov    -0x30(%rbp),%rax
mov    (%rax),%rcx
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
sub    %rax,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x69(%rbp)
je     1362 <parse_coarse+0x212>
mov    -0x58(%rbp),%rax
cmp    -0x50(%rbp),%rax
setne  %al
mov    %al,-0x69(%rbp)
mov    -0x69(%rbp),%al
test   $0x1,%al
jne    1372 <parse_coarse+0x222>
jmp    13c7 <parse_coarse+0x277>
mov    -0x58(%rbp),%rax
mov    (%rax),%al
cmpq   $0x0,-0x40(%rbp)
setne  %cl
and    $0x1,%cl
movzbl %cl,%esi
cmpq   $0x0,-0x50(%rbp)
setne  %cl
and    $0x1,%cl
movzbl %cl,%edx
movsbl %al,%edi
call   1060 <is_uschar@plt>
cmp    $0x0,%eax
jne    13b1 <parse_coarse+0x261>
movl   $0xffffffff,-0x4(%rbp)
jmp    13ce <parse_coarse+0x27e>
jmp    13b6 <parse_coarse+0x266>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    133f <parse_coarse+0x1ef>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<parse_coarse>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9,0x10(%rsp)
mov    %r8,0x8(%rsp)
mov    %rcx,%rbx
mov    %rdx,%rbp
mov    %rsi,%r14
mov    %rdi,%r12
call   1030 <strlen@plt>
mov    %rax,%r13
mov    %r12,%rdi
mov    $0x3a,%esi
call   1040 <strchr@plt>
mov    %rax,%r15
test   %rax,%rax
je     1200 <parse_coarse+0xb0>
mov    $0xffffffff,%ecx
cmpb   $0x2d,(%r12)
je     12fe <parse_coarse+0x1ae>
mov    %rbp,0x18(%rsp)
mov    0x2e2b(%rip),%rbp
movq   $0x0,0x0(%rbp)
lea    0x20(%rsp),%rsi
mov    %r12,%rdi
mov    $0xa,%edx
call   1070 <strtoul@plt>
cmpq   $0x0,0x0(%rbp)
jne    12f9 <parse_coarse+0x1a9>
cmp    %r15,0x20(%rsp)
jne    12f9 <parse_coarse+0x1a9>
mov    0x2e04(%rip),%rcx
cmp    (%rcx),%rax
mov    $0xffffffff,%ecx
ja     12fe <parse_coarse+0x1ae>
mov    %eax,(%r14)
lea    0x1(%r15),%rax
mov    0x18(%rsp),%rbp
jmp    120a <parse_coarse+0xba>
movl   $0x0,(%r14)
mov    %r12,%rax
mov    %rax,0x0(%rbp)
mov    %r12,%rdi
mov    $0x2d,%esi
call   1040 <strchr@plt>
mov    %rax,%r14
test   %rax,%rax
je     1281 <parse_coarse+0x131>
lea    0x1(%r14),%rax
mov    0x8(%rsp),%rcx
mov    %rax,(%rcx)
add    %r12,%r13
sub    %rax,%r13
mov    0x10(%rsp),%rax
mov    %r13,(%rax)
mov    %rbp,%rcx
mov    0x0(%rbp),%rbp
mov    %r14,%rax
sub    %rbp,%rax
mov    %rax,(%rbx)
mov    0x1(%r14),%al
test   %al,%al
je     12a2 <parse_coarse+0x152>
lea    0x2(%r14),%rbx
mov    %rcx,%rbp
nopl   0x0(%rax)
movsbl %al,%edi
call   1050 <is_revchar@plt>
test   %eax,%eax
je     12f9 <parse_coarse+0x1a9>
movzbl (%rbx),%eax
add    $0x1,%rbx
test   %al,%al
jne    1260 <parse_coarse+0x110>
mov    0x0(%rbp),%rbp
jmp    12a2 <parse_coarse+0x152>
add    %r13,%r12
mov    0x8(%rsp),%rax
mov    %r12,(%rax)
mov    0x10(%rsp),%rax
movq   $0x0,(%rax)
mov    0x0(%rbp),%rbp
sub    %rbp,%r12
mov    %r12,(%rbx)
xor    %r12d,%r12d
test   %r14,%r14
setne  %cl
xor    %ebx,%ebx
test   %r15,%r15
setne  %dl
mov    0x0(%rbp),%al
test   %al,%al
je     12f5 <parse_coarse+0x1a5>
cmp    %r14,%rbp
je     12f5 <parse_coarse+0x1a5>
mov    %dl,%bl
mov    %cl,%r12b
add    $0x1,%rbp
nopl   0x0(%rax,%rax,1)
movsbl %al,%edi
mov    %ebx,%esi
mov    %r12d,%edx
call   1060 <is_uschar@plt>
test   %eax,%eax
je     12f9 <parse_coarse+0x1a9>
movzbl 0x0(%rbp),%eax
test   %al,%al
je     12f5 <parse_coarse+0x1a5>
lea    0x1(%rbp),%rcx
cmp    %r14,%rbp
mov    %rcx,%rbp
jne    12d0 <parse_coarse+0x180>
xor    %ecx,%ecx
jmp    12fe <parse_coarse+0x1ae>
mov    $0xffffffff,%ecx
mov    %ecx,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@errno = global i64 0
@UINT_MAX = global i64 0
define i32 @parse_coarse(i8* %0, i32* %1, i8** %2, i64* %3, i8** %4, i64* %5) {
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i32*
%10 = alloca i8**
%11 = alloca i64*
%12 = alloca i8**
%13 = alloca i64*
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i8*
%17 = alloca i8*
%18 = alloca i64
%19 = alloca i64
store i8* %0, i8** %8
store i32* %1, i32** %9
store i8** %2, i8*** %10
store i64* %3, i64** %11
store i8** %4, i8*** %12
store i64* %5, i64** %13
%20 = load i8*, i8** %8
%21 = call i64 @strlen(i8* %20)
store i64 %21, i64* %19
%22 = load i8*, i8** %8
%23 = call i8* @strchr(i8* %22, i8 signext 58)
store i8* %23, i8** %14
%24 = icmp ne i8* %23, null
br i1 %24, label %25, label %53
25: ; preds = %6
%26 = load i8*, i8** %8
%27 = getelementptr inbounds i8, i8* %26, i64 0
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp eq i32 %29, 45
br i1 %30, label %31, label %32
31: ; preds = %25
store i32 -1, i32* %7
br label %144
32: ; preds = %25
store i64 0, i64* @errno
%33 = load i8*, i8** %8
%34 = call i64 @strtoul(i8* %33, i8** %15, i32 10)
store i64 %34, i64* %18
%35 = load i64, i64* @errno
%36 = icmp ne i64 %35, 0
br i1 %36, label %45, label %37
37: ; preds = %32
%38 = load i8*, i8** %15
%39 = load i8*, i8** %14
%40 = icmp ne i8* %38, %39
br i1 %40, label %45, label %41
41: ; preds = %37
%42 = load i64, i64* %18
%43 = load i64, i64* @UINT_MAX
%44 = icmp ugt i64 %42, %43
br i1 %44, label %45, label %46
45: ; preds = %41, %37, %32
store i32 -1, i32* %7
br label %144
46: ; preds = %41
%47 = load i64, i64* %18
%48 = trunc i64 %47 to i32
%49 = load i32*, i32** %9
store i32 %48, i32* %49
%50 = load i8*, i8** %14
%51 = getelementptr inbounds i8, i8* %50, i64 1
%52 = load i8**, i8*** %10
store i8* %51, i8** %52
br label %57
53: ; preds = %6
%54 = load i32*, i32** %9
store i32 0, i32* %54
%55 = load i8*, i8** %8
%56 = load i8**, i8*** %10
store i8* %55, i8** %56
br label %57
57: ; preds = %53, %46
%58 = load i8*, i8** %8
%59 = call i8* @strchr(i8* %58, i8 signext 45)
store i8* %59, i8** %16
%60 = icmp ne i8* %59, null
br i1 %60, label %61, label %99
61: ; preds = %57
%62 = load i8*, i8** %16
%63 = getelementptr inbounds i8, i8* %62, i64 1
%64 = load i8**, i8*** %12
store i8* %63, i8** %64
%65 = load i64, i64* %19
%66 = load i8*, i8** %16
%67 = getelementptr inbounds i8, i8* %66, i64 1
%68 = load i8*, i8** %8
%69 = ptrtoint i8* %67 to i64
%70 = ptrtoint i8* %68 to i64
%71 = sub i64 %69, %70
%72 = sub i64 %65, %71
%73 = load i64*, i64** %13
store i64 %72, i64* %73
%74 = load i8*, i8** %16
%75 = load i8**, i8*** %10
%76 = load i8*, i8** %75
%77 = ptrtoint i8* %74 to i64
%78 = ptrtoint i8* %76 to i64
%79 = sub i64 %77, %78
%80 = load i64*, i64** %11
store i64 %79, i64* %80
%81 = load i8*, i8** %16
%82 = getelementptr inbounds i8, i8* %81, i64 1
store i8* %82, i8** %17
br label %83
83: ; preds = %95, %61
%84 = load i8*, i8** %17
%85 = load i8, i8* %84
%86 = sext i8 %85 to i32
%87 = icmp ne i32 %86, 0
br i1 %87, label %88, label %98
88: ; preds = %83
%89 = load i8*, i8** %17
%90 = load i8, i8* %89
%91 = call i32 @is_revchar(i8 signext %90)
%92 = icmp ne i32 %91, 0
br i1 %92, label %94, label %93
93: ; preds = %88
store i32 -1, i32* %7
br label %144
94: ; preds = %88
br label %95
95: ; preds = %94
%96 = load i8*, i8** %17
%97 = getelementptr inbounds i8, i8* %96, i32 1
store i8* %97, i8** %17
br label %83
98: ; preds = %83
br label %113
99: ; preds = %57
%100 = load i8*, i8** %8
%101 = load i64, i64* %19
%102 = getelementptr inbounds i8, i8* %100, i64 %101
%103 = load i8**, i8*** %12
store i8* %102, i8** %103
%104 = load i64*, i64** %13
store i64 0, i64* %104
%105 = load i8**, i8*** %12
%106 = load i8*, i8** %105
%107 = load i8**, i8*** %10
%108 = load i8*, i8** %107
%109 = ptrtoint i8* %106 to i64
%110 = ptrtoint i8* %108 to i64
%111 = sub i64 %109, %110
%112 = load i64*, i64** %11
store i64 %111, i64* %112
br label %113
113: ; preds = %99, %98
%114 = load i8**, i8*** %10
%115 = load i8*, i8** %114
store i8* %115, i8** %17
br label %116
116: ; preds = %140, %113
%117 = load i8*, i8** %17
%118 = load i8, i8* %117
%119 = sext i8 %118 to i32
%120 = icmp ne i32 %119, 0
br i1 %120, label %121, label %125
121: ; preds = %116
%122 = load i8*, i8** %17
%123 = load i8*, i8** %16
%124 = icmp ne i8* %122, %123
br label %125
125: ; preds = %121, %116
%126 = phi i1 [ false, %116 ], [ %124, %121 ]
br i1 %126, label %127, label %143
127: ; preds = %125
%128 = load i8*, i8** %17
%129 = load i8, i8* %128
%130 = load i8*, i8** %14
%131 = icmp ne i8* %130, null
%132 = zext i1 %131 to i32
%133 = load i8*, i8** %16
%134 = icmp ne i8* %133, null
%135 = zext i1 %134 to i32
%136 = call i32 @is_uschar(i8 signext %129, i32 %132, i32 %135)
%137 = icmp ne i32 %136, 0
br i1 %137, label %139, label %138
138: ; preds = %127
store i32 -1, i32* %7
br label %144
139: ; preds = %127
br label %140
140: ; preds = %139
%141 = load i8*, i8** %17
%142 = getelementptr inbounds i8, i8* %141, i32 1
store i8* %142, i8** %17
br label %116
143: ; preds = %125
store i32 0, i32* %7
br label %144
144: ; preds = %143, %138, %93, %45, %31
%145 = load i32, i32* %7
ret i32 %145
}

LLVM IR (-O2):
@errno = global i64 0
@UINT_MAX = global i64 0
define i32 @parse_coarse(i8* %0, i32* nocapture writeonly %1, i8** nocapture %2, i64* nocapture writeonly %3, i8** nocapture writeonly %4, i64* nocapture writeonly %5) {
%7 = alloca i8*
%8 = bitcast i8** %7 to i8*
%9 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%10 = tail call i8* @strchr(i8* dereferenceable(1) %0, i8 signext 58)
%11 = icmp ne i8* %10, null
br i1 %11, label %12, label %28
12: ; preds = %6
%13 = load i8, i8* %0
%14 = icmp eq i8 %13, 45
br i1 %14, label %81, label %15
15: ; preds = %12
store i64 0, i64* @errno
%16 = call i64 @strtoul(i8* %0, i8** %7, i32 10)
%17 = load i64, i64* @errno
%18 = icmp ne i64 %17, 0
%19 = load i8*, i8** %7
%20 = icmp ne i8* %19, %10
%21 = select i1 %18, i1 true, i1 %20
%22 = load i64, i64* @UINT_MAX
%23 = icmp ugt i64 %16, %22
%24 = select i1 %21, i1 true, i1 %23
br i1 %24, label %81, label %25
25: ; preds = %15
%26 = trunc i64 %16 to i32
store i32 %26, i32* %1
%27 = getelementptr inbounds i8, i8* %10, i64 1
br label %29
28: ; preds = %6
store i32 0, i32* %1
br label %29
29: ; preds = %28, %25
%30 = phi i8* [ %0, %28 ], [ %27, %25 ]
store i8* %30, i8** %2
%31 = tail call i8* @strchr(i8* dereferenceable(1) %0, i8 signext 45)
%32 = icmp ne i8* %31, null
br i1 %32, label %33, label %54
33: ; preds = %29
%34 = getelementptr inbounds i8, i8* %31, i64 1
store i8* %34, i8** %4
%35 = ptrtoint i8* %34 to i64
%36 = ptrtoint i8* %0 to i64
%37 = add i64 %9, %36
%38 = sub i64 %37, %35
store i64 %38, i64* %5
%39 = load i8*, i8** %2
%40 = ptrtoint i8* %31 to i64
%41 = ptrtoint i8* %39 to i64
%42 = sub i64 %40, %41
store i64 %42, i64* %3
%43 = load i8, i8* %34
%44 = icmp eq i8 %43, 0
br i1 %44, label %62, label %48
45: ; preds = %48
%46 = load i8, i8* %53
%47 = icmp eq i8 %46, 0
br i1 %47, label %60, label %48
48: ; preds = %33, %45
%49 = phi i8 [ %46, %45 ], [ %43, %33 ]
%50 = phi i8* [ %53, %45 ], [ %34, %33 ]
%51 = tail call i32 @is_revchar(i8 signext %49)
%52 = icmp eq i32 %51, 0
%53 = getelementptr inbounds i8, i8* %50, i64 1
br i1 %52, label %81, label %45
54: ; preds = %29
%55 = getelementptr inbounds i8, i8* %0, i64 %9
store i8* %55, i8** %4
store i64 0, i64* %5
%56 = load i8*, i8** %2
%57 = ptrtoint i8* %55 to i64
%58 = ptrtoint i8* %56 to i64
%59 = sub i64 %57, %58
store i64 %59, i64* %3
br label %62
60: ; preds = %45
%61 = load i8*, i8** %2
br label %62
62: ; preds = %60, %33, %54
%63 = phi i8* [ %61, %60 ], [ %39, %33 ], [ %56, %54 ]
%64 = zext i1 %11 to i32
%65 = zext i1 %32 to i32
%66 = load i8, i8* %63
%67 = icmp ne i8 %66, 0
%68 = icmp ne i8* %63, %31
%69 = select i1 %67, i1 %68, i1 false
br i1 %69, label %75, label %81
70: ; preds = %75
%71 = load i8, i8* %80
%72 = icmp ne i8 %71, 0
%73 = icmp ne i8* %80, %31
%74 = select i1 %72, i1 %73, i1 false
br i1 %74, label %75, label %81
75: ; preds = %62, %70
%76 = phi i8 [ %71, %70 ], [ %66, %62 ]
%77 = phi i8* [ %80, %70 ], [ %63, %62 ]
%78 = tail call i32 @is_uschar(i8 signext %76, i32 %64, i32 %65)
%79 = icmp eq i32 %78, 0
%80 = getelementptr inbounds i8, i8* %77, i64 1
br i1 %79, label %81, label %70
81: ; preds = %48, %75, %70, %62, %15, %12
%82 = phi i32 [ -1, %12 ], [ -1, %15 ], [ 0, %62 ], [ -1, %75 ], [ 0, %70 ], [ -1, %48 ]
ret i32 %82
}