Ignored vs Assumed Semantics in BDE

BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int) - Assumed

00000000004688d0 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)>:
M0000000000000000:	movl	$4294967295, %eax	;  5 bytes
M0000000000000005:	cmpl	$8, %edx	;  3 bytes
M0000000000000008:	jb	0x46894b <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x7b>	;  2 bytes
M000000000000000a:	pushq	%r15	;  2 bytes
M000000000000000c:	pushq	%r14	;  2 bytes
M000000000000000e:	pushq	%rbx	;  1 bytes
M000000000000000f:	subq	$48, %rsp	;  4 bytes
M0000000000000013:	movq	%rsi, %rbx	;  3 bytes
M0000000000000016:	movq	%rdi, %r14	;  3 bytes
M0000000000000019:	movq	%rsi, 24(%rsp)	;  5 bytes
M000000000000001e:	movl	%edx, %r15d	;  3 bytes
M0000000000000021:	addq	%rsi, %r15	;  3 bytes
M0000000000000024:	movabsq	$361277906944, %rax	; 10 bytes
M000000000000002e:	movq	%rax, 8(%rsp)	;  5 bytes
M0000000000000033:	subq	$8, %rsp	;  4 bytes
M0000000000000037:	leaq	11(%rsp), %rax	;  5 bytes
M000000000000003c:	leaq	32(%rsp), %rdi	;  5 bytes
M0000000000000041:	leaq	28(%rsp), %rsi	;  5 bytes
M0000000000000046:	leaq	44(%rsp), %rdx	;  5 bytes
M000000000000004b:	leaq	40(%rsp), %rcx	;  5 bytes
M0000000000000050:	leaq	24(%rsp), %r8	;  5 bytes
M0000000000000055:	leaq	48(%rsp), %r9	;  5 bytes
M000000000000005a:	pushq	%r15	;  2 bytes
M000000000000005c:	pushq	%rbx	;  1 bytes
M000000000000005d:	pushq	%rax	;  1 bytes
M000000000000005e:	callq	0x468a80 <(anonymous namespace)::u::parseTime(char const**, int*, int*, int*, int*, long long*, bool*, char const*, char const*, int)>	;  5 bytes
M0000000000000063:	addq	$32, %rsp	;  4 bytes
M0000000000000067:	movl	%eax, %ecx	;  2 bytes
M0000000000000069:	movl	$4294967295, %eax	;  5 bytes
M000000000000006e:	testl	%ecx, %ecx	;  2 bytes
M0000000000000070:	je	0x46894c <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x7c>	;  2 bytes
M0000000000000072:	addq	$48, %rsp	;  4 bytes
M0000000000000076:	popq	%rbx	;  1 bytes
M0000000000000077:	popq	%r14	;  2 bytes
M0000000000000079:	popq	%r15	;  2 bytes
M000000000000007b:	retq		;  1 bytes
M000000000000007c:	movl	20(%rsp), %esi	;  4 bytes
M0000000000000080:	movl	36(%rsp), %edx	;  4 bytes
M0000000000000084:	movl	32(%rsp), %ecx	;  4 bytes
M0000000000000088:	cmpl	$59, %ecx	;  3 bytes
M000000000000008b:	ja	0x468967 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x97>	;  2 bytes
M000000000000008d:	cmpl	$23, %esi	;  3 bytes
M0000000000000090:	ja	0x468967 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x97>	;  2 bytes
M0000000000000092:	cmpl	$60, %edx	;  3 bytes
M0000000000000095:	jb	0x468972 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0xa2>	;  2 bytes
M0000000000000097:	cmpl	$24, %esi	;  3 bytes
M000000000000009a:	jne	0x468942 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x72>	;  2 bytes
M000000000000009c:	movl	%ecx, %edi	;  2 bytes
M000000000000009e:	orl	%edx, %edi	;  2 bytes
M00000000000000a0:	jne	0x468942 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x72>	;  2 bytes
M00000000000000a2:	leaq	8(%rsp), %rdi	;  5 bytes
M00000000000000a7:	xorl	%r8d, %r8d	;  3 bytes
M00000000000000aa:	xorl	%r9d, %r9d	;  3 bytes
M00000000000000ad:	callq	0x46bc70 <BloombergLP::bdlt::Time::setTime(int, int, int, int, int)>	;  5 bytes
M00000000000000b2:	cmpb	$0, 3(%rsp)	;  5 bytes
M00000000000000b7:	je	0x468998 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0xc8>	;  2 bytes
M00000000000000b9:	leaq	8(%rsp), %rdi	;  5 bytes
M00000000000000be:	movl	$1, %esi	;  5 bytes
M00000000000000c3:	callq	0x46b170 <BloombergLP::bdlt::Time::addSeconds(int)>	;  5 bytes
M00000000000000c8:	movl	16(%rsp), %esi	;  4 bytes
M00000000000000cc:	testl	%esi, %esi	;  2 bytes
M00000000000000ce:	je	0x4689aa <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0xda>	;  2 bytes
M00000000000000d0:	leaq	8(%rsp), %rdi	;  5 bytes
M00000000000000d5:	callq	0x46b290 <BloombergLP::bdlt::Time::addMilliseconds(int)>	;  5 bytes
M00000000000000da:	movq	40(%rsp), %rsi	;  5 bytes
M00000000000000df:	testq	%rsi, %rsi	;  3 bytes
M00000000000000e2:	je	0x4689be <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0xee>	;  2 bytes
M00000000000000e4:	leaq	8(%rsp), %rdi	;  5 bytes
M00000000000000e9:	callq	0x46b3b0 <BloombergLP::bdlt::Time::addMicroseconds(long long)>	;  5 bytes
M00000000000000ee:	movl	$0, 4(%rsp)	;  8 bytes
M00000000000000f6:	movq	24(%rsp), %rdx	;  5 bytes
M00000000000000fb:	cmpq	%r15, %rdx	;  3 bytes
M00000000000000fe:	je	0x468a10 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x140>	;  2 bytes
M0000000000000100:	leaq	24(%rsp), %rdi	;  5 bytes
M0000000000000105:	leaq	4(%rsp), %rsi	;  5 bytes
M000000000000010a:	movq	%r15, %rcx	;  3 bytes
M000000000000010d:	callq	0x4687b0 <(anonymous namespace)::u::parseZoneDesignator(char const**, int*, char const*, char const*)>	;  5 bytes
M0000000000000112:	movl	%eax, %ecx	;  2 bytes
M0000000000000114:	movl	$4294967295, %eax	;  5 bytes
M0000000000000119:	testl	%ecx, %ecx	;  2 bytes
M000000000000011b:	jne	0x468942 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x72>	;  6 bytes
M0000000000000121:	cmpq	%r15, 24(%rsp)	;  5 bytes
M0000000000000126:	jne	0x468942 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x72>	;  6 bytes
M000000000000012c:	movl	4(%rsp), %esi	;  4 bytes
M0000000000000130:	testl	%esi, %esi	;  2 bytes
M0000000000000132:	je	0x468a10 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x140>	;  2 bytes
M0000000000000134:	negl	%esi	;  2 bytes
M0000000000000136:	leaq	8(%rsp), %rdi	;  5 bytes
M000000000000013b:	callq	0x46b050 <BloombergLP::bdlt::Time::addMinutes(int)>	;  5 bytes
M0000000000000140:	cmpl	$24, 20(%rsp)	;  5 bytes
M0000000000000145:	jne	0x468a36 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x166>	;  2 bytes
M0000000000000147:	cmpq	$0, 40(%rsp)	;  6 bytes
M000000000000014d:	movl	$4294967295, %eax	;  5 bytes
M0000000000000152:	jne	0x468942 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x72>	;  6 bytes
M0000000000000158:	movl	4(%rsp), %ecx	;  4 bytes
M000000000000015c:	orl	16(%rsp), %ecx	;  4 bytes
M0000000000000160:	jne	0x468942 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x72>	;  6 bytes
M0000000000000166:	movabsq	$274877906944, %rbx	; 10 bytes
M0000000000000170:	movq	8(%rsp), %rax	;  5 bytes
M0000000000000175:	movq	%rax, (%r14)	;  3 bytes
M0000000000000178:	cmpq	%rbx, %rax	;  3 bytes
M000000000000017b:	jl	0x468a67 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x197>	;  2 bytes
M000000000000017d:	movabsq	$-274877906945, %rcx	; 10 bytes
M0000000000000187:	andq	%rcx, %rax	;  3 bytes
M000000000000018a:	orq	%rbx, %rax	;  3 bytes
M000000000000018d:	movq	%rax, (%r14)	;  3 bytes
M0000000000000190:	xorl	%eax, %eax	;  2 bytes
M0000000000000192:	jmp	0x468942 <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x72>	;  5 bytes
M0000000000000197:	movq	%r14, %rdi	;  3 bytes
M000000000000019a:	callq	0x46aee0 <BloombergLP::bdlt::Time::invalidMicrosecondsFromMidnight() const>	;  5 bytes
M000000000000019f:	jmp	0x468a5a <BloombergLP::bdlt::Iso8601Util::parse(BloombergLP::bdlt::Time*, char const*, int)+0x18a>	;  2 bytes
M00000000000001a1:	nopw	%cs:(%rax,%rax)	; 10 bytes
M00000000000001ab:	nopl	(%rax,%rax)	;  5 bytes