Ignored vs Assumed Semantics in BDE

BloombergLP::ball::(anonymous namespace)::TimestampFormatter::format(BloombergLP::baljsn::SimpleFormatter*, BloombergLP::ball::Record const&) - Ignored

000000000041a9a0 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::format(BloombergLP::baljsn::SimpleFormatter*, BloombergLP::ball::Record const&)>:
M0000000000000000:	pushq	%r15	;  2 bytes
M0000000000000002:	pushq	%r14	;  2 bytes
M0000000000000004:	pushq	%r12	;  2 bytes
M0000000000000006:	pushq	%rbx	;  1 bytes
M0000000000000007:	subq	$120, %rsp	;  4 bytes
M000000000000000b:	movq	%rdx, %rbx	;  3 bytes
M000000000000000e:	movq	%rsi, %r14	;  3 bytes
M0000000000000011:	movq	%rdi, %r15	;  3 bytes
M0000000000000014:	movl	$0, 32(%rsp)	;  8 bytes
M000000000000001c:	movq	$0, 40(%rsp)	;  9 bytes
M0000000000000025:	cmpl	$0, 60(%rdi)	;  4 bytes
M0000000000000029:	jne	0x41aa17 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::format(BloombergLP::baljsn::SimpleFormatter*, BloombergLP::ball::Record const&)+0x77>	;  2 bytes
M000000000000002b:	leaq	24(%rbx), %rdi	;  4 bytes
M000000000000002f:	movq	2921930(%rip), %rax  # 6e3fa0 <BloombergLP::bdlt::LocalTimeOffset::s_localTimeOffsetCallback_p>	;  7 bytes
M0000000000000036:	callq	*%rax	;  2 bytes
M0000000000000038:	movq	%rax, %rcx	;  3 bytes
M000000000000003b:	movabsq	$1749024623285053783, %rdx	; 10 bytes
M0000000000000045:	imulq	%rdx	;  3 bytes
M0000000000000048:	movq	%rdx, %rax	;  3 bytes
M000000000000004b:	shrq	$63, %rax	;  4 bytes
M000000000000004f:	sarq	$13, %rdx	;  4 bytes
M0000000000000053:	addq	%rax, %rdx	;  3 bytes
M0000000000000056:	imulq	$86400, %rdx, %rax	;  7 bytes
M000000000000005d:	subq	%rax, %rcx	;  3 bytes
M0000000000000060:	imulq	$1000000, %rcx, %rax	;  7 bytes
M0000000000000067:	leaq	32(%rsp), %rdi	;  5 bytes
M000000000000006c:	movq	%rdx, %rsi	;  3 bytes
M000000000000006f:	movq	%rax, %rdx	;  3 bytes
M0000000000000072:	callq	0x43f880 <BloombergLP::bdlt::DatetimeInterval::assign(long long, long long)>	;  5 bytes
M0000000000000077:	movabsq	$-9223372036854775808, %r12	; 10 bytes
M0000000000000081:	movq	24(%rbx), %rbx	;  4 bytes
M0000000000000085:	testq	%rbx, %rbx	;  3 bytes
M0000000000000088:	jns	0x41abdf <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::format(BloombergLP::baljsn::SimpleFormatter*, BloombergLP::ball::Record const&)+0x23f>	;  6 bytes
M000000000000008e:	movabsq	$137438952448, %rax	; 10 bytes
M0000000000000098:	movq	%rbx, %rcx	;  3 bytes
M000000000000009b:	andq	%rax, %rcx	;  3 bytes
M000000000000009e:	movabsq	$-86400000000, %rdx	; 10 bytes
M00000000000000a8:	addq	%rcx, %rdx	;  3 bytes
M00000000000000ab:	shrq	$10, %rdx	;  4 bytes
M00000000000000af:	movq	%rbx, %rsi	;  3 bytes
M00000000000000b2:	shrq	$37, %rsi	;  4 bytes
M00000000000000b6:	andl	$67108863, %esi	;  6 bytes
M00000000000000bc:	movabsq	$86400000000, %rdi	; 10 bytes
M00000000000000c6:	imulq	%rdi, %rsi	;  4 bytes
M00000000000000ca:	orq	$1023, %rax	;  6 bytes
M00000000000000d0:	andq	%rbx, %rax	;  3 bytes
M00000000000000d3:	xorl	%ecx, %ecx	;  2 bytes
M00000000000000d5:	cmpq	$3515625, %rdx	;  7 bytes
M00000000000000dc:	cmovaeq	%rax, %rcx	;  4 bytes
M00000000000000e0:	addq	%rsi, %rcx	;  3 bytes
M00000000000000e3:	movslq	32(%rsp), %rax	;  5 bytes
M00000000000000e8:	imull	$1440, %eax, %ebx	;  6 bytes
M00000000000000ee:	imulq	%rdi, %rax	;  4 bytes
M00000000000000f2:	movq	40(%rsp), %rsi	;  5 bytes
M00000000000000f7:	addq	%rsi, %rcx	;  3 bytes
M00000000000000fa:	addq	%rax, %rcx	;  3 bytes
M00000000000000fd:	movabsq	$3667970486771497111, %rdx	; 10 bytes
M0000000000000107:	movq	%rcx, %rax	;  3 bytes
M000000000000010a:	mulq	%rdx	;  3 bytes
M000000000000010d:	shrq	$34, %rdx	;  4 bytes
M0000000000000111:	movq	%rdx, %rax	;  3 bytes
M0000000000000114:	shlq	$37, %rax	;  4 bytes
M0000000000000118:	imulq	%rdi, %rdx	;  4 bytes
M000000000000011c:	subq	%rdx, %rcx	;  3 bytes
M000000000000011f:	orq	%rax, %rcx	;  3 bytes
M0000000000000122:	orq	%r12, %rcx	;  3 bytes
M0000000000000125:	movabsq	$-8130577079664715991, %rdx	; 10 bytes
M000000000000012f:	movq	%rsi, %rax	;  3 bytes
M0000000000000132:	imulq	%rdx	;  3 bytes
M0000000000000135:	addq	%rsi, %rdx	;  3 bytes
M0000000000000138:	movq	%rdx, %rax	;  3 bytes
M000000000000013b:	shrq	$63, %rax	;  4 bytes
M000000000000013f:	shrq	$25, %rdx	;  4 bytes
M0000000000000143:	addl	%eax, %edx	;  2 bytes
M0000000000000145:	addl	%ebx, %edx	;  2 bytes
M0000000000000147:	movq	%rcx, 104(%rsp)	;  5 bytes
M000000000000014c:	movl	%edx, 112(%rsp)	;  4 bytes
M0000000000000150:	movl	56(%r15), %edx	;  4 bytes
M0000000000000154:	testl	%edx, %edx	;  2 bytes
M0000000000000156:	je	0x41ab82 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::format(BloombergLP::baljsn::SimpleFormatter*, BloombergLP::ball::Record const&)+0x1e2>	;  6 bytes
M000000000000015c:	movl	$4294967295, %eax	;  5 bytes
M0000000000000161:	cmpl	$1, %edx	;  3 bytes
M0000000000000164:	jne	0x41abd3 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::format(BloombergLP::baljsn::SimpleFormatter*, BloombergLP::ball::Record const&)+0x233>	;  6 bytes
M000000000000016a:	movl	$3, 8(%rsp)	;  8 bytes
M0000000000000172:	movl	64(%r15), %esi	;  4 bytes
M0000000000000176:	leaq	8(%rsp), %rdi	;  5 bytes
M000000000000017b:	callq	0x4441f0 <BloombergLP::bdlt::Iso8601UtilConfiguration::setFractionalSecondPrecision(int)>	;  5 bytes
M0000000000000180:	leaq	8(%rsp), %rdi	;  5 bytes
M0000000000000185:	movl	$1, %esi	;  5 bytes
M000000000000018a:	callq	0x444210 <BloombergLP::bdlt::Iso8601UtilConfiguration::setUseZAbbreviationForUtc(bool)>	;  5 bytes
M000000000000018f:	leaq	48(%rsp), %rbx	;  5 bytes
M0000000000000194:	leaq	104(%rsp), %rsi	;  5 bytes
M0000000000000199:	leaq	8(%rsp), %rdx	;  5 bytes
M000000000000019e:	movq	%rbx, %rdi	;  3 bytes
M00000000000001a1:	callq	0x4422a0 <BloombergLP::bdlt::Iso8601Util::generateRaw(char*, BloombergLP::bdlt::DatetimeTz const&, BloombergLP::bdlt::Iso8601UtilConfiguration const&)>	;  5 bytes
M00000000000001a6:	leaq	8(%r15), %rcx	;  4 bytes
M00000000000001aa:	cmpq	$23, 40(%r15)	;  5 bytes
M00000000000001af:	je	0x41ab54 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::format(BloombergLP::baljsn::SimpleFormatter*, BloombergLP::ball::Record const&)+0x1b4>	;  2 bytes
M00000000000001b1:	movq	(%rcx), %rcx	;  3 bytes
M00000000000001b4:	movq	32(%r15), %rdx	;  4 bytes
M00000000000001b8:	movq	%rcx, 16(%rsp)	;  5 bytes
M00000000000001bd:	movq	%rdx, 24(%rsp)	;  5 bytes
M00000000000001c2:	cltq		;  2 bytes
M00000000000001c4:	movq	%rbx, 88(%rsp)	;  5 bytes
M00000000000001c9:	movq	%rax, 96(%rsp)	;  5 bytes
M00000000000001ce:	leaq	16(%rsp), %rsi	;  5 bytes
M00000000000001d3:	leaq	88(%rsp), %rdx	;  5 bytes
M00000000000001d8:	movq	%r14, %rdi	;  3 bytes
M00000000000001db:	callq	0x41c770 <int BloombergLP::baljsn::SimpleFormatter::addValue<std::__1::basic_string_view<char, std::__1::char_traits<char> > >(std::__1::basic_string_view<char, std::__1::char_traits<char> > const&, std::__1::basic_string_view<char, std::__1::char_traits<char> > const&)>	;  5 bytes
M00000000000001e0:	jmp	0x41abcd <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::format(BloombergLP::baljsn::SimpleFormatter*, BloombergLP::ball::Record const&)+0x22d>	;  2 bytes
M00000000000001e2:	movq	%rcx, 16(%rsp)	;  5 bytes
M00000000000001e7:	movl	64(%r15), %ecx	;  4 bytes
M00000000000001eb:	leaq	16(%rsp), %rdi	;  5 bytes
M00000000000001f0:	leaq	48(%rsp), %rsi	;  5 bytes
M00000000000001f5:	movl	$32, %edx	;  5 bytes
M00000000000001fa:	callq	0x43f560 <BloombergLP::bdlt::Datetime::printToBuffer(char*, int, int) const>	;  5 bytes
M00000000000001ff:	leaq	8(%r15), %rax	;  4 bytes
M0000000000000203:	cmpq	$23, 40(%r15)	;  5 bytes
M0000000000000208:	je	0x41abad <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::format(BloombergLP::baljsn::SimpleFormatter*, BloombergLP::ball::Record const&)+0x20d>	;  2 bytes
M000000000000020a:	movq	(%rax), %rax	;  3 bytes
M000000000000020d:	movq	32(%r15), %rcx	;  4 bytes
M0000000000000211:	movq	%rax, 16(%rsp)	;  5 bytes
M0000000000000216:	movq	%rcx, 24(%rsp)	;  5 bytes
M000000000000021b:	leaq	16(%rsp), %rsi	;  5 bytes
M0000000000000220:	leaq	48(%rsp), %rdx	;  5 bytes
M0000000000000225:	movq	%r14, %rdi	;  3 bytes
M0000000000000228:	callq	0x41c830 <int BloombergLP::baljsn::SimpleFormatter::addValue<char [32]>(std::__1::basic_string_view<char, std::__1::char_traits<char> > const&, char const (&) [32])>	;  5 bytes
M000000000000022d:	testl	%eax, %eax	;  2 bytes
M000000000000022f:	jne	0x41abd3 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::format(BloombergLP::baljsn::SimpleFormatter*, BloombergLP::ball::Record const&)+0x233>	;  2 bytes
M0000000000000231:	xorl	%eax, %eax	;  2 bytes
M0000000000000233:	addq	$120, %rsp	;  4 bytes
M0000000000000237:	popq	%rbx	;  1 bytes
M0000000000000238:	popq	%r12	;  2 bytes
M000000000000023a:	popq	%r14	;  2 bytes
M000000000000023c:	popq	%r15	;  2 bytes
M000000000000023e:	retq		;  1 bytes
M000000000000023f:	movl	$7264560, %edi	;  5 bytes
M0000000000000244:	callq	0x474700 <BloombergLP::bsls::Review::updateCount(BloombergLP::bsls::Atomic_TypeTraits<BloombergLP::bsls::AtomicOperations_ALL_ALL_ClangIntrinsics>::Int*)>	;  5 bytes
M0000000000000249:	movq	$4829665, 48(%rsp)	;  9 bytes
M0000000000000252:	movq	$4829719, 56(%rsp)	;  9 bytes
M000000000000025b:	movl	$1126, 64(%rsp)	;  8 bytes
M0000000000000263:	movq	$4959897, 72(%rsp)	;  9 bytes
M000000000000026c:	movl	%eax, 80(%rsp)	;  4 bytes
M0000000000000270:	leaq	48(%rsp), %rdi	;  5 bytes
M0000000000000275:	callq	0x474720 <BloombergLP::bsls::Review::invokeHandler(BloombergLP::bsls::ReviewViolation const&)>	;  5 bytes
M000000000000027a:	movq	%rbx, %rax	;  3 bytes
M000000000000027d:	shrq	$32, %rax	;  4 bytes
M0000000000000281:	shlq	$37, %rbx	;  4 bytes
M0000000000000285:	movabsq	$9223371899415822336, %rcx	; 10 bytes
M000000000000028f:	addq	%rbx, %rcx	;  3 bytes
M0000000000000292:	imulq	$1000, %rax, %rbx	;  7 bytes
M0000000000000299:	orq	%rcx, %rbx	;  3 bytes
M000000000000029c:	orq	%r12, %rbx	;  3 bytes
M000000000000029f:	jmp	0x41aa2e <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::format(BloombergLP::baljsn::SimpleFormatter*, BloombergLP::ball::Record const&)+0x8e>	;  5 bytes
M00000000000002a4:	movq	%rax, %rdi	;  3 bytes
M00000000000002a7:	callq	0x404c30 <_Unwind_Resume@plt>	;  5 bytes
M00000000000002ac:	movq	%rax, %rdi	;  3 bytes
M00000000000002af:	callq	0x404c30 <_Unwind_Resume@plt>	;  5 bytes
M00000000000002b4:	movq	%rax, %rdi	;  3 bytes
M00000000000002b7:	callq	0x404c30 <_Unwind_Resume@plt>	;  5 bytes
M00000000000002bc:	movq	%rax, %rdi	;  3 bytes
M00000000000002bf:	callq	0x404c30 <_Unwind_Resume@plt>	;  5 bytes
M00000000000002c4:	movq	%rax, %rdi	;  3 bytes
M00000000000002c7:	callq	0x404c30 <_Unwind_Resume@plt>	;  5 bytes
M00000000000002cc:	nopl	(%rax)	;  4 bytes