#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 */
unsigned long B_ASN1_BMPSTRING;
unsigned long B_ASN1_IA5STRING;
unsigned long B_ASN1_PRINTABLESTRING;
unsigned long B_ASN1_T61STRING;
int /*<<< orphan*/ is_printable(unsigned long);
int type_str(unsigned long value, void *arg) {
  unsigned long types;
  types = *((unsigned long *)arg);
  if ((types & B_ASN1_PRINTABLESTRING) && !is_printable(value))
    types &= ~B_ASN1_PRINTABLESTRING;
  if ((types & B_ASN1_IA5STRING) && (value > 127))
    types &= ~B_ASN1_IA5STRING;
  if ((types & B_ASN1_T61STRING) && (value > 0xff))
    types &= ~B_ASN1_T61STRING;
  if ((types & B_ASN1_BMPSTRING) && (value > 0xffff))
    types &= ~B_ASN1_BMPSTRING;
  if (!types)
    return -1;
  *((unsigned long *)arg) = types;
  return 1;
}


x86 assembly (clang, -O0):
<type_str>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    0x2e92(%rip),%rcx
and    (%rcx),%rax
cmp    $0x0,%rax
je     116b <type_str+0x5b>
mov    -0x10(%rbp),%rdi
call   1030 <is_printable@plt>
cmp    $0x0,%eax
jne    116b <type_str+0x5b>
mov    0x2e6c(%rip),%rax
mov    (%rax),%rax
xor    $0xffffffffffffffff,%rax
and    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    0x2e62(%rip),%rcx
and    (%rcx),%rax
cmp    $0x0,%rax
je     11a4 <type_str+0x94>
cmpq   $0x7f,-0x10(%rbp)
jbe    11a4 <type_str+0x94>
mov    0x2e43(%rip),%rax
mov    (%rax),%rax
xor    $0xffffffffffffffff,%rax
and    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    0x2e31(%rip),%rcx
and    (%rcx),%rax
cmp    $0x0,%rax
je     11e0 <type_str+0xd0>
cmpq   $0xff,-0x10(%rbp)
jbe    11e0 <type_str+0xd0>
mov    0x2e0f(%rip),%rax
mov    (%rax),%rax
xor    $0xffffffffffffffff,%rax
and    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    0x2e05(%rip),%rcx
and    (%rcx),%rax
cmp    $0x0,%rax
je     121c <type_str+0x10c>
cmpq   $0xffff,-0x10(%rbp)
jbe    121c <type_str+0x10c>
mov    0x2de3(%rip),%rax
mov    (%rax),%rax
xor    $0xffffffffffffffff,%rax
and    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    1233 <type_str+0x123>
movl   $0xffffffff,-0x4(%rbp)
jmp    1245 <type_str+0x135>
mov    -0x20(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<type_str>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%r15
mov    (%rsi),%rbx
mov    0x2ea0(%rip),%r12
test   %rbx,(%r12)
je     1144 <type_str+0x34>
mov    %r15,%rdi
call   1030 <is_printable@plt>
test   %eax,%eax
jne    1144 <type_str+0x34>
mov    (%r12),%rax
not    %rax
and    %rax,%rbx
mov    0x2e8d(%rip),%rax
mov    (%rax),%rax
mov    %rax,%rcx
and    %rbx,%rcx
cmp    $0x1,%rcx
sbb    %rcx,%rcx
not    %rax
or     %rax,%rcx
cmp    $0x7f,%r15
mov    $0xffffffffffffffff,%rax
cmovbe %rax,%rcx
and    %rbx,%rcx
mov    0x2e66(%rip),%rdx
mov    (%rdx),%rdx
mov    %rcx,%rsi
and    %rdx,%rsi
not    %rdx
cmp    $0x1,%rsi
sbb    %rsi,%rsi
or     %rdx,%rsi
cmp    $0x100,%r15
cmovb  %rax,%rsi
and    %rcx,%rsi
mov    0x2e4b(%rip),%rcx
mov    (%rcx),%rdx
mov    %rsi,%rcx
and    %rdx,%rcx
not    %rdx
cmp    $0x1,%rcx
sbb    %rcx,%rcx
or     %rdx,%rcx
cmp    $0x10000,%r15
cmovb  %rax,%rcx
and    %rsi,%rcx
je     11d5 <type_str+0xc5>
mov    %rcx,(%r14)
mov    $0x1,%eax
jmp    11da <type_str+0xca>
mov    $0xffffffff,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@B_ASN1_PRINTABLESTRING = global i64 0
@B_ASN1_IA5STRING = global i64 0
@B_ASN1_T61STRING = global i64 0
@B_ASN1_BMPSTRING = global i64 0
define i32 @type_str(i64 %0, i8* %1) {
%3 = alloca i32
%4 = alloca i64
%5 = alloca i8*
%6 = alloca i64
store i64 %0, i64* %4
store i8* %1, i8** %5
%7 = load i8*, i8** %5
%8 = bitcast i8* %7 to i64*
%9 = load i64, i64* %8
store i64 %9, i64* %6
%10 = load i64, i64* %6
%11 = load i64, i64* @B_ASN1_PRINTABLESTRING
%12 = and i64 %10, %11
%13 = icmp ne i64 %12, 0
br i1 %13, label %14, label %23
14: ; preds = %2
%15 = load i64, i64* %4
%16 = call i32 @is_printable(i64 %15)
%17 = icmp ne i32 %16, 0
br i1 %17, label %23, label %18
18: ; preds = %14
%19 = load i64, i64* @B_ASN1_PRINTABLESTRING
%20 = xor i64 %19, -1
%21 = load i64, i64* %6
%22 = and i64 %21, %20
store i64 %22, i64* %6
br label %23
23: ; preds = %18, %14, %2
%24 = load i64, i64* %6
%25 = load i64, i64* @B_ASN1_IA5STRING
%26 = and i64 %24, %25
%27 = icmp ne i64 %26, 0
br i1 %27, label %28, label %36
28: ; preds = %23
%29 = load i64, i64* %4
%30 = icmp ugt i64 %29, 127
br i1 %30, label %31, label %36
31: ; preds = %28
%32 = load i64, i64* @B_ASN1_IA5STRING
%33 = xor i64 %32, -1
%34 = load i64, i64* %6
%35 = and i64 %34, %33
store i64 %35, i64* %6
br label %36
36: ; preds = %31, %28, %23
%37 = load i64, i64* %6
%38 = load i64, i64* @B_ASN1_T61STRING
%39 = and i64 %37, %38
%40 = icmp ne i64 %39, 0
br i1 %40, label %41, label %49
41: ; preds = %36
%42 = load i64, i64* %4
%43 = icmp ugt i64 %42, 255
br i1 %43, label %44, label %49
44: ; preds = %41
%45 = load i64, i64* @B_ASN1_T61STRING
%46 = xor i64 %45, -1
%47 = load i64, i64* %6
%48 = and i64 %47, %46
store i64 %48, i64* %6
br label %49
49: ; preds = %44, %41, %36
%50 = load i64, i64* %6
%51 = load i64, i64* @B_ASN1_BMPSTRING
%52 = and i64 %50, %51
%53 = icmp ne i64 %52, 0
br i1 %53, label %54, label %62
54: ; preds = %49
%55 = load i64, i64* %4
%56 = icmp ugt i64 %55, 65535
br i1 %56, label %57, label %62
57: ; preds = %54
%58 = load i64, i64* @B_ASN1_BMPSTRING
%59 = xor i64 %58, -1
%60 = load i64, i64* %6
%61 = and i64 %60, %59
store i64 %61, i64* %6
br label %62
62: ; preds = %57, %54, %49
%63 = load i64, i64* %6
%64 = icmp ne i64 %63, 0
br i1 %64, label %66, label %65
65: ; preds = %62
store i32 -1, i32* %3
br label %70
66: ; preds = %62
%67 = load i64, i64* %6
%68 = load i8*, i8** %5
%69 = bitcast i8* %68 to i64*
store i64 %67, i64* %69
store i32 1, i32* %3
br label %70
70: ; preds = %66, %65
%71 = load i32, i32* %3
ret i32 %71
}

LLVM IR (-O2):
@B_ASN1_PRINTABLESTRING = global i64 0
@B_ASN1_IA5STRING = global i64 0
@B_ASN1_T61STRING = global i64 0
@B_ASN1_BMPSTRING = global i64 0
define i32 @type_str(i64 %0, i8* nocapture %1) {
%3 = bitcast i8* %1 to i64*
%4 = load i64, i64* %3
%5 = load i64, i64* @B_ASN1_PRINTABLESTRING
%6 = and i64 %5, %4
%7 = icmp eq i64 %6, 0
br i1 %7, label %15, label %8
8: ; preds = %2
%9 = tail call i32 @is_printable(i64 %0)
%10 = icmp eq i32 %9, 0
br i1 %10, label %11, label %15
11: ; preds = %8
%12 = load i64, i64* @B_ASN1_PRINTABLESTRING
%13 = xor i64 %12, -1
%14 = and i64 %4, %13
br label %15
15: ; preds = %11, %8, %2
%16 = phi i64 [ %4, %8 ], [ %14, %11 ], [ %4, %2 ]
%17 = load i64, i64* @B_ASN1_IA5STRING
%18 = and i64 %17, %16
%19 = icmp ne i64 %18, 0
%20 = icmp ugt i64 %0, 127
%21 = and i1 %20, %19
%22 = xor i64 %17, -1
%23 = select i1 %21, i64 %22, i64 -1
%24 = and i64 %23, %16
%25 = load i64, i64* @B_ASN1_T61STRING
%26 = and i64 %24, %25
%27 = icmp ne i64 %26, 0
%28 = icmp ugt i64 %0, 255
%29 = and i1 %28, %27
%30 = xor i64 %25, -1
%31 = select i1 %29, i64 %30, i64 -1
%32 = and i64 %31, %24
%33 = load i64, i64* @B_ASN1_BMPSTRING
%34 = and i64 %32, %33
%35 = icmp ne i64 %34, 0
%36 = icmp ugt i64 %0, 65535
%37 = and i1 %36, %35
%38 = xor i64 %33, -1
%39 = select i1 %37, i64 %38, i64 -1
%40 = and i64 %39, %32
%41 = icmp eq i64 %40, 0
br i1 %41, label %43, label %42
42: ; preds = %15
store i64 %40, i64* %3
br label %43
43: ; preds = %15, %42
%44 = phi i32 [ 1, %42 ], [ -1, %15 ]
ret i32 %44
}