Comparing thread3Wait in assumed vs ignored

Files changed (1) hide show
  1. bslmt_timedsemaphoreimpl_posixadv.t/{0.assume.s → 0.none.s} +109 -90
bslmt_timedsemaphoreimpl_posixadv.t/{0.assume.s → 0.none.s} RENAMED
@@ -1,118 +1,137 @@
1
  0000000000403e30 <thread3Wait>:
2
  0000000000000000: 01 pushq %rbp
3
  0000000000000001: 02 pushq %r15
4
  0000000000000003: 02 pushq %r14
5
  0000000000000005: 02 pushq %r13
6
  0000000000000007: 02 pushq %r12
7
  0000000000000009: 01 pushq %rbx
8
  000000000000000a: 04 subq $40, %rsp
9
  000000000000000e: 03 movq %rdi, %r12
10
  0000000000000011: 04 movq 8(%rdi), %rbx
11
- 0000000000000015: 04 cmpl $1, 20(%rdi)
12
- 0000000000000019: 02 jne 0x403e52 <thread3Wait+0x22>
13
- 000000000000001b: 05 callq 0x412720 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>
14
- 0000000000000020: 02 jmp 0x403e57 <thread3Wait+0x27>
15
- 0000000000000022: 05 callq 0x4127b0 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>
16
- 0000000000000027: 05 movq %rax, 8(%rsp)
17
- 000000000000002c: 04 movl %edx, 16(%rsp)
18
- 0000000000000030: 03 xorl %r14d, %r14d
19
- 0000000000000033: 05 leaq 8(%rsp), %rdi
20
- 0000000000000038: 02 xorl %esi, %esi
21
- 000000000000003a: 05 movl $100000, %edx
22
- 000000000000003f: 05 callq 0x4128d0 <BloombergLP::bsls::TimeInterval::addInterval(long long, int)>
23
- 0000000000000044: 03 movq (%rax), %rcx
24
- 0000000000000047: 03 movl 8(%rax), %eax
25
- 000000000000004a: 05 movq %rcx, 8(%rsp)
26
- 000000000000004f: 04 movl %eax, 16(%rsp)
27
- 0000000000000053: 05 leaq 8(%rsp), %rsi
28
- 0000000000000058: 03 movq %rbx, %rdi
29
- 000000000000005b: 05 callq 0x407210 <BloombergLP::bslmt::TimedSemaphoreImpl<BloombergLP::bslmt::Platform::PosixAdvTimedSemaphore>::timedWait(BloombergLP::bsls::TimeInterval const&)>
30
- 0000000000000060: 02 xorl %edi, %edi
31
- 0000000000000062: 02 testl %eax, %eax
32
- 0000000000000064: 04 sete %dil
33
- 0000000000000068: 05 movl $4271122, %esi
34
- 000000000000006d: 05 movl $360, %edx
35
- 0000000000000072: 05 callq 0x403bb0 <(anonymous namespace)::aSsErT(bool, char const*, int)>
36
- 0000000000000077: 04 movq (%r12), %rdi
37
- 000000000000007b: 05 callq 0x4039e0 <MyBarrier::wait()>
38
- 0000000000000080: 06 cmpl $0, 16(%r12)
39
- 0000000000000086: 06 jle 0x403f55 <thread3Wait+0x125>
40
- 000000000000008c: 05 leaq 8(%rsp), %r15
41
- 0000000000000091: 02 jmp 0x403f41 <thread3Wait+0x111>
42
- 0000000000000093: 10 nopw %cs:(%rax,%rax)
43
- 000000000000009d: 03 nopl (%rax)
44
- 00000000000000a0: 05 callq 0x4127b0 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>
45
- 00000000000000a5: 03 movq %rax, %rbx
46
- 00000000000000a8: 02 movl %edx, %ebp
 
 
 
 
 
47
  00000000000000aa: 05 leaq 24(%rsp), %rdi
