#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 char *buffer_add(unsigned char *, unsigned char *,
                          unsigned char const *, unsigned char const);
int labelset_new(unsigned char *labelset, unsigned long *labelset_len,
                 const unsigned long labelset_maxlen,
                 const unsigned char *protocol_name,
                 const unsigned char protocol_name_len,
                 const unsigned char *customization_label,
                 const unsigned char customization_label_len) {
  unsigned char *bufptr;
  *labelset_len = 0;
  if (labelset == NULL)
    return -1;
  if (labelset_len == NULL)
    return -1;
  if (labelset_maxlen > 512)
    return -1;
  if (labelset_maxlen < 3 + protocol_name_len + customization_label_len)
    return -1;
  if (protocol_name == NULL && protocol_name_len != 0)
    return -1;
  if (customization_label == NULL && customization_label_len != 0)
    return -1;
  if (protocol_name_len > 128)
    return -1;
  if (customization_label_len > 128)
    return -1;
  bufptr = labelset;
  *bufptr++ = 2;
  *bufptr++ = protocol_name_len;
  bufptr = buffer_add(bufptr, labelset + labelset_maxlen, protocol_name,
                      protocol_name_len);
  if (bufptr != NULL && bufptr < labelset + labelset_maxlen)
    *bufptr++ = customization_label_len;
  bufptr = buffer_add(bufptr, labelset + labelset_maxlen, customization_label,
                      customization_label_len);
  if (bufptr != NULL &&
      bufptr - labelset == 3 + protocol_name_len + customization_label_len) {
    *labelset_len = bufptr - labelset;
    return 0;
  }
  return -1;
}


