blob: fba0ed95923c7d19c24a99e23a20ada42e02d1f3 [file] [log] [blame]
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +04001/*
2 * Optimizations for Tiny Code Generator for QEMU
3 *
4 * Copyright (c) 2010 Samsung Electronics.
5 * Contributed by Kirill Batuzov <batuzovk@ispras.ru>
6 *
7 * Permission is hereby granted, free of charge, to any person obtaining a copy
8 * of this software and associated documentation files (the "Software"), to deal
9 * in the Software without restriction, including without limitation the rights
10 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
11 * copies of the Software, and to permit persons to whom the Software is
12 * furnished to do so, subject to the following conditions:
13 *
14 * The above copyright notice and this permission notice shall be included in
15 * all copies or substantial portions of the Software.
16 *
17 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
20 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
23 * THE SOFTWARE.
24 */
25
26#include "config.h"
27
28#include <stdlib.h>
29#include <stdio.h>
30
31#include "qemu-common.h"
32#include "tcg-op.h"
33
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +040034#define CASE_OP_32_64(x) \
35 glue(glue(case INDEX_op_, x), _i32): \
36 glue(glue(case INDEX_op_, x), _i64)
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +040037
Kirill Batuzov22613af2011-07-07 16:37:13 +040038typedef enum {
39 TCG_TEMP_UNDEF = 0,
40 TCG_TEMP_CONST,
41 TCG_TEMP_COPY,
42 TCG_TEMP_HAS_COPY,
43 TCG_TEMP_ANY
44} tcg_temp_state;
45
46struct tcg_temp_info {
47 tcg_temp_state state;
48 uint16_t prev_copy;
49 uint16_t next_copy;
50 tcg_target_ulong val;
51};
52
53static struct tcg_temp_info temps[TCG_MAX_TEMPS];
54
55/* Reset TEMP's state to TCG_TEMP_ANY. If TEMP was a representative of some
56 class of equivalent temp's, a new representative should be chosen in this
57 class. */
58static void reset_temp(TCGArg temp, int nb_temps, int nb_globals)
59{
60 int i;
61 TCGArg new_base = (TCGArg)-1;
62 if (temps[temp].state == TCG_TEMP_HAS_COPY) {
63 for (i = temps[temp].next_copy; i != temp; i = temps[i].next_copy) {
64 if (i >= nb_globals) {
65 temps[i].state = TCG_TEMP_HAS_COPY;
66 new_base = i;
67 break;
68 }
69 }
70 for (i = temps[temp].next_copy; i != temp; i = temps[i].next_copy) {
71 if (new_base == (TCGArg)-1) {
72 temps[i].state = TCG_TEMP_ANY;
73 } else {
74 temps[i].val = new_base;
75 }
76 }
77 temps[temps[temp].next_copy].prev_copy = temps[temp].prev_copy;
78 temps[temps[temp].prev_copy].next_copy = temps[temp].next_copy;
79 } else if (temps[temp].state == TCG_TEMP_COPY) {
80 temps[temps[temp].next_copy].prev_copy = temps[temp].prev_copy;
81 temps[temps[temp].prev_copy].next_copy = temps[temp].next_copy;
82 new_base = temps[temp].val;
83 }
84 temps[temp].state = TCG_TEMP_ANY;
85 if (new_base != (TCGArg)-1 && temps[new_base].next_copy == new_base) {
86 temps[new_base].state = TCG_TEMP_ANY;
87 }
88}
89
Blue Swirlfe0de7a2011-07-30 19:18:32 +000090static int op_bits(TCGOpcode op)
Kirill Batuzov22613af2011-07-07 16:37:13 +040091{
Richard Henderson8399ad52011-08-17 14:11:45 -070092 const TCGOpDef *def = &tcg_op_defs[op];
93 return def->flags & TCG_OPF_64BIT ? 64 : 32;
Kirill Batuzov22613af2011-07-07 16:37:13 +040094}
95
Blue Swirlfe0de7a2011-07-30 19:18:32 +000096static TCGOpcode op_to_movi(TCGOpcode op)
Kirill Batuzov22613af2011-07-07 16:37:13 +040097{
98 switch (op_bits(op)) {
99 case 32:
100 return INDEX_op_movi_i32;
Kirill Batuzov22613af2011-07-07 16:37:13 +0400101 case 64:
102 return INDEX_op_movi_i64;
Kirill Batuzov22613af2011-07-07 16:37:13 +0400103 default:
104 fprintf(stderr, "op_to_movi: unexpected return value of "
105 "function op_bits.\n");
106 tcg_abort();
107 }
108}
109
Blue Swirle31b0a72011-08-06 13:58:47 +0000110static void tcg_opt_gen_mov(TCGContext *s, TCGArg *gen_args, TCGArg dst,
111 TCGArg src, int nb_temps, int nb_globals)
Kirill Batuzov22613af2011-07-07 16:37:13 +0400112{
113 reset_temp(dst, nb_temps, nb_globals);
114 assert(temps[src].state != TCG_TEMP_COPY);
Blue Swirle31b0a72011-08-06 13:58:47 +0000115 /* Don't try to copy if one of temps is a global or either one
116 is local and another is register */
117 if (src >= nb_globals && dst >= nb_globals &&
118 tcg_arg_is_local(s, src) == tcg_arg_is_local(s, dst)) {
Kirill Batuzov22613af2011-07-07 16:37:13 +0400119 assert(temps[src].state != TCG_TEMP_CONST);
120 if (temps[src].state != TCG_TEMP_HAS_COPY) {
121 temps[src].state = TCG_TEMP_HAS_COPY;
122 temps[src].next_copy = src;
123 temps[src].prev_copy = src;
124 }
125 temps[dst].state = TCG_TEMP_COPY;
126 temps[dst].val = src;
127 temps[dst].next_copy = temps[src].next_copy;
128 temps[dst].prev_copy = src;
129 temps[temps[dst].next_copy].prev_copy = dst;
130 temps[src].next_copy = dst;
131 }
132 gen_args[0] = dst;
133 gen_args[1] = src;
134}
135
136static void tcg_opt_gen_movi(TCGArg *gen_args, TCGArg dst, TCGArg val,
137 int nb_temps, int nb_globals)
138{
139 reset_temp(dst, nb_temps, nb_globals);
140 temps[dst].state = TCG_TEMP_CONST;
141 temps[dst].val = val;
142 gen_args[0] = dst;
143 gen_args[1] = val;
144}
145
Blue Swirlfe0de7a2011-07-30 19:18:32 +0000146static TCGOpcode op_to_mov(TCGOpcode op)
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400147{
148 switch (op_bits(op)) {
149 case 32:
150 return INDEX_op_mov_i32;
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400151 case 64:
152 return INDEX_op_mov_i64;
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400153 default:
154 fprintf(stderr, "op_to_mov: unexpected return value of "
155 "function op_bits.\n");
156 tcg_abort();
157 }
158}
159
Blue Swirlfe0de7a2011-07-30 19:18:32 +0000160static TCGArg do_constant_folding_2(TCGOpcode op, TCGArg x, TCGArg y)
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400161{
162 switch (op) {
163 CASE_OP_32_64(add):
164 return x + y;
165
166 CASE_OP_32_64(sub):
167 return x - y;
168
169 CASE_OP_32_64(mul):
170 return x * y;
171
Kirill Batuzov9a810902011-07-07 16:37:15 +0400172 CASE_OP_32_64(and):
173 return x & y;
174
175 CASE_OP_32_64(or):
176 return x | y;
177
178 CASE_OP_32_64(xor):
179 return x ^ y;
180
Kirill Batuzov55c09752011-07-07 16:37:16 +0400181 case INDEX_op_shl_i32:
182 return (uint32_t)x << (uint32_t)y;
183
Kirill Batuzov55c09752011-07-07 16:37:16 +0400184 case INDEX_op_shl_i64:
185 return (uint64_t)x << (uint64_t)y;
Kirill Batuzov55c09752011-07-07 16:37:16 +0400186
187 case INDEX_op_shr_i32:
188 return (uint32_t)x >> (uint32_t)y;
189
Kirill Batuzov55c09752011-07-07 16:37:16 +0400190 case INDEX_op_shr_i64:
191 return (uint64_t)x >> (uint64_t)y;
Kirill Batuzov55c09752011-07-07 16:37:16 +0400192
193 case INDEX_op_sar_i32:
194 return (int32_t)x >> (int32_t)y;
195
Kirill Batuzov55c09752011-07-07 16:37:16 +0400196 case INDEX_op_sar_i64:
197 return (int64_t)x >> (int64_t)y;
Kirill Batuzov55c09752011-07-07 16:37:16 +0400198
199 case INDEX_op_rotr_i32:
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700200 x = ((uint32_t)x << (32 - y)) | ((uint32_t)x >> y);
Kirill Batuzov55c09752011-07-07 16:37:16 +0400201 return x;
202
Kirill Batuzov55c09752011-07-07 16:37:16 +0400203 case INDEX_op_rotr_i64:
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700204 x = ((uint64_t)x << (64 - y)) | ((uint64_t)x >> y);
Kirill Batuzov55c09752011-07-07 16:37:16 +0400205 return x;
Kirill Batuzov55c09752011-07-07 16:37:16 +0400206
207 case INDEX_op_rotl_i32:
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700208 x = ((uint32_t)x << y) | ((uint32_t)x >> (32 - y));
Kirill Batuzov55c09752011-07-07 16:37:16 +0400209 return x;
210
Kirill Batuzov55c09752011-07-07 16:37:16 +0400211 case INDEX_op_rotl_i64:
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700212 x = ((uint64_t)x << y) | ((uint64_t)x >> (64 - y));
Kirill Batuzov55c09752011-07-07 16:37:16 +0400213 return x;
Kirill Batuzov55c09752011-07-07 16:37:16 +0400214
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700215 CASE_OP_32_64(not):
Kirill Batuzova640f032011-07-07 16:37:17 +0400216 return ~x;
217
Richard Hendersoncb25c802011-08-17 14:11:47 -0700218 CASE_OP_32_64(neg):
219 return -x;
220
221 CASE_OP_32_64(andc):
222 return x & ~y;
223
224 CASE_OP_32_64(orc):
225 return x | ~y;
226
227 CASE_OP_32_64(eqv):
228 return ~(x ^ y);
229
230 CASE_OP_32_64(nand):
231 return ~(x & y);
232
233 CASE_OP_32_64(nor):
234 return ~(x | y);
235
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700236 CASE_OP_32_64(ext8s):
Kirill Batuzova640f032011-07-07 16:37:17 +0400237 return (int8_t)x;
238
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700239 CASE_OP_32_64(ext16s):
Kirill Batuzova640f032011-07-07 16:37:17 +0400240 return (int16_t)x;
241
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700242 CASE_OP_32_64(ext8u):
Kirill Batuzova640f032011-07-07 16:37:17 +0400243 return (uint8_t)x;
244
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700245 CASE_OP_32_64(ext16u):
Kirill Batuzova640f032011-07-07 16:37:17 +0400246 return (uint16_t)x;
247
Kirill Batuzova640f032011-07-07 16:37:17 +0400248 case INDEX_op_ext32s_i64:
249 return (int32_t)x;
250
251 case INDEX_op_ext32u_i64:
252 return (uint32_t)x;
Kirill Batuzova640f032011-07-07 16:37:17 +0400253
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400254 default:
255 fprintf(stderr,
256 "Unrecognized operation %d in do_constant_folding.\n", op);
257 tcg_abort();
258 }
259}
260
Blue Swirlfe0de7a2011-07-30 19:18:32 +0000261static TCGArg do_constant_folding(TCGOpcode op, TCGArg x, TCGArg y)
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400262{
263 TCGArg res = do_constant_folding_2(op, x, y);
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400264 if (op_bits(op) == 32) {
265 res &= 0xffffffff;
266 }
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400267 return res;
268}
269
Aurelien Jarnof8dd19e2012-09-06 16:47:14 +0200270static TCGArg do_constant_folding_cond(TCGOpcode op, TCGArg x,
271 TCGArg y, TCGCond c)
272{
273 switch (op_bits(op)) {
274 case 32:
275 switch (c) {
276 case TCG_COND_EQ:
277 return (uint32_t)x == (uint32_t)y;
278 case TCG_COND_NE:
279 return (uint32_t)x != (uint32_t)y;
280 case TCG_COND_LT:
281 return (int32_t)x < (int32_t)y;
282 case TCG_COND_GE:
283 return (int32_t)x >= (int32_t)y;
284 case TCG_COND_LE:
285 return (int32_t)x <= (int32_t)y;
286 case TCG_COND_GT:
287 return (int32_t)x > (int32_t)y;
288 case TCG_COND_LTU:
289 return (uint32_t)x < (uint32_t)y;
290 case TCG_COND_GEU:
291 return (uint32_t)x >= (uint32_t)y;
292 case TCG_COND_LEU:
293 return (uint32_t)x <= (uint32_t)y;
294 case TCG_COND_GTU:
295 return (uint32_t)x > (uint32_t)y;
296 }
297 break;
298 case 64:
299 switch (c) {
300 case TCG_COND_EQ:
301 return (uint64_t)x == (uint64_t)y;
302 case TCG_COND_NE:
303 return (uint64_t)x != (uint64_t)y;
304 case TCG_COND_LT:
305 return (int64_t)x < (int64_t)y;
306 case TCG_COND_GE:
307 return (int64_t)x >= (int64_t)y;
308 case TCG_COND_LE:
309 return (int64_t)x <= (int64_t)y;
310 case TCG_COND_GT:
311 return (int64_t)x > (int64_t)y;
312 case TCG_COND_LTU:
313 return (uint64_t)x < (uint64_t)y;
314 case TCG_COND_GEU:
315 return (uint64_t)x >= (uint64_t)y;
316 case TCG_COND_LEU:
317 return (uint64_t)x <= (uint64_t)y;
318 case TCG_COND_GTU:
319 return (uint64_t)x > (uint64_t)y;
320 }
321 break;
322 }
323
324 fprintf(stderr,
325 "Unrecognized bitness %d or condition %d in "
326 "do_constant_folding_cond.\n", op_bits(op), c);
327 tcg_abort();
328}
329
330
Kirill Batuzov22613af2011-07-07 16:37:13 +0400331/* Propagate constants and copies, fold constant expressions. */
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +0400332static TCGArg *tcg_constant_folding(TCGContext *s, uint16_t *tcg_opc_ptr,
333 TCGArg *args, TCGOpDef *tcg_op_defs)
334{
Blue Swirlfe0de7a2011-07-30 19:18:32 +0000335 int i, nb_ops, op_index, nb_temps, nb_globals, nb_call_args;
336 TCGOpcode op;
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +0400337 const TCGOpDef *def;
338 TCGArg *gen_args;
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400339 TCGArg tmp;
Kirill Batuzov22613af2011-07-07 16:37:13 +0400340 /* Array VALS has an element for each temp.
341 If this temp holds a constant then its value is kept in VALS' element.
342 If this temp is a copy of other ones then this equivalence class'
343 representative is kept in VALS' element.
344 If this temp is neither copy nor constant then corresponding VALS'
345 element is unused. */
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +0400346
347 nb_temps = s->nb_temps;
348 nb_globals = s->nb_globals;
Kirill Batuzov22613af2011-07-07 16:37:13 +0400349 memset(temps, 0, nb_temps * sizeof(struct tcg_temp_info));
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +0400350
351 nb_ops = tcg_opc_ptr - gen_opc_buf;
352 gen_args = args;
353 for (op_index = 0; op_index < nb_ops; op_index++) {
354 op = gen_opc_buf[op_index];
355 def = &tcg_op_defs[op];
Kirill Batuzov22613af2011-07-07 16:37:13 +0400356 /* Do copy propagation */
357 if (!(def->flags & (TCG_OPF_CALL_CLOBBER | TCG_OPF_SIDE_EFFECTS))) {
358 assert(op != INDEX_op_call);
359 for (i = def->nb_oargs; i < def->nb_oargs + def->nb_iargs; i++) {
360 if (temps[args[i]].state == TCG_TEMP_COPY) {
361 args[i] = temps[args[i]].val;
362 }
363 }
364 }
365
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400366 /* For commutative operations make constant second argument */
367 switch (op) {
368 CASE_OP_32_64(add):
369 CASE_OP_32_64(mul):
Kirill Batuzov9a810902011-07-07 16:37:15 +0400370 CASE_OP_32_64(and):
371 CASE_OP_32_64(or):
372 CASE_OP_32_64(xor):
Richard Hendersoncb25c802011-08-17 14:11:47 -0700373 CASE_OP_32_64(eqv):
374 CASE_OP_32_64(nand):
375 CASE_OP_32_64(nor):
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400376 if (temps[args[1]].state == TCG_TEMP_CONST) {
377 tmp = args[1];
378 args[1] = args[2];
379 args[2] = tmp;
380 }
381 break;
Aurelien Jarno65a7cce2012-09-06 16:47:14 +0200382 CASE_OP_32_64(brcond):
383 if (temps[args[0]].state == TCG_TEMP_CONST
384 && temps[args[1]].state != TCG_TEMP_CONST) {
385 tmp = args[0];
386 args[0] = args[1];
387 args[1] = tmp;
388 args[2] = tcg_swap_cond(args[2]);
389 }
390 break;
391 CASE_OP_32_64(setcond):
392 if (temps[args[1]].state == TCG_TEMP_CONST
393 && temps[args[2]].state != TCG_TEMP_CONST) {
394 tmp = args[1];
395 args[1] = args[2];
396 args[2] = tmp;
397 args[3] = tcg_swap_cond(args[3]);
398 }
399 break;
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400400 default:
401 break;
402 }
403
Aurelien Jarno01ee5282012-09-06 16:47:14 +0200404 /* Simplify expressions for "shift/rot r, 0, a => movi r, 0" */
405 switch (op) {
406 CASE_OP_32_64(shl):
407 CASE_OP_32_64(shr):
408 CASE_OP_32_64(sar):
409 CASE_OP_32_64(rotl):
410 CASE_OP_32_64(rotr):
411 if (temps[args[1]].state == TCG_TEMP_CONST
412 && temps[args[1]].val == 0) {
413 gen_opc_buf[op_index] = op_to_movi(op);
414 tcg_opt_gen_movi(gen_args, args[0], 0, nb_temps, nb_globals);
415 args += 3;
416 gen_args += 2;
417 continue;
418 }
419 break;
420 default:
421 break;
422 }
423
Aurelien Jarno56e49432012-09-06 16:47:13 +0200424 /* Simplify expression for "op r, a, 0 => mov r, a" cases */
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400425 switch (op) {
426 CASE_OP_32_64(add):
427 CASE_OP_32_64(sub):
Kirill Batuzov55c09752011-07-07 16:37:16 +0400428 CASE_OP_32_64(shl):
429 CASE_OP_32_64(shr):
430 CASE_OP_32_64(sar):
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700431 CASE_OP_32_64(rotl):
432 CASE_OP_32_64(rotr):
Aurelien Jarno38ee1882012-09-06 16:47:14 +0200433 CASE_OP_32_64(or):
434 CASE_OP_32_64(xor):
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400435 if (temps[args[1]].state == TCG_TEMP_CONST) {
436 /* Proceed with possible constant folding. */
437 break;
438 }
439 if (temps[args[2]].state == TCG_TEMP_CONST
440 && temps[args[2]].val == 0) {
441 if ((temps[args[0]].state == TCG_TEMP_COPY
442 && temps[args[0]].val == args[1])
443 || args[0] == args[1]) {
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400444 gen_opc_buf[op_index] = INDEX_op_nop;
445 } else {
446 gen_opc_buf[op_index] = op_to_mov(op);
Blue Swirle31b0a72011-08-06 13:58:47 +0000447 tcg_opt_gen_mov(s, gen_args, args[0], args[1],
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400448 nb_temps, nb_globals);
449 gen_args += 2;
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400450 }
Aurelien Jarnofedc0da2012-09-07 12:24:32 +0200451 args += 3;
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400452 continue;
453 }
454 break;
Aurelien Jarno56e49432012-09-06 16:47:13 +0200455 default:
456 break;
457 }
458
459 /* Simplify expression for "op r, a, 0 => movi r, 0" cases */
460 switch (op) {
Aurelien Jarno61251c02012-09-06 16:47:14 +0200461 CASE_OP_32_64(and):
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400462 CASE_OP_32_64(mul):
463 if ((temps[args[2]].state == TCG_TEMP_CONST
464 && temps[args[2]].val == 0)) {
465 gen_opc_buf[op_index] = op_to_movi(op);
466 tcg_opt_gen_movi(gen_args, args[0], 0, nb_temps, nb_globals);
467 args += 3;
468 gen_args += 2;
469 continue;
470 }
471 break;
Aurelien Jarno56e49432012-09-06 16:47:13 +0200472 default:
473 break;
474 }
475
476 /* Simplify expression for "op r, a, a => mov r, a" cases */
477 switch (op) {
Kirill Batuzov9a810902011-07-07 16:37:15 +0400478 CASE_OP_32_64(or):
479 CASE_OP_32_64(and):
480 if (args[1] == args[2]) {
481 if (args[1] == args[0]) {
Kirill Batuzov9a810902011-07-07 16:37:15 +0400482 gen_opc_buf[op_index] = INDEX_op_nop;
483 } else {
484 gen_opc_buf[op_index] = op_to_mov(op);
Blue Swirle31b0a72011-08-06 13:58:47 +0000485 tcg_opt_gen_mov(s, gen_args, args[0], args[1], nb_temps,
Kirill Batuzov9a810902011-07-07 16:37:15 +0400486 nb_globals);
487 gen_args += 2;
Kirill Batuzov9a810902011-07-07 16:37:15 +0400488 }
Aurelien Jarnofedc0da2012-09-07 12:24:32 +0200489 args += 3;
Kirill Batuzov9a810902011-07-07 16:37:15 +0400490 continue;
491 }
492 break;
Blue Swirlfe0de7a2011-07-30 19:18:32 +0000493 default:
494 break;
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400495 }
496
Kirill Batuzov22613af2011-07-07 16:37:13 +0400497 /* Propagate constants through copy operations and do constant
498 folding. Constants will be substituted to arguments by register
499 allocator where needed and possible. Also detect copies. */
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +0400500 switch (op) {
Kirill Batuzov22613af2011-07-07 16:37:13 +0400501 CASE_OP_32_64(mov):
502 if ((temps[args[1]].state == TCG_TEMP_COPY
503 && temps[args[1]].val == args[0])
504 || args[0] == args[1]) {
505 args += 2;
506 gen_opc_buf[op_index] = INDEX_op_nop;
507 break;
508 }
509 if (temps[args[1]].state != TCG_TEMP_CONST) {
Blue Swirle31b0a72011-08-06 13:58:47 +0000510 tcg_opt_gen_mov(s, gen_args, args[0], args[1],
Kirill Batuzov22613af2011-07-07 16:37:13 +0400511 nb_temps, nb_globals);
512 gen_args += 2;
513 args += 2;
514 break;
515 }
516 /* Source argument is constant. Rewrite the operation and
517 let movi case handle it. */
518 op = op_to_movi(op);
519 gen_opc_buf[op_index] = op;
520 args[1] = temps[args[1]].val;
521 /* fallthrough */
522 CASE_OP_32_64(movi):
523 tcg_opt_gen_movi(gen_args, args[0], args[1], nb_temps, nb_globals);
524 gen_args += 2;
525 args += 2;
526 break;
Kirill Batuzova640f032011-07-07 16:37:17 +0400527 CASE_OP_32_64(not):
Richard Hendersoncb25c802011-08-17 14:11:47 -0700528 CASE_OP_32_64(neg):
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700529 CASE_OP_32_64(ext8s):
530 CASE_OP_32_64(ext8u):
531 CASE_OP_32_64(ext16s):
532 CASE_OP_32_64(ext16u):
Kirill Batuzova640f032011-07-07 16:37:17 +0400533 case INDEX_op_ext32s_i64:
534 case INDEX_op_ext32u_i64:
Kirill Batuzova640f032011-07-07 16:37:17 +0400535 if (temps[args[1]].state == TCG_TEMP_CONST) {
536 gen_opc_buf[op_index] = op_to_movi(op);
537 tmp = do_constant_folding(op, temps[args[1]].val, 0);
538 tcg_opt_gen_movi(gen_args, args[0], tmp, nb_temps, nb_globals);
Kirill Batuzova640f032011-07-07 16:37:17 +0400539 } else {
540 reset_temp(args[0], nb_temps, nb_globals);
541 gen_args[0] = args[0];
542 gen_args[1] = args[1];
Kirill Batuzova640f032011-07-07 16:37:17 +0400543 }
Aurelien Jarnofedc0da2012-09-07 12:24:32 +0200544 gen_args += 2;
545 args += 2;
546 break;
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400547 CASE_OP_32_64(add):
548 CASE_OP_32_64(sub):
549 CASE_OP_32_64(mul):
Kirill Batuzov9a810902011-07-07 16:37:15 +0400550 CASE_OP_32_64(or):
551 CASE_OP_32_64(and):
552 CASE_OP_32_64(xor):
Kirill Batuzov55c09752011-07-07 16:37:16 +0400553 CASE_OP_32_64(shl):
554 CASE_OP_32_64(shr):
555 CASE_OP_32_64(sar):
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700556 CASE_OP_32_64(rotl):
557 CASE_OP_32_64(rotr):
Richard Hendersoncb25c802011-08-17 14:11:47 -0700558 CASE_OP_32_64(andc):
559 CASE_OP_32_64(orc):
560 CASE_OP_32_64(eqv):
561 CASE_OP_32_64(nand):
562 CASE_OP_32_64(nor):
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400563 if (temps[args[1]].state == TCG_TEMP_CONST
564 && temps[args[2]].state == TCG_TEMP_CONST) {
565 gen_opc_buf[op_index] = op_to_movi(op);
566 tmp = do_constant_folding(op, temps[args[1]].val,
567 temps[args[2]].val);
568 tcg_opt_gen_movi(gen_args, args[0], tmp, nb_temps, nb_globals);
569 gen_args += 2;
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400570 } else {
571 reset_temp(args[0], nb_temps, nb_globals);
572 gen_args[0] = args[0];
573 gen_args[1] = args[1];
574 gen_args[2] = args[2];
575 gen_args += 3;
Kirill Batuzov53108fb2011-07-07 16:37:14 +0400576 }
Aurelien Jarnofedc0da2012-09-07 12:24:32 +0200577 args += 3;
578 break;
Aurelien Jarnof8dd19e2012-09-06 16:47:14 +0200579 CASE_OP_32_64(setcond):
580 if (temps[args[1]].state == TCG_TEMP_CONST
581 && temps[args[2]].state == TCG_TEMP_CONST) {
582 gen_opc_buf[op_index] = op_to_movi(op);
583 tmp = do_constant_folding_cond(op, temps[args[1]].val,
584 temps[args[2]].val, args[3]);
585 tcg_opt_gen_movi(gen_args, args[0], tmp, nb_temps, nb_globals);
586 gen_args += 2;
Aurelien Jarnof8dd19e2012-09-06 16:47:14 +0200587 } else {
588 reset_temp(args[0], nb_temps, nb_globals);
589 gen_args[0] = args[0];
590 gen_args[1] = args[1];
591 gen_args[2] = args[2];
592 gen_args[3] = args[3];
593 gen_args += 4;
Aurelien Jarnof8dd19e2012-09-06 16:47:14 +0200594 }
Aurelien Jarnofedc0da2012-09-07 12:24:32 +0200595 args += 4;
596 break;
Aurelien Jarnofbeaa262012-09-06 16:47:14 +0200597 CASE_OP_32_64(brcond):
598 if (temps[args[0]].state == TCG_TEMP_CONST
599 && temps[args[1]].state == TCG_TEMP_CONST) {
600 if (do_constant_folding_cond(op, temps[args[0]].val,
601 temps[args[1]].val, args[2])) {
602 memset(temps, 0, nb_temps * sizeof(struct tcg_temp_info));
603 gen_opc_buf[op_index] = INDEX_op_br;
604 gen_args[0] = args[3];
605 gen_args += 1;
Aurelien Jarnofbeaa262012-09-06 16:47:14 +0200606 } else {
607 gen_opc_buf[op_index] = INDEX_op_nop;
Aurelien Jarnofbeaa262012-09-06 16:47:14 +0200608 }
Aurelien Jarnofbeaa262012-09-06 16:47:14 +0200609 } else {
610 memset(temps, 0, nb_temps * sizeof(struct tcg_temp_info));
611 reset_temp(args[0], nb_temps, nb_globals);
612 gen_args[0] = args[0];
613 gen_args[1] = args[1];
614 gen_args[2] = args[2];
615 gen_args[3] = args[3];
616 gen_args += 4;
Aurelien Jarnofbeaa262012-09-06 16:47:14 +0200617 }
Aurelien Jarnofedc0da2012-09-07 12:24:32 +0200618 args += 4;
619 break;
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +0400620 case INDEX_op_call:
Kirill Batuzov22613af2011-07-07 16:37:13 +0400621 nb_call_args = (args[0] >> 16) + (args[0] & 0xffff);
622 if (!(args[nb_call_args + 1] & (TCG_CALL_CONST | TCG_CALL_PURE))) {
623 for (i = 0; i < nb_globals; i++) {
624 reset_temp(i, nb_temps, nb_globals);
625 }
626 }
627 for (i = 0; i < (args[0] >> 16); i++) {
628 reset_temp(args[i + 1], nb_temps, nb_globals);
629 }
630 i = nb_call_args + 3;
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +0400631 while (i) {
632 *gen_args = *args;
633 args++;
634 gen_args++;
635 i--;
636 }
637 break;
638 case INDEX_op_set_label:
639 case INDEX_op_jmp:
640 case INDEX_op_br:
Kirill Batuzov22613af2011-07-07 16:37:13 +0400641 memset(temps, 0, nb_temps * sizeof(struct tcg_temp_info));
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +0400642 for (i = 0; i < def->nb_args; i++) {
643 *gen_args = *args;
644 args++;
645 gen_args++;
646 }
647 break;
648 default:
Kirill Batuzov22613af2011-07-07 16:37:13 +0400649 /* Default case: we do know nothing about operation so no
650 propagation is done. We only trash output args. */
651 for (i = 0; i < def->nb_oargs; i++) {
652 reset_temp(args[i], nb_temps, nb_globals);
653 }
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +0400654 for (i = 0; i < def->nb_args; i++) {
655 gen_args[i] = args[i];
656 }
657 args += def->nb_args;
658 gen_args += def->nb_args;
659 break;
660 }
661 }
662
663 return gen_args;
664}
665
666TCGArg *tcg_optimize(TCGContext *s, uint16_t *tcg_opc_ptr,
667 TCGArg *args, TCGOpDef *tcg_op_defs)
668{
669 TCGArg *res;
670 res = tcg_constant_folding(s, tcg_opc_ptr, args, tcg_op_defs);
671 return res;
672}