48
- 00000000000000af: 08 movsd 60537(%rip), %xmm0 # 412b60 <__dso_handle+0x8>
49
- 00000000000000b7: 05 callq 0x412830 <BloombergLP::bsls::TimeInterval::TimeInterval(double)>
50
- 00000000000000bc: 05 movq %rbx, 8(%rsp)
51
- 00000000000000c1: 04 movl %ebp, 16(%rsp)
52
  00000000000000c5: 05 movq 24(%rsp), %rsi
53
  00000000000000ca: 04 movl 32(%rsp), %edx
54
  00000000000000ce: 03 movq %r15, %rdi
55
- 00000000000000d1: 05 callq 0x4128d0 <BloombergLP::bsls::TimeInterval::addInterval(long long, int)>
56
  00000000000000d6: 03 movq (%rax), %rcx
57
  00000000000000d9: 03 movl 8(%rax), %eax
58
  00000000000000dc: 05 movq %rcx, 8(%rsp)
59
  00000000000000e1: 04 movl %eax, 16(%rsp)
60
  00000000000000e5: 03 movq %r13, %rdi
61
  00000000000000e8: 03 movq %r15, %rsi
62
- 00000000000000eb: 05 callq 0x407210 <BloombergLP::bslmt::TimedSemaphoreImpl<BloombergLP::bslmt::Platform::PosixAdvTimedSemaphore>::timedWait(BloombergLP::bsls::TimeInterval const&)>
63
  00000000000000f0: 02 xorl %edi, %edi
64
  00000000000000f2: 02 testl %eax, %eax
65
  00000000000000f4: 04 setne %dil
66
- 00000000000000f8: 05 movl $4271222, %esi
67
  00000000000000fd: 05 movl $365, %edx
68
  0000000000000102: 05 callq 0x403bb0 <(anonymous namespace)::aSsErT(bool, char const*, int)>
69
  0000000000000107: 03 incl %r14d
70
  000000000000010a: 05 cmpl 16(%r12), %r14d
71
- 000000000000010f: 02 jge 0x403f55 <thread3Wait+0x125>
72
  0000000000000111: 05 movq 8(%r12), %r13
73
- 0000000000000116: 06 cmpl $1, 20(%r12)
74
- 000000000000011c: 02 jne 0x403ed0 <thread3Wait+0xa0>
75
- 000000000000011e: 05 callq 0x412720 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>
76
- 0000000000000123: 02 jmp 0x403ed5 <thread3Wait+0xa5>
77
- 0000000000000125: 04 movq (%r12), %rdi
78
- 0000000000000129: 05 callq 0x4039e0 <MyBarrier::wait()>
79
- 000000000000012e: 06 cmpl $0, 16(%r12)
80
- 0000000000000134: 02 jle 0x403fca <thread3Wait+0x19a>
81
- 0000000000000136: 02 xorl %ebp, %ebp
82
- 0000000000000138: 05 leaq 8(%rsp), %r14
83
- 000000000000013d: 02 jmp 0x403fb6 <thread3Wait+0x186>
84
- 000000000000013f: 01 nop
85
- 0000000000000140: 05 callq 0x4127b0 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>
86
- 0000000000000145: 05 movq %rax, 8(%rsp)
87
- 000000000000014a: 04 movl %edx, 16(%rsp)
88
- 000000000000014e: 03 movq %r14, %rdi
89
- 0000000000000151: 02 xorl %esi, %esi
90
- 0000000000000153: 05 movl $20000, %edx
91
- 0000000000000158: 05 callq 0x4128d0 <BloombergLP::bsls::TimeInterval::addInterval(long long, int)>
92
- 000000000000015d: 03 movq (%rax), %rcx
93
- 0000000000000160: 03 movl 8(%rax), %eax
94
- 0000000000000163: 05 movq %rcx, 8(%rsp)
95
- 0000000000000168: 04 movl %eax, 16(%rsp)
96
- 000000000000016c: 03 movq %rbx, %rdi
97
- 000000000000016f: 03 movq %r14, %rsi
98
- 0000000000000172: 05 callq 0x407210 <BloombergLP::bslmt::TimedSemaphoreImpl<BloombergLP::bslmt::Platform::PosixAdvTimedSemaphore>::timedWait(BloombergLP::bsls::TimeInterval const&)>
99
- 0000000000000177: 03 cmpl $1, %eax
100
- 000000000000017a: 03 adcl $-1, %ebp
101
- 000000000000017d: 02 incl %ebp
102
- 000000000000017f: 05 cmpl 16(%r12), %ebp
103
- 0000000000000184: 02 jge 0x403fca <thread3Wait+0x19a>
104
- 0000000000000186: 05 movq 8(%r12), %rbx
105
- 000000000000018b: 06 cmpl $1, 20(%r12)
106
- 0000000000000191: 02 jne 0x403f70 <thread3Wait+0x140>
107
- 0000000000000193: 05 callq 0x412720 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>
108
- 0000000000000198: 02 jmp 0x403f75 <thread3Wait+0x145>
109
- 000000000000019a: 02 xorl %eax, %eax
110
- 000000000000019c: 04 addq $40, %rsp
111
- 00000000000001a0: 01 popq %rbx
112
- 00000000000001a1: 02 popq %r12
113
- 00000000000001a3: 02 popq %r13
114
- 00000000000001a5: 02 popq %r14
115
- 00000000000001a7: 02 popq %r15
116
- 00000000000001a9: 01 popq %rbp
117
- 00000000000001aa: 01 retq
118
- 00000000000001ab: 05 nopl (%rax,%rax)
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
  0000000000403e30 <thread3Wait>:
