Comparing find1AtMaxOracle(unsigned long) in assumed vs ignored

Files changed (1) hide show
  1. bdlb_bitstringimputil.t/{0.assume.s → 0.none.s} +28 -29
bdlb_bitstringimputil.t/{0.assume.s → 0.none.s} RENAMED
@@ -1,37 +1,36 @@
1
  00000000004018e0 <find1AtMaxOracle(unsigned long)>:
2
- 0000000000000000: 05 movl $60, %eax
3
  0000000000000005: 10 nopw %cs:(%rax,%rax)
4
  000000000000000f: 01 nop
5
- 0000000000000010: 03 leal 3(%rax), %ecx
6
  0000000000000013: 03 movzbl %cl, %ecx
7
  0000000000000016: 04 btq %rcx, %rdi
8
- 000000000000001a: 02 jb 0x401943 <find1AtMaxOracle(unsigned long)+0x63>
9
- 000000000000001c: 03 leal 2(%rax), %ecx
10
  000000000000001f: 03 movzbl %cl, %ecx
11
  0000000000000022: 04 btq %rcx, %rdi
12
- 0000000000000026: 02 jb 0x401948 <find1AtMaxOracle(unsigned long)+0x68>
 
 
13
- 0000000000000028: 03 leal 1(%rax), %ecx
14
- 000000000000002b: 03 movzbl %cl, %ecx
15
- 000000000000002e: 04 btq %rcx, %rdi
16
- 0000000000000032: 02 jb 0x40194d <find1AtMaxOracle(unsigned long)+0x6d>
17
- 0000000000000034: 04 btq %rax, %rdi
18
- 0000000000000038: 02 jb 0x401950 <find1AtMaxOracle(unsigned long)+0x70>
19
  000000000000003a: 04 addq $-4, %rax
20
- 000000000000003e: 04 cmpq $-4, %rax
21
- 0000000000000042: 02 jne 0x4018f0 <find1AtMaxOracle(unsigned long)+0x10>
22
- 0000000000000044: 01 pushq %rax
23
- 0000000000000045: 05 movl $4411488, %esi
24
- 000000000000004a: 05 movl $1, %edi
25
- 000000000000004f: 05 movl $418, %edx
26
- 0000000000000054: 05 callq 0x401960 <(anonymous namespace)::aSsErT(bool, char const*, int)>
27
- 0000000000000059: 05 movl $4294967295, %eax
28
- 000000000000005e: 04 addq $8, %rsp
29
- 0000000000000062: 01 retq
30
- 0000000000000063: 04 addq $3, %rax
31
- 0000000000000067: 01 retq
32
- 0000000000000068: 04 addq $2, %rax
33
- 000000000000006c: 01 retq
34
- 000000000000006d: 03 incq %rax
35
- 0000000000000070: 01 retq
36
- 0000000000000071: 10 nopw %cs:(%rax,%rax)
37
- 000000000000007b: 05 nopl (%rax,%rax)
1
  00000000004018e0 <find1AtMaxOracle(unsigned long)>:
2
+ 0000000000000000: 05 movl $61, %eax
3
  0000000000000005: 10 nopw %cs:(%rax,%rax)
4
  000000000000000f: 01 nop
5
+ 0000000000000010: 03 leal 2(%rax), %ecx
6
  0000000000000013: 03 movzbl %cl, %ecx
7
  0000000000000016: 04 btq %rcx, %rdi
8
+ 000000000000001a: 02 jb 0x401942 <find1AtMaxOracle(unsigned long)+0x62>
9
+ 000000000000001c: 03 leal 1(%rax), %ecx
10
  000000000000001f: 03 movzbl %cl, %ecx
11
  0000000000000022: 04 btq %rcx, %rdi
12
+ 0000000000000026: 02 jb 0x401946 <find1AtMaxOracle(unsigned long)+0x66>
13
+ 0000000000000028: 04 btq %rax, %rdi
14
+ 000000000000002c: 02 jb 0x401945 <find1AtMaxOracle(unsigned long)+0x65>
15
+ 000000000000002e: 03 leal -1(%rax), %ecx
16
+ 0000000000000031: 03 movzbl %cl, %ecx
 
 
17
+ 0000000000000034: 04 btq %rcx, %rdi
18
+ 0000000000000038: 02 jb 0x401949 <find1AtMaxOracle(unsigned long)+0x69>
19
  000000000000003a: 04 addq $-4, %rax
20
+ 000000000000003e: 03 cmpl $-3, %eax
21
+ 0000000000000041: 02 jne 0x4018f0 <find1AtMaxOracle(unsigned long)+0x10>
22
+ 0000000000000043: 01 pushq %rax
23
+ 0000000000000044: 05 movl $4411504, %esi
24
+ 0000000000000049: 05 movl $1, %edi
25
+ 000000000000004e: 05 movl $418, %edx
26
+ 0000000000000053: 05 callq 0x401950 <(anonymous namespace)::aSsErT(bool, char const*, int)>
27
+ 0000000000000058: 05 movl $4294967295, %eax
28
+ 000000000000005d: 04 addq $8, %rsp
29
+ 0000000000000061: 01 retq
30
+ 0000000000000062: 03 addl $2, %eax
31
+ 0000000000000065: 01 retq
32
+ 0000000000000066: 02 incl %eax
33
+ 0000000000000068: 01 retq
34
+ 0000000000000069: 02 decl %eax
35
+ 000000000000006b: 01 retq
 
36
+ 000000000000006c: 04 nopl (%rax)