Ignored vs Assumed Semantics in BDE

BloombergLP::bdlt::FixUtil::generate(char*, int, BloombergLP::bdlt::DateTz const&, BloombergLP::bdlt::FixUtilConfiguration const&) - Assumed

000000000043aa60 <BloombergLP::bdlt::FixUtil::generate(char*, int, BloombergLP::bdlt::DateTz const&, BloombergLP::bdlt::FixUtilConfiguration const&)>:
M0000000000000000:	pushq	%rbp	;  1 bytes
M0000000000000001:	pushq	%r14	;  2 bytes
M0000000000000003:	pushq	%rbx	;  1 bytes
M0000000000000004:	subq	$16, %rsp	;  4 bytes
M0000000000000008:	movq	%rdi, %r14	;  3 bytes
M000000000000000b:	cmpl	$15, %esi	;  3 bytes
M000000000000000e:	jb	0x43aa89 <BloombergLP::bdlt::FixUtil::generate(char*, int, BloombergLP::bdlt::DateTz const&, BloombergLP::bdlt::FixUtilConfiguration const&)+0x29>	;  2 bytes
M0000000000000010:	movq	%r14, %rdi	;  3 bytes
M0000000000000013:	movq	%rdx, %rsi	;  3 bytes
M0000000000000016:	movq	%rcx, %rdx	;  3 bytes
M0000000000000019:	callq	0x43aae0 <BloombergLP::bdlt::FixUtil::generateRaw(char*, BloombergLP::bdlt::DateTz const&, BloombergLP::bdlt::FixUtilConfiguration const&)>	;  5 bytes
M000000000000001e:	movl	%eax, %ebp	;  2 bytes
M0000000000000020:	cltq		;  2 bytes
M0000000000000022:	movb	$0, (%r14,%rax)	;  5 bytes
M0000000000000027:	jmp	0x43aac9 <BloombergLP::bdlt::FixUtil::generate(char*, int, BloombergLP::bdlt::DateTz const&, BloombergLP::bdlt::FixUtilConfiguration const&)+0x69>	;  2 bytes
M0000000000000029:	movl	%esi, %ebx	;  2 bytes
M000000000000002b:	leaq	2(%rsp), %rdi	;  5 bytes
M0000000000000030:	movq	%rdx, %rsi	;  3 bytes
M0000000000000033:	movq	%rcx, %rdx	;  3 bytes
M0000000000000036:	callq	0x43aae0 <BloombergLP::bdlt::FixUtil::generateRaw(char*, BloombergLP::bdlt::DateTz const&, BloombergLP::bdlt::FixUtilConfiguration const&)>	;  5 bytes
M000000000000003b:	movl	%eax, %ebp	;  2 bytes
M000000000000003d:	cmpl	%ebx, %eax	;  2 bytes
M000000000000003f:	jae	0x43aaba <BloombergLP::bdlt::FixUtil::generate(char*, int, BloombergLP::bdlt::DateTz const&, BloombergLP::bdlt::FixUtilConfiguration const&)+0x5a>	;  2 bytes
M0000000000000041:	movl	%ebp, %ebx	;  2 bytes
M0000000000000043:	leaq	2(%rsp), %rsi	;  5 bytes
M0000000000000048:	movq	%r14, %rdi	;  3 bytes
M000000000000004b:	movq	%rbx, %rdx	;  3 bytes
M000000000000004e:	callq	0x4045b0 <memcpy@plt>	;  5 bytes
M0000000000000053:	movb	$0, (%r14,%rbx)	;  5 bytes
M0000000000000058:	jmp	0x43aac9 <BloombergLP::bdlt::FixUtil::generate(char*, int, BloombergLP::bdlt::DateTz const&, BloombergLP::bdlt::FixUtilConfiguration const&)+0x69>	;  2 bytes
M000000000000005a:	movl	%ebx, %edx	;  2 bytes
M000000000000005c:	leaq	2(%rsp), %rsi	;  5 bytes
M0000000000000061:	movq	%r14, %rdi	;  3 bytes
M0000000000000064:	callq	0x4045b0 <memcpy@plt>	;  5 bytes
M0000000000000069:	movl	%ebp, %eax	;  2 bytes
M000000000000006b:	addq	$16, %rsp	;  4 bytes
M000000000000006f:	popq	%rbx	;  1 bytes
M0000000000000070:	popq	%r14	;  2 bytes
M0000000000000072:	popq	%rbp	;  1 bytes
M0000000000000073:	retq		;  1 bytes
M0000000000000074:	nopw	%cs:(%rax,%rax)	; 10 bytes
M000000000000007e:	nop		;  2 bytes