#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 */
typedef struct TYPE_4__ TYPE_1__;

/* Type definitions */
struct TYPE_4__ {
  int length;
  scalar_t__ data;
};
typedef TYPE_1__ ASN1_IA5STRING;

/* Variables and functions */
int X509_V_ERR_PERMITTED_VIOLATION;
int X509_V_ERR_UNSUPPORTED_NAME_SYNTAX;
int X509_V_OK;
char *strchr(char const *, char);
int strlen(char const *);
scalar_t__ strncasecmp(char const *, char const *, int);
int nc_uri(ASN1_IA5STRING *uri, ASN1_IA5STRING *base) {
  const char *baseptr = (char *)base->data;
  const char *hostptr = (char *)uri->data;
  const char *p = strchr(hostptr, ':');
  int hostlen;
  if (!p || (p[1] != '/') || (p[2] != '/'))
    return X509_V_ERR_UNSUPPORTED_NAME_SYNTAX;
  hostptr = p + 3;
  p = strchr(hostptr, ':');
  if (!p)
    p = strchr(hostptr, '/');
  if (!p)
    hostlen = strlen(hostptr);
  else
    hostlen = p - hostptr;
  if (hostlen == 0)
    return X509_V_ERR_UNSUPPORTED_NAME_SYNTAX;
  if (*baseptr == '.') {
    if (hostlen > base->length) {
      p = hostptr + hostlen - base->length;
      if (!strncasecmp(p, baseptr, base->length))
        return X509_V_OK;
    }
    return X509_V_ERR_PERMITTED_VIOLATION;
  }
  if ((base->length != (int)hostlen) || strncasecmp(hostptr, baseptr, hostlen))
    return X509_V_ERR_PERMITTED_VIOLATION;
  return X509_V_OK;
}


