#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*/ memset(char *, int /*<<< orphan*/, int);
bool isPand(char *xs, int len) {
  if (len < 9) {
    return false;
  }
  char d[9 + 1];
  memset(d, 0, 9 + 1);
  int i;
  for (i = 0; i != 9; i++) {
    int idx = xs[i];
    d[idx]++;
    if (d[idx] > 1 || d[0] == 1) {
      return false;
    }
  }
  return true;
}


x86 assembly (clang, -O0):
<isPand>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x9,-0x14(%rbp)
jge    1135 <isPand+0x25>
movl   $0x0,-0x4(%rbp)
jmp    11b9 <isPand+0xa9>
lea    -0x1e(%rbp),%rdi
xor    %esi,%esi
mov    $0xa,%edx
call   1030 <memset@plt>
movl   $0x0,-0x24(%rbp)
cmpl   $0x9,-0x24(%rbp)
je     11b2 <isPand+0xa2>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x28(%rbp)
movslq -0x28(%rbp),%rax
mov    -0x1e(%rbp,%rax,1),%cl
add    $0x1,%cl
mov    %cl,-0x1e(%rbp,%rax,1)
movslq -0x28(%rbp),%rax
movsbl -0x1e(%rbp,%rax,1),%eax
cmp    $0x1,%eax
jg     1193 <isPand+0x83>
movsbl -0x1e(%rbp),%eax
cmp    $0x1,%eax
jne    119f <isPand+0x8f>
movl   $0x0,-0x4(%rbp)
jmp    11b9 <isPand+0xa9>
jmp    11a4 <isPand+0x94>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    114c <isPand+0x3c>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isPand>:
push   %rbp
push   %rbx
sub    $0x18,%rsp
xor    %ebp,%ebp
cmp    $0x9,%esi
jl     1259 <isPand+0x149>
mov    %rdi,%rbx
lea    0xe(%rsp),%rdi
xor    %ebp,%ebp
xor    %esi,%esi
mov    $0xa,%edx
call   1030 <memset@plt>
movsbq (%rbx),%rax
mov    0xe(%rsp,%rax,1),%cl
add    $0x1,%cl
mov    %cl,0xe(%rsp,%rax,1)
cmp    $0x1,%cl
jg     1259 <isPand+0x149>
cmpb   $0x1,0xe(%rsp)
je     1259 <isPand+0x149>
movsbq 0x1(%rbx),%rax
mov    0xe(%rsp,%rax,1),%cl
add    $0x1,%cl
mov    %cl,0xe(%rsp,%rax,1)
cmp    $0x1,%cl
jg     1259 <isPand+0x149>
cmpb   $0x1,0xe(%rsp)
je     1259 <isPand+0x149>
movsbq 0x2(%rbx),%rax
mov    0xe(%rsp,%rax,1),%cl
add    $0x1,%cl
mov    %cl,0xe(%rsp,%rax,1)
cmp    $0x1,%cl
jg     1259 <isPand+0x149>
cmpb   $0x1,0xe(%rsp)
je     1259 <isPand+0x149>
movsbq 0x3(%rbx),%rax
mov    0xe(%rsp,%rax,1),%cl
add    $0x1,%cl
mov    %cl,0xe(%rsp,%rax,1)
cmp    $0x1,%cl
jg     1259 <isPand+0x149>
cmpb   $0x1,0xe(%rsp)
je     1259 <isPand+0x149>
movsbq 0x4(%rbx),%rax
mov    0xe(%rsp,%rax,1),%cl
add    $0x1,%cl
mov    %cl,0xe(%rsp,%rax,1)
cmp    $0x1,%cl
jg     1259 <isPand+0x149>
cmpb   $0x1,0xe(%rsp)
je     1259 <isPand+0x149>
movsbq 0x5(%rbx),%rax
mov    0xe(%rsp,%rax,1),%cl
add    $0x1,%cl
mov    %cl,0xe(%rsp,%rax,1)
cmp    $0x1,%cl
jg     1259 <isPand+0x149>
cmpb   $0x1,0xe(%rsp)
je     1259 <isPand+0x149>
movsbq 0x6(%rbx),%rax
mov    0xe(%rsp,%rax,1),%cl
add    $0x1,%cl
mov    %cl,0xe(%rsp,%rax,1)
cmp    $0x1,%cl
jg     1259 <isPand+0x149>
cmpb   $0x1,0xe(%rsp)
je     1259 <isPand+0x149>
movsbq 0x7(%rbx),%rax
mov    0xe(%rsp,%rax,1),%cl
add    $0x1,%cl
mov    %cl,0xe(%rsp,%rax,1)
cmp    $0x1,%cl
jg     1259 <isPand+0x149>
cmpb   $0x1,0xe(%rsp)
je     1259 <isPand+0x149>
movsbq 0x8(%rbx),%rax
mov    0xe(%rsp,%rax,1),%cl
add    $0x1,%cl
mov    %cl,0xe(%rsp,%rax,1)
cmp    $0x2,%cl
setl   %al
cmpb   $0x1,0xe(%rsp)
setne  %cl
and    %al,%cl
movzbl %cl,%ebp
mov    %ebp,%eax
add    $0x18,%rsp
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @isPand(i8* nocapture %0, i32 %1) {
%3 = alloca [10 x i8]
%4 = icmp slt i32 %1, 9
br i1 %4, label %108, label %5
5: ; preds = %2
%6 = getelementptr inbounds [10 x i8], [10 x i8]* %3, i64 0, i64 0
%7 = call i32 @memset(i8* %6, i32 0, i32 10)
%8 = load i8, i8* %0
%9 = sext i8 %8 to i64
%10 = getelementptr inbounds [10 x i8], [10 x i8]* %3, i64 0, i64 %9
%11 = load i8, i8* %10
%12 = add i8 %11, 1
store i8 %12, i8* %10
%13 = icmp sgt i8 %12, 1
%14 = load i8, i8* %6
%15 = icmp eq i8 %14, 1
%16 = select i1 %13, i1 true, i1 %15
br i1 %16, label %106, label %17
17: ; preds = %5
%18 = getelementptr inbounds i8, i8* %0, i64 1
%19 = load i8, i8* %18
%20 = sext i8 %19 to i64
%21 = getelementptr inbounds [10 x i8], [10 x i8]* %3, i64 0, i64 %20
%22 = load i8, i8* %21
%23 = add i8 %22, 1
store i8 %23, i8* %21
%24 = icmp sgt i8 %23, 1
%25 = load i8, i8* %6
%26 = icmp eq i8 %25, 1
%27 = select i1 %24, i1 true, i1 %26
br i1 %27, label %106, label %28
28: ; preds = %17
%29 = getelementptr inbounds i8, i8* %0, i64 2
%30 = load i8, i8* %29
%31 = sext i8 %30 to i64
%32 = getelementptr inbounds [10 x i8], [10 x i8]* %3, i64 0, i64 %31
%33 = load i8, i8* %32
%34 = add i8 %33, 1
store i8 %34, i8* %32
%35 = icmp sgt i8 %34, 1
%36 = load i8, i8* %6
%37 = icmp eq i8 %36, 1
%38 = select i1 %35, i1 true, i1 %37
br i1 %38, label %106, label %39
39: ; preds = %28
%40 = getelementptr inbounds i8, i8* %0, i64 3
%41 = load i8, i8* %40
%42 = sext i8 %41 to i64
%43 = getelementptr inbounds [10 x i8], [10 x i8]* %3, i64 0, i64 %42
%44 = load i8, i8* %43
%45 = add i8 %44, 1
store i8 %45, i8* %43
%46 = icmp sgt i8 %45, 1
%47 = load i8, i8* %6
%48 = icmp eq i8 %47, 1
%49 = select i1 %46, i1 true, i1 %48
br i1 %49, label %106, label %50
50: ; preds = %39
%51 = getelementptr inbounds i8, i8* %0, i64 4
%52 = load i8, i8* %51
%53 = sext i8 %52 to i64
%54 = getelementptr inbounds [10 x i8], [10 x i8]* %3, i64 0, i64 %53
%55 = load i8, i8* %54
%56 = add i8 %55, 1
store i8 %56, i8* %54
%57 = icmp sgt i8 %56, 1
%58 = load i8, i8* %6
%59 = icmp eq i8 %58, 1
%60 = select i1 %57, i1 true, i1 %59
br i1 %60, label %106, label %61
61: ; preds = %50
%62 = getelementptr inbounds i8, i8* %0, i64 5
%63 = load i8, i8* %62
%64 = sext i8 %63 to i64
%65 = getelementptr inbounds [10 x i8], [10 x i8]* %3, i64 0, i64 %64
%66 = load i8, i8* %65
%67 = add i8 %66, 1
store i8 %67, i8* %65
%68 = icmp sgt i8 %67, 1
%69 = load i8, i8* %6
%70 = icmp eq i8 %69, 1
%71 = select i1 %68, i1 true, i1 %70
br i1 %71, label %106, label %72
72: ; preds = %61
%73 = getelementptr inbounds i8, i8* %0, i64 6
%74 = load i8, i8* %73
%75 = sext i8 %74 to i64
%76 = getelementptr inbounds [10 x i8], [10 x i8]* %3, i64 0, i64 %75
%77 = load i8, i8* %76
%78 = add i8 %77, 1
store i8 %78, i8* %76
%79 = icmp sgt i8 %78, 1
%80 = load i8, i8* %6
%81 = icmp eq i8 %80, 1
%82 = select i1 %79, i1 true, i1 %81
br i1 %82, label %106, label %83
83: ; preds = %72
%84 = getelementptr inbounds i8, i8* %0, i64 7
%85 = load i8, i8* %84
%86 = sext i8 %85 to i64
%87 = getelementptr inbounds [10 x i8], [10 x i8]* %3, i64 0, i64 %86
%88 = load i8, i8* %87
%89 = add i8 %88, 1
store i8 %89, i8* %87
%90 = icmp sgt i8 %89, 1
%91 = load i8, i8* %6
%92 = icmp eq i8 %91, 1
%93 = select i1 %90, i1 true, i1 %92
br i1 %93, label %106, label %94
94: ; preds = %83
%95 = getelementptr inbounds i8, i8* %0, i64 8
%96 = load i8, i8* %95
%97 = sext i8 %96 to i64
%98 = getelementptr inbounds [10 x i8], [10 x i8]* %3, i64 0, i64 %97
%99 = load i8, i8* %98
%100 = add i8 %99, 1
store i8 %100, i8* %98
%101 = icmp slt i8 %100, 2
%102 = load i8, i8* %6
%103 = icmp ne i8 %102, 1
%104 = select i1 %101, i1 %103, i1 false
%105 = zext i1 %104 to i32
br label %106
106: ; preds = %94, %83, %72, %61, %50, %39, %28, %17, %5
%107 = phi i32 [ 0, %5 ], [ 0, %17 ], [ 0, %28 ], [ 0, %39 ], [ 0, %50 ], [ 0, %61 ], [ 0, %72 ], [ 0, %83 ], [ %105, %94 ]
br label %108
108: ; preds = %2, %106
%109 = phi i32 [ %107, %106 ], [ 0, %2 ]
ret i32 %109
}