int Barcode_a_or_b(unsigned char *text) {
  for (; *text; text++) {
    if (((*text) < 32 || (*text) == 0x80))
      return 'A';
    if (((*text) >= 96 && (*text) < 128))
      return 'B';
  }
  return 0;
}


x86 assembly (clang, -O0):
<Barcode_a_or_b>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1187 <Barcode_a_or_b+0x87>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x20,%eax
jl     1137 <Barcode_a_or_b+0x37>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x80,%eax
jne    1143 <Barcode_a_or_b+0x43>
movl   $0x41,-0x4(%rbp)
jmp    118e <Barcode_a_or_b+0x8e>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x60,%eax
jl     1171 <Barcode_a_or_b+0x71>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x80,%eax
jge    1171 <Barcode_a_or_b+0x71>
movl   $0x42,-0x4(%rbp)
jmp    118e <Barcode_a_or_b+0x8e>
jmp    1176 <Barcode_a_or_b+0x76>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1108 <Barcode_a_or_b+0x8>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<Barcode_a_or_b>:
mov    (%rdi),%cl
test   %cl,%cl
je     112a <Barcode_a_or_b+0x2a>
add    $0x1,%rdi
mov    $0x41,%eax
nop
cmp    $0x20,%cl
jb     1132 <Barcode_a_or_b+0x32>
cmp    $0x80,%cl
je     1132 <Barcode_a_or_b+0x32>
cmp    $0x60,%cl
jge    112d <Barcode_a_or_b+0x2d>
movzbl (%rdi),%ecx
add    $0x1,%rdi
test   %cl,%cl
jne    1110 <Barcode_a_or_b+0x10>
xor    %eax,%eax
ret
mov    $0x42,%eax
ret

LLVM IR (-O0):
define i32 @Barcode_a_or_b(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
store i8* %0, i8** %3
br label %4
4: ; preds = %31, %1
%5 = load i8*, i8** %3
%6 = load i8, i8* %5
%7 = icmp ne i8 %6, 0
br i1 %7, label %8, label %34
8: ; preds = %4
%9 = load i8*, i8** %3
%10 = load i8, i8* %9
%11 = zext i8 %10 to i32
%12 = icmp slt i32 %11, 32
br i1 %12, label %18, label %13
13: ; preds = %8
%14 = load i8*, i8** %3
%15 = load i8, i8* %14
%16 = zext i8 %15 to i32
%17 = icmp eq i32 %16, 128
br i1 %17, label %18, label %19
18: ; preds = %13, %8
store i32 65, i32* %2
br label %35
19: ; preds = %13
%20 = load i8*, i8** %3
%21 = load i8, i8* %20
%22 = zext i8 %21 to i32
%23 = icmp sge i32 %22, 96
br i1 %23, label %24, label %30
24: ; preds = %19
%25 = load i8*, i8** %3
%26 = load i8, i8* %25
%27 = zext i8 %26 to i32
%28 = icmp slt i32 %27, 128
br i1 %28, label %29, label %30
29: ; preds = %24
store i32 66, i32* %2
br label %35
30: ; preds = %24, %19
br label %31
31: ; preds = %30
%32 = load i8*, i8** %3
%33 = getelementptr inbounds i8, i8* %32, i32 1
store i8* %33, i8** %3
br label %4
34: ; preds = %4
store i32 0, i32* %2
br label %35
35: ; preds = %34, %29, %18
%36 = load i32, i32* %2
ret i32 %36
}

LLVM IR (-O2):
define i32 @Barcode_a_or_b(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %16, label %7
4: ; preds = %13
%5 = load i8, i8* %15
%6 = icmp eq i8 %5, 0
br i1 %6, label %16, label %7
7: ; preds = %1, %4
%8 = phi i8 [ %5, %4 ], [ %2, %1 ]
%9 = phi i8* [ %15, %4 ], [ %0, %1 ]
%10 = icmp ult i8 %8, 32
%11 = icmp eq i8 %8, -128
%12 = or i1 %10, %11
br i1 %12, label %16, label %13
13: ; preds = %7
%14 = icmp sgt i8 %8, 95
%15 = getelementptr inbounds i8, i8* %9, i64 1
br i1 %14, label %16, label %4
16: ; preds = %7, %13, %4, %1
%17 = phi i32 [ 0, %1 ], [ 0, %4 ], [ 66, %13 ], [ 65, %7 ]
ret i32 %17
}