2
  0000000000000000: 01 pushq %rbp
3
  0000000000000001: 02 pushq %r15
4
  0000000000000003: 02 pushq %r14
5
  0000000000000005: 02 pushq %r13
6
  0000000000000007: 02 pushq %r12
7
  0000000000000009: 01 pushq %rbx
8
  000000000000000a: 04 subq $40, %rsp
9
  000000000000000e: 03 movq %rdi, %r12
10
  0000000000000011: 04 movq 8(%rdi), %rbx
11
+ 0000000000000015: 03 movl 20(%rdi), %eax
12
+ 0000000000000018: 02 testl %eax, %eax
13
+ 000000000000001a: 02 je 0x403e58 <thread3Wait+0x28>
14
+ 000000000000001c: 03 cmpl $1, %eax
15
+ 000000000000001f: 02 jne 0x403e5f <thread3Wait+0x2f>
16
+ 0000000000000021: 05 callq 0x412760 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>
17
+ 0000000000000026: 02 jmp 0x403e5d <thread3Wait+0x2d>
18
+ 0000000000000028: 05 callq 0x4127f0 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>
19
+ 000000000000002d: 02 jmp 0x403e63 <thread3Wait+0x33>
20
+ 000000000000002f: 02 xorl %edx, %edx
21
+ 0000000000000031: 02 xorl %eax, %eax
22
+ 0000000000000033: 05 movq %rax, 8(%rsp)
23
+ 0000000000000038: 04 movl %edx, 16(%rsp)
24
+ 000000000000003c: 03 xorl %r14d, %r14d
25
+ 000000000000003f: 05 leaq 8(%rsp), %rdi
26
+ 0000000000000044: 02 xorl %esi, %esi
27
+ 0000000000000046: 05 movl $100000, %edx
28
+ 000000000000004b: 05 callq 0x412910 <BloombergLP::bsls::TimeInterval::addInterval(long long, int)>
29
+ 0000000000000050: 03 movq (%rax), %rcx
30
+ 0000000000000053: 03 movl 8(%rax), %eax
31
+ 0000000000000056: 05 movq %rcx, 8(%rsp)
32
+ 000000000000005b: 04 movl %eax, 16(%rsp)
33
+ 000000000000005f: 05 leaq 8(%rsp), %rsi
34
+ 0000000000000064: 03 movq %rbx, %rdi
35
+ 0000000000000067: 05 callq 0x407260 <BloombergLP::bslmt::TimedSemaphoreImpl<BloombergLP::bslmt::Platform::PosixAdvTimedSemaphore>::timedWait(BloombergLP::bsls::TimeInterval const&)>
36
+ 000000000000006c: 02 xorl %edi, %edi
37
+ 000000000000006e: 02 testl %eax, %eax
38
+ 0000000000000070: 04 sete %dil
39
+ 0000000000000074: 05 movl $4271186, %esi
40
+ 0000000000000079: 05 movl $360, %edx
41
+ 000000000000007e: 05 callq 0x403bb0 <(anonymous namespace)::aSsErT(bool, char const*, int)>
42
+ 0000000000000083: 04 movq (%r12), %rdi
43
+ 0000000000000087: 05 callq 0x4039e0 <MyBarrier::wait()>
44
+ 000000000000008c: 06 cmpl $0, 16(%r12)
45
+ 0000000000000092: 06 jle 0x403f69 <thread3Wait+0x139>
46
+ 0000000000000098: 05 leaq 8(%rsp), %r15
47
+ 000000000000009d: 02 jmp 0x403f41 <thread3Wait+0x111>
48
+ 000000000000009f: 01 nop
49
+ 00000000000000a0: 05 callq 0x4127f0 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>
50
+ 00000000000000a5: 03 movq %rax, %rbp
51
+ 00000000000000a8: 02 movl %edx, %ebx
52
  00000000000000aa: 05 leaq 24(%rsp), %rdi
