Ignored vs Assumed Semantics in BDE

(anonymous namespace)::u::Md5StateUtil::appendPaddingAndLength((anonymous namespace)::u::Md5State*) - Assumed

000000000045d710 <(anonymous namespace)::u::Md5StateUtil::appendPaddingAndLength((anonymous namespace)::u::Md5State*)>:
M0000000000000000:	pushq	%r15	;  2 bytes
M0000000000000002:	pushq	%r14	;  2 bytes
M0000000000000004:	pushq	%r13	;  2 bytes
M0000000000000006:	pushq	%r12	;  2 bytes
M0000000000000008:	pushq	%rbx	;  1 bytes
M0000000000000009:	subq	$176, %rsp	;  7 bytes
M0000000000000010:	movq	%rdi, %r14	;  3 bytes
M0000000000000013:	movzbl	80(%rdi), %edx	;  4 bytes
M0000000000000017:	xorl	%eax, %eax	;  2 bytes
M0000000000000019:	cmpq	$55, %rdx	;  4 bytes
M000000000000001d:	seta	%al	;  3 bytes
M0000000000000020:	shlq	$6, %rax	;  4 bytes
M0000000000000024:	subq	%rdx, %rax	;  3 bytes
M0000000000000027:	leaq	5221880(%rax), %rbx	;  7 bytes
M000000000000002e:	xorps	%xmm0, %xmm0	;  3 bytes
M0000000000000031:	movaps	%xmm0, 64(%rsp)	;  5 bytes
M0000000000000036:	movaps	%xmm0, 48(%rsp)	;  5 bytes
M000000000000003b:	movaps	%xmm0, 32(%rsp)	;  5 bytes
M0000000000000040:	movaps	%xmm0, 16(%rsp)	;  5 bytes
M0000000000000045:	movb	%dl, 80(%rsp)	;  4 bytes
M0000000000000049:	testq	%rdx, %rdx	;  3 bytes
M000000000000004c:	je	0x45d76f <(anonymous namespace)::u::Md5StateUtil::appendPaddingAndLength((anonymous namespace)::u::Md5State*)+0x5f>	;  2 bytes
M000000000000004e:	leaq	16(%r14), %rsi	;  4 bytes
M0000000000000052:	leaq	16(%rsp), %rdi	;  5 bytes
M0000000000000057:	callq	0x404cb0 <memcpy@plt>	;  5 bytes
M000000000000005c:	xorps	%xmm0, %xmm0	;  3 bytes
M000000000000005f:	movaps	%xmm0, 144(%rsp)	;  8 bytes
M0000000000000067:	movaps	%xmm0, 128(%rsp)	;  8 bytes
M000000000000006f:	movaps	%xmm0, 112(%rsp)	;  5 bytes
M0000000000000074:	movaps	%xmm0, 96(%rsp)	;  5 bytes
M0000000000000079:	movl	$5221824, %eax	;  5 bytes
M000000000000007e:	movl	%ebx, %ecx	;  2 bytes
M0000000000000080:	subb	%al, %cl	;  2 bytes
M0000000000000082:	movb	%cl, 160(%rsp)	;  7 bytes
M0000000000000089:	notq	%rax	;  3 bytes
M000000000000008c:	addq	%rbx, %rax	;  3 bytes
M000000000000008f:	cmpq	$63, %rax	;  4 bytes
M0000000000000093:	movl	$63, %edx	;  5 bytes
M0000000000000098:	cmovbq	%rax, %rdx	;  4 bytes
M000000000000009c:	incq	%rdx	;  3 bytes
M000000000000009f:	leaq	96(%rsp), %r15	;  5 bytes
M00000000000000a4:	movl	$5221824, %esi	;  5 bytes
M00000000000000a9:	movq	%r15, %rdi	;  3 bytes
M00000000000000ac:	callq	0x404cb0 <memcpy@plt>	;  5 bytes
M00000000000000b1:	leaq	16(%rsp), %r13	;  5 bytes
M00000000000000b6:	movq	%r13, %rdi	;  3 bytes
M00000000000000b9:	movq	%r15, %rsi	;  3 bytes
M00000000000000bc:	callq	0x45d8d0 <(anonymous namespace)::u::Md5BlockUtil::concatenate((anonymous namespace)::u::Md5Block*, (anonymous namespace)::u::Md5Block*)>	;  5 bytes
M00000000000000c1:	movups	(%r14), %xmm0	;  4 bytes
M00000000000000c5:	movaps	%xmm0, (%rsp)	;  4 bytes
M00000000000000c9:	cmpb	$0, 160(%rsp)	;  8 bytes
M00000000000000d1:	je	0x45d7fb <(anonymous namespace)::u::Md5StateUtil::appendPaddingAndLength((anonymous namespace)::u::Md5State*)+0xeb>	;  2 bytes
M00000000000000d3:	movq	%rsp, %rdi	;  3 bytes
M00000000000000d6:	leaq	16(%rsp), %rsi	;  5 bytes
M00000000000000db:	callq	0x45dca0 <(anonymous namespace)::u::Md5StateUtil::digest((anonymous namespace)::u::Md5Fingerprint*, (anonymous namespace)::u::Md5Block const&)>	;  5 bytes
M00000000000000e0:	movl	$2, %r12d	;  6 bytes
M00000000000000e6:	movq	%r15, %r13	;  3 bytes
M00000000000000e9:	jmp	0x45d801 <(anonymous namespace)::u::Md5StateUtil::appendPaddingAndLength((anonymous namespace)::u::Md5State*)+0xf1>	;  2 bytes
M00000000000000eb:	movl	$1, %r12d	;  6 bytes
M00000000000000f1:	movq	88(%r14), %rax	;  4 bytes
M00000000000000f5:	shlq	$6, %rax	;  4 bytes
M00000000000000f9:	movzbl	80(%r14), %ebx	;  5 bytes
M00000000000000fe:	addq	%rax, %rbx	;  3 bytes
M0000000000000101:	movzbl	64(%r13), %eax	;  5 bytes
M0000000000000106:	leaq	8(%rax), %r15	;  4 bytes
M000000000000010a:	leaq	(%r13,%rax), %rdi	;  5 bytes
M000000000000010f:	leaq	8(%r13,%rax), %rdx	;  5 bytes
M0000000000000114:	subq	%rdi, %rdx	;  3 bytes
M0000000000000117:	testq	%rdx, %rdx	;  3 bytes
M000000000000011a:	jle	0x45d833 <(anonymous namespace)::u::Md5StateUtil::appendPaddingAndLength((anonymous namespace)::u::Md5State*)+0x123>	;  2 bytes
M000000000000011c:	xorl	%esi, %esi	;  2 bytes
M000000000000011e:	callq	0x4044e0 <memset@plt>	;  5 bytes
M0000000000000123:	movb	%r15b, 64(%r13)	;  4 bytes
M0000000000000127:	movzbl	%r15b, %eax	;  4 bytes
M000000000000012b:	leal	(,%rbx,8), %ecx	;  7 bytes
M0000000000000132:	movb	%cl, -8(%r13,%rax)	;  5 bytes
M0000000000000137:	movq	%rbx, %rcx	;  3 bytes
M000000000000013a:	shrq	$5, %rcx	;  4 bytes
M000000000000013e:	movb	%cl, -7(%r13,%rax)	;  5 bytes
M0000000000000143:	movq	%rbx, %rcx	;  3 bytes
M0000000000000146:	shrq	$13, %rcx	;  4 bytes
M000000000000014a:	movb	%cl, -6(%r13,%rax)	;  5 bytes
M000000000000014f:	movq	%rbx, %rcx	;  3 bytes
M0000000000000152:	shrq	$21, %rcx	;  4 bytes
M0000000000000156:	movb	%cl, -5(%r13,%rax)	;  5 bytes
M000000000000015b:	movq	%rbx, %rcx	;  3 bytes
M000000000000015e:	shrq	$29, %rcx	;  4 bytes
M0000000000000162:	movb	%cl, -4(%r13,%rax)	;  5 bytes
M0000000000000167:	movq	%rbx, %rcx	;  3 bytes
M000000000000016a:	shrq	$37, %rcx	;  4 bytes
M000000000000016e:	movb	%cl, -3(%r13,%rax)	;  5 bytes
M0000000000000173:	movq	%rbx, %rcx	;  3 bytes
M0000000000000176:	shrq	$45, %rcx	;  4 bytes
M000000000000017a:	movb	%cl, -2(%r13,%rax)	;  5 bytes
M000000000000017f:	shrq	$53, %rbx	;  4 bytes
M0000000000000183:	movb	%bl, -1(%r13,%rax)	;  5 bytes
M0000000000000188:	movq	%rsp, %rdi	;  3 bytes
M000000000000018b:	movq	%r13, %rsi	;  3 bytes
M000000000000018e:	callq	0x45dca0 <(anonymous namespace)::u::Md5StateUtil::digest((anonymous namespace)::u::Md5Fingerprint*, (anonymous namespace)::u::Md5Block const&)>	;  5 bytes
M0000000000000193:	movaps	(%rsp), %xmm0	;  4 bytes
M0000000000000197:	movups	%xmm0, (%r14)	;  4 bytes
M000000000000019b:	movb	$0, 80(%r14)	;  5 bytes
M00000000000001a0:	addq	%r12, 88(%r14)	;  4 bytes
M00000000000001a4:	addq	$176, %rsp	;  7 bytes
M00000000000001ab:	popq	%rbx	;  1 bytes
M00000000000001ac:	popq	%r12	;  2 bytes
M00000000000001ae:	popq	%r13	;  2 bytes
M00000000000001b0:	popq	%r14	;  2 bytes
M00000000000001b2:	popq	%r15	;  2 bytes
M00000000000001b4:	retq		;  1 bytes
M00000000000001b5:	nopw	%cs:(%rax,%rax)	; 10 bytes
M00000000000001bf:	nop		;  1 bytes