Ignored vs Assumed Semantics in BDE

BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef) - Assumed

0000000000419c40 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)>:
M0000000000000000:	pushq	%rbp	;  1 bytes
M0000000000000001:	pushq	%r15	;  2 bytes
M0000000000000003:	pushq	%r14	;  2 bytes
M0000000000000005:	pushq	%r13	;  2 bytes
M0000000000000007:	pushq	%r12	;  2 bytes
M0000000000000009:	pushq	%rbx	;  1 bytes
M000000000000000a:	pushq	%rax	;  1 bytes
M000000000000000b:	movq	72(%rsp), %r12	;  5 bytes
M0000000000000010:	testq	%r12, %r12	;  3 bytes
M0000000000000013:	je	0x419f0d <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2cd>	;  6 bytes
M0000000000000019:	movq	%rdi, %r15	;  3 bytes
M000000000000001c:	leaq	64(%rsp), %rax	;  5 bytes
M0000000000000021:	movq	(%rax), %rbx	;  3 bytes
M0000000000000024:	addq	$8, %rdi	;  4 bytes
M0000000000000028:	addq	$17, %rbx	;  4 bytes
M000000000000002c:	movl	$16432, %r11d	;  6 bytes
M0000000000000032:	movl	$1836216166, %r9d	;  6 bytes
M0000000000000038:	movabsq	$7308901679308302708, %r13	; 10 bytes
M0000000000000042:	movdqa	524342(%rip), %xmm2  # 499cc0 <typeinfo for BloombergLP::ball::CountingAllocator+0x60>	;  8 bytes
M000000000000004a:	movdqa	524350(%rip), %xmm3  # 499cd0 <typeinfo for BloombergLP::ball::CountingAllocator+0x70>	;  8 bytes
M0000000000000052:	jmp	0x419cc6 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x86>	;  2 bytes
M0000000000000054:	nopw	%cs:(%rax,%rax)	; 10 bytes
M000000000000005e:	nop		;  2 bytes
M0000000000000060:	movl	(%r8), %ebp	;  3 bytes
M0000000000000063:	xorl	%r9d, %ebp	;  3 bytes
M0000000000000066:	movzwl	4(%r8), %ecx	;  5 bytes
M000000000000006b:	xorl	$29793, %ecx	;  6 bytes
M0000000000000071:	orl	%ebp, %ecx	;  2 bytes
M0000000000000073:	je	0x419d94 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x154>	;  6 bytes
M0000000000000079:	addq	$32, %rbx	;  4 bytes
M000000000000007d:	decq	%r12	;  3 bytes
M0000000000000080:	je	0x419f0d <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2cd>	;  6 bytes
M0000000000000086:	movswl	13(%rbx), %ecx	;  4 bytes
M000000000000008a:	movl	$4294967295, %eax	;  5 bytes
M000000000000008f:	btq	%rcx, %r11	;  4 bytes
M0000000000000093:	jae	0x419f0f <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2cf>	;  6 bytes
M0000000000000099:	cmpl	$14, %ecx	;  3 bytes
M000000000000009c:	je	0x419ce3 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0xa3>	;  2 bytes
M000000000000009e:	cmpl	$5, %ecx	;  3 bytes
M00000000000000a1:	jne	0x419cf0 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0xb0>	;  2 bytes
M00000000000000a3:	movq	-1(%rbx), %rsi	;  4 bytes
M00000000000000a7:	movslq	7(%rbx), %rdx	;  4 bytes
M00000000000000ab:	jmp	0x419cf8 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0xb8>	;  2 bytes
M00000000000000ad:	nopl	(%rax)	;  3 bytes
M00000000000000b0:	movsbq	-1(%rbx), %rdx	;  5 bytes
M00000000000000b5:	movq	%rbx, %rsi	;  3 bytes
M00000000000000b8:	movq	-9(%rbx), %rcx	;  4 bytes
M00000000000000bc:	leaq	-4(%rcx), %rbp	;  4 bytes
M00000000000000c0:	rorq	%rbp	;  3 bytes
M00000000000000c3:	cmpq	$9, %rbp	;  4 bytes
M00000000000000c7:	ja	0x419cb9 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x79>	;  2 bytes
M00000000000000c9:	movq	-17(%rbx), %r8	;  4 bytes
M00000000000000cd:	jmpq	*4824352(,%rbp,8)	;  7 bytes
M00000000000000d4:	cmpl	$1701667182, (%r8)	;  7 bytes
M00000000000000db:	je	0x419e2e <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x1ee>	;  6 bytes
M00000000000000e1:	cmpq	$6, %rcx	;  4 bytes
M00000000000000e5:	je	0x419ca0 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x60>	;  6 bytes
M00000000000000eb:	cmpq	$8, %rcx	;  4 bytes
M00000000000000ef:	je	0x419d80 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x140>	;  2 bytes
M00000000000000f1:	cmpq	$22, %rcx	;  4 bytes
M00000000000000f5:	jne	0x419cb9 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x79>	;  2 bytes
M00000000000000f7:	nopw	(%rax,%rax)	;  9 bytes
M0000000000000100:	movdqu	(%r8), %xmm0	;  5 bytes
M0000000000000105:	pxor	%xmm3, %xmm0	;  4 bytes
M0000000000000109:	movdqu	6(%r8), %xmm1	;  6 bytes
M000000000000010f:	pxor	%xmm2, %xmm1	;  4 bytes
M0000000000000113:	por	%xmm0, %xmm1	;  4 bytes
M0000000000000117:	ptest	%xmm1, %xmm1	;  5 bytes
M000000000000011c:	je	0x419e01 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x1c1>	;  6 bytes
M0000000000000122:	cmpq	$6, %rcx	;  4 bytes
M0000000000000126:	je	0x419ca0 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x60>	;  6 bytes
M000000000000012c:	cmpq	$8, %rcx	;  4 bytes
M0000000000000130:	jne	0x419cb9 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x79>	;  6 bytes
M0000000000000136:	nopw	%cs:(%rax,%rax)	; 10 bytes
M0000000000000140:	cmpq	%r13, (%r8)	;  3 bytes
M0000000000000143:	je	0x419dc8 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x188>	;  2 bytes
M0000000000000145:	cmpq	$6, %rcx	;  4 bytes
M0000000000000149:	je	0x419ca0 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x60>	;  6 bytes
M000000000000014f:	jmp	0x419cb9 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x79>	;  5 bytes
M0000000000000154:	cmpq	$7, %rdx	;  4 bytes
M0000000000000158:	je	0x419e6b <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x22b>	;  6 bytes
M000000000000015e:	cmpq	$8, %rdx	;  4 bytes
M0000000000000162:	jne	0x419f0f <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2cf>	;  6 bytes
M0000000000000168:	movabsq	$8389759095533823074, %rcx	; 10 bytes
M0000000000000172:	cmpq	%rcx, (%rsi)	;  3 bytes
M0000000000000175:	jne	0x419f0f <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2cf>	;  6 bytes
M000000000000017b:	movl	$0, 56(%r15)	;  8 bytes
M0000000000000183:	jmp	0x419cb9 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x79>	;  5 bytes
M0000000000000188:	cmpq	$3, %rdx	;  4 bytes
M000000000000018c:	je	0x419e93 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x253>	;  6 bytes
M0000000000000192:	cmpq	$5, %rdx	;  4 bytes
M0000000000000196:	jne	0x419f0f <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2cf>	;  6 bytes
M000000000000019c:	movl	(%rsi), %ecx	;  2 bytes
M000000000000019e:	movl	$1633906540, %edx	;  5 bytes
M00000000000001a3:	xorl	%edx, %ecx	;  2 bytes
M00000000000001a5:	movzbl	4(%rsi), %edx	;  4 bytes
M00000000000001a9:	xorl	$108, %edx	;  3 bytes
M00000000000001ac:	orl	%ecx, %edx	;  2 bytes
M00000000000001ae:	jne	0x419f0f <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2cf>	;  6 bytes
M00000000000001b4:	movl	$0, 60(%r15)	;  8 bytes
M00000000000001bc:	jmp	0x419cb9 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x79>	;  5 bytes
M00000000000001c1:	cmpq	$12, %rdx	;  4 bytes
M00000000000001c5:	je	0x419eb5 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x275>	;  6 bytes
M00000000000001cb:	cmpq	$4, %rdx	;  4 bytes
M00000000000001cf:	jne	0x419f0f <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2cf>	;  6 bytes
M00000000000001d5:	cmpl	$1701736302, (%rsi)	;  6 bytes
M00000000000001db:	jne	0x419f0f <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2cf>	;  6 bytes
M00000000000001e1:	movl	$0, 64(%r15)	;  8 bytes
M00000000000001e9:	jmp	0x419cb9 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x79>	;  5 bytes
M00000000000001ee:	movq	32(%r15), %r14	;  4 bytes
M00000000000001f2:	movq	$0, 32(%r15)	;  8 bytes
M00000000000001fa:	movl	$4826164, %ecx	;  5 bytes
M00000000000001ff:	movq	%rdi, %rbp	;  3 bytes
M0000000000000202:	callq	0x4753c0 <bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> >::privateAppend(char const*, unsigned long, char const*)>	;  5 bytes
M0000000000000207:	movdqa	523905(%rip), %xmm3  # 499cd0 <typeinfo for BloombergLP::ball::CountingAllocator+0x70>	;  8 bytes
M000000000000020f:	movdqa	523881(%rip), %xmm2  # 499cc0 <typeinfo for BloombergLP::ball::CountingAllocator+0x60>	;  8 bytes
M0000000000000217:	movl	$16432, %r11d	;  6 bytes
M000000000000021d:	movl	$1836216166, %r9d	;  6 bytes
M0000000000000223:	movq	%rbp, %rdi	;  3 bytes
M0000000000000226:	jmp	0x419cb9 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x79>	;  5 bytes
M000000000000022b:	movl	(%rsi), %ecx	;  2 bytes
M000000000000022d:	movl	$946828137, %edx	;  5 bytes
M0000000000000232:	xorl	%edx, %ecx	;  2 bytes
M0000000000000234:	movl	3(%rsi), %edx	;  3 bytes
M0000000000000237:	movl	$825243192, %esi	;  5 bytes
M000000000000023c:	xorl	%esi, %edx	;  2 bytes
M000000000000023e:	orl	%ecx, %edx	;  2 bytes
M0000000000000240:	jne	0x419f0f <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2cf>	;  6 bytes
M0000000000000246:	movl	$1, 56(%r15)	;  8 bytes
M000000000000024e:	jmp	0x419cb9 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x79>	;  5 bytes
M0000000000000253:	movzwl	(%rsi), %ecx	;  3 bytes
M0000000000000256:	xorl	$29813, %ecx	;  6 bytes
M000000000000025c:	movzbl	2(%rsi), %edx	;  4 bytes
M0000000000000260:	xorl	$99, %edx	;  3 bytes
M0000000000000263:	orw	%cx, %dx	;  3 bytes
M0000000000000266:	jne	0x419f0f <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2cf>	;  2 bytes
M0000000000000268:	movl	$1, 60(%r15)	;  8 bytes
M0000000000000270:	jmp	0x419cb9 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x79>	;  5 bytes
M0000000000000275:	movq	(%rsi), %rcx	;  3 bytes
M0000000000000278:	movabsq	$7162257679030446445, %rdx	; 10 bytes
M0000000000000282:	xorq	%rdx, %rcx	;  3 bytes
M0000000000000285:	movl	8(%rsi), %edx	;  3 bytes
M0000000000000288:	xorq	$1935961711, %rdx	;  7 bytes
M000000000000028f:	orq	%rcx, %rdx	;  3 bytes
M0000000000000292:	je	0x419f00 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2c0>	;  2 bytes
M0000000000000294:	movq	(%rsi), %rcx	;  3 bytes
M0000000000000297:	movabsq	$7162257704900323693, %rdx	; 10 bytes
M00000000000002a1:	xorq	%rdx, %rcx	;  3 bytes
M00000000000002a4:	movl	8(%rsi), %edx	;  3 bytes
M00000000000002a7:	xorq	$1935961711, %rdx	;  7 bytes
M00000000000002ae:	orq	%rcx, %rdx	;  3 bytes
M00000000000002b1:	jne	0x419f0f <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x2cf>	;  2 bytes
M00000000000002b3:	movl	$6, 64(%r15)	;  8 bytes
M00000000000002bb:	jmp	0x419cb9 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x79>	;  5 bytes
M00000000000002c0:	movl	$3, 64(%r15)	;  8 bytes
M00000000000002c8:	jmp	0x419cb9 <BloombergLP::ball::(anonymous namespace)::TimestampFormatter::parse(BloombergLP::bdld::DatumMapRef)+0x79>	;  5 bytes
M00000000000002cd:	xorl	%eax, %eax	;  2 bytes
M00000000000002cf:	addq	$8, %rsp	;  4 bytes
M00000000000002d3:	popq	%rbx	;  1 bytes
M00000000000002d4:	popq	%r12	;  2 bytes
M00000000000002d6:	popq	%r13	;  2 bytes
M00000000000002d8:	popq	%r14	;  2 bytes
M00000000000002da:	popq	%r15	;  2 bytes
M00000000000002dc:	popq	%rbp	;  1 bytes
M00000000000002dd:	retq		;  1 bytes
M00000000000002de:	movq	%r14, 32(%r15)	;  4 bytes
M00000000000002e2:	movq	%rax, %rdi	;  3 bytes
M00000000000002e5:	callq	0x404c30 <_Unwind_Resume@plt>	;  5 bytes
M00000000000002ea:	nopw	(%rax,%rax)	;  6 bytes