53
+ 00000000000000af: 08 movsd 60601(%rip), %xmm0 # 412ba0 <__dso_handle+0x8>
54
+ 00000000000000b7: 05 callq 0x412870 <BloombergLP::bsls::TimeInterval::TimeInterval(double)>
55
+ 00000000000000bc: 05 movq %rbp, 8(%rsp)
56
+ 00000000000000c1: 04 movl %ebx, 16(%rsp)
57
  00000000000000c5: 05 movq 24(%rsp), %rsi
58
  00000000000000ca: 04 movl 32(%rsp), %edx
59
  00000000000000ce: 03 movq %r15, %rdi
60
+ 00000000000000d1: 05 callq 0x412910 <BloombergLP::bsls::TimeInterval::addInterval(long long, int)>
61
  00000000000000d6: 03 movq (%rax), %rcx
62
  00000000000000d9: 03 movl 8(%rax), %eax
63
  00000000000000dc: 05 movq %rcx, 8(%rsp)
64
  00000000000000e1: 04 movl %eax, 16(%rsp)
65
  00000000000000e5: 03 movq %r13, %rdi
66
  00000000000000e8: 03 movq %r15, %rsi
67
+ 00000000000000eb: 05 callq 0x407260 <BloombergLP::bslmt::TimedSemaphoreImpl<BloombergLP::bslmt::Platform::PosixAdvTimedSemaphore>::timedWait(BloombergLP::bsls::TimeInterval const&)>
68
  00000000000000f0: 02 xorl %edi, %edi
69
  00000000000000f2: 02 testl %eax, %eax
70
  00000000000000f4: 04 setne %dil
71
+ 00000000000000f8: 05 movl $4271286, %esi
72
  00000000000000fd: 05 movl $365, %edx
73
  0000000000000102: 05 callq 0x403bb0 <(anonymous namespace)::aSsErT(bool, char const*, int)>
74
  0000000000000107: 03 incl %r14d
75
  000000000000010a: 05 cmpl 16(%r12), %r14d
76
+ 000000000000010f: 02 jge 0x403f69 <thread3Wait+0x139>
77
  0000000000000111: 05 movq 8(%r12), %r13
