#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*/ strlen(unsigned char *);
int Barcode_128_verify(unsigned char *text) {
  if (!strlen(text))
    return -1;
  while (*text && (*text <= 0x80 || (*text >= 0xc1 && *text <= 0xc4)))
    text++;
  if (*text)
    return -1;
  return 0;
}


x86 assembly (clang, -O0):
<Barcode_128_verify>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
cmp    $0x0,%eax
jne    113a <Barcode_128_verify+0x2a>
movl   $0xffffffff,-0x4(%rbp)
jmp    11e3 <Barcode_128_verify+0xd3>
jmp    113f <Barcode_128_verify+0x2f>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x11(%rbp)
je     11a2 <Barcode_128_verify+0x92>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x80,%ecx
mov    %al,-0x12(%rbp)
jle    119c <Barcode_128_verify+0x8c>
mov    -0x10(%rbp),%rax
movzbl (%rax),%ecx
xor    %eax,%eax
cmp    $0xc1,%ecx
mov    %al,-0x13(%rbp)
jl     1196 <Barcode_128_verify+0x86>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xc4,%eax
setle  %al
mov    %al,-0x13(%rbp)
mov    -0x13(%rbp),%al
mov    %al,-0x12(%rbp)
mov    -0x12(%rbp),%al
mov    %al,-0x11(%rbp)
mov    -0x11(%rbp),%al
test   $0x1,%al
jne    11b2 <Barcode_128_verify+0xa2>
jmp    11c3 <Barcode_128_verify+0xb3>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    113f <Barcode_128_verify+0x2f>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     11dc <Barcode_128_verify+0xcc>
movl   $0xffffffff,-0x4(%rbp)
jmp    11e3 <Barcode_128_verify+0xd3>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Barcode_128_verify>:
push   %rbx
mov    %rdi,%rbx
call   1030 <strlen@plt>
test   %eax,%eax
je     115e <Barcode_128_verify+0x4e>
mov    (%rbx),%dl
test   %dl,%dl
je     1165 <Barcode_128_verify+0x55>
add    $0x1,%rbx
jmp    113b <Barcode_128_verify+0x2b>
nopl   0x0(%rax)
movzbl (%rbx),%edx
add    $0x1,%rbx
test   %dl,%dl
je     114a <Barcode_128_verify+0x3a>
mov    %edx,%eax
lea    0x3f(%rax),%ecx
cmp    $0x81,%dl
jb     1130 <Barcode_128_verify+0x20>
cmp    $0x4,%cl
jb     1130 <Barcode_128_verify+0x20>
cmp    $0x4,%cl
setae  %cl
cmp    $0x81,%al
setae  %al
and    %cl,%al
movzbl %al,%eax
neg    %eax
pop    %rbx
ret
mov    $0xffffffff,%eax
pop    %rbx
ret
xor    %eax,%eax
pop    %rbx
ret

LLVM IR (-O0):
define i32 @Barcode_128_verify(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
store i8* %0, i8** %3
%4 = load i8*, i8** %3
%5 = call i32 @strlen(i8* %4)
%6 = icmp ne i32 %5, 0
br i1 %6, label %8, label %7
7: ; preds = %1
store i32 -1, i32* %2
br label %44
8: ; preds = %1
br label %9
9: ; preds = %35, %8
%10 = load i8*, i8** %3
%11 = load i8, i8* %10
%12 = zext i8 %11 to i32
%13 = icmp ne i32 %12, 0
br i1 %13, label %14, label %33
14: ; preds = %9
%15 = load i8*, i8** %3
%16 = load i8, i8* %15
%17 = zext i8 %16 to i32
%18 = icmp sle i32 %17, 128
br i1 %18, label %31, label %19
19: ; preds = %14
%20 = load i8*, i8** %3
%21 = load i8, i8* %20
%22 = zext i8 %21 to i32
%23 = icmp sge i32 %22, 193
br i1 %23, label %24, label %29
24: ; preds = %19
%25 = load i8*, i8** %3
%26 = load i8, i8* %25
%27 = zext i8 %26 to i32
%28 = icmp sle i32 %27, 196
br label %29
29: ; preds = %24, %19
%30 = phi i1 [ false, %19 ], [ %28, %24 ]
br label %31
31: ; preds = %29, %14
%32 = phi i1 [ true, %14 ], [ %30, %29 ]
br label %33
33: ; preds = %31, %9
%34 = phi i1 [ false, %9 ], [ %32, %31 ]
br i1 %34, label %35, label %38
35: ; preds = %33
%36 = load i8*, i8** %3
%37 = getelementptr inbounds i8, i8* %36, i32 1
store i8* %37, i8** %3
br label %9
38: ; preds = %33
%39 = load i8*, i8** %3
%40 = load i8, i8* %39
%41 = icmp ne i8 %40, 0
br i1 %41, label %42, label %43
42: ; preds = %38
store i32 -1, i32* %2
br label %44
43: ; preds = %38
store i32 0, i32* %2
br label %44
44: ; preds = %43, %42, %7
%45 = load i32, i32* %2
ret i32 %45
}

LLVM IR (-O2):
define i32 @Barcode_128_verify(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = icmp eq i32 %2, 0
br i1 %3, label %22, label %4
4: ; preds = %1
%5 = load i8, i8* %0
%6 = icmp eq i8 %5, 0
br i1 %6, label %22, label %10
7: ; preds = %10
%8 = load i8, i8* %17
%9 = icmp eq i8 %8, 0
br i1 %9, label %18, label %10
10: ; preds = %4, %7
%11 = phi i8 [ %8, %7 ], [ %5, %4 ]
%12 = phi i8* [ %17, %7 ], [ %0, %4 ]
%13 = icmp ult i8 %11, -127
%14 = add i8 %11, 63
%15 = icmp ult i8 %14, 4
%16 = or i1 %13, %15
%17 = getelementptr inbounds i8, i8* %12, i64 1
br i1 %16, label %7, label %18
18: ; preds = %10, %7
%19 = or i1 %13, %15
%20 = xor i1 %19, true
%21 = sext i1 %20 to i32
br label %22
22: ; preds = %4, %18, %1
%23 = phi i32 [ -1, %1 ], [ 0, %4 ], [ %21, %18 ]
ret i32 %23
}