Comparing int BloombergLP::bslmt::ChronoUtil::timedWait > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point > > const&) in assumed vs ignored

Files changed (1) hide show
  1. bslmt_sluice.t/{4.assume.s → 4.none.s} +54 -46
bslmt_sluice.t/{4.assume.s → 4.none.s} RENAMED
@@ -1,65 +1,73 @@
1
- 0000000000406830 <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)>:
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 %rsi, %rbx
10
  0000000000000011: 03 movq %rdi, %r13
11
  0000000000000014: 05 callq 0x403840 <_ZNSt3__16chrono12steady_clock3nowEv@plt>
12
  0000000000000019: 03 movq %rax, %rbp
13
  000000000000001c: 07 addq $-10000, %rbp
14
  0000000000000023: 05 movl $4294967295, %eax
15
  0000000000000028: 03 cmpq (%rbx), %rbp
16
- 000000000000002b: 06 jge 0x4068fd <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)+0xcd>
17
  0000000000000031: 10 movabsq $1237940039285380275, %r14
18
  000000000000003b: 03 movq %rsp, %r15
19
  000000000000003e: 05 leaq 16(%rsp), %r12
20
  0000000000000043: 10 nopw %cs:(%rax,%rax)
21
  000000000000004d: 03 nopl (%rax)
22
- 0000000000000050: 05 cmpl $1, 32(%r13)
23
- 0000000000000055: 02 jne 0x406890 <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)+0x60>
24
- 0000000000000057: 05 callq 0x42db40 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>
25
- 000000000000005c: 02 jmp 0x406895 <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)+0x65>
26
- 000000000000005e: 02 nop
27
- 0000000000000060: 05 callq 0x42dbd0 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>
28
- 0000000000000065: 04 movq %rax, (%rsp)
29
- 0000000000000069: 04 movl %edx, 8(%rsp)
30
- 000000000000006d: 03 movq (%rbx), %rcx
31
- 0000000000000070: 03 subq %rbp, %rcx
32
- 0000000000000073: 03 movq %rcx, %rax
33
- 0000000000000076: 03 imulq %r14
34
- 0000000000000079: 03 movq %rdx, %rax
35
- 000000000000007c: 04 shrq $63, %rax
36
- 0000000000000080: 04 sarq $26, %rdx
37
- 0000000000000084: 03 addq %rax, %rdx
38
- 0000000000000087: 06 imull $3294967296, %edx, %eax
39
- 000000000000008d: 02 addl %eax, %ecx
40
- 000000000000008f: 03 movq %r15, %rdi
41
- 0000000000000092: 03 movq %rdx, %rsi
42
- 0000000000000095: 02 movl %ecx, %edx
43
- 0000000000000097: 05 callq 0x42dcf0 <BloombergLP::bsls::TimeInterval::addInterval(long long, int)>
44
- 000000000000009c: 03 movups (%rax), %xmm0
45
- 000000000000009f: 05 movaps %xmm0, 16(%rsp)
46
- 00000000000000a4: 03 movq %r13, %rdi
47
- 00000000000000a7: 03 movq %r12, %rsi
48
- 00000000000000aa: 05 callq 0x407810 <BloombergLP::bslmt::TimedSemaphoreImpl<BloombergLP::bslmt::Platform::PosixAdvTimedSemaphore>::timedWait(BloombergLP::bsls::TimeInterval const&)>
49
- 00000000000000af: 03 cmpl $-1, %eax
50
- 00000000000000b2: 02 jne 0x4068fd <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)+0xcd>
51
- 00000000000000b4: 05 callq 0x403840 <_ZNSt3__16chrono12steady_clock3nowEv@plt>
52
- 00000000000000b9: 03 movq %rax, %rbp
53
- 00000000000000bc: 07 addq $-10000, %rbp
54
- 00000000000000c3: 03 cmpq (%rbx), %rbp
55
- 00000000000000c6: 02 jl 0x406880 <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)+0x50>
56
- 00000000000000c8: 05 movl $4294967295, %eax
57
- 00000000000000cd: 04 addq $40, %rsp
58
- 00000000000000d1: 01 popq %rbx
59
- 00000000000000d2: 02 popq %r12
60
- 00000000000000d4: 02 popq %r13
61
- 00000000000000d6: 02 popq %r14
62
- 00000000000000d8: 02 popq %r15
63
- 00000000000000da: 01 popq %rbp
64
- 00000000000000db: 01 retq
65
- 00000000000000dc: 04 nopl (%rax)
 
 
 
 
 
 
 
 
1
+ 00000000004068e0 <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)>:
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 %rsi, %rbx
10
  0000000000000011: 03 movq %rdi, %r13
11
  0000000000000014: 05 callq 0x403840 <_ZNSt3__16chrono12steady_clock3nowEv@plt>
