Ignored vs Assumed Semantics in BDE

Case_Allow_All::threadJobIf() - Assumed

0000000000405290 <Case_Allow_All::threadJobIf()>:
M0000000000000000:	pushq	%rbp	;  1 bytes
M0000000000000001:	pushq	%r14	;  2 bytes
M0000000000000003:	pushq	%rbx	;  1 bytes
M0000000000000004:	subq	$16, %rsp	;  4 bytes
M0000000000000008:	nopl	(%rax,%rax)	;  8 bytes
M0000000000000010:	movl	2437066(%rip), %eax  # 658270 <Case_Allow_All::atomicBarrier>	;  6 bytes
M0000000000000016:	testl	%eax, %eax	;  2 bytes
M0000000000000018:	js	0x4052a0 <Case_Allow_All::threadJobIf()+0x10>	;  2 bytes
M000000000000001a:	movl	2437056(%rip), %eax  # 658270 <Case_Allow_All::atomicBarrier>	;  6 bytes
M0000000000000020:	testl	%eax, %eax	;  2 bytes
M0000000000000022:	jle	0x4052bd <Case_Allow_All::threadJobIf()+0x2d>	;  2 bytes
M0000000000000024:	addq	$16, %rsp	;  4 bytes
M0000000000000028:	popq	%rbx	;  1 bytes
M0000000000000029:	popq	%r14	;  2 bytes
M000000000000002b:	popq	%rbp	;  1 bytes
M000000000000002c:	retq		;  1 bytes
M000000000000002d:	xorl	%ebx, %ebx	;  2 bytes
M000000000000002f:	movq	%rsp, %r14	;  3 bytes
M0000000000000032:	xorl	%ebp, %ebp	;  2 bytes
M0000000000000034:	jmp	0x4052ef <Case_Allow_All::threadJobIf()+0x5f>	;  2 bytes
M0000000000000036:	nopw	%cs:(%rax,%rax)	; 10 bytes
M0000000000000040:	movslq	%ebp, %rax	;  3 bytes
M0000000000000043:	lock		;  1 bytes
M0000000000000044:	addq	%rax, 2437005(%rip)  # 658268 <Case_Allow_All::eventsSoFar>	;  7 bytes
M000000000000004b:	movl	2437007(%rip), %eax  # 658270 <Case_Allow_All::atomicBarrier>	;  6 bytes
M0000000000000051:	movl	$0, %ebx	;  5 bytes
M0000000000000056:	movl	$0, %ebp	;  5 bytes
M000000000000005b:	testl	%eax, %eax	;  2 bytes
M000000000000005d:	jg	0x4052b4 <Case_Allow_All::threadJobIf()+0x24>	;  2 bytes
M000000000000005f:	cmpl	$1, 2433678(%rip)  # 657584 <Case_Allow_All::threadJobIf()::bdlmt_throttle_iFtHrOtTlE+0x1c>	;  7 bytes
M0000000000000066:	jne	0x405300 <Case_Allow_All::threadJobIf()+0x70>	;  2 bytes
M0000000000000068:	callq	0x416440 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>	;  5 bytes
M000000000000006d:	jmp	0x405305 <Case_Allow_All::threadJobIf()+0x75>	;  2 bytes
M000000000000006f:	nop		;  1 bytes
M0000000000000070:	callq	0x4164d0 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>	;  5 bytes
M0000000000000075:	movq	%rax, (%rsp)	;  4 bytes
M0000000000000079:	movl	%edx, 8(%rsp)	;  4 bytes
M000000000000007d:	movl	$6649192, %edi	;  5 bytes
M0000000000000082:	movq	%r14, %rsi	;  3 bytes
M0000000000000085:	callq	0x412ee0 <BloombergLP::bdlmt::Throttle::requestPermission(BloombergLP::bsls::TimeInterval const&)>	;  5 bytes
M000000000000008a:	testb	%al, %al	;  2 bytes
M000000000000008c:	je	0x405330 <Case_Allow_All::threadJobIf()+0xa0>	;  2 bytes
M000000000000008e:	incl	%ebp	;  2 bytes
M0000000000000090:	jmp	0x405344 <Case_Allow_All::threadJobIf()+0xb4>	;  2 bytes
M0000000000000092:	nopw	%cs:(%rax,%rax)	; 10 bytes
M000000000000009c:	nopl	(%rax)	;  4 bytes
M00000000000000a0:	movl	$4445834, %esi	;  5 bytes
M00000000000000a5:	movl	$1, %edi	;  5 bytes
M00000000000000aa:	movl	$591, %edx	;  5 bytes
M00000000000000af:	callq	0x404f40 <(anonymous namespace)::aSsErT(bool, char const*, int)>	;  5 bytes
M00000000000000b4:	incl	%ebx	;  2 bytes
M00000000000000b6:	cmpl	$1024, %ebx	;  6 bytes
M00000000000000bc:	jne	0x4052ef <Case_Allow_All::threadJobIf()+0x5f>	;  2 bytes
M00000000000000be:	cmpl	$1024, %ebp	;  6 bytes
M00000000000000c4:	je	0x4052d0 <Case_Allow_All::threadJobIf()+0x40>	;  6 bytes
M00000000000000ca:	movl	$6652072, %edi	;  5 bytes
M00000000000000cf:	movl	$4445881, %esi	;  5 bytes
M00000000000000d4:	movl	$5, %edx	;  5 bytes
M00000000000000d9:	callq	0x4128e0 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>	;  5 bytes
M00000000000000de:	movl	$4452558, %esi	;  5 bytes
M00000000000000e3:	movl	$2, %edx	;  5 bytes
M00000000000000e8:	movq	%rax, %rdi	;  3 bytes
M00000000000000eb:	callq	0x4128e0 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>	;  5 bytes
M00000000000000f0:	movq	%rax, %rdi	;  3 bytes
M00000000000000f3:	movl	%ebp, %esi	;  2 bytes
M00000000000000f5:	callq	0x404670 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEi@plt>	;  5 bytes
M00000000000000fa:	movl	$4453949, %esi	;  5 bytes
M00000000000000ff:	movl	$1, %edx	;  5 bytes
M0000000000000104:	movq	%rax, %rdi	;  3 bytes
M0000000000000107:	callq	0x4128e0 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>	;  5 bytes
M000000000000010c:	movl	$4445859, %esi	;  5 bytes
M0000000000000111:	movl	$1, %edi	;  5 bytes
M0000000000000116:	movl	$594, %edx	;  5 bytes
M000000000000011b:	callq	0x404f40 <(anonymous namespace)::aSsErT(bool, char const*, int)>	;  5 bytes
M0000000000000120:	jmp	0x4052d0 <Case_Allow_All::threadJobIf()+0x40>	;  5 bytes
M0000000000000125:	nopw	%cs:(%rax,%rax)	; 10 bytes
M000000000000012f:	nop		;  1 bytes