Skip to content

Commit 7fecfc4

Browse files
atrosinenkoatrosinenko
committed
Update debug output test
1 parent da27c6c commit 7fecfc4

File tree

1 file changed

+35
-37
lines changed

1 file changed

+35
-37
lines changed

‎bolt/test/binary-analysis/AArch64/gs-pauth-debug-output.s

+35-37
Original file line numberDiff line numberDiff line change
@@ -40,26 +40,26 @@ simple:
4040
// CHECK-NEXT: <empty>
4141
// CHECK-NEXT: End of Function "simple"
4242
// CHECK-EMPTY:
43-
// CHECK-NEXT: PacRetAnalysis::ComputeNext( hint #25, pacret-state<NonAutClobRegs: , Insts: >)
44-
// CHECK-NEXT: .. result: (pacret-state<NonAutClobRegs: LR W30 W30_HI , Insts: >)
45-
// CHECK-NEXT: PacRetAnalysis::ComputeNext( b [[BB1]], pacret-state<NonAutClobRegs: LR W30 W30_HI , Insts: >)
46-
// CHECK-NEXT: .. result: (pacret-state<NonAutClobRegs: LR W30 W30_HI , Insts: >)
43+
// CHECK-NEXT: PacRetAnalysis::ComputeNext( hint #25, pacret-state<SafeToDerefRegs: LR W30 W30_HI , Insts: >)
44+
// CHECK-NEXT: .. result: (pacret-state<SafeToDerefRegs: , Insts: >)
45+
// CHECK-NEXT: PacRetAnalysis::ComputeNext( b [[BB1]], pacret-state<SafeToDerefRegs: , Insts: >)
46+
// CHECK-NEXT: .. result: (pacret-state<SafeToDerefRegs: , Insts: >)
4747
// CHECK-NEXT: PacRetAnalysis::Confluence(
48-
// CHECK-NEXT: State 1: pacret-state<NonAutClobRegs: , Insts: >
49-
// CHECK-NEXT: State 2: pacret-state<NonAutClobRegs: LR W30 W30_HI , Insts: >)
50-
// CHECK-NEXT: merged state: pacret-state<NonAutClobRegs: LR W30 W30_HI , Insts: >
51-
// CHECK-NEXT: PacRetAnalysis::ComputeNext( hint #29, pacret-state<NonAutClobRegs: LR W30 W30_HI , Insts: >)
52-
// CHECK-NEXT: .. result: (pacret-state<NonAutClobRegs: , Insts: >)
53-
// CHECK-NEXT: PacRetAnalysis::ComputeNext( ret x30, pacret-state<NonAutClobRegs: , Insts: >)
54-
// CHECK-NEXT: .. result: (pacret-state<NonAutClobRegs: , Insts: >)
48+
// CHECK-NEXT: State 1: pacret-state<SafeToDerefRegs: (all), Insts: >
49+
// CHECK-NEXT: State 2: pacret-state<SafeToDerefRegs: , Insts: >)
50+
// CHECK-NEXT: merged state: pacret-state<SafeToDerefRegs: , Insts: >
51+
// CHECK-NEXT: PacRetAnalysis::ComputeNext( hint #29, pacret-state<SafeToDerefRegs: , Insts: >)
52+
// CHECK-NEXT: .. result: (pacret-state<SafeToDerefRegs: LR W30 W30_HI , Insts: >)
53+
// CHECK-NEXT: PacRetAnalysis::ComputeNext( ret x30, pacret-state<SafeToDerefRegs: LR W30 W30_HI , Insts: >)
54+
// CHECK-NEXT: .. result: (pacret-state<SafeToDerefRegs: LR W30 W30_HI , Insts: >)
5555
// CHECK-NEXT: PacRetAnalysis::Confluence(
56-
// CHECK-NEXT: State 1: pacret-state<NonAutClobRegs: LR W30 W30_HI , Insts: >
57-
// CHECK-NEXT: State 2: pacret-state<NonAutClobRegs: LR W30 W30_HI , Insts: >)
58-
// CHECK-NEXT: merged state: pacret-state<NonAutClobRegs: LR W30 W30_HI , Insts: >
59-
// CHECK-NEXT: PacRetAnalysis::ComputeNext( hint #29, pacret-state<NonAutClobRegs: LR W30 W30_HI , Insts: >)
60-
// CHECK-NEXT: .. result: (pacret-state<NonAutClobRegs: , Insts: >)
61-
// CHECK-NEXT: PacRetAnalysis::ComputeNext( ret x30, pacret-state<NonAutClobRegs: , Insts: >)
62-
// CHECK-NEXT: .. result: (pacret-state<NonAutClobRegs: , Insts: >)
56+
// CHECK-NEXT: State 1: pacret-state<SafeToDerefRegs: , Insts: >
57+
// CHECK-NEXT: State 2: pacret-state<SafeToDerefRegs: , Insts: >)
58+
// CHECK-NEXT: merged state: pacret-state<SafeToDerefRegs: , Insts: >
59+
// CHECK-NEXT: PacRetAnalysis::ComputeNext( hint #29, pacret-state<SafeToDerefRegs: , Insts: >)
60+
// CHECK-NEXT: .. result: (pacret-state<SafeToDerefRegs: LR W30 W30_HI , Insts: >)
61+
// CHECK-NEXT: PacRetAnalysis::ComputeNext( ret x30, pacret-state<SafeToDerefRegs: LR W30 W30_HI , Insts: >)
62+
// CHECK-NEXT: .. result: (pacret-state<SafeToDerefRegs: LR W30 W30_HI , Insts: >)
6363
// CHECK-NEXT: After PacRetAnalysis:
6464
// CHECK-NEXT: Binary Function "simple" {
6565
// CHECK-NEXT: Number : 1
@@ -69,24 +69,23 @@ simple:
6969
// CHECK-NEXT: }
7070
// CHECK-NEXT: [[BB0]] (2 instructions, align : 1)
7171
// CHECK-NEXT: Entry Point
72-
// CHECK-NEXT: 00000000: paciasp # PacRetAnalysis: pacret-state<NonAutClobRegs: BitVector, Insts: >
73-
// CHECK-NEXT: 00000004: b [[BB1]] # PacRetAnalysis: pacret-state<NonAutClobRegs: BitVector, Insts: >
72+
// CHECK-NEXT: 00000000: paciasp # PacRetAnalysis: pacret-state<SafeToDerefRegs: BitVector, Insts: >
73+
// CHECK-NEXT: 00000004: b [[BB1]] # PacRetAnalysis: pacret-state<SafeToDerefRegs: BitVector, Insts: >
7474
// CHECK-NEXT: Successors: [[BB1]]
7575
// CHECK-EMPTY:
7676
// CHECK-NEXT: [[BB1]] (2 instructions, align : 1)
7777
// CHECK-NEXT: Predecessors: [[BB0]]
78-
// CHECK-NEXT: 00000008: autiasp # PacRetAnalysis: pacret-state<NonAutClobRegs: BitVector, Insts: >
79-
// CHECK-NEXT: 0000000c: ret # PacRetAnalysis: pacret-state<NonAutClobRegs: BitVector, Insts: >
78+
// CHECK-NEXT: 00000008: autiasp # PacRetAnalysis: pacret-state<SafeToDerefRegs: BitVector, Insts: >
79+
// CHECK-NEXT: 0000000c: ret # PacRetAnalysis: pacret-state<SafeToDerefRegs: BitVector, Insts: >
8080
// CHECK-EMPTY:
8181
// CHECK-NEXT: DWARF CFI Instructions:
8282
// CHECK-NEXT: <empty>
8383
// CHECK-NEXT: End of Function "simple"
8484
// CHECK-EMPTY:
85-
// CHECK-NEXT: Found RET inst: 00000000: ret # PacRetAnalysis: pacret-state<NonAutClobRegs: BitVector, Insts: >
85+
// CHECK-NEXT: Found RET inst: 00000000: ret # PacRetAnalysis: pacret-state<SafeToDerefRegs: BitVector, Insts: >
8686
// CHECK-NEXT: RetReg: LR
8787
// CHECK-NEXT: Authenticated reg: (none)
88-
// CHECK-NEXT: NonAutClobRegs at Ret:{{[ \t]*$}}
89-
// CHECK-NEXT: Intersection with RetReg:{{[ \t]*$}}
88+
// CHECK-NEXT: SafeToDerefRegs: LR W30 W30_HI{{[ \t]*$}}
9089

