#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__ isalnum(char);
int is_uschar(char c, int has_epoch, int has_rev) {
  return isalnum(c) || (c == '+') || (c == '.') || (c == '~') ||
         (has_epoch && c == ':') || (has_rev && c == '-');
}


x86 assembly (clang, -O0):
<is_uschar>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %dil,%al
mov    %al,-0x1(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
movsbl -0x1(%rbp),%edi
call   1030 <isalnum@plt>
mov    %rax,%rcx
mov    $0x1,%al
cmp    $0x0,%rcx
mov    %al,-0xd(%rbp)
jne    11b3 <is_uschar+0xa3>
movsbl -0x1(%rbp),%ecx
mov    $0x1,%al
cmp    $0x2b,%ecx
mov    %al,-0xd(%rbp)
je     11b3 <is_uschar+0xa3>
movsbl -0x1(%rbp),%ecx
mov    $0x1,%al
cmp    $0x2e,%ecx
mov    %al,-0xd(%rbp)
je     11b3 <is_uschar+0xa3>
movsbl -0x1(%rbp),%ecx
mov    $0x1,%al
cmp    $0x7e,%ecx
mov    %al,-0xd(%rbp)
je     11b3 <is_uschar+0xa3>
cmpl   $0x0,-0x8(%rbp)
je     1191 <is_uschar+0x81>
movsbl -0x1(%rbp),%ecx
mov    $0x1,%al
cmp    $0x3a,%ecx
mov    %al,-0xd(%rbp)
je     11b3 <is_uschar+0xa3>
xor    %eax,%eax
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0xe(%rbp)
je     11ad <is_uschar+0x9d>
movsbl -0x1(%rbp),%eax
cmp    $0x2d,%eax
sete   %al
mov    %al,-0xe(%rbp)
mov    -0xe(%rbp),%al
mov    %al,-0xd(%rbp)
mov    -0xd(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_uschar>:
push   %rbp
push   %r14
push   %rbx
mov    %edx,%r14d
mov    %esi,%ebp
mov    %edi,%ebx
call   1030 <isalnum@plt>
mov    %rax,%rcx
mov    $0x1,%eax
test   %rcx,%rcx
je     1132 <is_uschar+0x22>
pop    %rbx
pop    %r14
pop    %rbp
ret
cmp    $0x2b,%bl
je     112d <is_uschar+0x1d>
cmp    $0x2e,%bl
je     112d <is_uschar+0x1d>
cmp    $0x7e,%bl
je     112d <is_uschar+0x1d>
cmp    $0x3a,%bl
jne    114a <is_uschar+0x3a>
test   %ebp,%ebp
jne    112d <is_uschar+0x1d>
test   %r14d,%r14d
setne  %al
cmp    $0x2d,%bl
sete   %cl
and    %al,%cl
movzbl %cl,%eax
jmp    112d <is_uschar+0x1d>

LLVM IR (-O0):
define i32 @is_uschar(i8 signext %0, i32 %1, i32 %2) {
%4 = alloca i8
%5 = alloca i32
%6 = alloca i32
store i8 %0, i8* %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%7 = load i8, i8* %4
%8 = call i64 @isalnum(i8 signext %7)
%9 = icmp ne i64 %8, 0
br i1 %9, label %38, label %10
10: ; preds = %3
%11 = load i8, i8* %4
%12 = sext i8 %11 to i32
%13 = icmp eq i32 %12, 43
br i1 %13, label %38, label %14
14: ; preds = %10
%15 = load i8, i8* %4
%16 = sext i8 %15 to i32
%17 = icmp eq i32 %16, 46
br i1 %17, label %38, label %18
18: ; preds = %14
%19 = load i8, i8* %4
%20 = sext i8 %19 to i32
%21 = icmp eq i32 %20, 126
br i1 %21, label %38, label %22
22: ; preds = %18
%23 = load i32, i32* %5
%24 = icmp ne i32 %23, 0
br i1 %24, label %25, label %29
25: ; preds = %22
%26 = load i8, i8* %4
%27 = sext i8 %26 to i32
%28 = icmp eq i32 %27, 58
br i1 %28, label %38, label %29
29: ; preds = %25, %22
%30 = load i32, i32* %6
%31 = icmp ne i32 %30, 0
br i1 %31, label %32, label %36
32: ; preds = %29
%33 = load i8, i8* %4
%34 = sext i8 %33 to i32
%35 = icmp eq i32 %34, 45
br label %36
36: ; preds = %32, %29
%37 = phi i1 [ false, %29 ], [ %35, %32 ]
br label %38
38: ; preds = %36, %25, %18, %14, %10, %3
%39 = phi i1 [ true, %25 ], [ true, %18 ], [ true, %14 ], [ true, %10 ], [ true, %3 ], [ %37, %36 ]
%40 = zext i1 %39 to i32
ret i32 %40
}

LLVM IR (-O2):
define i32 @is_uschar(i8 signext %0, i32 %1, i32 %2) {
%4 = tail call i64 @isalnum(i8 signext %0)
%5 = freeze i64 %4
%6 = icmp eq i64 %5, 0
br i1 %6, label %7, label %17
7: ; preds = %3
switch i8 %0, label %8 [
i8 126, label %17
i8 46, label %17
i8 43, label %17
]
8: ; preds = %7
%9 = icmp ne i32 %1, 0
%10 = icmp eq i8 %0, 58
%11 = and i1 %10, %9
br i1 %11, label %17, label %12
12: ; preds = %8
%13 = icmp ne i32 %2, 0
%14 = icmp eq i8 %0, 45
%15 = and i1 %14, %13
%16 = zext i1 %15 to i32
br label %17
17: ; preds = %7, %7, %7, %3, %8, %12
%18 = phi i32 [ 1, %7 ], [ %16, %12 ], [ 1, %8 ], [ 1, %3 ], [ 1, %7 ], [ 1, %7 ]
ret i32 %18
}