#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 */
int INT_MAX;
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *, char *, ...);
int /*<<< orphan*/ stderr;
int /*<<< orphan*/ strcpy(char *, char const *);
int /*<<< orphan*/ strlen(char const *);
char *strtok_r(char *, char *, char **);
unsigned long strtoul(char *, char **, int /*<<< orphan*/);
bool parse_list(const char *arg, int max, int *list, int *count) {
  char str[strlen(arg) + 1];
  char *tok, *tmp, *saveptr = NULL;
  int i;
  assert(max < INT_MAX);
  strcpy(str, arg);
  tmp = str;
  while ((tok = strtok_r(tmp, ",", &saveptr)) != NULL) {
    char *a, *b, *endptr, *saveptr2 = NULL;
    unsigned long int from, to;
    a = strtok_r(tok, "-", &saveptr2);
    if (a == NULL) {
      return false;
    } else {
      endptr = NULL;
      from = strtoul(a, &endptr, 0);
      if (*endptr != '\0') {
        fprintf(stderr, "Invalid value %s\n", a);
        return false;
      }
      if (from >= max) {
        fprintf(stderr, "Value %s larger than max %d\n", a, max - 1);
        return false;
      }
    }
    b = strtok_r(NULL, "-", &saveptr2);
    if (b == NULL) {
      to = from;
    } else {
      endptr = NULL;
      to = strtoul(b, &endptr, 0);
      if (*endptr != '\0') {
        fprintf(stderr, "Invalid value %s\n", b);
        return false;
      }
      if (to >= max) {
        fprintf(stderr, "Value %s larger than max %d\n", b, max - 1);
        return false;
      }
    }
    if (from > to) {
      fprintf(stderr, "Invalid range %s-%s\n", a, b);
      return false;
    }
    for (i = from; i <= to; i++)
      list[i] = 1;
    tmp = NULL;
  };
  if (count != NULL) {
    int n = 0;
    for (i = 0; i < max; i++) {
      if (list[i] == 1)
        n++;
    }
    *count = n;
  }
  return true;
}


