Ignored vs Assumed Semantics in BDE

SKIPLIST_TEST_CASE_MINUS_100::run() - Assumed

0000000000406e60 <SKIPLIST_TEST_CASE_MINUS_100::run()>:
M0000000000000000:	pushq	%rbp	;  1 bytes
M0000000000000001:	pushq	%r15	;  2 bytes
M0000000000000003:	pushq	%r14	;  2 bytes
M0000000000000005:	pushq	%rbx	;  1 bytes
M0000000000000006:	subq	$264, %rsp	;  7 bytes
M000000000000000d:	cmpl	$0, 5322084(%rip)  # 91a3d8 <verbose>	;  7 bytes
M0000000000000014:	je	0x406fb7 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x157>	;  6 bytes
M000000000000001a:	movq	5321895(%rip), %rax  # 91a328 <std::__1::cout>	;  7 bytes
M0000000000000021:	movl	$9544488, %esi	;  5 bytes
M0000000000000026:	addq	-24(%rax), %rsi	;  4 bytes
M000000000000002a:	leaq	128(%rsp), %rbx	;  8 bytes
M0000000000000032:	movq	%rbx, %rdi	;  3 bytes
M0000000000000035:	callq	0x405070 <_ZNKSt3__18ios_base6getlocEv@plt>	;  5 bytes
M000000000000003a:	movl	$9544304, %esi	;  5 bytes
M000000000000003f:	movq	%rbx, %rdi	;  3 bytes
M0000000000000042:	callq	0x4051a0 <_ZNKSt3__16locale9use_facetERNS0_2idE@plt>	;  5 bytes
M0000000000000047:	movq	(%rax), %rcx	;  3 bytes
M000000000000004a:	movq	%rax, %rdi	;  3 bytes
M000000000000004d:	movl	$10, %esi	;  5 bytes
M0000000000000052:	callq	*56(%rcx)	;  3 bytes
M0000000000000055:	movl	%eax, %ebx	;  2 bytes
M0000000000000057:	leaq	128(%rsp), %rdi	;  8 bytes
M000000000000005f:	callq	0x405240 <_ZNSt3__16localeD1Ev@plt>	;  5 bytes
M0000000000000064:	movsbl	%bl, %esi	;  3 bytes
M0000000000000067:	movl	$9544488, %edi	;  5 bytes
M000000000000006c:	callq	0x404e30 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE3putEc@plt>	;  5 bytes
M0000000000000071:	movl	$9544488, %edi	;  5 bytes
M0000000000000076:	callq	0x405040 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE5flushEv@plt>	;  5 bytes
M000000000000007b:	movl	$9544488, %edi	;  5 bytes
M0000000000000080:	movl	$6795476, %esi	;  5 bytes
M0000000000000085:	movl	$36, %edx	;  5 bytes
M000000000000008a:	callq	0x5bce00 <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
M000000000000008f:	movq	%rax, %rbx	;  3 bytes
M0000000000000092:	movq	(%rax), %rax	;  3 bytes
M0000000000000095:	movq	-24(%rax), %rsi	;  4 bytes
M0000000000000099:	addq	%rbx, %rsi	;  3 bytes
M000000000000009c:	leaq	128(%rsp), %rbp	;  8 bytes
M00000000000000a4:	movq	%rbp, %rdi	;  3 bytes
M00000000000000a7:	callq	0x405070 <_ZNKSt3__18ios_base6getlocEv@plt>	;  5 bytes
M00000000000000ac:	movl	$9544304, %esi	;  5 bytes
M00000000000000b1:	movq	%rbp, %rdi	;  3 bytes
M00000000000000b4:	callq	0x4051a0 <_ZNKSt3__16locale9use_facetERNS0_2idE@plt>	;  5 bytes
M00000000000000b9:	movq	(%rax), %rcx	;  3 bytes
M00000000000000bc:	movq	%rax, %rdi	;  3 bytes
M00000000000000bf:	movl	$10, %esi	;  5 bytes
M00000000000000c4:	callq	*56(%rcx)	;  3 bytes
M00000000000000c7:	movl	%eax, %ebp	;  2 bytes
M00000000000000c9:	leaq	128(%rsp), %rdi	;  8 bytes
M00000000000000d1:	callq	0x405240 <_ZNSt3__16localeD1Ev@plt>	;  5 bytes
M00000000000000d6:	movsbl	%bpl, %esi	;  4 bytes
M00000000000000da:	movq	%rbx, %rdi	;  3 bytes
M00000000000000dd:	callq	0x404e30 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE3putEc@plt>	;  5 bytes
M00000000000000e2:	movq	%rbx, %rdi	;  3 bytes
M00000000000000e5:	callq	0x405040 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE5flushEv@plt>	;  5 bytes
M00000000000000ea:	movl	$6796464, %esi	;  5 bytes
M00000000000000ef:	movl	$36, %edx	;  5 bytes
M00000000000000f4:	movq	%rbx, %rdi	;  3 bytes
M00000000000000f7:	callq	0x5bce00 <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
M00000000000000fc:	movq	%rax, %rbx	;  3 bytes
M00000000000000ff:	movq	(%rax), %rax	;  3 bytes
M0000000000000102:	movq	-24(%rax), %rsi	;  4 bytes
M0000000000000106:	addq	%rbx, %rsi	;  3 bytes
M0000000000000109:	leaq	128(%rsp), %rbp	;  8 bytes
M0000000000000111:	movq	%rbp, %rdi	;  3 bytes
M0000000000000114:	callq	0x405070 <_ZNKSt3__18ios_base6getlocEv@plt>	;  5 bytes
M0000000000000119:	movl	$9544304, %esi	;  5 bytes
M000000000000011e:	movq	%rbp, %rdi	;  3 bytes
M0000000000000121:	callq	0x4051a0 <_ZNKSt3__16locale9use_facetERNS0_2idE@plt>	;  5 bytes
M0000000000000126:	movq	(%rax), %rcx	;  3 bytes
M0000000000000129:	movq	%rax, %rdi	;  3 bytes
M000000000000012c:	movl	$10, %esi	;  5 bytes
M0000000000000131:	callq	*56(%rcx)	;  3 bytes
M0000000000000134:	movl	%eax, %ebp	;  2 bytes
M0000000000000136:	leaq	128(%rsp), %rdi	;  8 bytes
M000000000000013e:	callq	0x405240 <_ZNSt3__16localeD1Ev@plt>	;  5 bytes
M0000000000000143:	movsbl	%bpl, %esi	;  4 bytes
M0000000000000147:	movq	%rbx, %rdi	;  3 bytes
M000000000000014a:	callq	0x404e30 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE3putEc@plt>	;  5 bytes
M000000000000014f:	movq	%rbx, %rdi	;  3 bytes
M0000000000000152:	callq	0x405040 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEE5flushEv@plt>	;  5 bytes
M0000000000000157:	leaq	32(%rsp), %rbx	;  5 bytes
M000000000000015c:	movq	%rbx, %rdi	;  3 bytes
M000000000000015f:	callq	0x649c40 <BloombergLP::bdlcc::SkipList_RandomLevelGenerator::SkipList_RandomLevelGenerator()>	;  5 bytes
M0000000000000164:	movl	$0, 40(%rsp)	;  8 bytes
M000000000000016c:	leaq	64(%rsp), %r14	;  5 bytes
M0000000000000171:	movq	%r14, %rdi	;  3 bytes
M0000000000000174:	xorl	%esi, %esi	;  2 bytes
M0000000000000176:	callq	0x404cc0 <pthread_mutex_init@plt>	;  5 bytes
M000000000000017b:	movl	$0, 104(%rsp)	;  8 bytes
M0000000000000183:	movq	$0, 112(%rsp)	;  9 bytes
M000000000000018c:	movq	5323597(%rip), %rdx  # 91ab40 <BloombergLP::bslma::Default::s_defaultAllocator>	;  7 bytes
M0000000000000193:	testq	%rdx, %rdx	;  3 bytes
M0000000000000196:	jne	0x407000 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x1a0>	;  2 bytes
M0000000000000198:	callq	0x64e700 <BloombergLP::bslma::Default::determineAndReturnDefaultAllocator()>	;  5 bytes
M000000000000019d:	movq	%rax, %rdx	;  3 bytes
M00000000000001a0:	movq	%rdx, 120(%rsp)	;  5 bytes
M00000000000001a5:	movaps	2568868(%rip), %xmm0  # 67a2b0 <(anonymous namespace)::u::DATA+0x1ae0>	;  7 bytes
M00000000000001ac:	movaps	%xmm0, 128(%rsp)	;  8 bytes
M00000000000001b4:	movaps	2568869(%rip), %xmm0  # 67a2c0 <(anonymous namespace)::u::DATA+0x1af0>	;  7 bytes
M00000000000001bb:	movaps	%xmm0, 144(%rsp)	;  8 bytes
M00000000000001c3:	movaps	2568870(%rip), %xmm0  # 67a2d0 <(anonymous namespace)::u::DATA+0x1b00>	;  7 bytes
M00000000000001ca:	movaps	%xmm0, 160(%rsp)	;  8 bytes
M00000000000001d2:	movaps	2568871(%rip), %xmm0  # 67a2e0 <(anonymous namespace)::u::DATA+0x1b10>	;  7 bytes
M00000000000001d9:	movaps	%xmm0, 176(%rsp)	;  8 bytes
M00000000000001e1:	movaps	2568872(%rip), %xmm0  # 67a2f0 <(anonymous namespace)::u::DATA+0x1b20>	;  7 bytes
M00000000000001e8:	movaps	%xmm0, 192(%rsp)	;  8 bytes
M00000000000001f0:	movaps	2568873(%rip), %xmm0  # 67a300 <(anonymous namespace)::u::DATA+0x1b30>	;  7 bytes
M00000000000001f7:	movaps	%xmm0, 208(%rsp)	;  8 bytes
M00000000000001ff:	movaps	2568874(%rip), %xmm0  # 67a310 <(anonymous namespace)::u::DATA+0x1b40>	;  7 bytes
M0000000000000206:	movaps	%xmm0, 224(%rsp)	;  8 bytes
M000000000000020e:	movaps	2568875(%rip), %xmm0  # 67a320 <(anonymous namespace)::u::DATA+0x1b50>	;  7 bytes
M0000000000000215:	movaps	%xmm0, 240(%rsp)	;  8 bytes
M000000000000021d:	leaq	128(%rsp), %rdi	;  8 bytes
M0000000000000225:	movl	$32, %esi	;  5 bytes
M000000000000022a:	callq	0x64a120 <BloombergLP::bdlcc::SkipList_PoolUtil::createPoolManager(int*, int, BloombergLP::bslma::Allocator*)>	;  5 bytes
M000000000000022f:	movq	%rax, 112(%rsp)	;  5 bytes
M0000000000000234:	movq	%rax, %rdi	;  3 bytes
M0000000000000237:	movl	$31, %esi	;  5 bytes
M000000000000023c:	callq	0x64a060 <BloombergLP::bdlcc::SkipList_PoolUtil::allocate(BloombergLP::bdlcc::SkipList_PoolManager*, int)>	;  5 bytes
M0000000000000241:	movq	%rax, 48(%rsp)	;  5 bytes
M0000000000000246:	movq	112(%rsp), %rdi	;  5 bytes
M000000000000024b:	movl	$31, %esi	;  5 bytes
M0000000000000250:	callq	0x64a060 <BloombergLP::bdlcc::SkipList_PoolUtil::allocate(BloombergLP::bdlcc::SkipList_PoolManager*, int)>	;  5 bytes
M0000000000000255:	movq	%rax, 56(%rsp)	;  5 bytes
M000000000000025a:	xorl	%ecx, %ecx	;  2 bytes
M000000000000025c:	nopl	(%rax)	;  4 bytes
M0000000000000260:	movq	48(%rsp), %rax	;  5 bytes
M0000000000000265:	movq	$0, 40(%rax,%rcx)	;  9 bytes
M000000000000026e:	movq	48(%rsp), %rax	;  5 bytes
M0000000000000273:	movq	56(%rsp), %rdx	;  5 bytes
M0000000000000278:	movq	%rdx, 32(%rax,%rcx)	;  5 bytes
M000000000000027d:	movq	48(%rsp), %rax	;  5 bytes
M0000000000000282:	movq	56(%rsp), %rdx	;  5 bytes
M0000000000000287:	movq	%rax, 40(%rdx,%rcx)	;  5 bytes
M000000000000028c:	movq	56(%rsp), %rax	;  5 bytes
M0000000000000291:	movq	$0, 32(%rax,%rcx)	;  9 bytes
M000000000000029a:	addq	$16, %rcx	;  4 bytes
M000000000000029e:	cmpq	$512, %rcx	;  7 bytes
M00000000000002a5:	jne	0x4070c0 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x260>	;  2 bytes
M00000000000002a7:	movq	$4220912, (%rsp)	;  8 bytes
M00000000000002af:	movq	%rbx, 8(%rsp)	;  5 bytes
M00000000000002b4:	movaps	2568725(%rip), %xmm0  # 67a330 <(anonymous namespace)::u::DATA+0x1b60>	;  7 bytes
M00000000000002bb:	movups	%xmm0, 16(%rsp)	;  5 bytes
M00000000000002c0:	movq	5323297(%rip), %rdx  # 91ab48 <BloombergLP::bslma::Default::s_globalAllocator>	;  7 bytes
M00000000000002c7:	testq	%rdx, %rdx	;  3 bytes
M00000000000002ca:	jne	0x407134 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x2d4>	;  2 bytes
M00000000000002cc:	callq	0x64e7d0 <BloombergLP::bslma::NewDeleteAllocator::singleton()>	;  5 bytes
M00000000000002d1:	movq	%rax, %rdx	;  3 bytes
M00000000000002d4:	leaq	128(%rsp), %rdi	;  8 bytes
M00000000000002dc:	movq	%rsp, %rsi	;  3 bytes
M00000000000002df:	callq	0x5bdb00 <int BloombergLP::bslmt::ThreadUtil::createWithAllocator<BloombergLP::bdlf::Bind<BloombergLP::bslmf::Nil, void (*)(BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int), BloombergLP::bdlf::Bind_BoundTuple5<BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int> > >(unsigned long*, BloombergLP::bdlf::Bind<BloombergLP::bslmf::Nil, void (*)(BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int), BloombergLP::bdlf::Bind_BoundTuple5<BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int> > const&, BloombergLP::bslma::Allocator*)>	;  5 bytes
M00000000000002e4:	movq	$4220912, (%rsp)	;  8 bytes
M00000000000002ec:	movq	%rbx, 8(%rsp)	;  5 bytes
M00000000000002f1:	movaps	2568664(%rip), %xmm0  # 67a330 <(anonymous namespace)::u::DATA+0x1b60>	;  7 bytes
M00000000000002f8:	movups	%xmm0, 16(%rsp)	;  5 bytes
M00000000000002fd:	movq	5323236(%rip), %rdx  # 91ab48 <BloombergLP::bslma::Default::s_globalAllocator>	;  7 bytes
M0000000000000304:	testq	%rdx, %rdx	;  3 bytes
M0000000000000307:	jne	0x407171 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x311>	;  2 bytes
M0000000000000309:	callq	0x64e7d0 <BloombergLP::bslma::NewDeleteAllocator::singleton()>	;  5 bytes
M000000000000030e:	movq	%rax, %rdx	;  3 bytes
M0000000000000311:	leaq	136(%rsp), %rdi	;  8 bytes
M0000000000000319:	movq	%rsp, %rsi	;  3 bytes
M000000000000031c:	callq	0x5bdb00 <int BloombergLP::bslmt::ThreadUtil::createWithAllocator<BloombergLP::bdlf::Bind<BloombergLP::bslmf::Nil, void (*)(BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int), BloombergLP::bdlf::Bind_BoundTuple5<BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int> > >(unsigned long*, BloombergLP::bdlf::Bind<BloombergLP::bslmf::Nil, void (*)(BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int), BloombergLP::bdlf::Bind_BoundTuple5<BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int> > const&, BloombergLP::bslma::Allocator*)>	;  5 bytes
M0000000000000321:	movq	$4220912, (%rsp)	;  8 bytes
M0000000000000329:	movq	%rbx, 8(%rsp)	;  5 bytes
M000000000000032e:	movaps	2568603(%rip), %xmm0  # 67a330 <(anonymous namespace)::u::DATA+0x1b60>	;  7 bytes
M0000000000000335:	movups	%xmm0, 16(%rsp)	;  5 bytes
M000000000000033a:	movq	5323175(%rip), %rdx  # 91ab48 <BloombergLP::bslma::Default::s_globalAllocator>	;  7 bytes
M0000000000000341:	testq	%rdx, %rdx	;  3 bytes
M0000000000000344:	jne	0x4071ae <SKIPLIST_TEST_CASE_MINUS_100::run()+0x34e>	;  2 bytes
M0000000000000346:	callq	0x64e7d0 <BloombergLP::bslma::NewDeleteAllocator::singleton()>	;  5 bytes
M000000000000034b:	movq	%rax, %rdx	;  3 bytes
M000000000000034e:	leaq	144(%rsp), %rdi	;  8 bytes
M0000000000000356:	movq	%rsp, %rsi	;  3 bytes
M0000000000000359:	callq	0x5bdb00 <int BloombergLP::bslmt::ThreadUtil::createWithAllocator<BloombergLP::bdlf::Bind<BloombergLP::bslmf::Nil, void (*)(BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int), BloombergLP::bdlf::Bind_BoundTuple5<BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int> > >(unsigned long*, BloombergLP::bdlf::Bind<BloombergLP::bslmf::Nil, void (*)(BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int), BloombergLP::bdlf::Bind_BoundTuple5<BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int> > const&, BloombergLP::bslma::Allocator*)>	;  5 bytes
M000000000000035e:	movq	$4220912, (%rsp)	;  8 bytes
M0000000000000366:	movq	%rbx, 8(%rsp)	;  5 bytes
M000000000000036b:	movaps	2568542(%rip), %xmm0  # 67a330 <(anonymous namespace)::u::DATA+0x1b60>	;  7 bytes
M0000000000000372:	movups	%xmm0, 16(%rsp)	;  5 bytes
M0000000000000377:	movq	5323114(%rip), %rdx  # 91ab48 <BloombergLP::bslma::Default::s_globalAllocator>	;  7 bytes
M000000000000037e:	testq	%rdx, %rdx	;  3 bytes
M0000000000000381:	jne	0x4071eb <SKIPLIST_TEST_CASE_MINUS_100::run()+0x38b>	;  2 bytes
M0000000000000383:	callq	0x64e7d0 <BloombergLP::bslma::NewDeleteAllocator::singleton()>	;  5 bytes
M0000000000000388:	movq	%rax, %rdx	;  3 bytes
M000000000000038b:	leaq	152(%rsp), %rdi	;  8 bytes
M0000000000000393:	movq	%rsp, %rsi	;  3 bytes
M0000000000000396:	callq	0x5bdb00 <int BloombergLP::bslmt::ThreadUtil::createWithAllocator<BloombergLP::bdlf::Bind<BloombergLP::bslmf::Nil, void (*)(BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int), BloombergLP::bdlf::Bind_BoundTuple5<BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int> > >(unsigned long*, BloombergLP::bdlf::Bind<BloombergLP::bslmf::Nil, void (*)(BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int), BloombergLP::bdlf::Bind_BoundTuple5<BloombergLP::bdlcc::SkipList<BloombergLP::bsls::TimeInterval, int>*, int, int, int, int> > const&, BloombergLP::bslma::Allocator*)>	;  5 bytes
M000000000000039b:	movq	128(%rsp), %rdi	;  8 bytes
M00000000000003a3:	xorl	%esi, %esi	;  2 bytes
M00000000000003a5:	callq	0x404e80 <pthread_join@plt>	;  5 bytes
M00000000000003aa:	movq	136(%rsp), %rdi	;  8 bytes
M00000000000003b2:	xorl	%esi, %esi	;  2 bytes
M00000000000003b4:	callq	0x404e80 <pthread_join@plt>	;  5 bytes
M00000000000003b9:	movq	144(%rsp), %rdi	;  8 bytes
M00000000000003c1:	xorl	%esi, %esi	;  2 bytes
M00000000000003c3:	callq	0x404e80 <pthread_join@plt>	;  5 bytes
M00000000000003c8:	movq	152(%rsp), %rdi	;  8 bytes
M00000000000003d0:	xorl	%esi, %esi	;  2 bytes
M00000000000003d2:	callq	0x404e80 <pthread_join@plt>	;  5 bytes
M00000000000003d7:	movq	48(%rsp), %rax	;  5 bytes
M00000000000003dc:	movq	32(%rax), %rbx	;  4 bytes
M00000000000003e0:	cmpq	56(%rsp), %rbx	;  5 bytes
M00000000000003e5:	je	0x407263 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x403>	;  2 bytes
M00000000000003e7:	nopw	(%rax,%rax)	;  9 bytes
M00000000000003f0:	movq	%rbx, %rdi	;  3 bytes
M00000000000003f3:	callq	0x649ba0 <BloombergLP::bdlcc::SkipList_Control::decrementRefCount()>	;  5 bytes
M00000000000003f8:	movq	32(%rbx), %rbx	;  4 bytes
M00000000000003fc:	cmpq	56(%rsp), %rbx	;  5 bytes
M0000000000000401:	jne	0x407250 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x3f0>	;  2 bytes
M0000000000000403:	movq	112(%rsp), %rsi	;  5 bytes
M0000000000000408:	movq	120(%rsp), %rdi	;  5 bytes
M000000000000040d:	callq	0x64a360 <BloombergLP::bdlcc::SkipList_PoolUtil::deletePoolManager(BloombergLP::bslma::Allocator*, BloombergLP::bdlcc::SkipList_PoolManager*)>	;  5 bytes
M0000000000000412:	leaq	64(%rsp), %rdi	;  5 bytes
M0000000000000417:	callq	0x64f850 <BloombergLP::bslmt::MutexImpl<BloombergLP::bslmt::Platform::PosixThreads>::~MutexImpl()>	;  5 bytes
M000000000000041c:	addq	$264, %rsp	;  7 bytes
M0000000000000423:	popq	%rbx	;  1 bytes
M0000000000000424:	popq	%r14	;  2 bytes
M0000000000000426:	popq	%r15	;  2 bytes
M0000000000000428:	popq	%rbp	;  1 bytes
M0000000000000429:	retq		;  1 bytes
M000000000000042a:	jmp	0x407308 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x4a8>	;  2 bytes
M000000000000042c:	jmp	0x407290 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x430>	;  2 bytes
M000000000000042e:	jmp	0x407290 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x430>	;  2 bytes
M0000000000000430:	movq	%rax, %r15	;  3 bytes
M0000000000000433:	leaq	128(%rsp), %rdi	;  8 bytes
M000000000000043b:	callq	0x405240 <_ZNSt3__16localeD1Ev@plt>	;  5 bytes
M0000000000000440:	movq	%r15, %rdi	;  3 bytes
M0000000000000443:	callq	0x405360 <_Unwind_Resume@plt>	;  5 bytes
M0000000000000448:	movq	%rax, %r15	;  3 bytes
M000000000000044b:	movq	%r14, %rdi	;  3 bytes
M000000000000044e:	jmp	0x4072f7 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x497>	;  2 bytes
M0000000000000450:	jmp	0x4072b2 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x452>	;  2 bytes
M0000000000000452:	movq	%rax, %r15	;  3 bytes
M0000000000000455:	movq	48(%rsp), %rax	;  5 bytes
M000000000000045a:	movq	32(%rax), %rbx	;  4 bytes
M000000000000045e:	cmpq	56(%rsp), %rbx	;  5 bytes
M0000000000000463:	je	0x4072e3 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x483>	;  2 bytes
M0000000000000465:	nopw	%cs:(%rax,%rax)	; 10 bytes
M000000000000046f:	nop		;  1 bytes
M0000000000000470:	movq	%rbx, %rdi	;  3 bytes
M0000000000000473:	callq	0x649ba0 <BloombergLP::bdlcc::SkipList_Control::decrementRefCount()>	;  5 bytes
M0000000000000478:	movq	32(%rbx), %rbx	;  4 bytes
M000000000000047c:	cmpq	56(%rsp), %rbx	;  5 bytes
M0000000000000481:	jne	0x4072d0 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x470>	;  2 bytes
M0000000000000483:	movq	112(%rsp), %rsi	;  5 bytes
M0000000000000488:	movq	120(%rsp), %rdi	;  5 bytes
M000000000000048d:	callq	0x64a360 <BloombergLP::bdlcc::SkipList_PoolUtil::deletePoolManager(BloombergLP::bslma::Allocator*, BloombergLP::bdlcc::SkipList_PoolManager*)>	;  5 bytes
M0000000000000492:	leaq	64(%rsp), %rdi	;  5 bytes
M0000000000000497:	callq	0x64f850 <BloombergLP::bslmt::MutexImpl<BloombergLP::bslmt::Platform::PosixThreads>::~MutexImpl()>	;  5 bytes
M000000000000049c:	movq	%r15, %rdi	;  3 bytes
M000000000000049f:	callq	0x405360 <_Unwind_Resume@plt>	;  5 bytes
M00000000000004a4:	jmp	0x407308 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x4a8>	;  2 bytes
M00000000000004a6:	jmp	0x407308 <SKIPLIST_TEST_CASE_MINUS_100::run()+0x4a8>	;  2 bytes
M00000000000004a8:	movq	%rax, %rbx	;  3 bytes
M00000000000004ab:	movq	%r14, %rdi	;  3 bytes
M00000000000004ae:	callq	0x5b9fc0 <BloombergLP::bslmt::Mutex::~Mutex()>	;  5 bytes
M00000000000004b3:	movq	%rbx, %rdi	;  3 bytes
M00000000000004b6:	callq	0x5b9fb0 <__clang_call_terminate>	;  5 bytes
M00000000000004bb:	nopl	(%rax,%rax)	;  5 bytes