12
  0000000000000019: 03 movq %rax, %rbp
13
  000000000000001c: 07 addq $-10000, %rbp
14
  0000000000000023: 05 movl $4294967295, %eax
15
  0000000000000028: 03 cmpq (%rbx), %rbp
16
+ 000000000000002b: 06 jge 0x4069d0 <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)+0xf0>
17
  0000000000000031: 10 movabsq $1237940039285380275, %r14
18
  000000000000003b: 03 movq %rsp, %r15
19
  000000000000003e: 05 leaq 16(%rsp), %r12
20
  0000000000000043: 10 nopw %cs:(%rax,%rax)
21
  000000000000004d: 03 nopl (%rax)
22
+ 0000000000000050: 04 movl 32(%r13), %eax
23
+ 0000000000000054: 02 testl %eax, %eax
24
+ 0000000000000056: 02 je 0x406950 <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)+0x70>
25
+ 0000000000000058: 03 cmpl $1, %eax
26
+ 000000000000005b: 02 jne 0x406960 <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)+0x80>
27
+ 000000000000005d: 05 callq 0x42dc50 <BloombergLP::bsls::SystemTime::nowMonotonicClock()>
28
+ 0000000000000062: 02 jmp 0x406955 <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)+0x75>
29
+ 0000000000000064: 10 nopw %cs:(%rax,%rax)
30
+ 000000000000006e: 02 nop
31
+ 0000000000000070: 05 callq 0x42dce0 <BloombergLP::bsls::SystemTime::nowRealtimeClock()>
32
+ 0000000000000075: 02 jmp 0x406964 <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)+0x84>
33
+ 0000000000000077: 09 nopw (%rax,%rax)
34
+ 0000000000000080: 02 xorl %edx, %edx
35
+ 0000000000000082: 02 xorl %eax, %eax
36
+ 0000000000000084: 04 movq %rax, (%rsp)
37
+ 0000000000000088: 04 movl %edx, 8(%rsp)
38
+ 000000000000008c: 03 movq (%rbx), %rcx
39
+ 000000000000008f: 03 subq %rbp, %rcx
40
+ 0000000000000092: 03 movq %rcx, %rax
41
+ 0000000000000095: 03 imulq %r14
42
+ 0000000000000098: 03 movq %rdx, %rax
43
+ 000000000000009b: 04 shrq $63, %rax
44
+ 000000000000009f: 04 sarq $26, %rdx
45
+ 00000000000000a3: 03 addq %rax, %rdx
46
+ 00000000000000a6: 06 imull $3294967296, %edx, %eax
47
+ 00000000000000ac: 02 addl %eax, %ecx
48
+ 00000000000000ae: 03 movq %r15, %rdi
49
+ 00000000000000b1: 03 movq %rdx, %rsi
50
+ 00000000000000b4: 02 movl %ecx, %edx
51
+ 00000000000000b6: 05 callq 0x42de00 <BloombergLP::bsls::TimeInterval::addInterval(long long, int)>
52
+ 00000000000000bb: 03 movups (%rax), %xmm0
53
+ 00000000000000be: 05 movaps %xmm0, 16(%rsp)
54
+ 00000000000000c3: 03 movq %r13, %rdi
55
+ 00000000000000c6: 03 movq %r12, %rsi
56
+ 00000000000000c9: 05 callq 0x4078f0 <BloombergLP::bslmt::TimedSemaphoreImpl<BloombergLP::bslmt::Platform::PosixAdvTimedSemaphore>::timedWait(BloombergLP::bsls::TimeInterval const&)>
57
+ 00000000000000ce: 03 cmpl $-1, %eax
58
+ 00000000000000d1: 02 jne 0x4069d0 <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)+0xf0>
59
+ 00000000000000d3: 05 callq 0x403840 <_ZNSt3__16chrono12steady_clock3nowEv@plt>
60
+ 00000000000000d8: 03 movq %rax, %rbp
61
+ 00000000000000db: 07 addq $-10000, %rbp
62
+ 00000000000000e2: 03 cmpq (%rbx), %rbp
63
+ 00000000000000e5: 06 jl 0x406930 <int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::TimedSemaphore, AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::TimedSemaphore*, std::__1::chrono::time_point<AnotherClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&)+0x50>
64
+ 00000000000000eb: 05 movl $4294967295, %eax
65
+ 00000000000000f0: 04 addq $40, %rsp
66
+ 00000000000000f4: 01 popq %rbx
67
+ 00000000000000f5: 02 popq %r12
68
+ 00000000000000f7: 02 popq %r13
69
+ 00000000000000f9: 02 popq %r14
70
+ 00000000000000fb: 02 popq %r15
71
+ 00000000000000fd: 01 popq %rbp
72
+ 00000000000000fe: 01 retq
73
+ 00000000000000ff: 01 nop