#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__ isalpha(char const);
int ispathabs(const char *path) {
  return (path && (path[0] == '$' || path[0] == '/' || path[0] == '\\' ||
                   (isalpha(path[0]) && path[1] == ':' &&
                    (path[2] == '/' || path[2] == '\\'))));
}


x86 assembly (clang, -O0):
<ispathabs>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x8(%rbp)
mov    %al,-0x9(%rbp)
je     11d8 <ispathabs+0xc8>
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x24,%ecx
mov    %al,-0xa(%rbp)
je     11d2 <ispathabs+0xc2>
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x2f,%ecx
mov    %al,-0xa(%rbp)
je     11d2 <ispathabs+0xc2>
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x5c,%ecx
mov    %al,-0xa(%rbp)
je     11d2 <ispathabs+0xc2>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isalpha@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0xb(%rbp)
je     11cc <ispathabs+0xbc>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%ecx
xor    %eax,%eax
cmp    $0x3a,%ecx
mov    %al,-0xb(%rbp)
jne    11cc <ispathabs+0xbc>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%ecx
mov    $0x1,%al
cmp    $0x2f,%ecx
mov    %al,-0xc(%rbp)
je     11c6 <ispathabs+0xb6>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x5c,%eax
sete   %al
mov    %al,-0xc(%rbp)
mov    -0xc(%rbp),%al
mov    %al,-0xb(%rbp)
mov    -0xb(%rbp),%al
mov    %al,-0xa(%rbp)
mov    -0xa(%rbp),%al
mov    %al,-0x9(%rbp)
mov    -0x9(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ispathabs>:
push   %rbp
push   %rbx
push   %rax
xor    %ebp,%ebp
test   %rdi,%rdi
je     113f <ispathabs+0x2f>
mov    %rdi,%rbx
mov    (%rdi),%al
lea    -0x24(%rax),%ecx
cmp    $0x38,%cl
ja     1148 <ispathabs+0x38>
movzbl %cl,%ecx
movabs $0x100000000000801,%rdx
bt     %rcx,%rdx
jae    1148 <ispathabs+0x38>
mov    $0x1,%ebp
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret
movsbl %al,%edi
call   1030 <isalpha@plt>
test   %rax,%rax
je     113f <ispathabs+0x2f>
cmpb   $0x3a,0x1(%rbx)
jne    113f <ispathabs+0x2f>
mov    0x2(%rbx),%al
mov    $0x1,%ebp
cmp    $0x2f,%al
je     113f <ispathabs+0x2f>
xor    %ebp,%ebp
cmp    $0x5c,%al
sete   %bpl
jmp    113f <ispathabs+0x2f>

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

LLVM IR (-O2):
define i32 @ispathabs(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %19, label %3
3: ; preds = %1
%4 = load i8, i8* %0
switch i8 %4, label %5 [
i8 36, label %19
i8 47, label %19
i8 92, label %19
]
5: ; preds = %3
%6 = tail call i64 @isalpha(i8 signext %4)
%7 = icmp eq i64 %6, 0
br i1 %7, label %19, label %8
8: ; preds = %5
%9 = getelementptr inbounds i8, i8* %0, i64 1
%10 = load i8, i8* %9
%11 = icmp eq i8 %10, 58
br i1 %11, label %12, label %19
12: ; preds = %8
%13 = getelementptr inbounds i8, i8* %0, i64 2
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 47
br i1 %15, label %19, label %16
16: ; preds = %12
%17 = icmp eq i8 %14, 92
%18 = zext i1 %17 to i32
br label %19
19: ; preds = %3, %3, %3, %12, %16, %8, %5, %1
%20 = phi i32 [ 0, %1 ], [ 1, %3 ], [ 0, %8 ], [ 0, %5 ], [ 1, %12 ], [ %18, %16 ], [ 1, %3 ], [ 1, %3 ]
ret i32 %20
}