12.assume.s			12.none.s
n	1	0000000000406110 <BloombergLP::balb::Choice5::makeSelection1()>:	n	1	00000000004060d0 <BloombergLP::balb::Choice5::makeSelection1()>:
	2	0000000000000000: 02    pushq   %r15		2	0000000000000000: 02    pushq   %r15
	3	0000000000000002: 02    pushq   %r14		3	0000000000000002: 02    pushq   %r14
	4	0000000000000004: 01    pushq   %rbx		4	0000000000000004: 01    pushq   %rbx
	5	0000000000000005: 03    movq    %rdi, %r14		5	0000000000000005: 03    movq    %rdi, %r14
	6	0000000000000008: 04    cmpl    $0, 48(%rdi)		6	0000000000000008: 04    cmpl    $0, 48(%rdi)
n	7	000000000000000c: 02    je      0x406156 <BloombergLP::balb::Choice5::makeSelection1()+0x46>	n	7	000000000000000c: 02    je      0x406116 <BloombergLP::balb::Choice5::makeSelection1()+0x46>
	8	000000000000000e: 03    movq    %r14, %rdi		8	000000000000000e: 03    movq    %r14, %rdi
n	9	0000000000000011: 05    callq   0x406010 <BloombergLP::balb::Choice5::reset()>	n	9	0000000000000011: 05    callq   0x405fe0 <BloombergLP::balb::Choice5::reset()>
	10	0000000000000016: 04    movq    56(%r14), %rax		10	0000000000000016: 04    movq    56(%r14), %rax
	11	000000000000001a: 08    movl    $4294967295, 32(%r14)		11	000000000000001a: 08    movl    $4294967295, 32(%r14)
	12	0000000000000022: 03    testq   %rax, %rax		12	0000000000000022: 03    testq   %rax, %rax
n	13	0000000000000025: 02    jne     0x406148 <BloombergLP::balb::Choice5::makeSelection1()+0x38>	n	13	0000000000000025: 02    jne     0x406108 <BloombergLP::balb::Choice5::makeSelection1()+0x38>
	14	0000000000000027: 07    movq    2595346(%rip), %rax  # 67fb50 <BloombergLP::bslma::Default::s_defaultAllocator>		14	0000000000000027: 07    movq    2591314(%rip), %rax  # 67eb50 <BloombergLP::bslma::Default::s_defaultAllocator>
	15	000000000000002e: 03    testq   %rax, %rax		15	000000000000002e: 03    testq   %rax, %rax
n	16	0000000000000031: 02    jne     0x406148 <BloombergLP::balb::Choice5::makeSelection1()+0x38>	n	16	0000000000000031: 02    jne     0x406108 <BloombergLP::balb::Choice5::makeSelection1()+0x38>
	17	0000000000000033: 05    callq   0x4206c0 <BloombergLP::bslma::Default::determineAndReturnDefaultAllocator()>		17	0000000000000033: 05    callq   0x4207c0 <BloombergLP::bslma::Default::determineAndReturnDefaultAllocator()>
	18	0000000000000038: 04    movq    %rax, 40(%r14)		18	0000000000000038: 04    movq    %rax, 40(%r14)
	19	000000000000003c: 08    movl    $0, 48(%r14)		19	000000000000003c: 08    movl    $0, 48(%r14)