9190
.globl clobber
9291
.type clobber,@function
@@ -97,10 +96,10 @@ clobber:
9796

9897
// CHECK-LABEL:Analyzing in function clobber, AllocatorId 1
9998
// ...
100-
// CHECK: PacRetAnalysis::ComputeNext( mov w30, #0x0, pacret-state<NonAutClobRegs: , Insts: >)
101-
// CHECK-NEXT: .. result: (pacret-state<NonAutClobRegs: W30 , Insts: >)
102-
// CHECK-NEXT: PacRetAnalysis::ComputeNext( ret x30, pacret-state<NonAutClobRegs: W30 , Insts: >)
103-
// CHECK-NEXT: .. result: (pacret-state<NonAutClobRegs: W30 , Insts: >)
99+
// CHECK: PacRetAnalysis::ComputeNext( mov w30, #0x0, pacret-state<SafeToDerefRegs: LR W30 W30_HI , Insts: >)
100+
// CHECK-NEXT: .. result: (pacret-state<SafeToDerefRegs: W30_HI , Insts: >)
101+
// CHECK-NEXT: PacRetAnalysis::ComputeNext( ret x30, pacret-state<SafeToDerefRegs: W30_HI , Insts: >)
102+
// CHECK-NEXT: .. result: (pacret-state<SafeToDerefRegs: W30_HI , Insts: >)
104103
// CHECK-NEXT: After PacRetAnalysis:
105104
// CHECK-NEXT: Binary Function "clobber" {
106105
// ...
@@ -109,15 +108,14 @@ clobber:
109108
// The above output was printed after first run of analysis
110109

