Ignored vs Assumed Semantics in BDE

void BloombergLP::bslim::Printer_Helper::printRaw<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> const&, int, int, BloombergLP::bslmf::SelectTraitCase<BloombergLP::bslmf::SelectTrait_False>) - Assumed

0000000000416730 <void BloombergLP::bslim::Printer_Helper::printRaw<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> const&, int, int, BloombergLP::bslmf::SelectTraitCase<BloombergLP::bslmf::SelectTrait_False>)>:
M0000000000000000:	pushq	%rbp	;  1 bytes
M0000000000000001:	pushq	%r14	;  2 bytes
M0000000000000003:	pushq	%rbx	;  1 bytes
M0000000000000004:	subq	$16, %rsp	;  4 bytes
M0000000000000008:	cmpb	$0, 4(%rsi)	;  4 bytes
M000000000000000c:	movl	%ecx, %r14d	;  3 bytes
M000000000000000f:	movq	%rdi, %rbx	;  3 bytes
M0000000000000012:	movq	(%rdi), %rax	;  3 bytes
M0000000000000015:	movq	-24(%rax), %rax	;  4 bytes
M0000000000000019:	movl	32(%rdi,%rax), %eax	;  4 bytes
M000000000000001d:	je	0x41679a <void BloombergLP::bslim::Printer_Helper::printRaw<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> const&, int, int, BloombergLP::bslmf::SelectTraitCase<BloombergLP::bslmf::SelectTrait_False>)+0x6a>	;  2 bytes
M000000000000001f:	testb	$1, %al	;  2 bytes
M0000000000000021:	jne	0x4167d9 <void BloombergLP::bslim::Printer_Helper::printRaw<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> const&, int, int, BloombergLP::bslmf::SelectTraitCase<BloombergLP::bslmf::SelectTrait_False>)+0xa9>	;  6 bytes
M0000000000000027:	movq	%rsi, %rbp	;  3 bytes
M000000000000002a:	movq	%rbx, %rdi	;  3 bytes
M000000000000002d:	movl	%edx, %esi	;  2 bytes
M000000000000002f:	movl	%r14d, %edx	;  3 bytes
M0000000000000032:	callq	0x41bfd0 <BloombergLP::bdlb::Print::indent(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, int, int)>	;  5 bytes
M0000000000000037:	movslq	(%rbp), %rax	;  4 bytes
M000000000000003b:	movq	4489696(,%rax,8), %rbp	;  8 bytes
M0000000000000043:	movq	%rbp, %rdi	;  3 bytes
M0000000000000046:	callq	0x403630 <strlen@plt>	;  5 bytes
M000000000000004b:	movq	%rbx, %rdi	;  3 bytes
M000000000000004e:	movq	%rbp, %rsi	;  3 bytes
M0000000000000051:	movq	%rax, %rdx	;  3 bytes
M0000000000000054:	callq	0x4043d0 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>	;  5 bytes
M0000000000000059:	testl	%r14d, %r14d	;  3 bytes
M000000000000005c:	js	0x4167d9 <void BloombergLP::bslim::Printer_Helper::printRaw<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> const&, int, int, BloombergLP::bslmf::SelectTraitCase<BloombergLP::bslmf::SelectTrait_False>)+0xa9>	;  2 bytes
M000000000000005e:	movb	$10, 15(%rsp)	;  5 bytes
M0000000000000063:	leaq	15(%rsp), %rsi	;  5 bytes
M0000000000000068:	jmp	0x4167cc <void BloombergLP::bslim::Printer_Helper::printRaw<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> const&, int, int, BloombergLP::bslmf::SelectTraitCase<BloombergLP::bslmf::SelectTrait_False>)+0x9c>	;  2 bytes
M000000000000006a:	testb	$1, %al	;  2 bytes
M000000000000006c:	jne	0x4167d9 <void BloombergLP::bslim::Printer_Helper::printRaw<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> const&, int, int, BloombergLP::bslmf::SelectTraitCase<BloombergLP::bslmf::SelectTrait_False>)+0xa9>	;  2 bytes
M000000000000006e:	movq	%rbx, %rdi	;  3 bytes
M0000000000000071:	movl	%edx, %esi	;  2 bytes
M0000000000000073:	movl	%r14d, %edx	;  3 bytes
M0000000000000076:	callq	0x41bfd0 <BloombergLP::bdlb::Print::indent(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, int, int)>	;  5 bytes
M000000000000007b:	movl	$4490850, %esi	;  5 bytes
M0000000000000080:	movl	$4, %edx	;  5 bytes
M0000000000000085:	movq	%rbx, %rdi	;  3 bytes
M0000000000000088:	callq	0x4043d0 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>	;  5 bytes
M000000000000008d:	testl	%r14d, %r14d	;  3 bytes
M0000000000000090:	js	0x4167d9 <void BloombergLP::bslim::Printer_Helper::printRaw<BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, BloombergLP::bdlb::NullableValue<BloombergLP::balb::Enumerated::Value> const&, int, int, BloombergLP::bslmf::SelectTraitCase<BloombergLP::bslmf::SelectTrait_False>)+0xa9>	;  2 bytes
M0000000000000092:	movb	$10, 14(%rsp)	;  5 bytes
M0000000000000097:	leaq	14(%rsp), %rsi	;  5 bytes
M000000000000009c:	movl	$1, %edx	;  5 bytes
M00000000000000a1:	movq	%rbx, %rdi	;  3 bytes
M00000000000000a4:	callq	0x4043d0 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>	;  5 bytes
M00000000000000a9:	addq	$16, %rsp	;  4 bytes
M00000000000000ad:	popq	%rbx	;  1 bytes
M00000000000000ae:	popq	%r14	;  2 bytes
M00000000000000b0:	popq	%rbp	;  1 bytes
M00000000000000b1:	retq		;  1 bytes
M00000000000000b2:	nopw	%cs:(%rax,%rax)	; 10 bytes
M00000000000000bc:	nopl	(%rax)	;  4 bytes