8.assume.s			8.none.s
n	1	0000000000403f90 <testThread4>:	n	1	0000000000403fb0 <testThread4>:
	2	0000000000000000: 01    pushq   %rbp		2	0000000000000000: 01    pushq   %rbp
	3	0000000000000001: 02    pushq   %r15		3	0000000000000001: 02    pushq   %r15
	4	0000000000000003: 02    pushq   %r14		4	0000000000000003: 02    pushq   %r14
	5	0000000000000005: 01    pushq   %rbx		5	0000000000000005: 01    pushq   %rbx
	6	0000000000000006: 04    subq    $40, %rsp		6	0000000000000006: 04    subq    $40, %rsp
	7	000000000000000a: 03    movq    %rdi, %rbx		7	000000000000000a: 03    movq    %rdi, %rbx
t	8	000000000000000d: 07    cmpl    $1, 136(%rdi)	t	8	000000000000000d: 06    movl    136(%rdi), %eax
				9	0000000000000013: 02    testl   %eax, %eax
	9	0000000000000014: 02    jne     0x403fad <testThread4+0x1d>		10	0000000000000015: 02    je      0x403fd3 <testThread4+0x23>
				11	0000000000000017: 03    cmpl    $1, %eax
				12	000000000000001a: 02    jne     0x403fe0 <testThread4+0x30>
	10	0000000000000016: 05    callq   0x42f080 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>		13	000000000000001c: 05    callq   0x42f1e0 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>
	11	000000000000001b: 02    jmp     0x403fb2 <testThread4+0x22>		14	0000000000000021: 02    jmp     0x403fd8 <testThread4+0x28>
	12	000000000000001d: 05    callq   0x42f110 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>		15	0000000000000023: 05    callq   0x42f270 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>
	13	0000000000000022: 03    movq    %rax, %r14		16	0000000000000028: 03    movq    %rax, %r15
	14	0000000000000025: 02    movl    %edx, %ebp		17	000000000000002b: 03    movl    %edx, %r14d
				18	000000000000002e: 02    jmp     0x403fe6 <testThread4+0x36>
				19	0000000000000030: 03    xorl    %r14d, %r14d
				20	0000000000000033: 03    xorl    %r15d, %r15d
	15	0000000000000027: 05    movq    %rax, 24(%rsp)		21	0000000000000036: 05    movq    %r15, 24(%rsp)
	16	000000000000002c: 04    movl    %edx, 32(%rsp)		22	000000000000003b: 05    movl    %r14d, 32(%rsp)
	17	0000000000000030: 04    movslq  120(%rbx), %rax		23	0000000000000040: 04    movslq  120(%rbx), %rax
	18	0000000000000034: 07    imulq   $1125899907, %rax, %rcx		24	0000000000000044: 07    imulq   $1125899907, %rax, %rcx
	19	000000000000003b: 03    movq    %rcx, %rdx		25	000000000000004b: 03    movq    %rcx, %rdx
	20	000000000000003e: 04    shrq    $63, %rdx		26	000000000000004e: 04    shrq    $63, %rdx
	21	0000000000000042: 04    sarq    $50, %rcx		27	0000000000000052: 04    sarq    $50, %rcx
	22	0000000000000046: 02    addl    %edx, %ecx		28	0000000000000056: 02    addl    %edx, %ecx
	23	0000000000000048: 03    movslq  %ecx, %rsi		29	0000000000000058: 03    movslq  %ecx, %rsi
	24	000000000000004b: 06    imull   $1000000, %esi, %ecx		30	000000000000005b: 06    imull   $1000000, %esi, %ecx
	25	0000000000000051: 02    subl    %ecx, %eax		31	0000000000000061: 02    subl    %ecx, %eax
	26	0000000000000053: 06    imull   $1000, %eax, %edx		32	0000000000000063: 06    imull   $1000, %eax, %edx
	27	0000000000000059: 05    leaq    24(%rsp), %r15		33	0000000000000069: 05    leaq    24(%rsp), %rbp
	28	000000000000005e: 03    movq    %r15, %rdi		34	000000000000006e: 03    movq    %rbp, %rdi
	29	0000000000000061: 05    callq   0x42f230 <BloombergLP::bsls::TimeInterval::addInterval(long long, int)>		35	0000000000000071: 05    callq   0x42f390 <BloombergLP::bsls::TimeInterval::addInterval(long long, int)>
	30	0000000000000066: 03    movq    %rbx, %rdi		36	0000000000000076: 03    movq    %rbx, %rdi
	31	0000000000000069: 03    movq    %r15, %rsi		37	0000000000000079: 03    movq    %rbp, %rsi
	32	000000000000006c: 05    callq   0x4090b0 <BloombergLP::bslmt::Barrier::timedWait(BloombergLP::bsls::TimeInterval const&)>		38	000000000000007c: 05    callq   0x4091d0 <BloombergLP::bslmt::Barrier::timedWait(BloombergLP::bsls::TimeInterval const&)>
	33	0000000000000071: 03    movl    %eax, %r15d		39	0000000000000081: 02    movl    %eax, %ebp
	34	0000000000000074: 07    cmpl    $1, 136(%rbx)		40	0000000000000083: 06    movl    136(%rbx), %eax
				41	0000000000000089: 02    testl   %eax, %eax
	35	000000000000007b: 02    jne     0x404014 <testThread4+0x84>		42	000000000000008b: 02    je      0x404049 <testThread4+0x99>
				43	000000000000008d: 03    cmpl    $1, %eax
				44	0000000000000090: 02    jne     0x404050 <testThread4+0xa0>
	36	000000000000007d: 05    callq   0x42f080 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>		45	0000000000000092: 05    callq   0x42f1e0 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>
	37	0000000000000082: 02    jmp     0x404019 <testThread4+0x89>		46	0000000000000097: 02    jmp     0x40404e <testThread4+0x9e>
	38	0000000000000084: 05    callq   0x42f110 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>		47	0000000000000099: 05    callq   0x42f270 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>
				48	000000000000009e: 02    jmp     0x404054 <testThread4+0xa4>
				49	00000000000000a0: 02    xorl    %edx, %edx
				50	00000000000000a2: 02    xorl    %eax, %eax
	39	0000000000000089: 05    movq    %rax, 8(%rsp)		51	00000000000000a4: 05    movq    %rax, 8(%rsp)
	40	000000000000008e: 04    movl    %edx, 16(%rsp)		52	00000000000000a9: 04    movl    %edx, 16(%rsp)
	41	0000000000000092: 03    negq    %r14		53	00000000000000ad: 03    negq    %r15
	42	0000000000000095: 02    negl    %ebp		54	00000000000000b0: 03    negl    %r14d
	43	0000000000000097: 05    leaq    8(%rsp), %rdi		55	00000000000000b3: 05    leaq    8(%rsp), %rdi
	44	000000000000009c: 03    movq    %r14, %rsi		56	00000000000000b8: 03    movq    %r15, %rsi
	45	000000000000009f: 02    movl    %ebp, %edx		57	00000000000000bb: 03    movl    %r14d, %edx
	46	00000000000000a1: 05    callq   0x42f230 <BloombergLP::bsls::TimeInterval::addInterval(long long, int)>		58	00000000000000be: 05    callq   0x42f390 <BloombergLP::bsls::TimeInterval::addInterval(long long, int)>
	47	00000000000000a6: 03    testl   %r15d, %r15d		59	00000000000000c3: 02    testl   %ebp, %ebp
	48	00000000000000a9: 06    je      0x40415c <testThread4+0x1cc>		60	00000000000000c5: 06    je      0x404198 <testThread4+0x1e8>
	49	00000000000000af: 05    movq    8(%rsp), %rax		61	00000000000000cb: 05    movq    8(%rsp), %rax
	50	00000000000000b4: 04    movl    16(%rsp), %ecx		62	00000000000000d0: 04    movl    16(%rsp), %ecx
	51	00000000000000b8: 01    lock		63	00000000000000d4: 01    lock
	52	00000000000000b9: 06    incl    128(%rbx)		64	00000000000000d5: 06    incl    128(%rbx)
	53	00000000000000bf: 07    imulq   $1000000, %rax, %rax		65	00000000000000db: 07    imulq   $1000000, %rax, %rax
	54	00000000000000c6: 03    movslq  %ecx, %rcx		66	00000000000000e2: 03    movslq  %ecx, %rcx
	55	00000000000000c9: 07    imulq   $274877907, %rcx, %rcx		67	00000000000000e5: 07    imulq   $274877907, %rcx, %rcx
	56	00000000000000d0: 03    movq    %rcx, %rdx		68	00000000000000ec: 03    movq    %rcx, %rdx
	57	00000000000000d3: 04    shrq    $63, %rdx		69	00000000000000ef: 04    shrq    $63, %rdx
	58	00000000000000d7: 04    sarq    $38, %rcx		70	00000000000000f3: 04    sarq    $38, %rcx
	59	00000000000000db: 02    addl    %edx, %ecx		71	00000000000000f7: 02    addl    %edx, %ecx
	60	00000000000000dd: 03    movslq  %ecx, %r14		72	00000000000000f9: 03    movslq  %ecx, %r14
	61	00000000000000e0: 03    addq    %rax, %r14		73	00000000000000fc: 03    addq    %rax, %r14
	62	00000000000000e3: 04    movslq  120(%rbx), %rax		74	00000000000000ff: 04    movslq  120(%rbx), %rax
	63	00000000000000e7: 03    cmpq    %rax, %r14		75	0000000000000103: 03    cmpq    %rax, %r14
	64	00000000000000ea: 06    jge     0x40415c <testThread4+0x1cc>		76	0000000000000106: 06    jge     0x404198 <testThread4+0x1e8>
	65	00000000000000f0: 05    movl    $6580080, %edi		77	000000000000010c: 05    movl    $6580080, %edi
	66	00000000000000f5: 05    movl    $4388296, %esi		78	0000000000000111: 05    movl    $4388648, %esi
	67	00000000000000fa: 05    movl    $17, %edx		79	0000000000000116: 05    movl    $17, %edx
	68	00000000000000ff: 05    callq   0x408560 <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)>
	69	0000000000000104: 05    movl    $4390017, %esi
	70	0000000000000109: 05    movl    $2, %edx
	71	000000000000010e: 03    movq    %rax, %rdi
	72	0000000000000111: 05    callq   0x408560 <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)>		80	000000000000011b: 05    callq   0x4085c0 <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)>
	73	0000000000000116: 06    movl    136(%rbx), %esi
	74	000000000000011c: 03    movq    %rax, %rdi
	75	000000000000011f: 05    callq   0x403600 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEi@plt>
	76	0000000000000124: 05    movl    $4388314, %esi		81	0000000000000120: 05    movl    $4390365, %esi
	77	0000000000000129: 05    movl    $1, %edx		82	0000000000000125: 05    movl    $2, %edx
	78	000000000000012e: 03    movq    %rax, %rdi		83	000000000000012a: 03    movq    %rax, %rdi
	79	0000000000000131: 05    callq   0x408560 <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)>		84	000000000000012d: 05    callq   0x4085c0 <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)>
				85	0000000000000132: 06    movl    136(%rbx), %esi
				86	0000000000000138: 03    movq    %rax, %rdi
				87	000000000000013b: 05    callq   0x403600 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEi@plt>
	80	0000000000000136: 05    movl    $4388385, %esi		88	0000000000000140: 05    movl    $4388666, %esi
	81	000000000000013b: 05    movl    $15, %edx		89	0000000000000145: 05    movl    $1, %edx
	82	0000000000000140: 03    movq    %rax, %rdi		90	000000000000014a: 03    movq    %rax, %rdi
	83	0000000000000143: 05    callq   0x408560 <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)>		91	000000000000014d: 05    callq   0x4085c0 <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)>
	84	0000000000000148: 05    movl    $4390017, %esi		92	0000000000000152: 05    movl    $4388737, %esi
	85	000000000000014d: 05    movl    $2, %edx		93	0000000000000157: 05    movl    $15, %edx
	86	0000000000000152: 03    movq    %rax, %rdi		94	000000000000015c: 03    movq    %rax, %rdi
	87	0000000000000155: 05    callq   0x408560 <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)>		95	000000000000015f: 05    callq   0x4085c0 <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)>
				96	0000000000000164: 05    movl    $4390365, %esi
				97	0000000000000169: 05    movl    $2, %edx
				98	000000000000016e: 03    movq    %rax, %rdi
				99	0000000000000171: 05    callq   0x4085c0 <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)>
	88	000000000000015a: 03    movl    120(%rbx), %esi		100	0000000000000176: 03    movl    120(%rbx), %esi
	89	000000000000015d: 03    movq    %rax, %rdi		101	0000000000000179: 03    movq    %rax, %rdi
	90	0000000000000160: 05    callq   0x403600 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEi@plt>		102	000000000000017c: 05    callq   0x403600 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEi@plt>
	91	0000000000000165: 05    movl    $4388314, %esi		103	0000000000000181: 05    movl    $4388666, %esi
	92	000000000000016a: 05    movl    $1, %edx		104	0000000000000186: 05    movl    $1, %edx
				105	000000000000018b: 03    movq    %rax, %rdi
				106	000000000000018e: 05    callq   0x4085c0 <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)>
				107	0000000000000193: 05    movl    $4388668, %esi
				108	0000000000000198: 05    movl    $28, %edx
				109	000000000000019d: 03    movq    %rax, %rdi
				110	00000000000001a0: 05    callq   0x4085c0 <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)>
				111	00000000000001a5: 05    movl    $4390365, %esi
				112	00000000000001aa: 05    movl    $2, %edx
	93	000000000000016f: 03    movq    %rax, %rdi		113	00000000000001af: 03    movq    %rax, %rdi
	94	0000000000000172: 05    callq   0x408560 <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)>		114	00000000000001b2: 05    callq   0x4085c0 <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)>
	95	0000000000000177: 05    movl    $4388316, %esi
	96	000000000000017c: 05    movl    $28, %edx
	97	0000000000000181: 03    movq    %rax, %rdi		115	00000000000001b7: 03    movq    %rax, %rdi
				116	00000000000001ba: 03    movq    %r14, %rsi
				117	00000000000001bd: 05    callq   0x4036f0 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEx@plt>
				118	00000000000001c2: 05    movl    $4389604, %esi
				119	00000000000001c7: 05    movl    $1, %edx
				120	00000000000001cc: 03    movq    %rax, %rdi
	98	0000000000000184: 05    callq   0x408560 <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)>		121	00000000000001cf: 05    callq   0x4085c0 <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)>
	99	0000000000000189: 05    movl    $4390017, %esi		122	00000000000001d4: 05    movl    $4388697, %esi
	100	000000000000018e: 05    movl    $2, %edx
	101	0000000000000193: 03    movq    %rax, %rdi
	102	0000000000000196: 05    callq   0x408560 <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)>
	103	000000000000019b: 03    movq    %rax, %rdi
	104	000000000000019e: 03    movq    %r14, %rsi
	105	00000000000001a1: 05    callq   0x4036f0 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEx@plt>
	106	00000000000001a6: 05    movl    $4389254, %esi
	107	00000000000001ab: 05    movl    $1, %edx
	108	00000000000001b0: 03    movq    %rax, %rdi
	109	00000000000001b3: 05    callq   0x408560 <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)>
	110	00000000000001b8: 05    movl    $4388345, %esi
	111	00000000000001bd: 05    movl    $1, %edi		123	00000000000001d9: 05    movl    $1, %edi
	112	00000000000001c2: 05    movl    $457, %edx		124	00000000000001de: 05    movl    $457, %edx
	113	00000000000001c7: 05    callq   0x404180 <(anonymous namespace)::aSsErT(bool, char const*, int)>		125	00000000000001e3: 05    callq   0x4041c0 <(anonymous namespace)::aSsErT(bool, char const*, int)>
	114	00000000000001cc: 01    lock		126	00000000000001e8: 01    lock
	115	00000000000001cd: 03    incl    124(%rbx)		127	00000000000001e9: 03    incl    124(%rbx)
				128	00000000000001ec: 04    nopl    (%rax)
	116	00000000000001d0: 06    movl    132(%rbx), %eax		129	00000000000001f0: 06    movl    132(%rbx), %eax
	117	00000000000001d6: 02    incl    %eax		130	00000000000001f6: 02    incl    %eax
	118	00000000000001d8: 03    movl    124(%rbx), %ecx		131	00000000000001f8: 03    movl    124(%rbx), %ecx
	119	00000000000001db: 02    cmpl    %ecx, %eax		132	00000000000001fb: 02    cmpl    %ecx, %eax
	120	00000000000001dd: 02    jne     0x404160 <testThread4+0x1d0>		133	00000000000001fd: 02    jne     0x4041a0 <testThread4+0x1f0>
	121	00000000000001df: 03    movq    %rbx, %rax		134	00000000000001ff: 03    movq    %rbx, %rax
	122	00000000000001e2: 04    addq    $40, %rsp		135	0000000000000202: 04    addq    $40, %rsp
	123	00000000000001e6: 01    popq    %rbx		136	0000000000000206: 01    popq    %rbx
	124	00000000000001e7: 02    popq    %r14		137	0000000000000207: 02    popq    %r14
	125	00000000000001e9: 02    popq    %r15		138	0000000000000209: 02    popq    %r15
	126	00000000000001eb: 01    popq    %rbp		139	000000000000020b: 01    popq    %rbp
	127	00000000000001ec: 01    retq		140	000000000000020c: 01    retq
	128	00000000000001ed: 03    nopl    (%rax)		141	000000000000020d: 03    nopl    (%rax)

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