x86 assembly (clang, -O0):
<nc_uri>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
mov    $0x3a,%esi
call   1040 <strchr@plt>
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
je     1197 <nc_uri+0x67>
mov    -0x30(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2f,%eax
jne    1197 <nc_uri+0x67>
mov    -0x30(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x2f,%eax
je     11a8 <nc_uri+0x78>
mov    0x2e32(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    12ef <nc_uri+0x1bf>
mov    -0x30(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
mov    $0x3a,%esi
call   1040 <strchr@plt>
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
jne    11e3 <nc_uri+0xb3>
mov    -0x28(%rbp),%rdi
mov    $0x2f,%esi
call   1040 <strchr@plt>
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
jne    11ff <nc_uri+0xcf>
mov    -0x28(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x34(%rbp)
jmp    120d <nc_uri+0xdd>
mov    -0x30(%rbp),%rax
mov    -0x28(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jne    1228 <nc_uri+0xf8>
mov    0x2db2(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    12ef <nc_uri+0x1bf>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    12a9 <nc_uri+0x179>
mov    -0x34(%rbp),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jle    1298 <nc_uri+0x168>
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
add    %rcx,%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rdx
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x18(%rbp),%rax
mov    (%rax),%edx
call   1050 <strncasecmp@plt>
cmp    $0x0,%rax
jne    1293 <nc_uri+0x163>
mov    0x2d6f(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    12ef <nc_uri+0x1bf>
jmp    1298 <nc_uri+0x168>
mov    0x2d41(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    12ef <nc_uri+0x1bf>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
cmp    -0x34(%rbp),%eax
jne    12d2 <nc_uri+0x1a2>
mov    -0x28(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x34(%rbp),%edx
call   1050 <strncasecmp@plt>
cmp    $0x0,%rax
je     12e3 <nc_uri+0x1b3>
mov    0x2d07(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    12ef <nc_uri+0x1bf>
mov    0x2d0e(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<nc_uri>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r15
mov    0x8(%rsi),%r14
mov    0x8(%rdi),%rdi
mov    $0x3a,%esi
call   1040 <strchr@plt>
mov    0x2e7c(%rip),%r12
test   %rax,%rax
je     11ef <nc_uri+0xbf>
mov    %rax,%rbx
cmpb   $0x2f,0x1(%rax)
jne    11ef <nc_uri+0xbf>
cmpb   $0x2f,0x2(%rbx)
jne    11ef <nc_uri+0xbf>
add    $0x3,%rbx
mov    %rbx,%rdi
mov    $0x3a,%esi
call   1040 <strchr@plt>
test   %rax,%rax
jne    1198 <nc_uri+0x68>
mov    %rbx,%rdi
mov    $0x2f,%esi
call   1040 <strchr@plt>
test   %rax,%rax
je     11da <nc_uri+0xaa>
sub    %ebx,%eax
test   %eax,%eax
je     11ef <nc_uri+0xbf>
cmpb   $0x2e,(%r14)
movslq (%r15),%rdx
jne    11bb <nc_uri+0x8b>
cmp    %edx,%eax
jle    11d1 <nc_uri+0xa1>
cltq
add    %rax,%rbx
sub    %rdx,%rbx
mov    %rbx,%rdi
mov    %r14,%rsi
jmp    11c7 <nc_uri+0x97>
cmp    %eax,%edx
jne    11d1 <nc_uri+0xa1>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %eax,%edx
call   1050 <strncasecmp@plt>
test   %rax,%rax
je     11e8 <nc_uri+0xb8>
mov    0x2e08(%rip),%r12
jmp    11ef <nc_uri+0xbf>
mov    %rbx,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jne    119e <nc_uri+0x6e>
jmp    11ef <nc_uri+0xbf>
mov    0x2e09(%rip),%r12
mov    (%r12),%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
%struct.TYPE_4__ = type { i32, i64 }
@X509_V_ERR_UNSUPPORTED_NAME_SYNTAX = global i32 0
@X509_V_OK = global i32 0
@X509_V_ERR_PERMITTED_VIOLATION = global i32 0
define i32 @nc_uri(%struct.TYPE_4__* %0, %struct.TYPE_4__* %1) {
%3 = alloca i32
%4 = alloca %struct.TYPE_4__*
%5 = alloca %struct.TYPE_4__*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i32
store %struct.TYPE_4__* %0, %struct.TYPE_4__** %4
store %struct.TYPE_4__* %1, %struct.TYPE_4__** %5
%10 = load %struct.TYPE_4__*, %struct.TYPE_4__** %5
%11 = getelementptr inbounds %struct.TYPE_4__, %struct.TYPE_4__* %10, i32 0, i32 1
%12 = load i64, i64* %11
%13 = inttoptr i64 %12 to i8*
store i8* %13, i8** %6
%14 = load %struct.TYPE_4__*, %struct.TYPE_4__** %4
%15 = getelementptr inbounds %struct.TYPE_4__, %struct.TYPE_4__* %14, i32 0, i32 1
%16 = load i64, i64* %15
%17 = inttoptr i64 %16 to i8*
store i8* %17, i8** %7
%18 = load i8*, i8** %7
%19 = call i8* @strchr(i8* %18, i8 signext 58)
store i8* %19, i8** %8
%20 = load i8*, i8** %8
%21 = icmp ne i8* %20, null
br i1 %21, label %22, label %34
22: ; preds = %2
%23 = load i8*, i8** %8
%24 = getelementptr inbounds i8, i8* %23, i64 1
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = icmp ne i32 %26, 47
br i1 %27, label %34, label %28
28: ; preds = %22
%29 = load i8*, i8** %8
%30 = getelementptr inbounds i8, i8* %29, i64 2
%31 = load i8, i8* %30
%32 = sext i8 %31 to i32
%33 = icmp ne i32 %32, 47
br i1 %33, label %34, label %36
34: ; preds = %28, %22, %2
%35 = load i32, i32* @X509_V_ERR_UNSUPPORTED_NAME_SYNTAX
store i32 %35, i32* %3
br label %114
36: ; preds = %28
%37 = load i8*, i8** %8
%38 = getelementptr inbounds i8, i8* %37, i64 3
store i8* %38, i8** %7
%39 = load i8*, i8** %7
%40 = call i8* @strchr(i8* %39, i8 signext 58)
store i8* %40, i8** %8
%41 = load i8*, i8** %8
%42 = icmp ne i8* %41, null
br i1 %42, label %46, label %43
43: ; preds = %36
%44 = load i8*, i8** %7
%45 = call i8* @strchr(i8* %44, i8 signext 47)
store i8* %45, i8** %8
br label %46
46: ; preds = %43, %36
%47 = load i8*, i8** %8
%48 = icmp ne i8* %47, null
br i1 %48, label %52, label %49
49: ; preds = %46
%50 = load i8*, i8** %7
%51 = call i32 @strlen(i8* %50)
store i32 %51, i32* %9
br label %59
52: ; preds = %46
%53 = load i8*, i8** %8
%54 = load i8*, i8** %7
%55 = ptrtoint i8* %53 to i64
%56 = ptrtoint i8* %54 to i64
%57 = sub i64 %55, %56
%58 = trunc i64 %57 to i32
store i32 %58, i32* %9
br label %59
59: ; preds = %52, %49
%60 = load i32, i32* %9
%61 = icmp eq i32 %60, 0
br i1 %61, label %62, label %64
62: ; preds = %59
%63 = load i32, i32* @X509_V_ERR_UNSUPPORTED_NAME_SYNTAX
store i32 %63, i32* %3
br label %114
64: ; preds = %59
%65 = load i8*, i8** %6
%66 = load i8, i8* %65
%67 = sext i8 %66 to i32
%68 = icmp eq i32 %67, 46
br i1 %68, label %69, label %98
69: ; preds = %64
%70 = load i32, i32* %9
%71 = load %struct.TYPE_4__*, %struct.TYPE_4__** %5
%72 = getelementptr inbounds %struct.TYPE_4__, %struct.TYPE_4__* %71, i32 0, i32 0
%73 = load i32, i32* %72
%74 = icmp sgt i32 %70, %73
br i1 %74, label %75, label %96
75: ; preds = %69
%76 = load i8*, i8** %7
%77 = load i32, i32* %9
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i8, i8* %76, i64 %78
%80 = load %struct.TYPE_4__*, %struct.TYPE_4__** %5
%81 = getelementptr inbounds %struct.TYPE_4__, %struct.TYPE_4__* %80, i32 0, i32 0
%82 = load i32, i32* %81
%83 = sext i32 %82 to i64
%84 = sub i64 0, %83
%85 = getelementptr inbounds i8, i8* %79, i64 %84
store i8* %85, i8** %8
%86 = load i8*, i8** %8
%87 = load i8*, i8** %6
%88 = load %struct.TYPE_4__*, %struct.TYPE_4__** %5
%89 = getelementptr inbounds %struct.TYPE_4__, %struct.TYPE_4__* %88, i32 0, i32 0
%90 = load i32, i32* %89
%91 = call i64 @strncasecmp(i8* %86, i8* %87, i32 %90)
%92 = icmp ne i64 %91, 0
br i1 %92, label %95, label %93
93: ; preds = %75
%94 = load i32, i32* @X509_V_OK
store i32 %94, i32* %3
br label %114
95: ; preds = %75
br label %96
96: ; preds = %95, %69
%97 = load i32, i32* @X509_V_ERR_PERMITTED_VIOLATION
store i32 %97, i32* %3
br label %114
98: ; preds = %64
%99 = load %struct.TYPE_4__*, %struct.TYPE_4__** %5
%100 = getelementptr inbounds %struct.TYPE_4__, %struct.TYPE_4__* %99, i32 0, i32 0
%101 = load i32, i32* %100
%102 = load i32, i32* %9
%103 = icmp ne i32 %101, %102
br i1 %103, label %110, label %104
104: ; preds = %98
%105 = load i8*, i8** %7
%106 = load i8*, i8** %6
%107 = load i32, i32* %9
%108 = call i64 @strncasecmp(i8* %105, i8* %106, i32 %107)
%109 = icmp ne i64 %108, 0
br i1 %109, label %110, label %112
110: ; preds = %104, %98
%111 = load i32, i32* @X509_V_ERR_PERMITTED_VIOLATION
store i32 %111, i32* %3
br label %114
112: ; preds = %104
%113 = load i32, i32* @X509_V_OK
store i32 %113, i32* %3
br label %114
114: ; preds = %112, %110, %96, %93, %62, %34
%115 = load i32, i32* %3
ret i32 %115
}

LLVM IR (-O2):
%struct.TYPE_4__ = type { i32, i64 }
@X509_V_ERR_UNSUPPORTED_NAME_SYNTAX = global i32 0
@X509_V_OK = global i32 0
@X509_V_ERR_PERMITTED_VIOLATION = global i32 0
define i32 @nc_uri(%struct.TYPE_4__* nocapture %0, %struct.TYPE_4__* nocapture %1) {
%3 = getelementptr inbounds %struct.TYPE_4__, %struct.TYPE_4__* %1, i64 0, i32 1
%4 = load i64, i64* %3
%5 = inttoptr i64 %4 to i8*
%6 = getelementptr inbounds %struct.TYPE_4__, %struct.TYPE_4__* %0, i64 0, i32 1
%7 = load i64, i64* %6
%8 = inttoptr i64 %7 to i8*
%9 = tail call i8* @strchr(i8* dereferenceable(1) %8, i8 signext 58)
%10 = icmp eq i8* %9, null
br i1 %10, label %59, label %11
11: ; preds = %2
%12 = getelementptr inbounds i8, i8* %9, i64 1
%13 = load i8, i8* %12
%14 = icmp eq i8 %13, 47
br i1 %14, label %15, label %59
15: ; preds = %11
%16 = getelementptr inbounds i8, i8* %9, i64 2
%17 = load i8, i8* %16
%18 = icmp eq i8 %17, 47
br i1 %18, label %19, label %59
19: ; preds = %15
%20 = getelementptr inbounds i8, i8* %9, i64 3
%21 = tail call i8* @strchr(i8* %20, i8 signext 58)
%22 = icmp eq i8* %21, null
br i1 %22, label %23, label %28
23: ; preds = %19
%24 = tail call i8* @strchr(i8* %20, i8 signext 47)
%25 = icmp eq i8* %24, null
br i1 %25, label %26, label %28
26: ; preds = %23
%27 = tail call i32 @strlen(i8* %20)
br label %34
28: ; preds = %19, %23
%29 = phi i8* [ %24, %23 ], [ %21, %19 ]
%30 = ptrtoint i8* %29 to i64
%31 = ptrtoint i8* %20 to i64
%32 = sub i64 %30, %31
%33 = trunc i64 %32 to i32
br label %34
34: ; preds = %28, %26
%35 = phi i32 [ %33, %28 ], [ %27, %26 ]
%36 = icmp eq i32 %35, 0
br i1 %36, label %59, label %37
37: ; preds = %34
%38 = load i8, i8* %5
%39 = icmp eq i8 %38, 46
%40 = getelementptr inbounds %struct.TYPE_4__, %struct.TYPE_4__* %1, i64 0, i32 0
%41 = load i32, i32* %40
br i1 %39, label %42, label %53
42: ; preds = %37
%43 = icmp sgt i32 %35, %41
br i1 %43, label %44, label %52
44: ; preds = %42
%45 = sext i32 %35 to i64
%46 = getelementptr inbounds i8, i8* %20, i64 %45
%47 = sext i32 %41 to i64
%48 = sub nsw i64 0, %47
%49 = getelementptr inbounds i8, i8* %46, i64 %48
%50 = tail call i64 @strncasecmp(i8* %49, i8* %5, i32 %41)
%51 = icmp eq i64 %50, 0
br i1 %51, label %59, label %52
52: ; preds = %44, %42
br label %59
53: ; preds = %37
%54 = icmp eq i32 %41, %35
br i1 %54, label %55, label %59
55: ; preds = %53
%56 = tail call i64 @strncasecmp(i8* %20, i8* %5, i32 %35)
%57 = icmp eq i64 %56, 0
%58 = select i1 %57, i32* @X509_V_OK, i32* @X509_V_ERR_PERMITTED_VIOLATION
br label %59
59: ; preds = %55, %53, %44, %34, %2, %11, %15, %52
%60 = phi i32* [ @X509_V_ERR_PERMITTED_VIOLATION, %52 ], [ @X509_V_ERR_UNSUPPORTED_NAME_SYNTAX, %15 ], [ @X509_V_ERR_UNSUPPORTED_NAME_SYNTAX, %11 ], [ @X509_V_ERR_UNSUPPORTED_NAME_SYNTAX, %2 ], [ @X509_V_ERR_UNSUPPORTED_NAME_SYNTAX, %34 ], [ @X509_V_OK, %44 ], [ @X509_V_ERR_PERMITTED_VIOLATION, %53 ], [ %58, %55 ]
%61 = load i32, i32* %60
ret i32 %61
}