x86 assembly (clang, -O0):
<parse_list>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
add    $0x1,%eax
mov    %rsp,%rcx
mov    %rcx,-0x30(%rbp)
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x98(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x38(%rbp)
movq   $0x0,-0x50(%rbp)
mov    -0x14(%rbp),%eax
mov    0x2e2a(%rip),%rcx
cmp    (%rcx),%eax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x98(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <strcpy@plt>
mov    -0x98(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rdi
lea    0xe0d(%rip),%rsi
lea    -0x50(%rbp),%rdx
call   1050 <strtok_r@plt>
mov    %rax,-0x40(%rbp)
cmp    $0x0,%rax
je     145e <parse_list+0x2fe>
movq   $0x0,-0x78(%rbp)
mov    -0x40(%rbp),%rdi
lea    0xde5(%rip),%rsi
lea    -0x78(%rbp),%rdx
call   1050 <strtok_r@plt>
mov    %rax,-0x60(%rbp)
cmpq   $0x0,-0x60(%rbp)
jne    124b <parse_list+0xeb>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x8c(%rbp)
jmp    14d7 <parse_list+0x377>
movq   $0x0,-0x70(%rbp)
mov    -0x60(%rbp),%rdi
lea    -0x70(%rbp),%rsi
xor    %edx,%edx
call   1080 <strtoul@plt>
mov    %rax,-0x80(%rbp)
mov    -0x70(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     12a7 <parse_list+0x147>
mov    0x2d5b(%rip),%rax
mov    (%rax),%edi
mov    -0x60(%rbp),%rdx
lea    0xd7a(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x8c(%rbp)
jmp    14d7 <parse_list+0x377>
mov    -0x80(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmp    %rcx,%rax
jb     12ef <parse_list+0x18f>
mov    0x2d19(%rip),%rax
mov    (%rax),%edi
mov    -0x60(%rbp),%rdx
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
lea    0xd44(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x8c(%rbp)
jmp    14d7 <parse_list+0x377>
jmp    12f4 <parse_list+0x194>
xor    %eax,%eax
mov    %eax,%edi
lea    0xd03(%rip),%rsi
lea    -0x78(%rbp),%rdx
call   1050 <strtok_r@plt>
mov    %rax,-0x68(%rbp)
cmpq   $0x0,-0x68(%rbp)
jne    1327 <parse_list+0x1c7>
mov    -0x80(%rbp),%rax
mov    %rax,-0x88(%rbp)
jmp    13d6 <parse_list+0x276>
movq   $0x0,-0x70(%rbp)
mov    -0x68(%rbp),%rdi
lea    -0x70(%rbp),%rsi
xor    %edx,%edx
call   1080 <strtoul@plt>
mov    %rax,-0x88(%rbp)
mov    -0x70(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1386 <parse_list+0x226>
mov    0x2c7c(%rip),%rax
mov    (%rax),%edi
mov    -0x68(%rbp),%rdx
lea    0xc9b(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x8c(%rbp)
jmp    14d7 <parse_list+0x377>
mov    -0x88(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmp    %rcx,%rax
jb     13d1 <parse_list+0x271>
mov    0x2c37(%rip),%rax
mov    (%rax),%edi
mov    -0x68(%rbp),%rdx
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
lea    0xc62(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x8c(%rbp)
jmp    14d7 <parse_list+0x377>
jmp    13d6 <parse_list+0x276>
mov    -0x80(%rbp),%rax
cmp    -0x88(%rbp),%rax
jbe    141c <parse_list+0x2bc>
mov    0x2bea(%rip),%rax
mov    (%rax),%edi
mov    -0x60(%rbp),%rdx
mov    -0x68(%rbp),%rcx
lea    0xc34(%rip),%rsi
mov    $0x0,%al
call   1070 <fprintf@plt>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x8c(%rbp)
jmp    14d7 <parse_list+0x377>
mov    -0x80(%rbp),%rax
mov    %eax,-0x54(%rbp)
movslq -0x54(%rbp),%rax
cmp    -0x88(%rbp),%rax
ja     1451 <parse_list+0x2f1>
mov    -0x20(%rbp),%rax
movslq -0x54(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    1423 <parse_list+0x2c3>
movq   $0x0,-0x48(%rbp)
jmp    11e8 <parse_list+0x88>
cmpq   $0x0,-0x28(%rbp)
je     14c6 <parse_list+0x366>
movl   $0x0,-0x90(%rbp)
movl   $0x0,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    14ba <parse_list+0x35a>
mov    -0x20(%rbp),%rax
movslq -0x54(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    14a7 <parse_list+0x347>
mov    -0x90(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x90(%rbp)
jmp    14ac <parse_list+0x34c>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    147a <parse_list+0x31a>
mov    -0x90(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x1,-0x4(%rbp)
movl   $0x1,-0x8c(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<parse_list>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %rcx,-0x68(%rbp)
mov    %rdx,%r13
mov    %esi,%r15d
mov    %rdi,%r14
call   1040 <strlen@plt>
add    $0x1,%eax
mov    %rsp,%rbx
add    $0xf,%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rbx
mov    %rbx,%rsp
movq   $0x0,-0x50(%rbp)
mov    0x2e42(%rip),%rax
xor    %edi,%edi
mov    %r15d,-0x2c(%rbp)
cmp    %r15d,(%rax)
setg   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
call   1030 <strcpy@plt>
lea    0xe46(%rip),%rsi
lea    -0x50(%rbp),%rdx
mov    %rbx,%rdi
call   1050 <strtok_r@plt>
test   %rax,%rax
je     13b7 <parse_list+0x257>
movslq -0x2c(%rbp),%rcx
mov    %rcx,-0x40(%rbp)
lea    0x70(%r13),%rcx
mov    %rcx,-0x58(%rbp)
lea    0x10(%r13),%rcx
mov    %rcx,-0x60(%rbp)
lea    0xe14(%rip),%r14
jmp    121b <parse_list+0xbb>
xor    %edi,%edi
lea    0xe07(%rip),%rsi
lea    -0x50(%rbp),%rdx
call   1050 <strtok_r@plt>
test   %rax,%rax
je     13b7 <parse_list+0x257>
movq   $0x0,-0x48(%rbp)
mov    %rax,%rdi
mov    %r14,%rsi
lea    -0x48(%rbp),%rdx
call   1050 <strtok_r@plt>
test   %rax,%rax
je     1577 <parse_list+0x417>
mov    %rax,%r15
movq   $0x0,-0x38(%rbp)
mov    %rax,%rdi
lea    -0x38(%rbp),%rsi
xor    %edx,%edx
call   1080 <strtoul@plt>
mov    %rax,%r12
mov    -0x38(%rbp),%rax
cmpb   $0x0,(%rax)
jne    13e0 <parse_list+0x280>
cmp    -0x40(%rbp),%r12
jae    13ff <parse_list+0x29f>
xor    %edi,%edi
mov    %r14,%rbx
mov    %r14,%rsi
lea    -0x48(%rbp),%rdx
call   1050 <strtok_r@plt>
mov    %rax,%r14
mov    %r12,%rax
test   %r14,%r14
je     12c0 <parse_list+0x160>
movq   $0x0,-0x38(%rbp)
mov    %r14,%rdi
lea    -0x38(%rbp),%rsi
xor    %edx,%edx
call   1080 <strtoul@plt>
mov    -0x38(%rbp),%rcx
cmpb   $0x0,(%rcx)
jne    151c <parse_list+0x3bc>
cmp    -0x40(%rbp),%rax
jae    1538 <parse_list+0x3d8>
cmp    %rax,%r12
ja     155a <parse_list+0x3fa>
movslq %r12d,%rcx
cmp    %rcx,%rax
mov    %rbx,%r14
jb     1200 <parse_list+0xa0>
lea    0x1(%rax),%rdx
lea    0x1(%rcx),%r9
cmp    %r9,%rdx
cmova  %rdx,%r9
sub    %rcx,%r9
cmp    $0x8,%r9
jb     13a0 <parse_list+0x240>
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rdx
mov    %rdx,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%ebx
and    $0x3,%ebx
cmp    $0x18,%rdx
movdqa 0xcee(%rip),%xmm0
jae    1318 <parse_list+0x1b8>
xor    %esi,%esi
jmp    1369 <parse_list+0x209>
and    $0xfffffffffffffffc,%rdi
mov    -0x58(%rbp),%rdx
lea    (%rdx,%rcx,4),%rdx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
movdqu %xmm0,-0x70(%rdx,%rsi,4)
movdqu %xmm0,-0x60(%rdx,%rsi,4)
movdqu %xmm0,-0x50(%rdx,%rsi,4)
movdqu %xmm0,-0x40(%rdx,%rsi,4)
movdqu %xmm0,-0x30(%rdx,%rsi,4)
movdqu %xmm0,-0x20(%rdx,%rsi,4)
movdqu %xmm0,-0x10(%rdx,%rsi,4)
movdqu %xmm0,(%rdx,%rsi,4)
add    $0x20,%rsi
add    $0xfffffffffffffffc,%rdi
jne    1330 <parse_list+0x1d0>
test   %rbx,%rbx
je     1394 <parse_list+0x234>
add    %rcx,%rsi
mov    -0x60(%rbp),%rdx
lea    (%rdx,%rsi,4),%rdx
shl    $0x5,%rbx
xor    %esi,%esi
nop
movdqu %xmm0,-0x10(%rdx,%rsi,1)
movdqu %xmm0,(%rdx,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%rbx
jne    1380 <parse_list+0x220>
cmp    %r8,%r9
je     1200 <parse_list+0xa0>
add    %r8,%rcx
movl   $0x1,0x0(%r13,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rax
jae    13a0 <parse_list+0x240>
jmp    1200 <parse_list+0xa0>
mov    $0x1,%eax
mov    -0x68(%rbp),%r8
test   %r8,%r8
je     1579 <parse_list+0x419>
mov    -0x2c(%rbp),%edx
test   %edx,%edx
jle    13f8 <parse_list+0x298>
mov    %edx,%ecx
cmp    $0x8,%edx
jae    141d <parse_list+0x2bd>
xor    %edx,%edx
xor    %esi,%esi
jmp    1500 <parse_list+0x3a0>
mov    0x2bf1(%rip),%rax
mov    (%rax),%edi
lea    0xc24(%rip),%rsi
mov    %r15,%rdx
jmp    152f <parse_list+0x3cf>
xor    %esi,%esi
jmp    1517 <parse_list+0x3b7>
mov    0x2bd2(%rip),%rax
mov    (%rax),%edi
mov    -0x2c(%rbp),%ecx
add    $0xffffffff,%ecx
lea    0xc11(%rip),%rsi
mov    %r15,%rdx
jmp    1551 <parse_list+0x3f1>
mov    %ecx,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rdi
mov    %rdi,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
test   %rdi,%rdi
je     1588 <parse_list+0x428>
movabs $0x3ffffffffffffffc,%rbx
ff ff 3f
or     $0x2,%rbx
and    %rsi,%rbx
pxor   %xmm0,%xmm0
xor    %edi,%edi
movdqa 0xba7(%rip),%xmm2
pxor   %xmm1,%xmm1
nopl   (%rax)
movdqu 0x0(%r13,%rdi,4),%xmm3
movdqu 0x10(%r13,%rdi,4),%xmm4
movdqu 0x20(%r13,%rdi,4),%xmm5
movdqu 0x30(%r13,%rdi,4),%xmm6
pcmpeqd %xmm2,%xmm3
psubd  %xmm3,%xmm0
pcmpeqd %xmm2,%xmm4
psubd  %xmm4,%xmm1
pcmpeqd %xmm2,%xmm5
psubd  %xmm5,%xmm0
pcmpeqd %xmm2,%xmm6
psubd  %xmm6,%xmm1
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rbx
jne    1460 <parse_list+0x300>
test   $0x1,%sil
je     14d2 <parse_list+0x372>
movdqu 0x0(%r13,%rdi,4),%xmm2
movdqu 0x10(%r13,%rdi,4),%xmm3
movdqa 0xb3e(%rip),%xmm4
pcmpeqd %xmm4,%xmm2
psubd  %xmm2,%xmm0
pcmpeqd %xmm4,%xmm3
psubd  %xmm3,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%esi
cmp    %rcx,%rdx
je     1517 <parse_list+0x3b7>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %edi,%edi
cmpl   $0x1,0x0(%r13,%rdx,4)
sete   %dil
add    %edi,%esi
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    1500 <parse_list+0x3a0>
mov    %esi,(%r8)
jmp    1579 <parse_list+0x419>
mov    0x2ab5(%rip),%rax
mov    (%rax),%edi
lea    0xae8(%rip),%rsi
mov    %r14,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
jmp    1577 <parse_list+0x417>
mov    0x2a99(%rip),%rax
mov    (%rax),%edi
mov    -0x2c(%rbp),%ecx
add    $0xffffffff,%ecx
lea    0xad8(%rip),%rsi
mov    %r14,%rdx
xor    %eax,%eax
call   1070 <fprintf@plt>
jmp    1577 <parse_list+0x417>
mov    0x2a77(%rip),%rax
mov    (%rax),%edi
lea    0xad9(%rip),%rsi
mov    %r15,%rdx
mov    %r14,%rcx
xor    %eax,%eax
call   1070 <fprintf@plt>
xor    %eax,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
pxor   %xmm0,%xmm0
xor    %edi,%edi
pxor   %xmm1,%xmm1
test   $0x1,%sil
jne    14ac <parse_list+0x34c>
jmp    14d2 <parse_list+0x372>

LLVM IR (-O0):
@INT_MAX = global i32 0
@.str = [2 x i8] c",\00"
@.str.1 = [2 x i8] c"-\00"
@stderr = global i32 0
@.str.2 = [18 x i8] c"Invalid value %s\0A\00"
@.str.3 = [29 x i8] c"Value %s larger than max %d\0A\00"
@.str.4 = [21 x i8] c"Invalid range %s-%s\0A\00"
define i32 @parse_list(i8* %0, i32 %1, i32* %2, i32* %3) {
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i8*
%11 = alloca i64
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i8*
%15 = alloca i32
%16 = alloca i8*
%17 = alloca i8*
%18 = alloca i8*
%19 = alloca i8*
%20 = alloca i64
%21 = alloca i64
%22 = alloca i32
%23 = alloca i32
store i8* %0, i8** %6
store i32 %1, i32* %7
store i32* %2, i32** %8
store i32* %3, i32** %9
%24 = load i8*, i8** %6
%25 = call i32 @strlen(i8* %24)
%26 = add nsw i32 %25, 1
%27 = zext i32 %26 to i64
%28 = call i8* @llvm.stacksave()
store i8* %28, i8** %10
%29 = alloca i8, i64 %27
store i64 %27, i64* %11
store i8* null, i8** %14
%30 = load i32, i32* %7
%31 = load i32, i32* @INT_MAX
%32 = icmp slt i32 %30, %31
%33 = zext i1 %32 to i32
%34 = call i32 @assert(i32 %33)
%35 = load i8*, i8** %6
%36 = call i32 @strcpy(i8* %29, i8* %35)
store i8* %29, i8** %13
br label %37
37: ; preds = %124, %4
%38 = load i8*, i8** %13
%39 = call i8* @strtok_r(i8* %38, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i8** %14)
store i8* %39, i8** %12
%40 = icmp ne i8* %39, null
br i1 %40, label %41, label %125
41: ; preds = %37
store i8* null, i8** %19
%42 = load i8*, i8** %12
%43 = call i8* @strtok_r(i8* %42, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i8** %19)
store i8* %43, i8** %16
%44 = load i8*, i8** %16
%45 = icmp eq i8* %44, null
br i1 %45, label %46, label %47
46: ; preds = %41
store i32 0, i32* %5
store i32 1, i32* %22
br label %151
47: ; preds = %41
store i8* null, i8** %18
%48 = load i8*, i8** %16
%49 = call i64 @strtoul(i8* %48, i8** %18, i32 0)
store i64 %49, i64* %20
%50 = load i8*, i8** %18
%51 = load i8, i8* %50
%52 = sext i8 %51 to i32
%53 = icmp ne i32 %52, 0
br i1 %53, label %54, label %58
54: ; preds = %47
%55 = load i32, i32* @stderr
%56 = load i8*, i8** %16
%57 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %55, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.2, i64 0, i64 0), i8* %56)
store i32 0, i32* %5
store i32 1, i32* %22
br label %151
58: ; preds = %47
%59 = load i64, i64* %20
%60 = load i32, i32* %7
%61 = sext i32 %60 to i64
%62 = icmp uge i64 %59, %61
br i1 %62, label %63, label %69
63: ; preds = %58
%64 = load i32, i32* @stderr
%65 = load i8*, i8** %16
%66 = load i32, i32* %7
%67 = sub nsw i32 %66, 1
%68 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %64, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.3, i64 0, i64 0), i8* %65, i32 %67)
store i32 0, i32* %5
store i32 1, i32* %22
br label %151
69: ; preds = %58
br label %70
70: ; preds = %69
%71 = call i8* @strtok_r(i8* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i8** %19)
store i8* %71, i8** %17
%72 = load i8*, i8** %17
%73 = icmp eq i8* %72, null
br i1 %73, label %74, label %76
74: ; preds = %70
%75 = load i64, i64* %20
store i64 %75, i64* %21
br label %99
76: ; preds = %70
store i8* null, i8** %18
%77 = load i8*, i8** %17
%78 = call i64 @strtoul(i8* %77, i8** %18, i32 0)
store i64 %78, i64* %21
%79 = load i8*, i8** %18
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp ne i32 %81, 0
br i1 %82, label %83, label %87
83: ; preds = %76
%84 = load i32, i32* @stderr
%85 = load i8*, i8** %17
%86 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %84, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.2, i64 0, i64 0), i8* %85)
store i32 0, i32* %5
store i32 1, i32* %22
br label %151
87: ; preds = %76
%88 = load i64, i64* %21
%89 = load i32, i32* %7
%90 = sext i32 %89 to i64
%91 = icmp uge i64 %88, %90
br i1 %91, label %92, label %98
92: ; preds = %87
%93 = load i32, i32* @stderr
%94 = load i8*, i8** %17
%95 = load i32, i32* %7
%96 = sub nsw i32 %95, 1
%97 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %93, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.3, i64 0, i64 0), i8* %94, i32 %96)
store i32 0, i32* %5
store i32 1, i32* %22
br label %151
98: ; preds = %87
br label %99
99: ; preds = %98, %74
%100 = load i64, i64* %20
%101 = load i64, i64* %21
%102 = icmp ugt i64 %100, %101
br i1 %102, label %103, label %108
103: ; preds = %99
%104 = load i32, i32* @stderr
%105 = load i8*, i8** %16
%106 = load i8*, i8** %17
%107 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %104, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.4, i64 0, i64 0), i8* %105, i8* %106)
store i32 0, i32* %5
store i32 1, i32* %22
br label %151
108: ; preds = %99
%109 = load i64, i64* %20
%110 = trunc i64 %109 to i32
store i32 %110, i32* %15
br label %111
111: ; preds = %121, %108
%112 = load i32, i32* %15
%113 = sext i32 %112 to i64
%114 = load i64, i64* %21
%115 = icmp ule i64 %113, %114
br i1 %115, label %116, label %124
116: ; preds = %111
%117 = load i32*, i32** %8
%118 = load i32, i32* %15
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i32, i32* %117, i64 %119
store i32 1, i32* %120
br label %121
121: ; preds = %116
%122 = load i32, i32* %15
%123 = add nsw i32 %122, 1
store i32 %123, i32* %15
br label %111
124: ; preds = %111
store i8* null, i8** %13
br label %37
125: ; preds = %37
%126 = load i32*, i32** %9
%127 = icmp ne i32* %126, null
br i1 %127, label %128, label %150
128: ; preds = %125
store i32 0, i32* %23
store i32 0, i32* %15
br label %129
129: ; preds = %144, %128
%130 = load i32, i32* %15
%131 = load i32, i32* %7
%132 = icmp slt i32 %130, %131
br i1 %132, label %133, label %147
133: ; preds = %129
%134 = load i32*, i32** %8
%135 = load i32, i32* %15
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds i32, i32* %134, i64 %136
%138 = load i32, i32* %137
%139 = icmp eq i32 %138, 1
br i1 %139, label %140, label %143
140: ; preds = %133
%141 = load i32, i32* %23
%142 = add nsw i32 %141, 1
store i32 %142, i32* %23
br label %143
143: ; preds = %140, %133
br label %144
144: ; preds = %143
%145 = load i32, i32* %15
%146 = add nsw i32 %145, 1
store i32 %146, i32* %15
br label %129
147: ; preds = %129
%148 = load i32, i32* %23
%149 = load i32*, i32** %9
store i32 %148, i32* %149
br label %150
150: ; preds = %147, %125
store i32 1, i32* %5
store i32 1, i32* %22
br label %151
151: ; preds = %150, %103, %92, %83, %63, %54, %46
%152 = load i8*, i8** %10
%153 = load i32, i32* %5
ret i32 %153
}

LLVM IR (-O2):
@INT_MAX = global i32 0
@.str = [2 x i8] c",\00"
@.str.1 = [2 x i8] c"-\00"
@stderr = global i32 0
@.str.2 = [18 x i8] c"Invalid value %s\0A\00"
@.str.3 = [29 x i8] c"Value %s larger than max %d\0A\00"
@.str.4 = [21 x i8] c"Invalid range %s-%s\0A\00"
define i32 @parse_list(i8* %0, i32 %1, i32* nocapture %2, i32* writeonly %3) {
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = tail call i32 @strlen(i8* %0)
%9 = add nsw i32 %8, 1
%10 = zext i32 %9 to i64
%11 = alloca i8, i64 %10
%12 = bitcast i8** %5 to i8*
store i8* null, i8** %5
%13 = load i32, i32* @INT_MAX
%14 = icmp sgt i32 %13, %1
%15 = zext i1 %14 to i32
%16 = tail call i32 @assert(i32 %15)
%17 = call i32 @strcpy(i8* %11, i8* %0)
%18 = call i8* @strtok_r(i8* %11, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i8** %5)
%19 = icmp eq i8* %18, null
br i1 %19, label %141, label %20
20: ; preds = %4
%21 = bitcast i8** %6 to i8*
%22 = bitcast i8** %7 to i8*
%23 = sext i32 %1 to i64
br label %24
24: ; preds = %20, %138
%25 = phi i8* [ %18, %20 ], [ %139, %138 ]
store i8* null, i8** %7
%26 = call i8* @strtok_r(i8* %25, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i8** %7)
%27 = icmp eq i8* %26, null
br i1 %27, label %137, label %28
28: ; preds = %24
store i8* null, i8** %6
%29 = call i64 @strtoul(i8* %26, i8** %6, i32 0)
%30 = load i8*, i8** %6
%31 = load i8, i8* %30
%32 = icmp eq i8 %31, 0
br i1 %32, label %36, label %33
33: ; preds = %28
%34 = load i32, i32* @stderr
%35 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %34, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.2, i64 0, i64 0), i8* %26)
br label %137
36: ; preds = %28
%37 = icmp ult i64 %29, %23
br i1 %37, label %42, label %38
38: ; preds = %36
%39 = load i32, i32* @stderr
%40 = add nsw i32 %1, -1
%41 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %39, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.3, i64 0, i64 0), i8* %26, i32 %40)
br label %137
42: ; preds = %36
%43 = call i8* @strtok_r(i8* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i8** %7)
%44 = icmp eq i8* %43, null
br i1 %44, label %64, label %45
45: ; preds = %42
store i8* null, i8** %6
%46 = call i64 @strtoul(i8* %43, i8** %6, i32 0)
%47 = load i8*, i8** %6
%48 = load i8, i8* %47
%49 = icmp eq i8 %48, 0
br i1 %49, label %53, label %50
50: ; preds = %45
%51 = load i32, i32* @stderr
%52 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %51, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.2, i64 0, i64 0), i8* %43)
br label %137
53: ; preds = %45
%54 = icmp ult i64 %46, %23
br i1 %54, label %59, label %55
55: ; preds = %53
%56 = load i32, i32* @stderr
%57 = add nsw i32 %1, -1
%58 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %56, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.3, i64 0, i64 0), i8* %43, i32 %57)
br label %137
59: ; preds = %53
%60 = icmp ugt i64 %29, %46
br i1 %60, label %61, label %64
61: ; preds = %59
%62 = load i32, i32* @stderr
%63 = call i32 (i32, i8*, i8*, ...) @fprintf(i32 %62, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.4, i64 0, i64 0), i8* %26, i8* %43)
br label %137
64: ; preds = %42, %59
%65 = phi i64 [ %46, %59 ], [ %29, %42 ]
%66 = shl i64 %29, 32
%67 = ashr exact i64 %66, 32
%68 = icmp ult i64 %65, %67
br i1 %68, label %138, label %69
69: ; preds = %64
%70 = add nuw i64 %65, 1
%71 = add nsw i64 %67, 1
%72 = call i64 @llvm.umax.i64(i64 %70, i64 %71)
%73 = sub i64 %72, %67
%74 = icmp ult i64 %73, 8
br i1 %74, label %130, label %75
75: ; preds = %69
%76 = and i64 %73, -8
%77 = add i64 %67, %76
%78 = add i64 %76, -8
%79 = lshr exact i64 %78, 3
%80 = add nuw nsw i64 %79, 1
%81 = and i64 %80, 3
%82 = icmp ult i64 %78, 24
br i1 %82, label %114, label %83
83: ; preds = %75
%84 = and i64 %80, 4611686018427387900
br label %85
85: ; preds = %85, %83
%86 = phi i64 [ 0, %83 ], [ %111, %85 ]
%87 = phi i64 [ 0, %83 ], [ %112, %85 ]
%88 = add i64 %67, %86
%89 = getelementptr inbounds i32, i32* %2, i64 %88
%90 = bitcast i32* %89 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %90
%91 = getelementptr inbounds i32, i32* %89, i64 4
%92 = bitcast i32* %91 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %92
%93 = or i64 %86, 8
%94 = add i64 %67, %93
%95 = getelementptr inbounds i32, i32* %2, i64 %94
%96 = bitcast i32* %95 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %96
%97 = getelementptr inbounds i32, i32* %95, i64 4
%98 = bitcast i32* %97 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %98
%99 = or i64 %86, 16
%100 = add i64 %67, %99
%101 = getelementptr inbounds i32, i32* %2, i64 %100
%102 = bitcast i32* %101 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %102
%103 = getelementptr inbounds i32, i32* %101, i64 4
%104 = bitcast i32* %103 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %104
%105 = or i64 %86, 24
%106 = add i64 %67, %105
%107 = getelementptr inbounds i32, i32* %2, i64 %106
%108 = bitcast i32* %107 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %108
%109 = getelementptr inbounds i32, i32* %107, i64 4
%110 = bitcast i32* %109 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %110
%111 = add nuw i64 %86, 32
%112 = add i64 %87, 4
%113 = icmp eq i64 %112, %84
br i1 %113, label %114, label %85
114: ; preds = %85, %75
%115 = phi i64 [ 0, %75 ], [ %111, %85 ]
%116 = icmp eq i64 %81, 0
br i1 %116, label %128, label %117
117: ; preds = %114, %117
%118 = phi i64 [ %125, %117 ], [ %115, %114 ]
%119 = phi i64 [ %126, %117 ], [ 0, %114 ]
%120 = add i64 %67, %118
%121 = getelementptr inbounds i32, i32* %2, i64 %120
%122 = bitcast i32* %121 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %122
%123 = getelementptr inbounds i32, i32* %121, i64 4
%124 = bitcast i32* %123 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %124
%125 = add nuw i64 %118, 8
%126 = add i64 %119, 1
%127 = icmp eq i64 %126, %81
br i1 %127, label %128, label %117
128: ; preds = %117, %114
%129 = icmp eq i64 %73, %76
br i1 %129, label %138, label %130
130: ; preds = %69, %128
%131 = phi i64 [ %67, %69 ], [ %77, %128 ]
br label %132
132: ; preds = %130, %132
%133 = phi i64 [ %135, %132 ], [ %131, %130 ]
%134 = getelementptr inbounds i32, i32* %2, i64 %133
store i32 1, i32* %134
%135 = add i64 %133, 1
%136 = icmp ult i64 %65, %135
br i1 %136, label %138, label %132
137: ; preds = %24, %33, %38, %61, %50, %55
br label %231
138: ; preds = %132, %128, %64
%139 = call i8* @strtok_r(i8* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i8** %5)
%140 = icmp eq i8* %139, null
br i1 %140, label %141, label %24
141: ; preds = %138, %4
%142 = icmp eq i32* %3, null
br i1 %142, label %231, label %143
143: ; preds = %141
%144 = icmp sgt i32 %1, 0
br i1 %144, label %145, label %229
145: ; preds = %143
%146 = zext i32 %1 to i64
%147 = icmp ult i32 %1, 8
br i1 %147, label %216, label %148
148: ; preds = %145
%149 = and i64 %146, 4294967288
%150 = add nsw i64 %149, -8
%151 = lshr exact i64 %150, 3
%152 = add nuw nsw i64 %151, 1
%153 = and i64 %152, 1
%154 = icmp eq i64 %150, 0
br i1 %154, label %190, label %155
155: ; preds = %148
%156 = and i64 %152, 4611686018427387902
br label %157
157: ; preds = %157, %155
%158 = phi i64 [ 0, %155 ], [ %187, %157 ]
%159 = phi <4 x i32> [ zeroinitializer, %155 ], [ %185, %157 ]
%160 = phi <4 x i32> [ zeroinitializer, %155 ], [ %186, %157 ]
%161 = phi i64 [ 0, %155 ], [ %188, %157 ]
%162 = getelementptr inbounds i32, i32* %2, i64 %158
%163 = bitcast i32* %162 to <4 x i32>*
%164 = load <4 x i32>, <4 x i32>* %163
%165 = getelementptr inbounds i32, i32* %162, i64 4
%166 = bitcast i32* %165 to <4 x i32>*
%167 = load <4 x i32>, <4 x i32>* %166
%168 = icmp eq <4 x i32> %164, <i32 1, i32 1, i32 1, i32 1>
%169 = icmp eq <4 x i32> %167, <i32 1, i32 1, i32 1, i32 1>
%170 = zext <4 x i1> %168 to <4 x i32>
%171 = zext <4 x i1> %169 to <4 x i32>
%172 = add <4 x i32> %159, %170
%173 = add <4 x i32> %160, %171
%174 = or i64 %158, 8
%175 = getelementptr inbounds i32, i32* %2, i64 %174
%176 = bitcast i32* %175 to <4 x i32>*
%177 = load <4 x i32>, <4 x i32>* %176
%178 = getelementptr inbounds i32, i32* %175, i64 4
%179 = bitcast i32* %178 to <4 x i32>*
%180 = load <4 x i32>, <4 x i32>* %179
%181 = icmp eq <4 x i32> %177, <i32 1, i32 1, i32 1, i32 1>
%182 = icmp eq <4 x i32> %180, <i32 1, i32 1, i32 1, i32 1>
%183 = zext <4 x i1> %181 to <4 x i32>
%184 = zext <4 x i1> %182 to <4 x i32>
%185 = add <4 x i32> %172, %183
%186 = add <4 x i32> %173, %184
%187 = add nuw i64 %158, 16
%188 = add i64 %161, 2
%189 = icmp eq i64 %188, %156
br i1 %189, label %190, label %157
190: ; preds = %157, %148
%191 = phi <4 x i32> [ undef, %148 ], [ %185, %157 ]
%192 = phi <4 x i32> [ undef, %148 ], [ %186, %157 ]
%193 = phi i64 [ 0, %148 ], [ %187, %157 ]
%194 = phi <4 x i32> [ zeroinitializer, %148 ], [ %185, %157 ]
%195 = phi <4 x i32> [ zeroinitializer, %148 ], [ %186, %157 ]
%196 = icmp eq i64 %153, 0
br i1 %196, label %210, label %197
197: ; preds = %190
%198 = getelementptr inbounds i32, i32* %2, i64 %193
%199 = bitcast i32* %198 to <4 x i32>*
%200 = load <4 x i32>, <4 x i32>* %199
%201 = getelementptr inbounds i32, i32* %198, i64 4
%202 = bitcast i32* %201 to <4 x i32>*
%203 = load <4 x i32>, <4 x i32>* %202
%204 = icmp eq <4 x i32> %200, <i32 1, i32 1, i32 1, i32 1>
%205 = icmp eq <4 x i32> %203, <i32 1, i32 1, i32 1, i32 1>
%206 = zext <4 x i1> %204 to <4 x i32>
%207 = zext <4 x i1> %205 to <4 x i32>
%208 = add <4 x i32> %194, %206
%209 = add <4 x i32> %195, %207
br label %210
210: ; preds = %190, %197
%211 = phi <4 x i32> [ %191, %190 ], [ %208, %197 ]
%212 = phi <4 x i32> [ %192, %190 ], [ %209, %197 ]
%213 = add <4 x i32> %212, %211
%214 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %213)
%215 = icmp eq i64 %149, %146
br i1 %215, label %229, label %216
216: ; preds = %145, %210
%217 = phi i64 [ 0, %145 ], [ %149, %210 ]
%218 = phi i32 [ 0, %145 ], [ %214, %210 ]
br label %219
219: ; preds = %216, %219
%220 = phi i64 [ %227, %219 ], [ %217, %216 ]
%221 = phi i32 [ %226, %219 ], [ %218, %216 ]
%222 = getelementptr inbounds i32, i32* %2, i64 %220
%223 = load i32, i32* %222
%224 = icmp eq i32 %223, 1
%225 = zext i1 %224 to i32
%226 = add nuw nsw i32 %221, %225
%227 = add nuw nsw i64 %220, 1
%228 = icmp eq i64 %227, %146
br i1 %228, label %229, label %219
229: ; preds = %219, %210, %143
%230 = phi i32 [ 0, %143 ], [ %214, %210 ], [ %226, %219 ]
store i32 %230, i32* %3
br label %231
231: ; preds = %137, %141, %229
%232 = phi i32 [ 1, %229 ], [ 1, %141 ], [ 0, %137 ]
ret i32 %232
}