1 USING: accessors arrays classes compiler.cfg
2 compiler.cfg.debugger compiler.cfg.instructions
3 compiler.cfg.linear-scan.debugger
4 compiler.cfg.linear-scan.live-intervals
5 compiler.cfg.linear-scan.numbering
6 compiler.cfg.linear-scan.resolve compiler.cfg.predecessors
7 compiler.cfg.registers compiler.cfg.rpo cpu.architecture kernel
8 namespaces tools.test vectors ;
9 IN: compiler.cfg.linear-scan.resolve.tests
12 { 3 4 } V{ 1 2 } clone [ { 5 6 } 3append-here ] keep >array
16 T{ ##peek f V int-regs 0 D 0 }
21 T{ ##replace f V int-regs 0 D 1 }
25 1 get 1vector 0 get (>>successors)
29 dup reverse-post-order number-instructions
32 CONSTANT: test-live-interval-1
37 { ranges V{ T{ live-range f 0 2 } T{ live-range f 4 6 } } }
43 0 get test-live-interval-1 spill-to
47 1 get test-live-interval-1 spill-to
50 CONSTANT: test-live-interval-2
55 { ranges V{ T{ live-range f 0 2 } T{ live-range f 4 6 } } }
61 0 get test-live-interval-2 reload-from
65 1 get test-live-interval-2 reload-from
70 T{ _copy { dst 5 } { src 4 } { class int-regs } }
71 T{ _spill { src 1 } { class int-regs } { n spill-temp } }
72 T{ _copy { dst 1 } { src 0 } { class int-regs } }
73 T{ _reload { dst 0 } { class int-regs } { n spill-temp } }
74 T{ _spill { src 1 } { class float-regs } { n spill-temp } }
75 T{ _copy { dst 1 } { src 0 } { class float-regs } }
76 T{ _reload { dst 0 } { class float-regs } { n spill-temp } }
80 T{ register->register { from 0 } { to 1 } { reg-class int-regs } }
81 T{ register->register { from 1 } { to 0 } { reg-class int-regs } }
82 T{ register->register { from 0 } { to 1 } { reg-class float-regs } }
83 T{ register->register { from 1 } { to 0 } { reg-class float-regs } }
84 T{ register->register { from 4 } { to 5 } { reg-class int-regs } }
85 } mapping-instructions
90 T{ _spill { src 2 } { class int-regs } { n spill-temp } }
91 T{ _copy { dst 2 } { src 1 } { class int-regs } }
92 T{ _copy { dst 1 } { src 0 } { class int-regs } }
93 T{ _reload { dst 0 } { class int-regs } { n spill-temp } }
97 T{ register->register { from 0 } { to 1 } { reg-class int-regs } }
98 T{ register->register { from 1 } { to 2 } { reg-class int-regs } }
99 T{ register->register { from 2 } { to 0 } { reg-class int-regs } }
100 } mapping-instructions
105 T{ _spill { src 0 } { class int-regs } { n spill-temp } }
106 T{ _copy { dst 0 } { src 2 } { class int-regs } }
107 T{ _copy { dst 2 } { src 1 } { class int-regs } }
108 T{ _reload { dst 1 } { class int-regs } { n spill-temp } }
112 T{ register->register { from 1 } { to 2 } { reg-class int-regs } }
113 T{ register->register { from 2 } { to 0 } { reg-class int-regs } }
114 T{ register->register { from 0 } { to 1 } { reg-class int-regs } }
115 } mapping-instructions
120 T{ _copy { dst 1 } { src 0 } { class int-regs } }
121 T{ _copy { dst 2 } { src 0 } { class int-regs } }
125 T{ register->register { from 0 } { to 1 } { reg-class int-regs } }
126 T{ register->register { from 0 } { to 2 } { reg-class int-regs } }
127 } mapping-instructions
134 T{ register->register { from 4 } { to 4 } { reg-class int-regs } }
135 } mapping-instructions
139 { T{ _spill { src 4 } { class int-regs } { n spill-temp } } }
142 T{ register->memory { from 4 } { to 4 } { reg-class int-regs } }
143 } mapping-instructions
149 T{ _copy { dst 1 } { src 0 } { class int-regs } }
150 T{ _copy { dst 2 } { src 0 } { class int-regs } }
151 T{ _copy { dst 0 } { src 3 } { class int-regs } }
155 T{ register->register { from 0 } { to 1 } { reg-class int-regs } }
156 T{ register->register { from 3 } { to 0 } { reg-class int-regs } }
157 T{ register->register { from 0 } { to 2 } { reg-class int-regs } }
158 } mapping-instructions
163 T{ _copy { dst 1 } { src 0 } { class int-regs } }
164 T{ _copy { dst 2 } { src 0 } { class int-regs } }
165 T{ _spill { src 4 } { class int-regs } { n spill-temp } }
166 T{ _copy { dst 4 } { src 0 } { class int-regs } }
167 T{ _copy { dst 0 } { src 3 } { class int-regs } }
168 T{ _reload { dst 3 } { class int-regs } { n spill-temp } }
172 T{ register->register { from 0 } { to 1 } { reg-class int-regs } }
173 T{ register->register { from 0 } { to 2 } { reg-class int-regs } }
174 T{ register->register { from 3 } { to 0 } { reg-class int-regs } }
175 T{ register->register { from 4 } { to 3 } { reg-class int-regs } }
176 T{ register->register { from 0 } { to 4 } { reg-class int-regs } }
177 } mapping-instructions
182 T{ _copy { dst 2 } { src 0 } { class int-regs } }
183 T{ _copy { dst 9 } { src 1 } { class int-regs } }
184 T{ _copy { dst 1 } { src 0 } { class int-regs } }
185 T{ _spill { src 4 } { class int-regs } { n spill-temp } }
186 T{ _copy { dst 4 } { src 0 } { class int-regs } }
187 T{ _copy { dst 0 } { src 3 } { class int-regs } }
188 T{ _reload { dst 3 } { class int-regs } { n spill-temp } }
192 T{ register->register { from 0 } { to 1 } { reg-class int-regs } }
193 T{ register->register { from 0 } { to 2 } { reg-class int-regs } }
194 T{ register->register { from 1 } { to 9 } { reg-class int-regs } }
195 T{ register->register { from 3 } { to 0 } { reg-class int-regs } }
196 T{ register->register { from 4 } { to 3 } { reg-class int-regs } }
197 T{ register->register { from 0 } { to 4 } { reg-class int-regs } }
198 } mapping-instructions