#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 */
typedef scalar_t__ uint8_t;
struct ip6_opt {
  int ip6o_len;
  scalar_t__ ip6o_type;
};
struct ip6_hbh {
  int dummy;
};
typedef int socklen_t;

/* Variables and functions */
scalar_t__ IP6OPT_PAD1;
scalar_t__ IP6OPT_PADN;
int /*<<< orphan*/ add_padding(void *, int, int);
int inet6_opt_append(void *extbuf, socklen_t extlen, int offset, uint8_t type,
                     socklen_t len, uint8_t align, void **databufp) {
  if (offset < sizeof(struct ip6_hbh))
    return -1;
  if (type == IP6OPT_PAD1 || type == IP6OPT_PADN)
    return -1;
  if (len > 255)
    return -1;
  if (align == 0 || align > 8 || (align & (align - 1)) != 0 || align > len)
    return -1;
  int data_offset = offset + sizeof(struct ip6_opt);
  int npad = (align - data_offset % align) & (align - 1);
  if (extbuf != NULL) {
    if (data_offset + npad + len > extlen)
      return -1;
    add_padding(extbuf, offset, npad);
    offset += npad;
    struct ip6_opt *opt = (struct ip6_opt *)((uint8_t *)extbuf + offset);
    opt->ip6o_type = type;
    opt->ip6o_len = len;
    *databufp = opt + 1;
  } else
    offset += npad;
  return offset + sizeof(struct ip6_opt) + len;
}


