#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__ valid_idchar(char const);
int id3_frame_validid(char const *id) {
  return id && valid_idchar(id[0]) && valid_idchar(id[1]) &&
         valid_idchar(id[2]) && valid_idchar(id[3]);
}


x86 assembly (clang, -O0):
<id3_frame_validid>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x8(%rbp)
mov    %al,-0x9(%rbp)
je     119f <id3_frame_validid+0x8f>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1030 <valid_idchar@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x9(%rbp)
je     119f <id3_frame_validid+0x8f>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1030 <valid_idchar@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x9(%rbp)
je     119f <id3_frame_validid+0x8f>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%edi
call   1030 <valid_idchar@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x9(%rbp)
je     119f <id3_frame_validid+0x8f>
mov    -0x8(%rbp),%rax
movsbl 0x3(%rax),%edi
call   1030 <valid_idchar@plt>
cmp    $0x0,%rax
setne  %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):
<id3_frame_validid>:
push   %rbp
push   %rbx
push   %rax
xor    %ebp,%ebp
test   %rdi,%rdi
je     1158 <id3_frame_validid+0x48>
mov    %rdi,%rbx
movsbl (%rdi),%edi
call   1030 <valid_idchar@plt>
test   %rax,%rax
je     1158 <id3_frame_validid+0x48>
movsbl 0x1(%rbx),%edi
call   1030 <valid_idchar@plt>
test   %rax,%rax
je     1158 <id3_frame_validid+0x48>
movsbl 0x2(%rbx),%edi
call   1030 <valid_idchar@plt>
test   %rax,%rax
je     1158 <id3_frame_validid+0x48>
movsbl 0x3(%rbx),%edi
call   1030 <valid_idchar@plt>
xor    %ebp,%ebp
test   %rax,%rax
setne  %bpl
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i32 @id3_frame_validid(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 %29
5: ; preds = %1
%6 = load i8*, i8** %2
%7 = getelementptr inbounds i8, i8* %6, i64 0
%8 = load i8, i8* %7
%9 = call i64 @valid_idchar(i8 signext %8)
%10 = icmp ne i64 %9, 0
br i1 %10, label %11, label %29
11: ; preds = %5
%12 = load i8*, i8** %2
%13 = getelementptr inbounds i8, i8* %12, i64 1
%14 = load i8, i8* %13
%15 = call i64 @valid_idchar(i8 signext %14)
%16 = icmp ne i64 %15, 0
br i1 %16, label %17, label %29
17: ; preds = %11
%18 = load i8*, i8** %2
%19 = getelementptr inbounds i8, i8* %18, i64 2
%20 = load i8, i8* %19
%21 = call i64 @valid_idchar(i8 signext %20)
%22 = icmp ne i64 %21, 0
br i1 %22, label %23, label %29
23: ; preds = %17
%24 = load i8*, i8** %2
%25 = getelementptr inbounds i8, i8* %24, i64 3
%26 = load i8, i8* %25
%27 = call i64 @valid_idchar(i8 signext %26)
%28 = icmp ne i64 %27, 0
br label %29
29: ; preds = %23, %17, %11, %5, %1
%30 = phi i1 [ false, %17 ], [ false, %11 ], [ false, %5 ], [ false, %1 ], [ %28, %23 ]
%31 = zext i1 %30 to i32
ret i32 %31
}

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