Ignored vs Assumed Semantics in BDE

int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const - Assumed

0000000000472a80 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const>:
M0000000000000000:	pushq	%rbp	;  1 bytes
M0000000000000001:	pushq	%r14	;  2 bytes
M0000000000000003:	pushq	%rbx	;  1 bytes
M0000000000000004:	subq	$80, %rsp	;  4 bytes
M0000000000000008:	movq	%rsi, %rbx	;  3 bytes
M000000000000000b:	movq	%rdi, %r14	;  3 bytes
M000000000000000e:	movq	(%rsi), %rsi	;  3 bytes
M0000000000000011:	movq	8(%rbx), %rdx	;  4 bytes
M0000000000000015:	movq	896668(%rip), %rcx  # 54d938 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0x8>	;  7 bytes
M000000000000001c:	movslq	896669(%rip), %rdi  # 54d940 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0x10>	;  7 bytes
M0000000000000023:	movl	896678(%rip), %r9d  # 54d950 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0x20>	;  7 bytes
M000000000000002a:	movq	16(%rbx), %rbp	;  4 bytes
M000000000000002e:	movb	24(%rbx), %al	;  3 bytes
M0000000000000031:	movb	$0, 16(%rsp)	;  5 bytes
M0000000000000036:	movq	%rsi, 24(%rsp)	;  5 bytes
M000000000000003b:	movq	%rdx, 32(%rsp)	;  5 bytes
M0000000000000040:	movq	%rcx, 40(%rsp)	;  5 bytes
M0000000000000045:	movq	%rdi, 48(%rsp)	;  5 bytes
M000000000000004a:	movl	%r9d, 56(%rsp)	;  5 bytes
M000000000000004f:	movq	%rbp, 64(%rsp)	;  5 bytes
M0000000000000054:	movb	%al, 72(%rsp)	;  4 bytes
M0000000000000058:	movq	152(%r14), %rcx	;  7 bytes
M000000000000005f:	cmpq	144(%r14), %rcx	;  7 bytes
M0000000000000066:	jne	0x472aee <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x6e>	;  2 bytes
M0000000000000068:	cmpb	$0, 24(%rbp)	;  4 bytes
M000000000000006c:	je	0x472b2b <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0xab>	;  2 bytes
M000000000000006e:	leaq	144(%r14), %r8	;  7 bytes
M0000000000000075:	movb	$0, 15(%rsp)	;  5 bytes
M000000000000007a:	leaq	40(%rsp), %rcx	;  5 bytes
M000000000000007f:	movzbl	%al, %eax	;  3 bytes
M0000000000000082:	leaq	15(%rsp), %rdi	;  5 bytes
M0000000000000087:	pushq	%rax	;  1 bytes
M0000000000000088:	pushq	%rbp	;  1 bytes
M0000000000000089:	callq	0x472e00 <int BloombergLP::baljsn::Encoder_EncodeImplUtil::encodeMember<bsl::vector<BloombergLP::balb::Enumerated::Value, bsl::allocator<BloombergLP::balb::Enumerated::Value> > >(bool*, BloombergLP::baljsn::Formatter*, std::__1::basic_ostream<char, std::__1::char_traits<char> >*, std::__1::basic_string_view<char, std::__1::char_traits<char> > const&, bsl::vector<BloombergLP::balb::Enumerated::Value, bsl::allocator<BloombergLP::balb::Enumerated::Value> > const&, int, BloombergLP::baljsn::EncoderOptions const&, bool, BloombergLP::bdlat_TypeCategory::Array)>	;  5 bytes
M000000000000008e:	addq	$16, %rsp	;  4 bytes
M0000000000000092:	testl	%eax, %eax	;  2 bytes
M0000000000000094:	jne	0x472d62 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x2e2>	;  6 bytes
M000000000000009a:	movb	$0, 24(%rbx)	;  4 bytes
M000000000000009e:	movq	(%rbx), %rsi	;  3 bytes
M00000000000000a1:	movq	8(%rbx), %rdx	;  4 bytes
M00000000000000a5:	movq	16(%rbx), %rbp	;  4 bytes
M00000000000000a9:	xorl	%eax, %eax	;  2 bytes
M00000000000000ab:	movq	896558(%rip), %rcx  # 54d960 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0x30>	;  7 bytes
M00000000000000b2:	movslq	896559(%rip), %rdi  # 54d968 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0x38>	;  7 bytes
M00000000000000b9:	movl	896568(%rip), %r9d  # 54d978 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0x48>	;  7 bytes
M00000000000000c0:	movb	$0, 16(%rsp)	;  5 bytes
M00000000000000c5:	movq	%rsi, 24(%rsp)	;  5 bytes
M00000000000000ca:	movq	%rdx, 32(%rsp)	;  5 bytes
M00000000000000cf:	movq	%rcx, 40(%rsp)	;  5 bytes
M00000000000000d4:	movq	%rdi, 48(%rsp)	;  5 bytes
M00000000000000d9:	movl	%r9d, 56(%rsp)	;  5 bytes
M00000000000000de:	movq	%rbp, 64(%rsp)	;  5 bytes
M00000000000000e3:	movb	%al, 72(%rsp)	;  4 bytes
M00000000000000e7:	movq	8(%r14), %rcx	;  4 bytes
M00000000000000eb:	cmpq	(%r14), %rcx	;  3 bytes
M00000000000000ee:	jne	0x472b76 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0xf6>	;  2 bytes
M00000000000000f0:	cmpb	$0, 24(%rbp)	;  4 bytes
M00000000000000f4:	je	0x472baf <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x12f>	;  2 bytes
M00000000000000f6:	movb	$0, 15(%rsp)	;  5 bytes
M00000000000000fb:	leaq	40(%rsp), %rcx	;  5 bytes
M0000000000000100:	movzbl	%al, %eax	;  3 bytes
M0000000000000103:	leaq	15(%rsp), %rdi	;  5 bytes
M0000000000000108:	movq	%r14, %r8	;  3 bytes
M000000000000010b:	pushq	%rax	;  1 bytes
M000000000000010c:	pushq	%rbp	;  1 bytes
M000000000000010d:	callq	0x4731d0 <int BloombergLP::baljsn::Encoder_EncodeImplUtil::encodeMember<bsl::vector<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> >, bsl::allocator<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > > > >(bool*, BloombergLP::baljsn::Formatter*, std::__1::basic_ostream<char, std::__1::char_traits<char> >*, std::__1::basic_string_view<char, std::__1::char_traits<char> > const&, bsl::vector<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> >, bsl::allocator<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > > > const&, int, BloombergLP::baljsn::EncoderOptions const&, bool, BloombergLP::bdlat_TypeCategory::Array)>	;  5 bytes
M0000000000000112:	addq	$16, %rsp	;  4 bytes
M0000000000000116:	testl	%eax, %eax	;  2 bytes
M0000000000000118:	jne	0x472d62 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x2e2>	;  6 bytes
M000000000000011e:	movb	$0, 24(%rbx)	;  4 bytes
M0000000000000122:	movq	(%rbx), %rsi	;  3 bytes
M0000000000000125:	movq	8(%rbx), %rdx	;  4 bytes
M0000000000000129:	movq	16(%rbx), %rbp	;  4 bytes
M000000000000012d:	xorl	%eax, %eax	;  2 bytes
M000000000000012f:	movq	896466(%rip), %rcx  # 54d988 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0x58>	;  7 bytes
M0000000000000136:	movslq	896467(%rip), %rdi  # 54d990 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0x60>	;  7 bytes
M000000000000013d:	movl	896476(%rip), %r9d  # 54d9a0 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0x70>	;  7 bytes
M0000000000000144:	movb	$0, 16(%rsp)	;  5 bytes
M0000000000000149:	movq	%rsi, 24(%rsp)	;  5 bytes
M000000000000014e:	movq	%rdx, 32(%rsp)	;  5 bytes
M0000000000000153:	movq	%rcx, 40(%rsp)	;  5 bytes
M0000000000000158:	movq	%rdi, 48(%rsp)	;  5 bytes
M000000000000015d:	movl	%r9d, 56(%rsp)	;  5 bytes
M0000000000000162:	movq	%rbp, 64(%rsp)	;  5 bytes
M0000000000000167:	movb	%al, 72(%rsp)	;  4 bytes
M000000000000016b:	cmpb	$0, 177(%r14)	;  8 bytes
M0000000000000173:	jne	0x472bfb <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x17b>	;  2 bytes
M0000000000000175:	cmpb	$0, 25(%rbp)	;  4 bytes
M0000000000000179:	je	0x472c34 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x1b4>	;  2 bytes
M000000000000017b:	leaq	176(%r14), %r8	;  7 bytes
M0000000000000182:	leaq	40(%rsp), %rcx	;  5 bytes
M0000000000000187:	movzbl	%al, %eax	;  3 bytes
M000000000000018a:	leaq	16(%rsp), %rdi	;  5 bytes
M000000000000018f:	pushq	%rax	;  1 bytes
M0000000000000190:	pushq	%rbp	;  1 bytes
M0000000000000191:	callq	0x473490 <int BloombergLP::baljsn::Encoder_EncodeImplUtil::encodeMember<BloombergLP::bdlb::NullableValue<bool>, BloombergLP::bdlat_TypeCategory::NullableValue>(bool*, BloombergLP::baljsn::Formatter*, std::__1::basic_ostream<char, std::__1::char_traits<char> >*, std::__1::basic_string_view<char, std::__1::char_traits<char> > const&, BloombergLP::bdlb::NullableValue<bool> const&, int, BloombergLP::baljsn::EncoderOptions const&, bool, BloombergLP::bdlat_TypeCategory::NullableValue)>	;  5 bytes
M0000000000000196:	addq	$16, %rsp	;  4 bytes
M000000000000019a:	testl	%eax, %eax	;  2 bytes
M000000000000019c:	jne	0x472d62 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x2e2>	;  6 bytes
M00000000000001a2:	cmpb	$0, 16(%rsp)	;  5 bytes
M00000000000001a7:	je	0x472c2e <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x1ae>	;  2 bytes
M00000000000001a9:	movb	24(%rbx), %al	;  3 bytes
M00000000000001ac:	jmp	0x472c34 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x1b4>	;  2 bytes
M00000000000001ae:	movb	$0, 24(%rbx)	;  4 bytes
M00000000000001b2:	xorl	%eax, %eax	;  2 bytes
M00000000000001b4:	movq	(%rbx), %rsi	;  3 bytes
M00000000000001b7:	movq	8(%rbx), %rdx	;  4 bytes
M00000000000001bb:	movq	896366(%rip), %rcx  # 54d9b0 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0x80>	;  7 bytes
M00000000000001c2:	movslq	896367(%rip), %rdi  # 54d9b8 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0x88>	;  7 bytes
M00000000000001c9:	movl	896376(%rip), %r9d  # 54d9c8 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0x98>	;  7 bytes
M00000000000001d0:	movq	16(%rbx), %rbp	;  4 bytes
M00000000000001d4:	movb	$0, 16(%rsp)	;  5 bytes
M00000000000001d9:	movq	%rsi, 24(%rsp)	;  5 bytes
M00000000000001de:	movq	%rdx, 32(%rsp)	;  5 bytes
M00000000000001e3:	movq	%rcx, 40(%rsp)	;  5 bytes
M00000000000001e8:	movq	%rdi, 48(%rsp)	;  5 bytes
M00000000000001ed:	movl	%r9d, 56(%rsp)	;  5 bytes
M00000000000001f2:	movq	%rbp, 64(%rsp)	;  5 bytes
M00000000000001f7:	movb	%al, 72(%rsp)	;  4 bytes
M00000000000001fb:	cmpb	$0, 80(%r14)	;  5 bytes
M0000000000000200:	jne	0x472c88 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x208>	;  2 bytes
M0000000000000202:	cmpb	$0, 25(%rbp)	;  4 bytes
M0000000000000206:	je	0x472cb7 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x237>	;  2 bytes
M0000000000000208:	leaq	32(%r14), %r8	;  4 bytes
M000000000000020c:	leaq	40(%rsp), %rcx	;  5 bytes
M0000000000000211:	movzbl	%al, %eax	;  3 bytes
M0000000000000214:	leaq	16(%rsp), %rdi	;  5 bytes
M0000000000000219:	pushq	%rax	;  1 bytes
M000000000000021a:	pushq	%rbp	;  1 bytes
M000000000000021b:	callq	0x4736c0 <int BloombergLP::baljsn::Encoder_EncodeImplUtil::encodeMember<BloombergLP::bdlb::NullableValue<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > >, BloombergLP::bdlat_TypeCategory::NullableValue>(bool*, BloombergLP::baljsn::Formatter*, std::__1::basic_ostream<char, std::__1::char_traits<char> >*, std::__1::basic_string_view<char, std::__1::char_traits<char> > const&, BloombergLP::bdlb::NullableValue<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > > const&, int, BloombergLP::baljsn::EncoderOptions const&, bool, BloombergLP::bdlat_TypeCategory::NullableValue)>	;  5 bytes
M0000000000000220:	addq	$16, %rsp	;  4 bytes
M0000000000000224:	testl	%eax, %eax	;  2 bytes
M0000000000000226:	jne	0x472d62 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x2e2>	;  6 bytes
M000000000000022c:	cmpb	$0, 16(%rsp)	;  5 bytes
M0000000000000231:	jne	0x472cb7 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x237>	;  2 bytes
M0000000000000233:	movb	$0, 24(%rbx)	;  4 bytes
M0000000000000237:	leaq	96(%r14), %rsi	;  4 bytes
M000000000000023b:	movl	$5560784, %edx	;  5 bytes
M0000000000000240:	movq	%rbx, %rdi	;  3 bytes
M0000000000000243:	callq	0x472d70 <int BloombergLP::baljsn::Encoder_AttributeVisitor::operator()<BloombergLP::bdlb::NullableAllocatedValue<BloombergLP::balb::Sequence5>, BloombergLP::bdlat_AttributeInfo>(BloombergLP::bdlb::NullableAllocatedValue<BloombergLP::balb::Sequence5> const&, BloombergLP::bdlat_AttributeInfo const&)>	;  5 bytes
M0000000000000248:	testl	%eax, %eax	;  2 bytes
M000000000000024a:	jne	0x472d62 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x2e2>	;  6 bytes
M0000000000000250:	movq	(%rbx), %rsi	;  3 bytes
M0000000000000253:	movq	8(%rbx), %rdx	;  4 bytes
M0000000000000257:	movq	896290(%rip), %rcx  # 54da00 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0xd0>	;  7 bytes
M000000000000025e:	movslq	896291(%rip), %rbp  # 54da08 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0xd8>	;  7 bytes
M0000000000000265:	movl	896300(%rip), %r9d  # 54da18 <BloombergLP::balb::Sequence3::ATTRIBUTE_INFO_ARRAY+0xe8>	;  7 bytes
M000000000000026c:	movq	16(%rbx), %rax	;  4 bytes
M0000000000000270:	movb	24(%rbx), %dil	;  4 bytes
M0000000000000274:	movb	$0, 16(%rsp)	;  5 bytes
M0000000000000279:	movq	%rsi, 24(%rsp)	;  5 bytes
M000000000000027e:	movq	%rdx, 32(%rsp)	;  5 bytes
M0000000000000283:	movq	%rcx, 40(%rsp)	;  5 bytes
M0000000000000288:	movq	%rbp, 48(%rsp)	;  5 bytes
M000000000000028d:	movl	%r9d, 56(%rsp)	;  5 bytes
M0000000000000292:	movq	%rax, 64(%rsp)	;  5 bytes
M0000000000000297:	movb	%dil, 72(%rsp)	;  5 bytes
M000000000000029c:	movq	120(%r14), %rcx	;  4 bytes
M00000000000002a0:	xorl	%ebp, %ebp	;  2 bytes
M00000000000002a2:	cmpq	112(%r14), %rcx	;  4 bytes
M00000000000002a6:	jne	0x472d2e <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x2ae>	;  2 bytes
M00000000000002a8:	cmpb	$0, 24(%rax)	;  4 bytes
M00000000000002ac:	je	0x472d60 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x2e0>	;  2 bytes
M00000000000002ae:	addq	$112, %r14	;  4 bytes
M00000000000002b2:	movb	$0, 15(%rsp)	;  5 bytes
M00000000000002b7:	leaq	40(%rsp), %rcx	;  5 bytes
M00000000000002bc:	movzbl	%dil, %r10d	;  4 bytes
M00000000000002c0:	leaq	15(%rsp), %rdi	;  5 bytes
M00000000000002c5:	movq	%r14, %r8	;  3 bytes
M00000000000002c8:	pushq	%r10	;  2 bytes
M00000000000002ca:	pushq	%rax	;  1 bytes
M00000000000002cb:	callq	0x4752a0 <int BloombergLP::baljsn::Encoder_EncodeImplUtil::encodeMember<bsl::vector<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value>, bsl::allocator<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> > > >(bool*, BloombergLP::baljsn::Formatter*, std::__1::basic_ostream<char, std::__1::char_traits<char> >*, std::__1::basic_string_view<char, std::__1::char_traits<char> > const&, bsl::vector<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value>, bsl::allocator<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> > > const&, int, BloombergLP::baljsn::EncoderOptions const&, bool, BloombergLP::bdlat_TypeCategory::Array)>	;  5 bytes
M00000000000002d0:	addq	$16, %rsp	;  4 bytes
M00000000000002d4:	testl	%eax, %eax	;  2 bytes
M00000000000002d6:	je	0x472d5c <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x2dc>	;  2 bytes
M00000000000002d8:	movl	%eax, %ebp	;  2 bytes
M00000000000002da:	jmp	0x472d60 <int BloombergLP::balb::Sequence3::accessAttributes<BloombergLP::baljsn::Encoder_AttributeVisitor>(BloombergLP::baljsn::Encoder_AttributeVisitor&) const+0x2e0>	;  2 bytes
M00000000000002dc:	movb	$0, 24(%rbx)	;  4 bytes
M00000000000002e0:	movl	%ebp, %eax	;  2 bytes
M00000000000002e2:	addq	$80, %rsp	;  4 bytes
M00000000000002e6:	popq	%rbx	;  1 bytes
M00000000000002e7:	popq	%r14	;  2 bytes
M00000000000002e9:	popq	%rbp	;  1 bytes
M00000000000002ea:	retq		;  1 bytes
M00000000000002eb:	nopl	(%rax,%rax)	;  5 bytes