x86 assembly (clang, -O0):
<inet6_opt_append>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    0x10(%rbp),%rax
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9,-0x30(%rbp)
movslq -0x18(%rbp),%rax
cmp    $0x4,%rax
jae    114c <inet6_opt_append+0x3c>
movl   $0xffffffff,-0x4(%rbp)
jmp    12af <inet6_opt_append+0x19f>
mov    -0x20(%rbp),%rax
mov    0x2e91(%rip),%rcx
cmp    (%rcx),%rax
je     1174 <inet6_opt_append+0x64>
mov    -0x20(%rbp),%rax
mov    0x2e6d(%rip),%rcx
cmp    (%rcx),%rax
jne    1180 <inet6_opt_append+0x70>
movl   $0xffffffff,-0x4(%rbp)
jmp    12af <inet6_opt_append+0x19f>
cmpl   $0xff,-0x24(%rbp)
jle    1199 <inet6_opt_append+0x89>
movl   $0xffffffff,-0x4(%rbp)
jmp    12af <inet6_opt_append+0x19f>
cmpq   $0x0,-0x30(%rbp)
je     11d9 <inet6_opt_append+0xc9>
cmpq   $0x8,-0x30(%rbp)
jg     11d9 <inet6_opt_append+0xc9>
mov    -0x30(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    $0x1,%rcx
and    %rcx,%rax
cmp    $0x0,%rax
jne    11d9 <inet6_opt_append+0xc9>
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%rcx
cmp    %rcx,%rax
jle    11e5 <inet6_opt_append+0xd5>
movl   $0xffffffff,-0x4(%rbp)
jmp    12af <inet6_opt_append+0x19f>
movslq -0x18(%rbp),%rax
add    $0x10,%rax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x48(%rbp)
movslq -0x34(%rbp),%rax
cqto
idivq  -0x30(%rbp)
mov    -0x48(%rbp),%rax
sub    %rdx,%rax
mov    -0x30(%rbp),%rcx
sub    $0x1,%rcx
and    %rcx,%rax
mov    %eax,-0x38(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1294 <inet6_opt_append+0x184>
mov    -0x34(%rbp),%eax
add    -0x38(%rbp),%eax
add    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1240 <inet6_opt_append+0x130>
movl   $0xffffffff,-0x4(%rbp)
jmp    12af <inet6_opt_append+0x19f>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%esi
mov    -0x38(%rbp),%edx
call   1030 <add_padding@plt>
mov    -0x38(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rcx
mov    -0x40(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x24(%rbp),%ecx
mov    -0x40(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x40(%rbp),%rcx
add    $0x10,%rcx
mov    0x10(%rbp),%rax
mov    %rcx,(%rax)
jmp    129d <inet6_opt_append+0x18d>
mov    -0x38(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
movslq -0x18(%rbp),%rax
add    $0x10,%rax
movslq -0x24(%rbp),%rcx
add    %rcx,%rax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<inet6_opt_append>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rcx,%r15
mov    $0xffffffff,%ecx
cmp    $0x4,%edx
jb     1258 <inet6_opt_append+0x148>
mov    %r8d,%r14d
cmp    $0xff,%r8d
jg     1258 <inet6_opt_append+0x148>
mov    0x2ea5(%rip),%rax
cmp    %r15,(%rax)
je     1258 <inet6_opt_append+0x148>
mov    0x2e85(%rip),%rax
cmp    %r15,(%rax)
je     1258 <inet6_opt_append+0x148>
test   %r9,%r9
je     1258 <inet6_opt_append+0x148>
cmp    $0x8,%r9
jg     1258 <inet6_opt_append+0x148>
movslq %r14d,%rax
cmp    %r9,%rax
jl     1258 <inet6_opt_append+0x148>
mov    %edx,%ebx
mov    %rdi,%r12
mov    %r9,%rax
shr    %rax
movabs $0x5555555555555555,%rdx
55 55 55
and    %rax,%rdx
mov    %r9,%rax
sub    %rdx,%rax
movabs $0x3333333333333333,%rdx
33 33 33
mov    %rax,%rdi
and    %rdx,%rdi
shr    $0x2,%rax
and    %rdx,%rax
add    %rdi,%rax
mov    %rax,%rdx
shr    $0x4,%rdx
add    %rax,%rdx
movabs $0xf0f0f0f0f0f0f0f,%rax
0f 0f 0f
and    %rdx,%rax
movabs $0x101010101010101,%rdx
01 01 01
imul   %rax,%rdx
shr    $0x38,%rdx
cmp    $0x1,%edx
ja     1258 <inet6_opt_append+0x148>
mov    $0xffffffff,%r13d
add    %r9,%r13
lea    0x10(%rbx),%edi
movslq %edi,%rax
mov    %rax,%rdx
or     %r9,%rdx
shr    $0x20,%rdx
je     1203 <inet6_opt_append+0xf3>
cqto
idiv   %r9
jmp    120a <inet6_opt_append+0xfa>
mov    %edi,%eax
xor    %edx,%edx
div    %r9d
sub    %edx,%r9d
and    %r9d,%r13d
test   %r12,%r12
je     124e <inet6_opt_append+0x13e>
add    %r14d,%edi
add    %r13d,%edi
cmp    %esi,%edi
jg     1258 <inet6_opt_append+0x148>
mov    0x40(%rsp),%rbp
mov    %r12,%rdi
mov    %ebx,%esi
mov    %r13d,%edx
call   1030 <add_padding@plt>
add    %ebx,%r13d
movslq %r13d,%rax
mov    %r15,0x8(%r12,%rax,8)
mov    %r14d,(%r12,%rax,8)
lea    (%r12,%rax,8),%rax
add    $0x10,%rax
mov    %rax,0x0(%rbp)
jmp    1251 <inet6_opt_append+0x141>
add    %ebx,%r13d
lea    (%r14,%r13,1),%ecx
add    $0x10,%ecx
mov    %ecx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@IP6OPT_PAD1 = global i64 0
@IP6OPT_PADN = global i64 0
define i32 @inet6_opt_append(i8* %0, i32 %1, i32 %2, i64 %3, i32 %4, i64 %5, i8** nocapture writeonly %6) {
%8 = icmp ult i32 %2, 4
br i1 %8, label %56, label %9
9: ; preds = %7
%10 = load i64, i64* @IP6OPT_PAD1
%11 = icmp eq i64 %10, %3
%12 = load i64, i64* @IP6OPT_PADN
%13 = icmp eq i64 %12, %3
%14 = select i1 %11, i1 true, i1 %13
%15 = icmp sgt i32 %4, 255
%16 = or i1 %15, %14
br i1 %16, label %56, label %17
17: ; preds = %9
%18 = icmp eq i64 %5, 0
%19 = icmp sgt i64 %5, 8
%20 = or i1 %18, %19
br i1 %20, label %56, label %21
21: ; preds = %17
%22 = tail call i64 @llvm.ctpop.i64(i64 %5)
%23 = icmp ugt i64 %22, 1
%24 = sext i32 %4 to i64
%25 = icmp slt i64 %24, %5
%26 = or i1 %25, %23
br i1 %26, label %56, label %27
27: ; preds = %21
%28 = add nsw i64 %5, 4294967295
%29 = add i32 %2, 16
%30 = sext i32 %29 to i64
%31 = srem i64 %30, %5
%32 = sub nsw i64 %5, %31
%33 = and i64 %32, %28
%34 = trunc i64 %33 to i32
%35 = icmp eq i8* %0, null
br i1 %35, label %50, label %36
36: ; preds = %27
%37 = add i32 %29, %4
%38 = add i32 %37, %34
%39 = icmp sgt i32 %38, %1
br i1 %39, label %56, label %40
40: ; preds = %36
%41 = tail call i32 @add_padding(i8* %0, i32 %2, i32 %34)
%42 = add nsw i32 %34, %2
%43 = bitcast i8* %0 to i64*
%44 = sext i32 %42 to i64
%45 = getelementptr inbounds i64, i64* %43, i64 %44
%46 = getelementptr inbounds i64, i64* %45, i64 1
store i64 %3, i64* %46
%47 = bitcast i64* %45 to i32*
store i32 %4, i32* %47
%48 = getelementptr inbounds i64, i64* %45, i64 2
%49 = bitcast i8** %6 to i64**
store i64* %48, i64** %49
br label %52
50: ; preds = %27
%51 = add nsw i32 %34, %2
br label %52
52: ; preds = %50, %40
%53 = phi i32 [ %42, %40 ], [ %51, %50 ]
%54 = add nsw i32 %4, 16
%55 = add i32 %54, %53
br label %56
56: ; preds = %52, %36, %17, %21, %9, %7
%57 = phi i32 [ -1, %7 ], [ -1, %9 ], [ -1, %21 ], [ -1, %17 ], [ %55, %52 ], [ -1, %36 ]
ret i32 %57
}