#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 /*<<< orphan*/ isxdigit(char);
int strlen(char *);
short int is_hex(char *str) {
  char *ch;
  int len;
  ch = str;
  len = strlen(str);
  while (len) {
    if (len == (strlen(str) - 1)) {
      if (*ch == 'x' || *ch == 'X') {
        if (*(--ch) != '0')
          return 0;
        ch++;
      } else {
        if (!isxdigit(*ch))
          return 0;
      }
    } else {
      if (!isxdigit(*ch))
        return 0;
    }
    ch++;
    len--;
  }
  return 1;
}


x86 assembly (clang, -O0):
<is_hex>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     122a <is_hex+0x10a>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x20(%rbp),%eax
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    11eb <is_hex+0xcb>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x78,%eax
je     1189 <is_hex+0x69>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x58,%eax
jne    11c1 <is_hex+0xa1>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x18(%rbp)
movsbl -0x1(%rax),%eax
cmp    $0x30,%eax
je     11b0 <is_hex+0x90>
movw   $0x0,-0x2(%rbp)
jmp    1230 <is_hex+0x110>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    11e6 <is_hex+0xc6>
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1040 <isxdigit@plt>
cmp    $0x0,%eax
jne    11e1 <is_hex+0xc1>
movw   $0x0,-0x2(%rbp)
jmp    1230 <is_hex+0x110>
jmp    11e6 <is_hex+0xc6>
jmp    1210 <is_hex+0xf0>
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1040 <isxdigit@plt>
cmp    $0x0,%eax
jne    120b <is_hex+0xeb>
movw   $0x0,-0x2(%rbp)
jmp    1230 <is_hex+0x110>
jmp    1210 <is_hex+0xf0>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    1140 <is_hex+0x20>
movw   $0x1,-0x2(%rbp)
movswl -0x2(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_hex>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r15
call   1030 <strlen@plt>
mov    $0x1,%r14w
test   %eax,%eax
je     1178 <is_hex+0x58>
mov    %eax,%ebp
mov    %r15,%rbx
jmp    1155 <is_hex+0x35>
nop
movsbl %cl,%edi
call   1040 <isxdigit@plt>
test   %eax,%eax
je     1175 <is_hex+0x55>
add    $0x1,%rbx
add    $0xffffffff,%ebp
je     1178 <is_hex+0x58>
mov    %r15,%rdi
call   1030 <strlen@plt>
add    $0xffffffff,%eax
movzbl (%rbx),%ecx
cmp    %eax,%ebp
jne    1140 <is_hex+0x20>
mov    %ecx,%eax
or     $0x20,%al
cmp    $0x78,%al
jne    1140 <is_hex+0x20>
cmpb   $0x30,-0x1(%rbx)
je     114c <is_hex+0x2c>
xor    %r14d,%r14d
mov    %r14d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define signext i16 @is_hex(i8* %0) {
%2 = alloca i16
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i32
store i8* %0, i8** %3
%6 = load i8*, i8** %3
store i8* %6, i8** %4
%7 = load i8*, i8** %3
%8 = call i32 @strlen(i8* %7)
store i32 %8, i32* %5
br label %9
9: ; preds = %53, %1
%10 = load i32, i32* %5
%11 = icmp ne i32 %10, 0
br i1 %11, label %12, label %58
12: ; preds = %9
%13 = load i32, i32* %5
%14 = load i8*, i8** %3
%15 = call i32 @strlen(i8* %14)
%16 = sub nsw i32 %15, 1
%17 = icmp eq i32 %13, %16
br i1 %17, label %18, label %46
18: ; preds = %12
%19 = load i8*, i8** %4
%20 = load i8, i8* %19
%21 = sext i8 %20 to i32
%22 = icmp eq i32 %21, 120
br i1 %22, label %28, label %23
23: ; preds = %18
%24 = load i8*, i8** %4
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = icmp eq i32 %26, 88
br i1 %27, label %28, label %38
28: ; preds = %23, %18
%29 = load i8*, i8** %4
%30 = getelementptr inbounds i8, i8* %29, i32 -1
store i8* %30, i8** %4
%31 = load i8, i8* %30
%32 = sext i8 %31 to i32
%33 = icmp ne i32 %32, 48
br i1 %33, label %34, label %35
34: ; preds = %28
store i16 0, i16* %2
br label %59
35: ; preds = %28
%36 = load i8*, i8** %4
%37 = getelementptr inbounds i8, i8* %36, i32 1
store i8* %37, i8** %4
br label %45
38: ; preds = %23
%39 = load i8*, i8** %4
%40 = load i8, i8* %39
%41 = call i32 @isxdigit(i8 signext %40)
%42 = icmp ne i32 %41, 0
br i1 %42, label %44, label %43
43: ; preds = %38
store i16 0, i16* %2
br label %59
44: ; preds = %38
br label %45
45: ; preds = %44, %35
br label %53
46: ; preds = %12
%47 = load i8*, i8** %4
%48 = load i8, i8* %47
%49 = call i32 @isxdigit(i8 signext %48)
%50 = icmp ne i32 %49, 0
br i1 %50, label %52, label %51
51: ; preds = %46
store i16 0, i16* %2
br label %59
52: ; preds = %46
br label %53
53: ; preds = %52, %45
%54 = load i8*, i8** %4
%55 = getelementptr inbounds i8, i8* %54, i32 1
store i8* %55, i8** %4
%56 = load i32, i32* %5
%57 = add nsw i32 %56, -1
store i32 %57, i32* %5
br label %9
58: ; preds = %9
store i16 1, i16* %2
br label %59
59: ; preds = %58, %51, %43, %34
%60 = load i16, i16* %2
ret i16 %60
}

LLVM IR (-O2):
define signext i16 @is_hex(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = icmp eq i32 %2, 0
br i1 %3, label %26, label %4
4: ; preds = %1, %22
%5 = phi i32 [ %24, %22 ], [ %2, %1 ]
%6 = phi i8* [ %23, %22 ], [ %0, %1 ]
%7 = tail call i32 @strlen(i8* %0)
%8 = add nsw i32 %7, -1
%9 = icmp eq i32 %5, %8
%10 = load i8, i8* %6
br i1 %9, label %11, label %19
11: ; preds = %4
switch i8 %10, label %16 [
i8 120, label %12
i8 88, label %12
]
12: ; preds = %11, %11
%13 = getelementptr inbounds i8, i8* %6, i64 -1
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 48
br i1 %15, label %22, label %26
16: ; preds = %11
%17 = tail call i32 @isxdigit(i8 signext %10)
%18 = icmp eq i32 %17, 0
br i1 %18, label %26, label %22
19: ; preds = %4
%20 = tail call i32 @isxdigit(i8 signext %10)
%21 = icmp eq i32 %20, 0
br i1 %21, label %26, label %22
22: ; preds = %12, %19, %16
%23 = getelementptr inbounds i8, i8* %6, i64 1
%24 = add nsw i32 %5, -1
%25 = icmp eq i32 %24, 0
br i1 %25, label %26, label %4
26: ; preds = %12, %16, %19, %22, %1
%27 = phi i16 [ 1, %1 ], [ 1, %22 ], [ 0, %19 ], [ 0, %16 ], [ 0, %12 ]
ret i16 %27
}