78
+ 0000000000000116: 05 movl 20(%r12), %eax
79
+ 000000000000011b: 02 testl %eax, %eax
80
+ 000000000000011d: 02 je 0x403ed0 <thread3Wait+0xa0>
81
+ 000000000000011f: 03 cmpl $1, %eax
82
+ 0000000000000122: 02 jne 0x403f60 <thread3Wait+0x130>
83
+ 0000000000000124: 05 callq 0x412760 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>
84
+ 0000000000000129: 05 jmp 0x403ed5 <thread3Wait+0xa5>
85
+ 000000000000012e: 02 nop
86
+ 0000000000000130: 02 xorl %ebx, %ebx
87
+ 0000000000000132: 02 xorl %ebp, %ebp
88
+ 0000000000000134: 05 jmp 0x403eda <thread3Wait+0xaa>
89
+ 0000000000000139: 04 movq (%r12), %rdi
90
+ 000000000000013d: 05 callq 0x4039e0 <MyBarrier::wait()>
91
+ 0000000000000142: 06 cmpl $0, 16(%r12)
92
+ 0000000000000148: 02 jle 0x403ff6 <thread3Wait+0x1c6>
93
+ 000000000000014a: 02 xorl %ebp, %ebp
94
+ 000000000000014c: 05 leaq 8(%rsp), %r14
95
+ 0000000000000151: 02 jmp 0x403fd6 <thread3Wait+0x1a6>
96
+ 0000000000000153: 10 nopw %cs:(%rax,%rax)
97
+ 000000000000015d: 03 nopl (%rax)
98
+ 0000000000000160: 05 callq 0x4127f0 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>
99
+ 0000000000000165: 05 movq %rax, 8(%rsp)
100
+ 000000000000016a: 04 movl %edx, 16(%rsp)
101
+ 000000000000016e: 03 movq %r14, %rdi
102
+ 0000000000000171: 02 xorl %esi, %esi
103
+ 0000000000000173: 05 movl $20000, %edx
104
+ 0000000000000178: 05 callq 0x412910 <BloombergLP::bsls::TimeInterval::addInterval(long long, int)>
105
+ 000000000000017d: 03 movq (%rax), %rcx
106
+ 0000000000000180: 03 movl 8(%rax), %eax
107
+ 0000000000000183: 05 movq %rcx, 8(%rsp)
108
+ 0000000000000188: 04 movl %eax, 16(%rsp)
109
+ 000000000000018c: 03 movq %rbx, %rdi
110
+ 000000000000018f: 03 movq %r14, %rsi
111
+ 0000000000000192: 05 callq 0x407260 <BloombergLP::bslmt::TimedSemaphoreImpl<BloombergLP::bslmt::Platform::PosixAdvTimedSemaphore>::timedWait(BloombergLP::bsls::TimeInterval const&)>
112
+ 0000000000000197: 03 cmpl $1, %eax
113
+ 000000000000019a: 03 adcl $-1, %ebp
114
+ 000000000000019d: 02 incl %ebp
115
+ 000000000000019f: 05 cmpl 16(%r12), %ebp
116
+ 00000000000001a4: 02 jge 0x403ff6 <thread3Wait+0x1c6>
117
+ 00000000000001a6: 05 movq 8(%r12), %rbx
118
+ 00000000000001ab: 05 movl 20(%r12), %eax
119
+ 00000000000001b0: 02 testl %eax, %eax
120
+ 00000000000001b2: 02 je 0x403f90 <thread3Wait+0x160>
121
+ 00000000000001b4: 03 cmpl $1, %eax
122
+ 00000000000001b7: 02 jne 0x403ff0 <thread3Wait+0x1c0>
123
+ 00000000000001b9: 05 callq 0x412760 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>
124
+ 00000000000001be: 02 jmp 0x403f95 <thread3Wait+0x165>
125
+ 00000000000001c0: 02 xorl %edx, %edx
126
+ 00000000000001c2: 02 xorl %eax, %eax
127
+ 00000000000001c4: 02 jmp 0x403f95 <thread3Wait+0x165>
128
+ 00000000000001c6: 02 xorl %eax, %eax
129
+ 00000000000001c8: 04 addq $40, %rsp
130
+ 00000000000001cc: 01 popq %rbx
131
+ 00000000000001cd: 02 popq %r12
132
+ 00000000000001cf: 02 popq %r13
133
+ 00000000000001d1: 02 popq %r14
134
+ 00000000000001d3: 02 popq %r15
135
+ 00000000000001d5: 01 popq %rbp
136
+ 00000000000001d6: 01 retq
137
+ 00000000000001d7: 09 nopw (%rax,%rax)