Ignored vs Assumed Semantics in BDE

BloombergLP::bdlt::Iso8601Util::generate(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >*, BloombergLP::bdlt::Date const&, BloombergLP::bdlt::Iso8601UtilConfiguration const&) - Assumed

0000000000467fe0 <BloombergLP::bdlt::Iso8601Util::generate(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >*, BloombergLP::bdlt::Date const&, BloombergLP::bdlt::Iso8601UtilConfiguration const&)>:
M0000000000000000:	pushq	%r15	;  2 bytes
M0000000000000002:	pushq	%r14	;  2 bytes
M0000000000000004:	pushq	%r12	;  2 bytes
M0000000000000006:	pushq	%rbx	;  1 bytes
M0000000000000007:	pushq	%rax	;  1 bytes
M0000000000000008:	movq	%rsi, %r15	;  3 bytes
M000000000000000b:	movq	%rdi, %r14	;  3 bytes
M000000000000000e:	movl	$10, %esi	;  5 bytes
M0000000000000013:	xorl	%edx, %edx	;  2 bytes
M0000000000000015:	callq	0x404970 <_ZNSt3__112basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEE6resizeEmc@plt>	;  5 bytes
M000000000000001a:	testb	$1, (%r14)	;  4 bytes
M000000000000001e:	jne	0x468006 <BloombergLP::bdlt::Iso8601Util::generate(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >*, BloombergLP::bdlt::Date const&, BloombergLP::bdlt::Iso8601UtilConfiguration const&)+0x26>	;  2 bytes
M0000000000000020:	leaq	1(%r14), %rbx	;  4 bytes
M0000000000000024:	jmp	0x46800a <BloombergLP::bdlt::Iso8601Util::generate(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >*, BloombergLP::bdlt::Date const&, BloombergLP::bdlt::Iso8601UtilConfiguration const&)+0x2a>	;  2 bytes
M0000000000000026:	movq	16(%r14), %rbx	;  4 bytes
M000000000000002a:	movl	(%r15), %edi	;  3 bytes
M000000000000002d:	callq	0x46a320 <BloombergLP::bdlt::PosixDateImpUtil::serialToYear(int)>	;  5 bytes
M0000000000000032:	movl	%eax, %ecx	;  2 bytes
M0000000000000034:	movl	$3435973837, %r12d	;  6 bytes
M000000000000003a:	imulq	$1374389535, %rcx, %rdx	;  7 bytes
M0000000000000041:	imulq	$274877907, %rcx, %rsi	;  7 bytes
M0000000000000048:	imulq	%r12, %rcx	;  4 bytes
M000000000000004c:	shrq	$35, %rcx	;  4 bytes
M0000000000000050:	leal	(%rcx,%rcx), %edi	;  3 bytes
M0000000000000053:	leal	(%rdi,%rdi,4), %edi	;  3 bytes
M0000000000000056:	subl	%edi, %eax	;  2 bytes
M0000000000000058:	orb	$48, %al	;  2 bytes
M000000000000005a:	movb	%al, 3(%rbx)	;  3 bytes
M000000000000005d:	movq	%rcx, %rax	;  3 bytes
M0000000000000060:	imulq	%r12, %rax	;  4 bytes
M0000000000000064:	shrq	$35, %rax	;  4 bytes
M0000000000000068:	addl	%eax, %eax	;  2 bytes
M000000000000006a:	leal	(%rax,%rax,4), %eax	;  3 bytes
M000000000000006d:	subl	%eax, %ecx	;  2 bytes
M000000000000006f:	orb	$48, %cl	;  3 bytes
M0000000000000072:	movb	%cl, 2(%rbx)	;  3 bytes
M0000000000000075:	shrq	$37, %rdx	;  4 bytes
M0000000000000079:	movq	%rdx, %rax	;  3 bytes
M000000000000007c:	imulq	%r12, %rax	;  4 bytes
M0000000000000080:	shrq	$35, %rax	;  4 bytes
M0000000000000084:	addl	%eax, %eax	;  2 bytes
M0000000000000086:	leal	(%rax,%rax,4), %eax	;  3 bytes
M0000000000000089:	subl	%eax, %edx	;  2 bytes
M000000000000008b:	orb	$48, %dl	;  3 bytes
M000000000000008e:	movb	%dl, 1(%rbx)	;  3 bytes
M0000000000000091:	shrq	$38, %rsi	;  4 bytes
M0000000000000095:	movq	%rsi, %rax	;  3 bytes
M0000000000000098:	imulq	%r12, %rax	;  4 bytes
M000000000000009c:	shrq	$35, %rax	;  4 bytes
M00000000000000a0:	addl	%eax, %eax	;  2 bytes
M00000000000000a2:	leal	(%rax,%rax,4), %eax	;  3 bytes
M00000000000000a5:	subl	%eax, %esi	;  2 bytes
M00000000000000a7:	orb	$48, %sil	;  4 bytes
M00000000000000ab:	movb	%sil, (%rbx)	;  3 bytes
M00000000000000ae:	movb	$45, 4(%rbx)	;  4 bytes
M00000000000000b2:	movl	(%r15), %edi	;  3 bytes
M00000000000000b5:	callq	0x46a2e0 <BloombergLP::bdlt::PosixDateImpUtil::serialToMonth(int)>	;  5 bytes
M00000000000000ba:	movl	%eax, %ecx	;  2 bytes
M00000000000000bc:	imulq	%r12, %rcx	;  4 bytes
M00000000000000c0:	shrq	$35, %rcx	;  4 bytes
M00000000000000c4:	leal	(%rcx,%rcx), %edx	;  3 bytes
M00000000000000c7:	leal	(%rdx,%rdx,4), %edx	;  3 bytes
M00000000000000ca:	subl	%edx, %eax	;  2 bytes
M00000000000000cc:	orb	$48, %al	;  2 bytes
M00000000000000ce:	movb	%al, 6(%rbx)	;  3 bytes
M00000000000000d1:	movq	%rcx, %rax	;  3 bytes
M00000000000000d4:	imulq	%r12, %rax	;  4 bytes
M00000000000000d8:	shrq	$35, %rax	;  4 bytes
M00000000000000dc:	addl	%eax, %eax	;  2 bytes
M00000000000000de:	leal	(%rax,%rax,4), %eax	;  3 bytes
M00000000000000e1:	subl	%eax, %ecx	;  2 bytes
M00000000000000e3:	orb	$48, %cl	;  3 bytes
M00000000000000e6:	movb	%cl, 5(%rbx)	;  3 bytes
M00000000000000e9:	movb	$45, 7(%rbx)	;  4 bytes
M00000000000000ed:	movl	(%r15), %edi	;  3 bytes
M00000000000000f0:	callq	0x46a2a0 <BloombergLP::bdlt::PosixDateImpUtil::serialToDay(int)>	;  5 bytes
M00000000000000f5:	movl	%eax, %ecx	;  2 bytes
M00000000000000f7:	imulq	%r12, %rcx	;  4 bytes
M00000000000000fb:	shrq	$35, %rcx	;  4 bytes
M00000000000000ff:	leal	(%rcx,%rcx), %edx	;  3 bytes
M0000000000000102:	leal	(%rdx,%rdx,4), %edx	;  3 bytes
M0000000000000105:	subl	%edx, %eax	;  2 bytes
M0000000000000107:	orb	$48, %al	;  2 bytes
M0000000000000109:	movb	%al, 9(%rbx)	;  3 bytes
M000000000000010c:	movq	%rcx, %rax	;  3 bytes
M000000000000010f:	imulq	%r12, %rax	;  4 bytes
M0000000000000113:	shrq	$35, %rax	;  4 bytes
M0000000000000117:	addl	%eax, %eax	;  2 bytes
M0000000000000119:	leal	(%rax,%rax,4), %eax	;  3 bytes
M000000000000011c:	subl	%eax, %ecx	;  2 bytes
M000000000000011e:	orb	$48, %cl	;  3 bytes
M0000000000000121:	movb	%cl, 8(%rbx)	;  3 bytes
M0000000000000124:	movl	$10, %esi	;  5 bytes
M0000000000000129:	movq	%r14, %rdi	;  3 bytes
M000000000000012c:	xorl	%edx, %edx	;  2 bytes
M000000000000012e:	callq	0x404970 <_ZNSt3__112basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEE6resizeEmc@plt>	;  5 bytes
M0000000000000133:	movl	$10, %eax	;  5 bytes
M0000000000000138:	addq	$8, %rsp	;  4 bytes
M000000000000013c:	popq	%rbx	;  1 bytes
M000000000000013d:	popq	%r12	;  2 bytes
M000000000000013f:	popq	%r14	;  2 bytes
M0000000000000141:	popq	%r15	;  2 bytes
M0000000000000143:	retq		;  1 bytes
M0000000000000144:	nopw	%cs:(%rax,%rax)	; 10 bytes
M000000000000014e:	nop		;  2 bytes