Ignored vs Assumed Semantics in BDE

int BloombergLP::balb::Choice5::accessSelection<BloombergLP::baljsn::Encoder_SelectionVisitor>(BloombergLP::baljsn::Encoder_SelectionVisitor&) const - Assumed

0000000000482b90 <int BloombergLP::balb::Choice5::accessSelection<BloombergLP::baljsn::Encoder_SelectionVisitor>(BloombergLP::baljsn::Encoder_SelectionVisitor&) const>:
M0000000000000000:	pushq	%rbx	;  1 bytes
M0000000000000001:	subq	$64, %rsp	;  4 bytes
M0000000000000005:	movq	%rsi, %rbx	;  3 bytes
M0000000000000008:	movq	%rdi, %r8	;  3 bytes
M000000000000000b:	movl	48(%rdi), %eax	;  3 bytes
M000000000000000e:	cmpl	$1, %eax	;  3 bytes
M0000000000000011:	je	0x482c10 <int BloombergLP::balb::Choice5::accessSelection<BloombergLP::baljsn::Encoder_SelectionVisitor>(BloombergLP::baljsn::Encoder_SelectionVisitor&) const+0x80>	;  2 bytes
M0000000000000013:	testl	%eax, %eax	;  2 bytes
M0000000000000015:	jne	0x482c67 <int BloombergLP::balb::Choice5::accessSelection<BloombergLP::baljsn::Encoder_SelectionVisitor>(BloombergLP::baljsn::Encoder_SelectionVisitor&) const+0xd7>	;  6 bytes
M000000000000001b:	movq	8(%rbx), %rsi	;  4 bytes
M000000000000001f:	movq	16(%rbx), %rdx	;  4 bytes
M0000000000000023:	movq	830750(%rip), %r10  # 54d8d8 <BloombergLP::balb::Choice5::SELECTION_INFO_ARRAY+0x8>	;  7 bytes
M000000000000002a:	movslq	830751(%rip), %rdi  # 54d8e0 <BloombergLP::balb::Choice5::SELECTION_INFO_ARRAY+0x10>	;  7 bytes
M0000000000000031:	movl	830760(%rip), %r9d  # 54d8f0 <BloombergLP::balb::Choice5::SELECTION_INFO_ARRAY+0x20>	;  7 bytes
M0000000000000038:	movq	24(%rbx), %r11	;  4 bytes
M000000000000003c:	movzbl	32(%rbx), %eax	;  4 bytes
M0000000000000040:	movb	$0, (%rsp)	;  4 bytes
M0000000000000044:	movq	%rsi, 8(%rsp)	;  5 bytes
M0000000000000049:	movq	%rdx, 16(%rsp)	;  5 bytes
M000000000000004e:	leaq	24(%rsp), %rcx	;  5 bytes
M0000000000000053:	movq	%r10, 24(%rsp)	;  5 bytes
M0000000000000058:	movq	%rdi, 32(%rsp)	;  5 bytes
M000000000000005d:	movl	%r9d, 40(%rsp)	;  5 bytes
M0000000000000062:	movq	%r11, 48(%rsp)	;  5 bytes
M0000000000000067:	movb	%al, 56(%rsp)	;  4 bytes
M000000000000006b:	movq	%rsp, %rdi	;  3 bytes
M000000000000006e:	pushq	%rax	;  1 bytes
M000000000000006f:	pushq	%r11	;  2 bytes
M0000000000000071:	callq	0x482c80 <int BloombergLP::baljsn::Encoder_EncodeImplUtil::encodeMember<BloombergLP::balb::Choice4, BloombergLP::bdlat_TypeCategory::Choice>(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::balb::Choice4 const&, int, BloombergLP::baljsn::EncoderOptions const&, bool, BloombergLP::bdlat_TypeCategory::Choice)>	;  5 bytes
M0000000000000076:	addq	$16, %rsp	;  4 bytes
M000000000000007a:	testl	%eax, %eax	;  2 bytes
M000000000000007c:	jne	0x482c6c <int BloombergLP::balb::Choice5::accessSelection<BloombergLP::baljsn::Encoder_SelectionVisitor>(BloombergLP::baljsn::Encoder_SelectionVisitor&) const+0xdc>	;  2 bytes
M000000000000007e:	jmp	0x482c60 <int BloombergLP::balb::Choice5::accessSelection<BloombergLP::baljsn::Encoder_SelectionVisitor>(BloombergLP::baljsn::Encoder_SelectionVisitor&) const+0xd0>	;  2 bytes
M0000000000000080:	movups	8(%rbx), %xmm0	;  4 bytes
M0000000000000084:	movq	830693(%rip), %rax  # 54d900 <BloombergLP::balb::Choice5::SELECTION_INFO_ARRAY+0x30>	;  7 bytes
M000000000000008b:	movslq	830694(%rip), %rcx  # 54d908 <BloombergLP::balb::Choice5::SELECTION_INFO_ARRAY+0x38>	;  7 bytes
M0000000000000092:	movl	830704(%rip), %edx  # 54d918 <BloombergLP::balb::Choice5::SELECTION_INFO_ARRAY+0x48>	;  6 bytes
M0000000000000098:	movq	24(%rbx), %rsi	;  4 bytes
M000000000000009c:	movb	32(%rbx), %dil	;  4 bytes
M00000000000000a0:	movb	$0, (%rsp)	;  4 bytes
M00000000000000a4:	movups	%xmm0, 8(%rsp)	;  5 bytes
M00000000000000a9:	movq	%rax, 24(%rsp)	;  5 bytes
M00000000000000ae:	movq	%rcx, 32(%rsp)	;  5 bytes
M00000000000000b3:	movl	%edx, 40(%rsp)	;  4 bytes
M00000000000000b7:	movq	%rsi, 48(%rsp)	;  5 bytes
M00000000000000bc:	movb	%dil, 56(%rsp)	;  5 bytes
M00000000000000c1:	movq	%rsp, %rsi	;  3 bytes
M00000000000000c4:	movq	%r8, %rdi	;  3 bytes
M00000000000000c7:	callq	0x4643d0 <int BloombergLP::bdlat_TypeCategoryUtil::accessByCategory<int, BloombergLP::baljsn::Encoder_SelectionDispatcher>(int const&, BloombergLP::baljsn::Encoder_SelectionDispatcher&)>	;  5 bytes
M00000000000000cc:	testl	%eax, %eax	;  2 bytes
M00000000000000ce:	jne	0x482c6c <int BloombergLP::balb::Choice5::accessSelection<BloombergLP::baljsn::Encoder_SelectionVisitor>(BloombergLP::baljsn::Encoder_SelectionVisitor&) const+0xdc>	;  2 bytes
M00000000000000d0:	movb	(%rsp), %cl	;  3 bytes
M00000000000000d3:	movb	%cl, (%rbx)	;  2 bytes
M00000000000000d5:	jmp	0x482c6c <int BloombergLP::balb::Choice5::accessSelection<BloombergLP::baljsn::Encoder_SelectionVisitor>(BloombergLP::baljsn::Encoder_SelectionVisitor&) const+0xdc>	;  2 bytes
M00000000000000d7:	movl	$4294967295, %eax	;  5 bytes
M00000000000000dc:	addq	$64, %rsp	;  4 bytes
M00000000000000e0:	popq	%rbx	;  1 bytes
M00000000000000e1:	retq		;  1 bytes
M00000000000000e2:	nopw	%cs:(%rax,%rax)	; 10 bytes
M00000000000000ec:	nopl	(%rax)	;  4 bytes