// File: /workspace/github_c_makefile_star2_O3/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 0x1100b
leaq 0x38(%rbx), %rdi
xorl %r14d, %r14d
cmpl $0x0, 0x64(%rdi,%r14)
je 0x110a9
addq $0x68, %r14
cmpq $0x820, %r14            # imm = 0x820
jne 0x10fed
jmp 0x110d0
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 0x110da
cmpb $0xa, %al
jne 0x11129
leaq 0x10(%rsp), %r15
movq %rbx, %rdi
movq %r15, %rsi
callq 0x64b0
cmpl $0x4, (%r15)
jne 0x11175
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6a10
leaq 0xc(%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6a10
cmpl $0x0, (%r14)
je 0x111c1
leaq 0x38(%rbx), %rdi
xorl %r14d, %r14d
cmpl $0x0, 0x64(%rdi,%r14)
je 0x111c5
addq $0x68, %r14
cmpq $0x820, %r14            # imm = 0x820
jne 0x1108b
jmp 0x111ec
addq %r14, %rdi
movq %rdi, 0x860(%rbx)
leaq 0xdf72(%rip), %rsi      # 0x1f02c
movl $0x63, %edx
callq 0x66f0
movl $0x21fb, 0x9c(%rbx,%r14) # imm = 0x21FB
movl $0xfffffffe, %eax       # imm = 0xFFFFFFFE
jmp 0x111f1
leaq 0x38(%rbx), %rdi
xorl %r14d, %r14d
cmpl $0x0, 0x64(%rdi,%r14)
je 0x110f8
addq $0x68, %r14
cmpq $0x820, %r14            # imm = 0x820
jne 0x110e1
jmp 0x1111f
addq %r14, %rdi
movq %rdi, 0x860(%rbx)
leaq 0xdf23(%rip), %rsi      # 0x1f02c
movl $0x63, %edx
callq 0x66f0
movl $0x2202, 0x9c(%rbx,%r14) # imm = 0x2202
movl $0xfffffffc, %eax       # imm = 0xFFFFFFFC
jmp 0x111f1
leaq 0x38(%rbx), %rdi
xorl %r14d, %r14d
cmpl $0x0, 0x64(%rdi,%r14)
je 0x11147
addq $0x68, %r14
cmpq $0x820, %r14            # imm = 0x820
jne 0x11130
jmp 0x1116e
addq %r14, %rdi
movq %rdi, 0x860(%rbx)
leaq 0xded4(%rip), %rsi      # 0x1f02c
movl $0x63, %edx
callq 0x66f0
movl $0x2202, 0x9c(%rbx,%r14) # imm = 0x2202
movl $0xfffffffb, %eax       # imm = 0xFFFFFFFB
jmp 0x111f1
leaq 0x38(%rbx), %rdi
xorl %r14d, %r14d
cmpl $0x0, 0x64(%rdi,%r14)
je 0x11193
addq $0x68, %r14
cmpq $0x820, %r14            # imm = 0x820
jne 0x1117c
jmp 0x111ba
addq %r14, %rdi
movq %rdi, 0x860(%rbx)
leaq 0xde88(%rip), %rsi      # 0x1f02c
movl $0x63, %edx
callq 0x66f0
movl $0x2205, 0x9c(%rbx,%r14) # imm = 0x2205
movl $0xfffffffa, %eax       # imm = 0xFFFFFFFA
jmp 0x111f1
xorl %eax, %eax
jmp 0x111f1
addq %r14, %rdi
movq %rdi, 0x860(%rbx)
leaq 0xde56(%rip), %rsi      # 0x1f02c
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