Comparing testThread4 in assumed vs ignored

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