111110
// CHECK-EMPTY:
112-
// CHECK-NEXT: Found RET inst: 00000000: ret # PacRetAnalysis: pacret-state<NonAutClobRegs: BitVector, Insts: >
111+
// CHECK-NEXT: Found RET inst: 00000000: ret # PacRetAnalysis: pacret-state<SafeToDerefRegs: BitVector, Insts: >
113112
// CHECK-NEXT: RetReg: LR
114113
// CHECK-NEXT: Authenticated reg: (none)
115-
// CHECK-NEXT: NonAutClobRegs at Ret: W30
116-
// CHECK-NEXT: Intersection with RetReg: W30
117-
// CHECK-NEXT: PacRetAnalysis::ComputeNext( mov w30, #0x0, pacret-state<NonAutClobRegs: , Insts: [0]()>)
118-
// CHECK-NEXT: .. result: (pacret-state<NonAutClobRegs: W30 , Insts: [0](0x{{[0-9a-f]+}} )>)
119-
// CHECK-NEXT: PacRetAnalysis::ComputeNext( ret x30, pacret-state<NonAutClobRegs: W30 , Insts: [0](0x{{[0-9a-f]+}} )>)
120-
// CHECK-NEXT: .. result: (pacret-state<NonAutClobRegs: W30 , Insts: [0](0x{{[0-9a-f]+}} )>)
114+
// CHECK-NEXT: SafeToDerefRegs: W30_HI{{[ \t]*$}}
115+
// CHECK-NEXT: PacRetAnalysis::ComputeNext( mov w30, #0x0, pacret-state<SafeToDerefRegs: LR W30 W30_HI , Insts: [0]()>)
116+
// CHECK-NEXT: .. result: (pacret-state<SafeToDerefRegs: W30_HI , Insts: [0](0x{{[0-9a-f]+}} )>)
117+
// CHECK-NEXT: PacRetAnalysis::ComputeNext( ret x30, pacret-state<SafeToDerefRegs: W30_HI , Insts: [0](0x{{[0-9a-f]+}} )>)
118+
// CHECK-NEXT: .. result: (pacret-state<SafeToDerefRegs: W30_HI , Insts: [0](0x{{[0-9a-f]+}} )>)
121119
// CHECK-NEXT: After detailed PacRetAnalysis:
122120
// CHECK-NEXT: Binary Function "clobber" {
123121
// ...
@@ -127,7 +125,7 @@ clobber:
127125
// Iterating over the reports and attaching clobbering info:
128126

129127
// CHECK-EMPTY:
130-
// CHECK-NEXT: Attaching clobbering info to: 00000000: ret # PacRetAnalysis: pacret-state<NonAutClobRegs: BitVector, Insts: [0](0x{{[0-9a-f]+}} )>
128+
// CHECK-NEXT: Attaching clobbering info to: 00000000: ret # PacRetAnalysis: pacret-state<SafeToDerefRegs: BitVector, Insts: [0](0x{{[0-9a-f]+}} )>
131129

132130

133131
// CHECK-LABEL:Analyzing in function main, AllocatorId 1

0 commit comments

Comments
 (0)