Ignored vs Assumed Semantics in BDE

BloombergLP::bdlt::PackedCalendar::addWeekendDay(BloombergLP::bdlt::DayOfWeek::Enum) - Assumed

00000000004105e0 <BloombergLP::bdlt::PackedCalendar::addWeekendDay(BloombergLP::bdlt::DayOfWeek::Enum)>:
M0000000000000000:	pushq	%rbp	;  1 bytes
M0000000000000001:	pushq	%rbx	;  1 bytes
M0000000000000002:	pushq	%rax	;  1 bytes
M0000000000000003:	movl	%esi, %ecx	;  2 bytes
M0000000000000005:	movq	8(%rdi), %rax	;  4 bytes
M0000000000000009:	cmpq	%rax, 16(%rdi)	;  4 bytes
M000000000000000d:	je	0x4105fb <BloombergLP::bdlt::PackedCalendar::addWeekendDay(BloombergLP::bdlt::DayOfWeek::Enum)+0x1b>	;  2 bytes
M000000000000000f:	movl	$1, %edx	;  5 bytes
M0000000000000014:	shll	%cl, %edx	;  2 bytes
M0000000000000016:	orb	%dl, 4(%rax)	;  3 bytes
M0000000000000019:	jmp	0x410630 <BloombergLP::bdlt::PackedCalendar::addWeekendDay(BloombergLP::bdlt::DayOfWeek::Enum)+0x50>	;  2 bytes
M000000000000001b:	movq	%rdi, %rbx	;  3 bytes
M000000000000001e:	movl	$1, %ebp	;  5 bytes
M0000000000000023:	shll	%cl, %ebp	;  2 bytes
M0000000000000025:	movl	$1, %edi	;  5 bytes
M000000000000002a:	movl	$1, %esi	;  5 bytes
M000000000000002f:	movl	$1, %edx	;  5 bytes
M0000000000000034:	callq	0x413db0 <BloombergLP::bdlt::PosixDateImpUtil::ymdToSerial(int, int, int)>	;  5 bytes
M0000000000000039:	addq	$8, %rbx	;  4 bytes
M000000000000003d:	movl	%eax, (%rsp)	;  3 bytes
M0000000000000040:	movb	%bpl, 4(%rsp)	;  5 bytes
M0000000000000045:	movq	%rsp, %rsi	;  3 bytes
M0000000000000048:	movq	%rbx, %rdi	;  3 bytes
M000000000000004b:	callq	0x412df0 <bsl::vector<bsl::pair<BloombergLP::bdlt::Date, BloombergLP::bdlt::DayOfWeekSet>, bsl::allocator<bsl::pair<BloombergLP::bdlt::Date, BloombergLP::bdlt::DayOfWeekSet> > >::push_back(bsl::pair<BloombergLP::bdlt::Date, BloombergLP::bdlt::DayOfWeekSet>&&)>	;  5 bytes
M0000000000000050:	addq	$8, %rsp	;  4 bytes
M0000000000000054:	popq	%rbx	;  1 bytes
M0000000000000055:	popq	%rbp	;  1 bytes
M0000000000000056:	retq		;  1 bytes
M0000000000000057:	movq	%rax, %rdi	;  3 bytes
M000000000000005a:	callq	0x403b30 <_Unwind_Resume@plt>	;  5 bytes
M000000000000005f:	movq	%rax, %rdi	;  3 bytes
M0000000000000062:	callq	0x403b30 <_Unwind_Resume@plt>	;  5 bytes
M0000000000000067:	nopw	(%rax,%rax)	;  9 bytes