#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*/ isalpha(char);
int strlen(char *);
int validate(char array[]) {
  int i;
  if (array[strlen(array) - 1] == '-' || array[0] == '-') {
    return 0;
  }
  for (i = 0; array[i] != '\0'; i++) {
    if (!isalpha(array[i])) {
      if (array[i] == '-') {
        return 1;
      } else {
        return 0;
      }
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<validate>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x20(%rbp),%rax
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
je     1166 <validate+0x46>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    1172 <validate+0x52>
movl   $0x0,-0x4(%rbp)
jmp    11ef <validate+0xcf>
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     11e8 <validate+0xc8>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <isalpha@plt>
cmp    $0x0,%eax
jne    11d5 <validate+0xb5>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
jne    11c9 <validate+0xa9>
movl   $0x1,-0x4(%rbp)
jmp    11ef <validate+0xcf>
movl   $0x0,-0x4(%rbp)
jmp    11ef <validate+0xcf>
jmp    11da <validate+0xba>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1179 <validate+0x59>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<validate>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
call   1030 <strlen@plt>
movslq %eax,%rcx
xor    %eax,%eax
cmpb   $0x2d,-0x1(%rcx,%r14,1)
je     117d <validate+0x5d>
mov    (%r14),%cl
test   %cl,%cl
je     116a <validate+0x4a>
cmp    $0x2d,%cl
je     117d <validate+0x5d>
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
movsbl %cl,%edi
call   1040 <isalpha@plt>
test   %eax,%eax
je     1171 <validate+0x51>
movzbl 0x1(%r14,%rbx,1),%ecx
add    $0x1,%rbx
test   %cl,%cl
jne    1150 <validate+0x30>
mov    $0x1,%eax
jmp    117d <validate+0x5d>
mov    %ebx,%ecx
xor    %eax,%eax
cmpb   $0x2d,(%r14,%rcx,1)
sete   %al
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

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