7.assume.s			7.none.s
n	1	0000000000406010 <BloombergLP::balb::Choice5::reset()>:	n	1	0000000000405fe0 <BloombergLP::balb::Choice5::reset()>:
	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
t	6	0000000000000008: 03    movl    48(%rdi), %eax	t
	7	000000000000000b: 03    cmpl    $1, %eax		6	0000000000000008: 04    cmpl    $0, 48(%rdi)
	8	000000000000000e: 02    je      0x40608f <BloombergLP::balb::Choice5::reset()+0x7f>		7	000000000000000c: 02    jne     0x40604f <BloombergLP::balb::Choice5::reset()+0x6f>
	9	0000000000000010: 02    testl   %eax, %eax		8	000000000000000e: 05    cmpl    $0, 32(%r14)
	10	0000000000000012: 02    jne     0x40608f <BloombergLP::balb::Choice5::reset()+0x7f>
	11	0000000000000014: 04    movl    32(%r14), %eax
	12	0000000000000018: 03    cmpl    $1, %eax
	13	000000000000001b: 02    je      0x406087 <BloombergLP::balb::Choice5::reset()+0x77>
	14	000000000000001d: 02    testl   %eax, %eax
	15	000000000000001f: 02    jne     0x406087 <BloombergLP::balb::Choice5::reset()+0x77>		9	0000000000000013: 02    jne     0x406047 <BloombergLP::balb::Choice5::reset()+0x67>
	16	0000000000000021: 03    movq    (%r14), %rbx		10	0000000000000015: 03    movq    (%r14), %rbx
	17	0000000000000024: 03    testq   %rbx, %rbx		11	0000000000000018: 03    testq   %rbx, %rbx
	18	0000000000000027: 02    je      0x406087 <BloombergLP::balb::Choice5::reset()+0x77>		12	000000000000001b: 02    je      0x406047 <BloombergLP::balb::Choice5::reset()+0x67>
	19	0000000000000029: 04    movq    8(%r14), %r15		13	000000000000001d: 04    movq    8(%r14), %r15
	20	000000000000002d: 03    cmpq    %r15, %rbx		14	0000000000000021: 03    cmpq    %r15, %rbx
	21	0000000000000030: 02    jne     0x406061 <BloombergLP::balb::Choice5::reset()+0x51>		15	0000000000000024: 02    jne     0x406021 <BloombergLP::balb::Choice5::reset()+0x41>
	22	0000000000000032: 02    jmp     0x40607a <BloombergLP::balb::Choice5::reset()+0x6a>		16	0000000000000026: 02    jmp     0x40603a <BloombergLP::balb::Choice5::reset()+0x5a>
	23	0000000000000034: 10    nopw    %cs:(%rax,%rax)		17	0000000000000028: 08    nopl    (%rax,%rax)
	24	000000000000003e: 02    nop
	25	0000000000000040: 08    movq    $-1, 24(%rbx)		18	0000000000000030: 08    movq    $-1, 24(%rbx)
	26	0000000000000048: 04    addq    $48, %rbx		19	0000000000000038: 04    addq    $48, %rbx
	27	000000000000004c: 03    cmpq    %rbx, %r15		20	000000000000003c: 03    cmpq    %rbx, %r15
	28	000000000000004f: 02    je      0x406077 <BloombergLP::balb::Choice5::reset()+0x67>		21	000000000000003f: 02    je      0x406037 <BloombergLP::balb::Choice5::reset()+0x57>
	29	0000000000000051: 05    cmpq    $23, 32(%rbx)		22	0000000000000041: 05    cmpq    $23, 32(%rbx)
	30	0000000000000056: 02    je      0x406050 <BloombergLP::balb::Choice5::reset()+0x40>		23	0000000000000046: 02    je      0x406010 <BloombergLP::balb::Choice5::reset()+0x30>
	31	0000000000000058: 03    movq    (%rbx), %rsi		24	0000000000000048: 03    movq    (%rbx), %rsi
	32	000000000000005b: 04    movq    40(%rbx), %rdi		25	000000000000004b: 04    movq    40(%rbx), %rdi
	33	000000000000005f: 03    movq    (%rdi), %rax		26	000000000000004f: 03    movq    (%rdi), %rax
	34	0000000000000062: 03    callq   *24(%rax)		27	0000000000000052: 03    callq   *24(%rax)
	35	0000000000000065: 02    jmp     0x406050 <BloombergLP::balb::Choice5::reset()+0x40>		28	0000000000000055: 02    jmp     0x406010 <BloombergLP::balb::Choice5::reset()+0x30>
	36	0000000000000067: 03    movq    (%r14), %rbx		29	0000000000000057: 03    movq    (%r14), %rbx
	37	000000000000006a: 04    movq    24(%r14), %rdi		30	000000000000005a: 04    movq    24(%r14), %rdi
	38	000000000000006e: 03    movq    (%rdi), %rax		31	000000000000005e: 03    movq    (%rdi), %rax
	39	0000000000000071: 03    movq    %rbx, %rsi		32	0000000000000061: 03    movq    %rbx, %rsi
	40	0000000000000074: 03    callq   *24(%rax)		33	0000000000000064: 03    callq   *24(%rax)
	41	0000000000000077: 08    movl    $4294967295, 32(%r14)		34	0000000000000067: 08    movl    $4294967295, 32(%r14)
	42	000000000000007f: 08    movl    $4294967295, 48(%r14)		35	000000000000006f: 08    movl    $4294967295, 48(%r14)
	43	0000000000000087: 01    popq    %rbx		36	0000000000000077: 01    popq    %rbx
	44	0000000000000088: 02    popq    %r14		37	0000000000000078: 02    popq    %r14
	45	000000000000008a: 02    popq    %r15		38	000000000000007a: 02    popq    %r15
	46	000000000000008c: 01    retq		39	000000000000007c: 01    retq
	47	000000000000008d: 03    movq    %rax, %rdi		40	000000000000007d: 03    movq    %rax, %rdi
	48	0000000000000090: 05    callq   0x4043c0 <__clang_call_terminate>		41	0000000000000080: 05    callq   0x4043c0 <__clang_call_terminate>
	49	0000000000000095: 03    movq    %rax, %rdi		42	0000000000000085: 03    movq    %rax, %rdi
	50	0000000000000098: 05    callq   0x4043c0 <__clang_call_terminate>		43	0000000000000088: 05    callq   0x4043c0 <__clang_call_terminate>
	51	000000000000009d: 03    nopl    (%rax)		44	000000000000008d: 03    nopl    (%rax)

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