#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(char const);
scalar_t__ islower(char const);
scalar_t__ isupper(char const);
int /*<<< orphan*/ putchar(char);
bool expand_range(const char *str) {
  if (islower(str[0]) && str[1] == '-' && islower(str[2]))
    ;
  else if (isupper(str[0]) && str[1] == '-' && isupper(str[2]))
    ;
  else if (isdigit(str[0]) && str[1] == '-' && isdigit(str[2]))
    ;
  else
    return false;
  if (str[0] > str[2])
    return false;
  for (char c = str[0]; c <= str[2]; c++)
    putchar(c);
  return true;
}


x86 assembly (clang, -O0):
<expand_range>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1050 <islower@plt>
cmp    $0x0,%rax
je     118f <expand_range+0x4f>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2d,%eax
jne    118f <expand_range+0x4f>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%edi
call   1050 <islower@plt>
cmp    $0x0,%rax
je     118f <expand_range+0x4f>
jmp    122b <expand_range+0xeb>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     11d2 <expand_range+0x92>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2d,%eax
jne    11d2 <expand_range+0x92>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%edi
call   1060 <isupper@plt>
cmp    $0x0,%rax
je     11d2 <expand_range+0x92>
jmp    1226 <expand_range+0xe6>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1040 <isdigit@plt>
cmp    $0x0,%rax
je     1215 <expand_range+0xd5>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2d,%eax
jne    1215 <expand_range+0xd5>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%edi
call   1040 <isdigit@plt>
cmp    $0x0,%rax
je     1215 <expand_range+0xd5>
jmp    1221 <expand_range+0xe1>
movl   $0x0,-0x4(%rbp)
jmp    1288 <expand_range+0x148>
jmp    1226 <expand_range+0xe6>
jmp    122b <expand_range+0xeb>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl 0x2(%rcx),%ecx
cmp    %ecx,%eax
jle    124e <expand_range+0x10e>
movl   $0x0,-0x4(%rbp)
jmp    1288 <expand_range+0x148>
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
mov    -0x10(%rbp),%rcx
movsbl 0x2(%rcx),%ecx
cmp    %ecx,%eax
jg     1281 <expand_range+0x141>
movsbl -0x11(%rbp),%edi
call   1030 <putchar@plt>
mov    -0x11(%rbp),%al
add    $0x1,%al
mov    %al,-0x11(%rbp)
jmp    1257 <expand_range+0x117>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<expand_range>:
push   %rbp
push   %r14
push   %rbx
mov    %rdi,%rbx
movsbl (%rdi),%edi
call   1050 <islower@plt>
test   %rax,%rax
je     1168 <expand_range+0x28>
cmpb   $0x2d,0x1(%rbx)
jne    1168 <expand_range+0x28>
movsbl 0x2(%rbx),%edi
call   1050 <islower@plt>
test   %rax,%rax
jne    11ad <expand_range+0x6d>
movsbl (%rbx),%edi
call   1060 <isupper@plt>
test   %rax,%rax
je     1189 <expand_range+0x49>
cmpb   $0x2d,0x1(%rbx)
jne    1189 <expand_range+0x49>
movsbl 0x2(%rbx),%edi
call   1060 <isupper@plt>
test   %rax,%rax
jne    11ad <expand_range+0x6d>
movsbl (%rbx),%edi
call   1040 <isdigit@plt>
xor    %r14d,%r14d
test   %rax,%rax
je     11db <expand_range+0x9b>
cmpb   $0x2d,0x1(%rbx)
jne    11db <expand_range+0x9b>
movsbl 0x2(%rbx),%edi
call   1040 <isdigit@plt>
test   %rax,%rax
je     11db <expand_range+0x9b>
mov    (%rbx),%bpl
xor    %r14d,%r14d
cmp    0x2(%rbx),%bpl
jg     11db <expand_range+0x9b>
nopl   0x0(%rax)
movsbl %bpl,%ebp
mov    %ebp,%edi
call   1030 <putchar@plt>
add    $0x1,%bpl
cmp    0x2(%rbx),%bpl
jle    11c0 <expand_range+0x80>
mov    $0x1,%r14d
mov    %r14d,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @expand_range(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = tail call i64 @islower(i8 signext %2)
%4 = icmp eq i64 %3, 0
br i1 %4, label %14, label %5
5: ; preds = %1
%6 = getelementptr inbounds i8, i8* %0, i64 1
%7 = load i8, i8* %6
%8 = icmp eq i8 %7, 45
br i1 %8, label %9, label %14
9: ; preds = %5
%10 = getelementptr inbounds i8, i8* %0, i64 2
%11 = load i8, i8* %10
%12 = tail call i64 @islower(i8 signext %11)
%13 = icmp eq i64 %12, 0
br i1 %13, label %14, label %40
14: ; preds = %9, %5, %1
%15 = load i8, i8* %0
%16 = tail call i64 @isupper(i8 signext %15)
%17 = icmp eq i64 %16, 0
br i1 %17, label %27, label %18
18: ; preds = %14
%19 = getelementptr inbounds i8, i8* %0, i64 1
%20 = load i8, i8* %19
%21 = icmp eq i8 %20, 45
br i1 %21, label %22, label %27
22: ; preds = %18
%23 = getelementptr inbounds i8, i8* %0, i64 2
%24 = load i8, i8* %23
%25 = tail call i64 @isupper(i8 signext %24)
%26 = icmp eq i64 %25, 0
br i1 %26, label %27, label %40
27: ; preds = %22, %18, %14
%28 = load i8, i8* %0
%29 = tail call i64 @isdigit(i8 signext %28)
%30 = icmp eq i64 %29, 0
br i1 %30, label %51, label %31
31: ; preds = %27
%32 = getelementptr inbounds i8, i8* %0, i64 1
%33 = load i8, i8* %32
%34 = icmp eq i8 %33, 45
br i1 %34, label %35, label %51
35: ; preds = %31
%36 = getelementptr inbounds i8, i8* %0, i64 2
%37 = load i8, i8* %36
%38 = tail call i64 @isdigit(i8 signext %37)
%39 = icmp eq i64 %38, 0
br i1 %39, label %51, label %40
40: ; preds = %22, %35, %9
%41 = load i8, i8* %0
%42 = getelementptr inbounds i8, i8* %0, i64 2
%43 = load i8, i8* %42
%44 = icmp sgt i8 %41, %43
br i1 %44, label %51, label %45
45: ; preds = %40, %45
%46 = phi i8 [ %48, %45 ], [ %41, %40 ]
%47 = tail call i32 @putchar(i8 signext %46)
%48 = add i8 %46, 1
%49 = load i8, i8* %42
%50 = icmp sgt i8 %48, %49
br i1 %50, label %51, label %45
51: ; preds = %45, %40, %27, %31, %35
%52 = phi i32 [ 0, %35 ], [ 0, %31 ], [ 0, %27 ], [ 0, %40 ], [ 1, %45 ]
ret i32 %52
}