x86 assembly (clang, -O0):
<labelset_new>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %r8b,%al
mov    0x10(%rbp),%r8b
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %al,-0x29(%rbp)
mov    %r9,-0x38(%rbp)
mov    -0x18(%rbp),%rax
movq   $0x0,(%rax)
cmpq   $0x0,-0x10(%rbp)
jne    1158 <labelset_new+0x48>
movl   $0xffffffff,-0x4(%rbp)
jmp    1320 <labelset_new+0x210>
cmpq   $0x0,-0x18(%rbp)
jne    116f <labelset_new+0x5f>
movl   $0xffffffff,-0x4(%rbp)
jmp    1320 <labelset_new+0x210>
cmpq   $0x200,-0x20(%rbp)
jbe    1189 <labelset_new+0x79>
movl   $0xffffffff,-0x4(%rbp)
jmp    1320 <labelset_new+0x210>
mov    -0x20(%rbp),%rax
movzbl -0x29(%rbp),%ecx
add    $0x3,%ecx
movzbl 0x10(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
cmp    %rcx,%rax
jae    11b2 <labelset_new+0xa2>
movl   $0xffffffff,-0x4(%rbp)
jmp    1320 <labelset_new+0x210>
cmpq   $0x0,-0x28(%rbp)
jne    11d6 <labelset_new+0xc6>
movzbl -0x29(%rbp),%eax
cmp    $0x0,%eax
je     11d6 <labelset_new+0xc6>
movl   $0xffffffff,-0x4(%rbp)
jmp    1320 <labelset_new+0x210>
cmpq   $0x0,-0x38(%rbp)
jne    11fa <labelset_new+0xea>
movzbl 0x10(%rbp),%eax
cmp    $0x0,%eax
je     11fa <labelset_new+0xea>
movl   $0xffffffff,-0x4(%rbp)
jmp    1320 <labelset_new+0x210>
movzbl -0x29(%rbp),%eax
cmp    $0x80,%eax
jle    1215 <labelset_new+0x105>
movl   $0xffffffff,-0x4(%rbp)
jmp    1320 <labelset_new+0x210>
movzbl 0x10(%rbp),%eax
cmp    $0x80,%eax
jle    1230 <labelset_new+0x120>
movl   $0xffffffff,-0x4(%rbp)
jmp    1320 <labelset_new+0x210>
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x2,(%rax)
mov    -0x29(%rbp),%cl
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cl,(%rax)
mov    -0x40(%rbp),%rdi
mov    -0x10(%rbp),%rsi
add    -0x20(%rbp),%rsi
mov    -0x28(%rbp),%rdx
movzbl -0x29(%rbp),%ecx
call   1030 <buffer_add@plt>
mov    %rax,-0x40(%rbp)
cmpq   $0x0,-0x40(%rbp)
je     12af <labelset_new+0x19f>
mov    -0x40(%rbp),%rax
mov    -0x10(%rbp),%rcx
add    -0x20(%rbp),%rcx
cmp    %rcx,%rax
jae    12af <labelset_new+0x19f>
mov    0x10(%rbp),%cl
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cl,(%rax)
mov    -0x40(%rbp),%rdi
mov    -0x10(%rbp),%rsi
add    -0x20(%rbp),%rsi
mov    -0x38(%rbp),%rdx
movzbl 0x10(%rbp),%ecx
call   1030 <buffer_add@plt>
mov    %rax,-0x40(%rbp)
cmpq   $0x0,-0x40(%rbp)
je     1319 <labelset_new+0x209>
mov    -0x40(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
movzbl -0x29(%rbp),%ecx
add    $0x3,%ecx
movzbl 0x10(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
cmp    %rcx,%rax
jne    1319 <labelset_new+0x209>
mov    -0x40(%rbp),%rcx
mov    -0x10(%rbp),%rax
sub    %rax,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    1320 <labelset_new+0x210>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<labelset_new>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
movq   $0x0,(%rsi)
mov    $0xffffffff,%r14d
test   %rdi,%rdi
je     1165 <labelset_new+0x55>
mov    %rdx,%rbx
cmp    $0x200,%rdx
ja     1165 <labelset_new+0x55>
mov    %rdi,%rbp
mov    0x40(%rsp),%dl
movzbl %r8b,%eax
movzbl %dl,%r13d
lea    (%rax,%r13,1),%rdi
add    $0x3,%rdi
cmp    %rbx,%rdi
ja     1165 <labelset_new+0x55>
mov    %r9,%r15
mov    %rsi,%r12
test   %rcx,%rcx
jne    1177 <labelset_new+0x67>
test   %r8b,%r8b
je     1177 <labelset_new+0x67>
mov    %r14d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
test   %r15,%r15
sete   %r9b
test   %dl,%dl
setne  %sil
cmp    $0x80,%dl
ja     1165 <labelset_new+0x55>
cmp    $0x80,%r8b
ja     1165 <labelset_new+0x55>
and    %sil,%r9b
jne    1165 <labelset_new+0x55>
mov    %rdi,(%rsp)
movb   $0x2,0x0(%rbp)
lea    0x2(%rbp),%rdi
mov    %r8b,0x1(%rbp)
add    %rbp,%rbx
mov    %rbx,%rsi
mov    %rcx,%rdx
mov    %eax,%ecx
call   1030 <buffer_add@plt>
test   %rax,%rax
je     11ca <labelset_new+0xba>
cmp    %rbx,%rax
jae    11cc <labelset_new+0xbc>
mov    0x40(%rsp),%cl
mov    %cl,(%rax)
add    $0x1,%rax
jmp    11cc <labelset_new+0xbc>
xor    %eax,%eax
mov    %rax,%rdi
mov    %rbx,%rsi
mov    %r15,%rdx
mov    %r13d,%ecx
call   1030 <buffer_add@plt>
test   %rax,%rax
je     1165 <labelset_new+0x55>
sub    %rbp,%rax
mov    (%rsp),%rcx
cmp    %rcx,%rax
jne    1165 <labelset_new+0x55>
mov    %rcx,(%r12)
xor    %r14d,%r14d
jmp    1165 <labelset_new+0x55>

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

LLVM IR (-O2):
define i32 @labelset_new(i8* %0, i64* nocapture writeonly %1, i64 %2, i8* %3, i8 zeroext %4, i8* %5, i8 zeroext %6) {
store i64 0, i64* %1
%8 = icmp eq i8* %0, null
%9 = icmp ugt i64 %2, 512
%10 = or i1 %8, %9
br i1 %10, label %49, label %11
11: ; preds = %7
%12 = zext i8 %4 to i64
%13 = add nuw nsw i64 %12, 3
%14 = zext i8 %6 to i64
%15 = add nuw nsw i64 %13, %14
%16 = icmp ugt i64 %15, %2
br i1 %16, label %49, label %17
17: ; preds = %11
%18 = icmp eq i8* %3, null
%19 = icmp ne i8 %4, 0
%20 = and i1 %18, %19
br i1 %20, label %49, label %21
21: ; preds = %17
%22 = icmp eq i8* %5, null
%23 = icmp ne i8 %6, 0
%24 = and i1 %22, %23
%25 = icmp ugt i8 %4, -128
%26 = or i1 %25, %24
%27 = icmp ugt i8 %6, -128
%28 = or i1 %27, %26
br i1 %28, label %49, label %29
29: ; preds = %21
%30 = getelementptr inbounds i8, i8* %0, i64 1
store i8 2, i8* %0
%31 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %4, i8* %30
%32 = getelementptr inbounds i8, i8* %0, i64 %2
%33 = tail call i8* @buffer_add(i8* %31, i8* %32, i8* %3, i8 zeroext %4)
%34 = icmp eq i8* %33, null
br i1 %34, label %39, label %35
35: ; preds = %29
%36 = icmp ult i8* %33, %32
br i1 %36, label %37, label %39
37: ; preds = %35
%38 = getelementptr inbounds i8, i8* %33, i64 1
store i8 %6, i8* %33
br label %39
39: ; preds = %37, %35, %29
%40 = phi i8* [ %38, %37 ], [ %33, %35 ], [ null, %29 ]
%41 = tail call i8* @buffer_add(i8* %40, i8* %32, i8* %5, i8 zeroext %6)
%42 = icmp ne i8* %41, null
%43 = ptrtoint i8* %41 to i64
%44 = ptrtoint i8* %0 to i64
%45 = sub i64 %43, %44
%46 = icmp eq i64 %45, %15
%47 = select i1 %42, i1 %46, i1 false
br i1 %47, label %48, label %49
48: ; preds = %39
store i64 %15, i64* %1
br label %49
49: ; preds = %39, %21, %17, %11, %7, %48
%50 = phi i32 [ 0, %48 ], [ -1, %7 ], [ -1, %11 ], [ -1, %17 ], [ -1, %21 ], [ -1, %39 ]
ret i32 %50
}