#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 str_len(char *);
int check_base(char *base) {
  int base_len;
  int it[2];
  base_len = str_len(base);
  if (base_len < 2)
    return (0);
  it[0] = 0;
  while (it[0] < base_len) {
    it[1] = 1;
    while (it[1] < base_len) {
      if ((base[it[0]] == base[it[1]] && it[0] != it[1]) ||
          base[it[1]] == '-' || base[it[1]] == '+' ||
          (((unsigned)base[it[0]] > 0 && (unsigned)base[it[0]] < 9) ||
           ((unsigned)base[it[0]] > 13 && (unsigned)base[it[0]] <= 31)) ||
          base[it[0]] <= '\200')
        return (0);
      it[1]++;
    }
    it[0]++;
  }
  return (1);
}


x86 assembly (clang, -O0):
<check_base>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <str_len@plt>
mov    %eax,-0x14(%rbp)
cmpl   $0x2,-0x14(%rbp)
jge    113e <check_base+0x2e>
movl   $0x0,-0x4(%rbp)
jmp    1252 <check_base+0x142>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    124b <check_base+0x13b>
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    123d <check_base+0x12d>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    1190 <check_base+0x80>
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    1223 <check_base+0x113>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
je     1223 <check_base+0x113>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2b,%eax
je     1223 <check_base+0x113>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jbe    11e4 <check_base+0xd4>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x9,%eax
jb     1223 <check_base+0x113>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xd,%eax
jbe    120e <check_base+0xfe>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x1f,%eax
jbe    1223 <check_base+0x113>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xffffff80,%eax
jg     122f <check_base+0x11f>
movl   $0x0,-0x4(%rbp)
jmp    1252 <check_base+0x142>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1158 <check_base+0x48>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1145 <check_base+0x35>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_base>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
call   1030 <str_len@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x2,%ecx
jge    112d <check_base+0x1d>
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret
mov    %ecx,%r9d
xor    %r8d,%r8d
mov    (%r14,%r8,1),%sil
lea    -0x1(%rsi),%edi
lea    -0xe(%rsi),%eax
cmp    $0x12,%al
setb   %al
cmp    $0x80,%sil
sete   %dl
or     %al,%dl
mov    $0x1,%ecx
movzbl (%r14,%rcx,1),%ebx
xor    %eax,%eax
cmp    %bl,%sil
jne    1161 <check_base+0x51>
cmp    %rcx,%r8
jne    1125 <check_base+0x15>
cmp    $0x2b,%bl
je     1125 <check_base+0x15>
cmp    $0x2d,%bl
je     1125 <check_base+0x15>
cmp    $0x8,%dil
jb     1125 <check_base+0x15>
test   %dl,%dl
jne    1125 <check_base+0x15>
add    $0x1,%rcx
cmp    %rcx,%r9
jne    1150 <check_base+0x40>
add    $0x1,%r8
mov    $0x1,%eax
cmp    %r9,%r8
jne    1133 <check_base+0x23>
jmp    1125 <check_base+0x15>

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

LLVM IR (-O2):
define i32 @check_base(i8* %0) {
%2 = tail call i32 @str_len(i8* %0)
%3 = icmp slt i32 %2, 2
br i1 %3, label %32, label %4
4: ; preds = %1
%5 = zext i32 %2 to i64
br label %6
6: ; preds = %4, %29
%7 = phi i64 [ 0, %4 ], [ %30, %29 ]
%8 = getelementptr inbounds i8, i8* %0, i64 %7
%9 = load i8, i8* %8
%10 = add i8 %9, -1
%11 = icmp ult i8 %10, 8
%12 = add i8 %9, -14
%13 = icmp ult i8 %12, 18
%14 = icmp eq i8 %9, -128
%15 = or i1 %14, %13
br label %18
16: ; preds = %27
%17 = icmp eq i64 %28, %5
br i1 %17, label %29, label %18
18: ; preds = %6, %16
%19 = phi i64 [ 1, %6 ], [ %28, %16 ]
%20 = getelementptr inbounds i8, i8* %0, i64 %19
%21 = load i8, i8* %20
%22 = icmp ne i8 %9, %21
%23 = icmp eq i64 %7, %19
%24 = select i1 %22, i1 true, i1 %23
br i1 %24, label %25, label %32
25: ; preds = %18
switch i8 %21, label %26 [
i8 45, label %32
i8 43, label %32
]
26: ; preds = %25
br i1 %11, label %32, label %27
27: ; preds = %26
%28 = add nuw nsw i64 %19, 1
br i1 %15, label %32, label %16
29: ; preds = %16
%30 = add nuw nsw i64 %7, 1
%31 = icmp eq i64 %30, %5
br i1 %31, label %32, label %6
32: ; preds = %29, %18, %25, %25, %26, %27, %1
%33 = phi i32 [ 0, %1 ], [ 0, %27 ], [ 0, %26 ], [ 0, %25 ], [ 0, %25 ], [ 0, %18 ], [ 1, %29 ]
ret i32 %33
}