Ignored vs Assumed Semantics in BDE

(anonymous namespace)::IntToPairConverter<signed char, signed char, bsl::allocator<bsl::pair<signed char const, signed char> > >::createInplace(bsl::pair<signed char, signed char>*, int, bsl::allocator<bsl::pair<signed char const, signed char> >) - Ignored

00000000005794d0 <(anonymous namespace)::IntToPairConverter<signed char, signed char, bsl::allocator<bsl::pair<signed char const, signed char> > >::createInplace(bsl::pair<signed char, signed char>*, int, bsl::allocator<bsl::pair<signed char const, signed char> >)>:
M0000000000000000:	pushq	%rbp	;  1 bytes
M0000000000000001:	pushq	%r14	;  2 bytes
M0000000000000003:	pushq	%rbx	;  1 bytes
M0000000000000004:	movl	%esi, %ebx	;  2 bytes
M0000000000000006:	movq	%rdi, %r14	;  3 bytes
M0000000000000009:	callq	0x402b40 <__ctype_b_loc@plt>	;  5 bytes
M000000000000000e:	movq	(%rax), %rax	;  3 bytes
M0000000000000011:	movslq	%ebx, %rbp	;  3 bytes
M0000000000000014:	testb	$2, 1(%rax,%rbp,2)	;  5 bytes
M0000000000000019:	jne	0x5794f0 <(anonymous namespace)::IntToPairConverter<signed char, signed char, bsl::allocator<bsl::pair<signed char const, signed char> > >::createInplace(bsl::pair<signed char, signed char>*, int, bsl::allocator<bsl::pair<signed char const, signed char> >)+0x20>	;  2 bytes
M000000000000001b:	leal	-17(%rbx), %ebp	;  3 bytes
M000000000000001e:	jmp	0x57950b <(anonymous namespace)::IntToPairConverter<signed char, signed char, bsl::allocator<bsl::pair<signed char const, signed char> > >::createInplace(bsl::pair<signed char, signed char>*, int, bsl::allocator<bsl::pair<signed char const, signed char> >)+0x3b>	;  2 bytes
M0000000000000020:	leal	128(%rbx), %eax	;  6 bytes
M0000000000000026:	cmpl	$383, %eax	;  5 bytes
M000000000000002b:	ja	0x579508 <(anonymous namespace)::IntToPairConverter<signed char, signed char, bsl::allocator<bsl::pair<signed char const, signed char> > >::createInplace(bsl::pair<signed char, signed char>*, int, bsl::allocator<bsl::pair<signed char const, signed char> >)+0x38>	;  2 bytes
M000000000000002d:	callq	0x402ad0 <__ctype_toupper_loc@plt>	;  5 bytes
M0000000000000032:	movq	(%rax), %rax	;  3 bytes
M0000000000000035:	movl	(%rax,%rbp,4), %ebx	;  3 bytes
M0000000000000038:	leal	1(%rbx), %ebp	;  3 bytes
M000000000000003b:	movb	2839823(%rip), %al  # 82ea20 <guard variable for (anonymous namespace)::scratchSingleton()::scratch>	;  6 bytes
M0000000000000041:	testb	%al, %al	;  2 bytes
M0000000000000043:	je	0x579521 <(anonymous namespace)::IntToPairConverter<signed char, signed char, bsl::allocator<bsl::pair<signed char const, signed char> > >::createInplace(bsl::pair<signed char, signed char>*, int, bsl::allocator<bsl::pair<signed char const, signed char> >)+0x51>	;  2 bytes
M0000000000000045:	movb	%bl, (%r14)	;  3 bytes
M0000000000000048:	movb	%bpl, 1(%r14)	;  4 bytes
M000000000000004c:	popq	%rbx	;  1 bytes
M000000000000004d:	popq	%r14	;  2 bytes
M000000000000004f:	popq	%rbp	;  1 bytes
M0000000000000050:	retq		;  1 bytes
M0000000000000051:	movl	$8579616, %edi	;  5 bytes
M0000000000000056:	callq	0x402c90 <__cxa_guard_acquire@plt>	;  5 bytes
M000000000000005b:	testl	%eax, %eax	;  2 bytes
M000000000000005d:	je	0x579515 <(anonymous namespace)::IntToPairConverter<signed char, signed char, bsl::allocator<bsl::pair<signed char const, signed char> > >::createInplace(bsl::pair<signed char, signed char>*, int, bsl::allocator<bsl::pair<signed char const, signed char> >)+0x45>	;  2 bytes
M000000000000005f:	movzbl	2839277(%rip), %edx  # 82e823 <veryVeryVeryVerbose>	;  7 bytes
M0000000000000066:	movl	$8579408, %edi	;  5 bytes
M000000000000006b:	movl	$6255269, %esi	;  5 bytes
M0000000000000070:	xorl	%ecx, %ecx	;  2 bytes
M0000000000000072:	callq	0x5ef430 <BloombergLP::bslma::TestAllocator::TestAllocator(char const*, bool, BloombergLP::bslma::Allocator*)>	;  5 bytes
M0000000000000077:	movl	$6223104, %edi	;  5 bytes
M000000000000007c:	movl	$8579408, %esi	;  5 bytes
M0000000000000081:	movl	$6233544, %edx	;  5 bytes
M0000000000000086:	callq	0x402aa0 <__cxa_atexit@plt>	;  5 bytes
M000000000000008b:	movl	$8579616, %edi	;  5 bytes
M0000000000000090:	callq	0x402a70 <__cxa_guard_release@plt>	;  5 bytes
M0000000000000095:	jmp	0x579515 <(anonymous namespace)::IntToPairConverter<signed char, signed char, bsl::allocator<bsl::pair<signed char const, signed char> > >::createInplace(bsl::pair<signed char, signed char>*, int, bsl::allocator<bsl::pair<signed char const, signed char> >)+0x45>	;  2 bytes
M0000000000000097:	movq	%rax, %rbx	;  3 bytes
M000000000000009a:	movl	$8579616, %edi	;  5 bytes
M000000000000009f:	callq	0x402bb0 <__cxa_guard_abort@plt>	;  5 bytes
M00000000000000a4:	movq	%rbx, %rdi	;  3 bytes
M00000000000000a7:	callq	0x402e30 <_Unwind_Resume@plt>	;  5 bytes
M00000000000000ac:	nopl	(%rax)	;  4 bytes