// File: /workspace/github_c_makefile_star2_O1/OpenKMIP[P]libkmip/src/kmip.c
// Function: kmip_decode_interval
int
kmip_decode_interval(KMIP *ctx, enum tag t, uint32 *value)
{
    CHECK_BUFFER_FULL(ctx, 16);
    
    int32 tag_type = 0;
    uint32 length = 0;
    int32 padding = 0;
    
    kmip_decode_int32_be(ctx, &tag_type);
    CHECK_TAG_TYPE(ctx, tag_type, t, KMIP_TYPE_INTERVAL);
    
    kmip_decode_length(ctx, &length);
    CHECK_LENGTH(ctx, length, 4);
    
    kmip_decode_int32_be(ctx, value);
    
    kmip_decode_int32_be(ctx, &padding);
    CHECK_PADDING(ctx, padding);
    
    return(KMIP_OK);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
movq 0x10(%rdi), %rax
subq 0x8(%rdi), %rax
addq (%rdi), %rax
cmpq $0xf, %rax
ja 0x1149a
leaq 0x38(%rbx), %rdi
xorl %r14d, %r14d
cmpl $0x0, 0x64(%rdi,%r14)
je 0x11538
addq $0x68, %r14
cmpq $0x820, %r14            # imm = 0x820
jne 0x1147c
jmp 0x1155f
movq %rdx, %r14
movl %esi, %ebp
xorl %eax, %eax
leaq 0x14(%rsp), %r15
movl %eax, (%r15)
movl %eax, 0x10(%rsp)
movl %eax, 0xc(%rsp)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x6a10
movl (%r15), %eax
movl %eax, %ecx
sarl $0x8, %ecx
cmpl %ebp, %ecx
jne 0x11569
cmpb $0xa, %al
jne 0x115b8
leaq 0x10(%rsp), %r15
movq %rbx, %rdi
movq %r15, %rsi
callq 0x64b0
cmpl $0x4, (%r15)
jne 0x11604
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6a10
leaq 0xc(%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6a10
cmpl $0x0, (%r14)
je 0x11650
leaq 0x38(%rbx), %rdi
xorl %r14d, %r14d
cmpl $0x0, 0x64(%rdi,%r14)
je 0x11654
addq $0x68, %r14
cmpq $0x820, %r14            # imm = 0x820
jne 0x1151a
jmp 0x1167b
addq %r14, %rdi
movq %rdi, 0x860(%rbx)
leaq 0xea6f(%rip), %rsi      # 0x1ffb8
movl $0x63, %edx
callq 0x66f0
movl $0x21fb, 0x9c(%rbx,%r14) # imm = 0x21FB
movl $0xfffffffe, %eax       # imm = 0xFFFFFFFE
jmp 0x11680
leaq 0x38(%rbx), %rdi
xorl %r14d, %r14d
cmpl $0x0, 0x64(%rdi,%r14)
je 0x11587
addq $0x68, %r14
cmpq $0x820, %r14            # imm = 0x820
jne 0x11570
jmp 0x115ae
addq %r14, %rdi
movq %rdi, 0x860(%rbx)
leaq 0xea20(%rip), %rsi      # 0x1ffb8
movl $0x63, %edx
callq 0x66f0
movl $0x2202, 0x9c(%rbx,%r14) # imm = 0x2202
movl $0xfffffffc, %eax       # imm = 0xFFFFFFFC
jmp 0x11680
leaq 0x38(%rbx), %rdi
xorl %r14d, %r14d
cmpl $0x0, 0x64(%rdi,%r14)
je 0x115d6
addq $0x68, %r14
cmpq $0x820, %r14            # imm = 0x820
jne 0x115bf
jmp 0x115fd
addq %r14, %rdi
movq %rdi, 0x860(%rbx)
leaq 0xe9d1(%rip), %rsi      # 0x1ffb8
movl $0x63, %edx
callq 0x66f0
movl $0x2202, 0x9c(%rbx,%r14) # imm = 0x2202
movl $0xfffffffb, %eax       # imm = 0xFFFFFFFB
jmp 0x11680
leaq 0x38(%rbx), %rdi
xorl %r14d, %r14d
cmpl $0x0, 0x64(%rdi,%r14)
je 0x11622
addq $0x68, %r14
cmpq $0x820, %r14            # imm = 0x820
jne 0x1160b
jmp 0x11649
addq %r14, %rdi
movq %rdi, 0x860(%rbx)
leaq 0xe985(%rip), %rsi      # 0x1ffb8
movl $0x63, %edx
callq 0x66f0
movl $0x2205, 0x9c(%rbx,%r14) # imm = 0x2205
movl $0xfffffffa, %eax       # imm = 0xFFFFFFFA
jmp 0x11680
xorl %eax, %eax
jmp 0x11680
addq %r14, %rdi
movq %rdi, 0x860(%rbx)
leaq 0xe953(%rip), %rsi      # 0x1ffb8
movl $0x63, %edx
callq 0x66f0
movl $0x220a, 0x9c(%rbx,%r14) # imm = 0x220A
movl $0xfffffff9, %eax       # imm = 0xFFFFFFF9
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq