Comparing operator<<(std::__1::basic_ostream >&, Action const&) in assumed vs ignored

Files changed (1) hide show
  1. balm_publicationscheduler.t/{1.assume.s → 1.none.s} +54 -47
balm_publicationscheduler.t/{1.assume.s → 1.none.s} RENAMED
@@ -1,56 +1,63 @@
1
  0000000000406430 <operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Action const&)>:
2
  0000000000000000: 02 pushq %r15
3
  0000000000000002: 02 pushq %r14
4
  0000000000000004: 02 pushq %r12
5
  0000000000000006: 01 pushq %rbx
6
  0000000000000007: 01 pushq %rax
7
  0000000000000008: 03 movq %rsi, %r15
8
  000000000000000b: 03 movq %rdi, %r14
9
- 000000000000000e: 05 movl $4615017, %esi
10
  0000000000000013: 05 movl $2, %edx
11
- 0000000000000018: 05 callq 0x418220 <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)>
12
- 000000000000001d: 02 xorl %edx, %edx
13
- 000000000000001f: 04 cmpl $0, (%r15)
14
- 0000000000000023: 03 sete %dl
15
- 0000000000000026: 05 movl $4600341, %ecx
16
- 000000000000002b: 05 movl $4600359, %esi
17
- 0000000000000030: 04 cmoveq %rcx, %rsi
18
- 0000000000000034: 04 orq $16, %rdx
19
- 0000000000000038: 03 movq %rax, %rdi
20
- 000000000000003b: 05 callq 0x418220 <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)>
21
- 0000000000000040: 05 movl $4713650, %esi
22
- 0000000000000045: 05 movl $1, %edx
23
- 000000000000004a: 03 movq %rax, %rdi
24
- 000000000000004d: 05 callq 0x418220 <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)>
25
- 0000000000000052: 03 movq %rax, %r12
26
- 0000000000000055: 04 movq 8(%r15), %rax
27
- 0000000000000059: 03 testq %rax, %rax
28
- 000000000000005c: 02 je 0x406493 <operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Action const&)+0x63>
29
- 000000000000005e: 03 movq (%rax), %rbx
30
- 0000000000000061: 02 jmp 0x406498 <operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Action const&)+0x68>
31
- 0000000000000063: 05 movl $4714020, %ebx
32
- 0000000000000068: 03 movq %rbx, %rdi
33
- 000000000000006b: 05 callq 0x404f40 <strlen@plt>
34
- 0000000000000070: 03 movq %r12, %rdi
35
- 0000000000000073: 03 movq %rbx, %rsi
36
- 0000000000000076: 03 movq %rax, %rdx
37
- 0000000000000079: 05 callq 0x418220 <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)>
38
- 000000000000007e: 05 movl $4713650, %esi
39
- 0000000000000083: 05 movl $1, %edx
40
- 0000000000000088: 03 movq %rax, %rdi
41
- 000000000000008b: 05 callq 0x418220 <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)>
42
- 0000000000000090: 04 movl 16(%r15), %esi
43
- 0000000000000094: 03 movq %rax, %rdi
44
- 0000000000000097: 05 callq 0x4051e0 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEi@plt>
45
- 000000000000009c: 05 movl $4615777, %esi
46
- 00000000000000a1: 05 movl $2, %edx
47
- 00000000000000a6: 03 movq %rax, %rdi
48
- 00000000000000a9: 05 callq 0x418220 <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)>
49
- 00000000000000ae: 03 movq %r14, %rax
50
- 00000000000000b1: 04 addq $8, %rsp
51
- 00000000000000b5: 01 popq %rbx
52
- 00000000000000b6: 02 popq %r12
53
- 00000000000000b8: 02 popq %r14
54
- 00000000000000ba: 02 popq %r15
55
- 00000000000000bc: 01 retq
56
- 00000000000000bd: 03 nopl (%rax)
 
 
 
 
 
 
 
1
  0000000000406430 <operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Action const&)>:
2
  0000000000000000: 02 pushq %r15
3
  0000000000000002: 02 pushq %r14