t	20	0000000000000044: 02    jmp     0x4061bf <BloombergLP::balb::Choice5::makeSelection1()+0xaf>	t	20	0000000000000044: 02    jmp     0x40616f <BloombergLP::balb::Choice5::makeSelection1()+0x9f>
	21	0000000000000046: 04    movl    32(%r14), %eax
	22	000000000000004a: 03    cmpl    $1, %eax		21	0000000000000046: 05    cmpl    $0, 32(%r14)
	23	000000000000004d: 02    je      0x4061b7 <BloombergLP::balb::Choice5::makeSelection1()+0xa7>		22	000000000000004b: 02    jne     0x406167 <BloombergLP::balb::Choice5::makeSelection1()+0x97>
	24	000000000000004f: 02    testl   %eax, %eax
	25	0000000000000051: 02    jne     0x4061b7 <BloombergLP::balb::Choice5::makeSelection1()+0xa7>
	26	0000000000000053: 03    movq    (%r14), %rbx		23	000000000000004d: 03    movq    (%r14), %rbx
	27	0000000000000056: 03    testq   %rbx, %rbx		24	0000000000000050: 03    testq   %rbx, %rbx
	28	0000000000000059: 02    je      0x4061b7 <BloombergLP::balb::Choice5::makeSelection1()+0xa7>		25	0000000000000053: 02    je      0x406167 <BloombergLP::balb::Choice5::makeSelection1()+0x97>
	29	000000000000005b: 04    movq    8(%r14), %r15		26	0000000000000055: 04    movq    8(%r14), %r15
	30	000000000000005f: 03    cmpq    %r15, %rbx		27	0000000000000059: 03    cmpq    %r15, %rbx
	31	0000000000000062: 02    jne     0x406191 <BloombergLP::balb::Choice5::makeSelection1()+0x81>		28	000000000000005c: 02    jne     0x406141 <BloombergLP::balb::Choice5::makeSelection1()+0x71>
	32	0000000000000064: 02    jmp     0x4061aa <BloombergLP::balb::Choice5::makeSelection1()+0x9a>		29	000000000000005e: 02    jmp     0x40615a <BloombergLP::balb::Choice5::makeSelection1()+0x8a>
	33	0000000000000066: 10    nopw    %cs:(%rax,%rax)
	34	0000000000000070: 08    movq    $-1, 24(%rbx)		30	0000000000000060: 08    movq    $-1, 24(%rbx)
	35	0000000000000078: 04    addq    $48, %rbx		31	0000000000000068: 04    addq    $48, %rbx
	36	000000000000007c: 03    cmpq    %rbx, %r15		32	000000000000006c: 03    cmpq    %rbx, %r15
	37	000000000000007f: 02    je      0x4061a7 <BloombergLP::balb::Choice5::makeSelection1()+0x97>		33	000000000000006f: 02    je      0x406157 <BloombergLP::balb::Choice5::makeSelection1()+0x87>
	38	0000000000000081: 05    cmpq    $23, 32(%rbx)		34	0000000000000071: 05    cmpq    $23, 32(%rbx)
	39	0000000000000086: 02    je      0x406180 <BloombergLP::balb::Choice5::makeSelection1()+0x70>		35	0000000000000076: 02    je      0x406130 <BloombergLP::balb::Choice5::makeSelection1()+0x60>
	40	0000000000000088: 03    movq    (%rbx), %rsi		36	0000000000000078: 03    movq    (%rbx), %rsi
	41	000000000000008b: 04    movq    40(%rbx), %rdi		37	000000000000007b: 04    movq    40(%rbx), %rdi
	42	000000000000008f: 03    movq    (%rdi), %rax		38	000000000000007f: 03    movq    (%rdi), %rax
	43	0000000000000092: 03    callq   *24(%rax)		39	0000000000000082: 03    callq   *24(%rax)
	44	0000000000000095: 02    jmp     0x406180 <BloombergLP::balb::Choice5::makeSelection1()+0x70>		40	0000000000000085: 02    jmp     0x406130 <BloombergLP::balb::Choice5::makeSelection1()+0x60>
	45	0000000000000097: 03    movq    (%r14), %rbx		41	0000000000000087: 03    movq    (%r14), %rbx
	46	000000000000009a: 04    movq    24(%r14), %rdi		42	000000000000008a: 04    movq    24(%r14), %rdi
	47	000000000000009e: 03    movq    (%rdi), %rax		43	000000000000008e: 03    movq    (%rdi), %rax
	48	00000000000000a1: 03    movq    %rbx, %rsi		44	0000000000000091: 03    movq    %rbx, %rsi
	49	00000000000000a4: 03    callq   *24(%rax)		45	0000000000000094: 03    callq   *24(%rax)
	50	00000000000000a7: 08    movl    $4294967295, 32(%r14)		46	0000000000000097: 08    movl    $4294967295, 32(%r14)
	51	00000000000000af: 03    movq    %r14, %rax		47	000000000000009f: 03    movq    %r14, %rax
	52	00000000000000b2: 01    popq    %rbx		48	00000000000000a2: 01    popq    %rbx
	53	00000000000000b3: 02    popq    %r14		49	00000000000000a3: 02    popq    %r14
	54	00000000000000b5: 02    popq    %r15		50	00000000000000a5: 02    popq    %r15
	55	00000000000000b7: 01    retq		51	00000000000000a7: 01    retq
	56	00000000000000b8: 03    movq    %rax, %rdi		52	00000000000000a8: 03    movq    %rax, %rdi
	57	00000000000000bb: 05    callq   0x4043c0 <__clang_call_terminate>		53	00000000000000ab: 05    callq   0x4043c0 <__clang_call_terminate>
	58	00000000000000c0: 03    movq    %rax, %rdi		54	00000000000000b0: 03    movq    %rax, %rdi
	59	00000000000000c3: 05    callq   0x4043c0 <__clang_call_terminate>		55	00000000000000b3: 05    callq   0x4043c0 <__clang_call_terminate>
	60	00000000000000c8: 08    nopl    (%rax,%rax)		56	00000000000000b8: 08    nopl    (%rax,%rax)

Legends
Colors  Added  Changed Deleted	Links (f)irst change (n)ext change (t)op