4
  0000000000000004: 02 pushq %r12
5
  0000000000000006: 01 pushq %rbx
6
  0000000000000007: 01 pushq %rax
7
  0000000000000008: 03 movq %rsi, %r15
8
  000000000000000b: 03 movq %rdi, %r14
9
+ 000000000000000e: 05 movl $4615801, %esi
10
  0000000000000013: 05 movl $2, %edx
11
+ 0000000000000018: 05 callq 0x418280 <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)>
12
+ 000000000000001d: 03 movq %rax, %r12
13
+ 0000000000000020: 03 movl (%r15), %eax
14
+ 0000000000000023: 03 cmpl $1, %eax
15
+ 0000000000000026: 05 movl $4601127, %ecx
16
+ 000000000000002b: 05 movl $4601144, %edx
17
+ 0000000000000030: 04 cmoveq %rcx, %rdx
18
+ 0000000000000034: 02 testl %eax, %eax
19
+ 0000000000000036: 05 movl $4601109, %ebx
20
+ 000000000000003b: 04 cmovneq %rdx, %rbx
21
+ 000000000000003f: 03 movq %rbx, %rdi
22
+ 0000000000000042: 05 callq 0x404f40 <strlen@plt>
23
+ 0000000000000047: 03 movq %r12, %rdi
24
+ 000000000000004a: 03 movq %rbx, %rsi
25
+ 000000000000004d: 03 movq %rax, %rdx
26
+ 0000000000000050: 05 callq 0x418280 <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)>
27
+ 0000000000000055: 05 movl $4714434, %esi
28
+ 000000000000005a: 05 movl $1, %edx
29
+ 000000000000005f: 03 movq %rax, %rdi
30
+ 0000000000000062: 05 callq 0x418280 <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)>
31
+ 0000000000000067: 03 movq %rax, %r12
32
+ 000000000000006a: 04 movq 8(%r15), %rax
33
+ 000000000000006e: 03 testq %rax, %rax
34
+ 0000000000000071: 02 je 0x4064a8 <operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Action const&)+0x78>
35
+ 0000000000000073: 03 movq (%rax), %rbx
36
+ 0000000000000076: 02 jmp 0x4064ad <operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Action const&)+0x7d>
37
+ 0000000000000078: 05 movl $4714804, %ebx
38
+ 000000000000007d: 03 movq %rbx, %rdi
39
+ 0000000000000080: 05 callq 0x404f40 <strlen@plt>
40
+ 0000000000000085: 03 movq %r12, %rdi
41
+ 0000000000000088: 03 movq %rbx, %rsi
42
+ 000000000000008b: 03 movq %rax, %rdx
43
+ 000000000000008e: 05 callq 0x418280 <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)>
44
+ 0000000000000093: 05 movl $4714434, %esi
45
+ 0000000000000098: 05 movl $1, %edx
46
+ 000000000000009d: 03 movq %rax, %rdi
47
+ 00000000000000a0: 05 callq 0x418280 <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)>
48
+ 00000000000000a5: 04 movl 16(%r15), %esi
49
+ 00000000000000a9: 03 movq %rax, %rdi
50
+ 00000000000000ac: 05 callq 0x4051e0 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEi@plt>
51
+ 00000000000000b1: 05 movl $4616561, %esi
52
+ 00000000000000b6: 05 movl $2, %edx
53
+ 00000000000000bb: 03 movq %rax, %rdi
54
+ 00000000000000be: 05 callq 0x418280 <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)>
55
+ 00000000000000c3: 03 movq %r14, %rax
56
+ 00000000000000c6: 04 addq $8, %rsp
57
+ 00000000000000ca: 01 popq %rbx
58
+ 00000000000000cb: 02 popq %r12
59
+ 00000000000000cd: 02 popq %r14
60
+ 00000000000000cf: 02 popq %r15
61
+ 00000000000000d1: 01 retq
62
+ 00000000000000d2: 10 nopw %cs:(%rax,%rax)
63
+ 00000000000000dc: 04 nopl (%rax)