freedreno/ir3: shuffle a few ir3_register fields
[mesa.git] / src / freedreno / ir3 / ir3.h
1 /*
2 * Copyright (c) 2013 Rob Clark <robdclark@gmail.com>
3 *
4 * Permission is hereby granted, free of charge, to any person obtaining a
5 * copy of this software and associated documentation files (the "Software"),
6 * to deal in the Software without restriction, including without limitation
7 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 * and/or sell copies of the Software, and to permit persons to whom the
9 * Software is furnished to do so, subject to the following conditions:
10 *
11 * The above copyright notice and this permission notice (including the next
12 * paragraph) shall be included in all copies or substantial portions of the
13 * Software.
14 *
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
18 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21 * SOFTWARE.
22 */
23
24 #ifndef IR3_H_
25 #define IR3_H_
26
27 #include <stdint.h>
28 #include <stdbool.h>
29
30 #include "compiler/shader_enums.h"
31
32 #include "util/bitscan.h"
33 #include "util/list.h"
34 #include "util/set.h"
35 #include "util/u_debug.h"
36
37 #include "instr-a3xx.h"
38
39 /* low level intermediate representation of an adreno shader program */
40
41 struct ir3_compiler;
42 struct ir3;
43 struct ir3_instruction;
44 struct ir3_block;
45
46 struct ir3_info {
47 uint32_t gpu_id;
48 uint16_t sizedwords;
49 uint16_t instrs_count; /* expanded to account for rpt's */
50 uint16_t nops_count; /* # of nop instructions, including nopN */
51 /* NOTE: max_reg, etc, does not include registers not touched
52 * by the shader (ie. vertex fetched via VFD_DECODE but not
53 * touched by shader)
54 */
55 int8_t max_reg; /* highest GPR # used by shader */
56 int8_t max_half_reg;
57 int16_t max_const;
58
59 /* number of sync bits: */
60 uint16_t ss, sy;
61
62 uint16_t last_baryf; /* instruction # of last varying fetch */
63 };
64
65 struct ir3_register {
66 enum {
67 IR3_REG_CONST = 0x001,
68 IR3_REG_IMMED = 0x002,
69 IR3_REG_HALF = 0x004,
70 /* high registers are used for some things in compute shaders,
71 * for example. Seems to be for things that are global to all
72 * threads in a wave, so possibly these are global/shared by
73 * all the threads in the wave?
74 */
75 IR3_REG_HIGH = 0x008,
76 IR3_REG_RELATIV= 0x010,
77 IR3_REG_R = 0x020,
78 /* Most instructions, it seems, can do float abs/neg but not
79 * integer. The CP pass needs to know what is intended (int or
80 * float) in order to do the right thing. For this reason the
81 * abs/neg flags are split out into float and int variants. In
82 * addition, .b (bitwise) operations, the negate is actually a
83 * bitwise not, so split that out into a new flag to make it
84 * more clear.
85 */
86 IR3_REG_FNEG = 0x040,
87 IR3_REG_FABS = 0x080,
88 IR3_REG_SNEG = 0x100,
89 IR3_REG_SABS = 0x200,
90 IR3_REG_BNOT = 0x400,
91 IR3_REG_EVEN = 0x800,
92 IR3_REG_POS_INF= 0x1000,
93 /* (ei) flag, end-input? Set on last bary, presumably to signal
94 * that the shader needs no more input:
95 */
96 IR3_REG_EI = 0x2000,
97 /* meta-flags, for intermediate stages of IR, ie.
98 * before register assignment is done:
99 */
100 IR3_REG_SSA = 0x4000, /* 'instr' is ptr to assigning instr */
101 IR3_REG_ARRAY = 0x8000,
102
103 } flags;
104
105 /* used for cat5 instructions, but also for internal/IR level
106 * tracking of what registers are read/written by an instruction.
107 * wrmask may be a bad name since it is used to represent both
108 * src and dst that touch multiple adjacent registers.
109 */
110 unsigned wrmask : 16; /* up to vec16 */
111
112 /* for relative addressing, 32bits for array size is too small,
113 * but otoh we don't need to deal with disjoint sets, so instead
114 * use a simple size field (number of scalar components).
115 *
116 * Note the size field isn't important for relative const (since
117 * we don't have to do register allocation for constants).
118 */
119 unsigned size : 15;
120
121 bool merged : 1; /* half-regs conflict with full regs (ie >= a6xx) */
122
123 /* normal registers:
124 * the component is in the low two bits of the reg #, so
125 * rN.x becomes: (N << 2) | x
126 */
127 uint16_t num;
128 union {
129 /* immediate: */
130 int32_t iim_val;
131 uint32_t uim_val;
132 float fim_val;
133 /* relative: */
134 struct {
135 uint16_t id;
136 int16_t offset;
137 } array;
138 };
139
140 /* For IR3_REG_SSA, src registers contain ptr back to assigning
141 * instruction.
142 *
143 * For IR3_REG_ARRAY, the pointer is back to the last dependent
144 * array access (although the net effect is the same, it points
145 * back to a previous instruction that we depend on).
146 */
147 struct ir3_instruction *instr;
148 };
149
150 /*
151 * Stupid/simple growable array implementation:
152 */
153 #define DECLARE_ARRAY(type, name) \
154 unsigned name ## _count, name ## _sz; \
155 type * name;
156
157 #define array_insert(ctx, arr, val) do { \
158 if (arr ## _count == arr ## _sz) { \
159 arr ## _sz = MAX2(2 * arr ## _sz, 16); \
160 arr = reralloc_size(ctx, arr, arr ## _sz * sizeof(arr[0])); \
161 } \
162 arr[arr ##_count++] = val; \
163 } while (0)
164
165 struct ir3_instruction {
166 struct ir3_block *block;
167 opc_t opc;
168 enum {
169 /* (sy) flag is set on first instruction, and after sample
170 * instructions (probably just on RAW hazard).
171 */
172 IR3_INSTR_SY = 0x001,
173 /* (ss) flag is set on first instruction, and first instruction
174 * to depend on the result of "long" instructions (RAW hazard):
175 *
176 * rcp, rsq, log2, exp2, sin, cos, sqrt
177 *
178 * It seems to synchronize until all in-flight instructions are
179 * completed, for example:
180 *
181 * rsq hr1.w, hr1.w
182 * add.f hr2.z, (neg)hr2.z, hc0.y
183 * mul.f hr2.w, (neg)hr2.y, (neg)hr2.y
184 * rsq hr2.x, hr2.x
185 * (rpt1)nop
186 * mad.f16 hr2.w, hr2.z, hr2.z, hr2.w
187 * nop
188 * mad.f16 hr2.w, (neg)hr0.w, (neg)hr0.w, hr2.w
189 * (ss)(rpt2)mul.f hr1.x, (r)hr1.x, hr1.w
190 * (rpt2)mul.f hr0.x, (neg)(r)hr0.x, hr2.x
191 *
192 * The last mul.f does not have (ss) set, presumably because the
193 * (ss) on the previous instruction does the job.
194 *
195 * The blob driver also seems to set it on WAR hazards, although
196 * not really clear if this is needed or just blob compiler being
197 * sloppy. So far I haven't found a case where removing the (ss)
198 * causes problems for WAR hazard, but I could just be getting
199 * lucky:
200 *
201 * rcp r1.y, r3.y
202 * (ss)(rpt2)mad.f32 r3.y, (r)c9.x, r1.x, (r)r3.z
203 *
204 */
205 IR3_INSTR_SS = 0x002,
206 /* (jp) flag is set on jump targets:
207 */
208 IR3_INSTR_JP = 0x004,
209 IR3_INSTR_UL = 0x008,
210 IR3_INSTR_3D = 0x010,
211 IR3_INSTR_A = 0x020,
212 IR3_INSTR_O = 0x040,
213 IR3_INSTR_P = 0x080,
214 IR3_INSTR_S = 0x100,
215 IR3_INSTR_S2EN = 0x200,
216 IR3_INSTR_G = 0x400,
217 IR3_INSTR_SAT = 0x800,
218 /* meta-flags, for intermediate stages of IR, ie.
219 * before register assignment is done:
220 */
221 IR3_INSTR_MARK = 0x1000,
222 IR3_INSTR_UNUSED= 0x2000,
223 } flags;
224 uint8_t repeat;
225 uint8_t nop;
226 #ifdef DEBUG
227 unsigned regs_max;
228 #endif
229 unsigned regs_count;
230 struct ir3_register **regs;
231 union {
232 struct {
233 char inv;
234 char comp;
235 int immed;
236 struct ir3_block *target;
237 } cat0;
238 struct {
239 type_t src_type, dst_type;
240 } cat1;
241 struct {
242 enum {
243 IR3_COND_LT = 0,
244 IR3_COND_LE = 1,
245 IR3_COND_GT = 2,
246 IR3_COND_GE = 3,
247 IR3_COND_EQ = 4,
248 IR3_COND_NE = 5,
249 } condition;
250 } cat2;
251 struct {
252 unsigned samp, tex;
253 type_t type;
254 } cat5;
255 struct {
256 type_t type;
257 int src_offset;
258 int dst_offset;
259 int iim_val : 3; /* for ldgb/stgb, # of components */
260 unsigned d : 3;
261 bool typed : 1;
262 } cat6;
263 struct {
264 unsigned w : 1; /* write */
265 unsigned r : 1; /* read */
266 unsigned l : 1; /* local */
267 unsigned g : 1; /* global */
268 } cat7;
269 /* for meta-instructions, just used to hold extra data
270 * before instruction scheduling, etc
271 */
272 struct {
273 int off; /* component/offset */
274 } split;
275 struct {
276 /* for output collects, this maps back to the entry in the
277 * ir3_shader_variant::outputs table.
278 */
279 int outidx;
280 } collect;
281 struct {
282 unsigned samp, tex;
283 unsigned input_offset;
284 } prefetch;
285 struct {
286 /* maps back to entry in ir3_shader_variant::inputs table: */
287 int inidx;
288 /* for sysvals, identifies the sysval type. Mostly so we can
289 * identify the special cases where a sysval should not be DCE'd
290 * (currently, just pre-fs texture fetch)
291 */
292 gl_system_value sysval;
293 } input;
294 };
295
296 /* transient values used during various algorithms: */
297 union {
298 /* The instruction depth is the max dependency distance to output.
299 *
300 * You can also think of it as the "cost", if we did any sort of
301 * optimization for register footprint. Ie. a value that is just
302 * result of moving a const to a reg would have a low cost, so to
303 * it could make sense to duplicate the instruction at various
304 * points where the result is needed to reduce register footprint.
305 */
306 int depth;
307 /* When we get to the RA stage, we no longer need depth, but
308 * we do need instruction's position/name:
309 */
310 struct {
311 uint16_t ip;
312 uint16_t name;
313 };
314 };
315
316 /* used for per-pass extra instruction data.
317 *
318 * TODO we should remove the per-pass data like this and 'use_count'
319 * and do something similar to what RA does w/ ir3_ra_instr_data..
320 * ie. use the ir3_count_instructions pass, and then use instr->ip
321 * to index into a table of pass-private data.
322 */
323 void *data;
324
325 int sun; /* Sethi–Ullman number, used by sched */
326 int use_count; /* currently just updated/used by cp */
327
328 /* Used during CP and RA stages. For collect and shader inputs/
329 * outputs where we need a sequence of consecutive registers,
330 * keep track of each src instructions left (ie 'n-1') and right
331 * (ie 'n+1') neighbor. The front-end must insert enough mov's
332 * to ensure that each instruction has at most one left and at
333 * most one right neighbor. During the copy-propagation pass,
334 * we only remove mov's when we can preserve this constraint.
335 * And during the RA stage, we use the neighbor information to
336 * allocate a block of registers in one shot.
337 *
338 * TODO: maybe just add something like:
339 * struct ir3_instruction_ref {
340 * struct ir3_instruction *instr;
341 * unsigned cnt;
342 * }
343 *
344 * Or can we get away without the refcnt stuff? It seems like
345 * it should be overkill.. the problem is if, potentially after
346 * already eliminating some mov's, if you have a single mov that
347 * needs to be grouped with it's neighbors in two different
348 * places (ex. shader output and a collect).
349 */
350 struct {
351 struct ir3_instruction *left, *right;
352 uint16_t left_cnt, right_cnt;
353 } cp;
354
355 /* an instruction can reference at most one address register amongst
356 * it's src/dst registers. Beyond that, you need to insert mov's.
357 *
358 * NOTE: do not write this directly, use ir3_instr_set_address()
359 */
360 struct ir3_instruction *address;
361
362 /* Tracking for additional dependent instructions. Used to handle
363 * barriers, WAR hazards for arrays/SSBOs/etc.
364 */
365 DECLARE_ARRAY(struct ir3_instruction *, deps);
366
367 /*
368 * From PoV of instruction scheduling, not execution (ie. ignores global/
369 * local distinction):
370 * shared image atomic SSBO everything
371 * barrier()/ - R/W R/W R/W R/W X
372 * groupMemoryBarrier()
373 * memoryBarrier() - R/W R/W
374 * (but only images declared coherent?)
375 * memoryBarrierAtomic() - R/W
376 * memoryBarrierBuffer() - R/W
377 * memoryBarrierImage() - R/W
378 * memoryBarrierShared() - R/W
379 *
380 * TODO I think for SSBO/image/shared, in cases where we can determine
381 * which variable is accessed, we don't need to care about accesses to
382 * different variables (unless declared coherent??)
383 */
384 enum {
385 IR3_BARRIER_EVERYTHING = 1 << 0,
386 IR3_BARRIER_SHARED_R = 1 << 1,
387 IR3_BARRIER_SHARED_W = 1 << 2,
388 IR3_BARRIER_IMAGE_R = 1 << 3,
389 IR3_BARRIER_IMAGE_W = 1 << 4,
390 IR3_BARRIER_BUFFER_R = 1 << 5,
391 IR3_BARRIER_BUFFER_W = 1 << 6,
392 IR3_BARRIER_ARRAY_R = 1 << 7,
393 IR3_BARRIER_ARRAY_W = 1 << 8,
394 } barrier_class, barrier_conflict;
395
396 /* Entry in ir3_block's instruction list: */
397 struct list_head node;
398
399 #ifdef DEBUG
400 uint32_t serialno;
401 #endif
402 };
403
404 static inline struct ir3_instruction *
405 ir3_neighbor_first(struct ir3_instruction *instr)
406 {
407 int cnt = 0;
408 while (instr->cp.left) {
409 instr = instr->cp.left;
410 if (++cnt > 0xffff) {
411 debug_assert(0);
412 break;
413 }
414 }
415 return instr;
416 }
417
418 static inline int ir3_neighbor_count(struct ir3_instruction *instr)
419 {
420 int num = 1;
421
422 debug_assert(!instr->cp.left);
423
424 while (instr->cp.right) {
425 num++;
426 instr = instr->cp.right;
427 if (num > 0xffff) {
428 debug_assert(0);
429 break;
430 }
431 }
432
433 return num;
434 }
435
436 struct ir3 {
437 struct ir3_compiler *compiler;
438 gl_shader_stage type;
439
440 DECLARE_ARRAY(struct ir3_instruction *, inputs);
441 DECLARE_ARRAY(struct ir3_instruction *, outputs);
442
443 /* Track bary.f (and ldlv) instructions.. this is needed in
444 * scheduling to ensure that all varying fetches happen before
445 * any potential kill instructions. The hw gets grumpy if all
446 * threads in a group are killed before the last bary.f gets
447 * a chance to signal end of input (ei).
448 */
449 DECLARE_ARRAY(struct ir3_instruction *, baryfs);
450
451 /* Track all indirect instructions (read and write). To avoid
452 * deadlock scenario where an address register gets scheduled,
453 * but other dependent src instructions cannot be scheduled due
454 * to dependency on a *different* address register value, the
455 * scheduler needs to ensure that all dependencies other than
456 * the instruction other than the address register are scheduled
457 * before the one that writes the address register. Having a
458 * convenient list of instructions that reference some address
459 * register simplifies this.
460 */
461 DECLARE_ARRAY(struct ir3_instruction *, indirects);
462
463 /* and same for instructions that consume predicate register: */
464 DECLARE_ARRAY(struct ir3_instruction *, predicates);
465
466 /* Track texture sample instructions which need texture state
467 * patched in (for astc-srgb workaround):
468 */
469 DECLARE_ARRAY(struct ir3_instruction *, astc_srgb);
470
471 /* List of blocks: */
472 struct list_head block_list;
473
474 /* List of ir3_array's: */
475 struct list_head array_list;
476
477 unsigned max_sun; /* max Sethi–Ullman number */
478
479 #ifdef DEBUG
480 unsigned block_count, instr_count;
481 #endif
482 };
483
484 struct ir3_array {
485 struct list_head node;
486 unsigned length;
487 unsigned id;
488
489 struct nir_register *r;
490
491 /* To avoid array write's from getting DCE'd, keep track of the
492 * most recent write. Any array access depends on the most
493 * recent write. This way, nothing depends on writes after the
494 * last read. But all the writes that happen before that have
495 * something depending on them
496 */
497 struct ir3_instruction *last_write;
498
499 /* extra stuff used in RA pass: */
500 unsigned base; /* base vreg name */
501 unsigned reg; /* base physical reg */
502 uint16_t start_ip, end_ip;
503 };
504
505 struct ir3_array * ir3_lookup_array(struct ir3 *ir, unsigned id);
506
507 struct ir3_block {
508 struct list_head node;
509 struct ir3 *shader;
510
511 const struct nir_block *nblock;
512
513 struct list_head instr_list; /* list of ir3_instruction */
514
515 /* each block has either one or two successors.. in case of
516 * two successors, 'condition' decides which one to follow.
517 * A block preceding an if/else has two successors.
518 */
519 struct ir3_instruction *condition;
520 struct ir3_block *successors[2];
521
522 struct set *predecessors; /* set of ir3_block */
523
524 uint16_t start_ip, end_ip;
525
526 /* Track instructions which do not write a register but other-
527 * wise must not be discarded (such as kill, stg, etc)
528 */
529 DECLARE_ARRAY(struct ir3_instruction *, keeps);
530
531 /* used for per-pass extra block data. Mainly used right
532 * now in RA step to track livein/liveout.
533 */
534 void *data;
535
536 #ifdef DEBUG
537 uint32_t serialno;
538 #endif
539 };
540
541 static inline uint32_t
542 block_id(struct ir3_block *block)
543 {
544 #ifdef DEBUG
545 return block->serialno;
546 #else
547 return (uint32_t)(unsigned long)block;
548 #endif
549 }
550
551 struct ir3 * ir3_create(struct ir3_compiler *compiler, gl_shader_stage type);
552 void ir3_destroy(struct ir3 *shader);
553 void * ir3_assemble(struct ir3 *shader,
554 struct ir3_info *info, uint32_t gpu_id);
555 void * ir3_alloc(struct ir3 *shader, int sz);
556
557 struct ir3_block * ir3_block_create(struct ir3 *shader);
558
559 struct ir3_instruction * ir3_instr_create(struct ir3_block *block, opc_t opc);
560 struct ir3_instruction * ir3_instr_create2(struct ir3_block *block,
561 opc_t opc, int nreg);
562 struct ir3_instruction * ir3_instr_clone(struct ir3_instruction *instr);
563 void ir3_instr_add_dep(struct ir3_instruction *instr, struct ir3_instruction *dep);
564 const char *ir3_instr_name(struct ir3_instruction *instr);
565
566 struct ir3_register * ir3_reg_create(struct ir3_instruction *instr,
567 int num, int flags);
568 struct ir3_register * ir3_reg_clone(struct ir3 *shader,
569 struct ir3_register *reg);
570
571 void ir3_instr_set_address(struct ir3_instruction *instr,
572 struct ir3_instruction *addr);
573
574 static inline bool ir3_instr_check_mark(struct ir3_instruction *instr)
575 {
576 if (instr->flags & IR3_INSTR_MARK)
577 return true; /* already visited */
578 instr->flags |= IR3_INSTR_MARK;
579 return false;
580 }
581
582 void ir3_block_clear_mark(struct ir3_block *block);
583 void ir3_clear_mark(struct ir3 *shader);
584
585 unsigned ir3_count_instructions(struct ir3 *ir);
586
587 static inline int ir3_instr_regno(struct ir3_instruction *instr,
588 struct ir3_register *reg)
589 {
590 unsigned i;
591 for (i = 0; i < instr->regs_count; i++)
592 if (reg == instr->regs[i])
593 return i;
594 return -1;
595 }
596
597
598 #define MAX_ARRAYS 16
599
600 /* comp:
601 * 0 - x
602 * 1 - y
603 * 2 - z
604 * 3 - w
605 */
606 static inline uint32_t regid(int num, int comp)
607 {
608 return (num << 2) | (comp & 0x3);
609 }
610
611 static inline uint32_t reg_num(struct ir3_register *reg)
612 {
613 return reg->num >> 2;
614 }
615
616 static inline uint32_t reg_comp(struct ir3_register *reg)
617 {
618 return reg->num & 0x3;
619 }
620
621 #define INVALID_REG regid(63, 0)
622 #define VALIDREG(r) ((r) != INVALID_REG)
623 #define CONDREG(r, val) COND(VALIDREG(r), (val))
624
625 static inline bool is_flow(struct ir3_instruction *instr)
626 {
627 return (opc_cat(instr->opc) == 0);
628 }
629
630 static inline bool is_kill(struct ir3_instruction *instr)
631 {
632 return instr->opc == OPC_KILL;
633 }
634
635 static inline bool is_nop(struct ir3_instruction *instr)
636 {
637 return instr->opc == OPC_NOP;
638 }
639
640 static inline bool is_same_type_reg(struct ir3_register *reg1,
641 struct ir3_register *reg2)
642 {
643 unsigned type_reg1 = (reg1->flags & (IR3_REG_HIGH | IR3_REG_HALF));
644 unsigned type_reg2 = (reg2->flags & (IR3_REG_HIGH | IR3_REG_HALF));
645
646 if (type_reg1 ^ type_reg2)
647 return false;
648 else
649 return true;
650 }
651
652 /* Is it a non-transformative (ie. not type changing) mov? This can
653 * also include absneg.s/absneg.f, which for the most part can be
654 * treated as a mov (single src argument).
655 */
656 static inline bool is_same_type_mov(struct ir3_instruction *instr)
657 {
658 struct ir3_register *dst;
659
660 switch (instr->opc) {
661 case OPC_MOV:
662 if (instr->cat1.src_type != instr->cat1.dst_type)
663 return false;
664 /* If the type of dest reg and src reg are different,
665 * it shouldn't be considered as same type mov
666 */
667 if (!is_same_type_reg(instr->regs[0], instr->regs[1]))
668 return false;
669 break;
670 case OPC_ABSNEG_F:
671 case OPC_ABSNEG_S:
672 if (instr->flags & IR3_INSTR_SAT)
673 return false;
674 /* If the type of dest reg and src reg are different,
675 * it shouldn't be considered as same type mov
676 */
677 if (!is_same_type_reg(instr->regs[0], instr->regs[1]))
678 return false;
679 break;
680 default:
681 return false;
682 }
683
684 dst = instr->regs[0];
685
686 /* mov's that write to a0.x or p0.x are special: */
687 if (dst->num == regid(REG_P0, 0))
688 return false;
689 if (dst->num == regid(REG_A0, 0))
690 return false;
691
692 if (dst->flags & (IR3_REG_RELATIV | IR3_REG_ARRAY))
693 return false;
694
695 return true;
696 }
697
698 static inline bool is_alu(struct ir3_instruction *instr)
699 {
700 return (1 <= opc_cat(instr->opc)) && (opc_cat(instr->opc) <= 3);
701 }
702
703 static inline bool is_sfu(struct ir3_instruction *instr)
704 {
705 return (opc_cat(instr->opc) == 4);
706 }
707
708 static inline bool is_tex(struct ir3_instruction *instr)
709 {
710 return (opc_cat(instr->opc) == 5);
711 }
712
713 static inline bool is_mem(struct ir3_instruction *instr)
714 {
715 return (opc_cat(instr->opc) == 6);
716 }
717
718 static inline bool is_barrier(struct ir3_instruction *instr)
719 {
720 return (opc_cat(instr->opc) == 7);
721 }
722
723 static inline bool
724 is_store(struct ir3_instruction *instr)
725 {
726 /* these instructions, the "destination" register is
727 * actually a source, the address to store to.
728 */
729 switch (instr->opc) {
730 case OPC_STG:
731 case OPC_STGB:
732 case OPC_STIB:
733 case OPC_STP:
734 case OPC_STL:
735 case OPC_STLW:
736 case OPC_L2G:
737 case OPC_G2L:
738 return true;
739 default:
740 return false;
741 }
742 }
743
744 static inline bool is_load(struct ir3_instruction *instr)
745 {
746 switch (instr->opc) {
747 case OPC_LDG:
748 case OPC_LDGB:
749 case OPC_LDIB:
750 case OPC_LDL:
751 case OPC_LDP:
752 case OPC_L2G:
753 case OPC_LDLW:
754 case OPC_LDC:
755 case OPC_LDLV:
756 /* probably some others too.. */
757 return true;
758 default:
759 return false;
760 }
761 }
762
763 static inline bool is_input(struct ir3_instruction *instr)
764 {
765 /* in some cases, ldlv is used to fetch varying without
766 * interpolation.. fortunately inloc is the first src
767 * register in either case
768 */
769 switch (instr->opc) {
770 case OPC_LDLV:
771 case OPC_BARY_F:
772 return true;
773 default:
774 return false;
775 }
776 }
777
778 static inline bool is_bool(struct ir3_instruction *instr)
779 {
780 switch (instr->opc) {
781 case OPC_CMPS_F:
782 case OPC_CMPS_S:
783 case OPC_CMPS_U:
784 return true;
785 default:
786 return false;
787 }
788 }
789
790 static inline bool is_meta(struct ir3_instruction *instr)
791 {
792 return (opc_cat(instr->opc) == -1);
793 }
794
795 static inline unsigned dest_regs(struct ir3_instruction *instr)
796 {
797 if ((instr->regs_count == 0) || is_store(instr))
798 return 0;
799
800 return util_last_bit(instr->regs[0]->wrmask);
801 }
802
803 static inline bool writes_addr(struct ir3_instruction *instr)
804 {
805 if (instr->regs_count > 0) {
806 struct ir3_register *dst = instr->regs[0];
807 return reg_num(dst) == REG_A0;
808 }
809 return false;
810 }
811
812 static inline bool writes_pred(struct ir3_instruction *instr)
813 {
814 if (instr->regs_count > 0) {
815 struct ir3_register *dst = instr->regs[0];
816 return reg_num(dst) == REG_P0;
817 }
818 return false;
819 }
820
821 /* returns defining instruction for reg */
822 /* TODO better name */
823 static inline struct ir3_instruction *ssa(struct ir3_register *reg)
824 {
825 if (reg->flags & (IR3_REG_SSA | IR3_REG_ARRAY)) {
826 return reg->instr;
827 }
828 return NULL;
829 }
830
831 static inline bool conflicts(struct ir3_instruction *a,
832 struct ir3_instruction *b)
833 {
834 return (a && b) && (a != b);
835 }
836
837 static inline bool reg_gpr(struct ir3_register *r)
838 {
839 if (r->flags & (IR3_REG_CONST | IR3_REG_IMMED))
840 return false;
841 if ((reg_num(r) == REG_A0) || (reg_num(r) == REG_P0))
842 return false;
843 return true;
844 }
845
846 static inline type_t half_type(type_t type)
847 {
848 switch (type) {
849 case TYPE_F32: return TYPE_F16;
850 case TYPE_U32: return TYPE_U16;
851 case TYPE_S32: return TYPE_S16;
852 case TYPE_F16:
853 case TYPE_U16:
854 case TYPE_S16:
855 return type;
856 default:
857 assert(0);
858 return ~0;
859 }
860 }
861
862 /* some cat2 instructions (ie. those which are not float) can embed an
863 * immediate:
864 */
865 static inline bool ir3_cat2_int(opc_t opc)
866 {
867 switch (opc) {
868 case OPC_ADD_U:
869 case OPC_ADD_S:
870 case OPC_SUB_U:
871 case OPC_SUB_S:
872 case OPC_CMPS_U:
873 case OPC_CMPS_S:
874 case OPC_MIN_U:
875 case OPC_MIN_S:
876 case OPC_MAX_U:
877 case OPC_MAX_S:
878 case OPC_CMPV_U:
879 case OPC_CMPV_S:
880 case OPC_MUL_U24:
881 case OPC_MUL_S24:
882 case OPC_MULL_U:
883 case OPC_CLZ_S:
884 case OPC_ABSNEG_S:
885 case OPC_AND_B:
886 case OPC_OR_B:
887 case OPC_NOT_B:
888 case OPC_XOR_B:
889 case OPC_BFREV_B:
890 case OPC_CLZ_B:
891 case OPC_SHL_B:
892 case OPC_SHR_B:
893 case OPC_ASHR_B:
894 case OPC_MGEN_B:
895 case OPC_GETBIT_B:
896 case OPC_CBITS_B:
897 case OPC_BARY_F:
898 return true;
899
900 default:
901 return false;
902 }
903 }
904
905 static inline bool ir3_cat2_float(opc_t opc)
906 {
907 switch (opc) {
908 case OPC_ADD_F:
909 case OPC_MIN_F:
910 case OPC_MAX_F:
911 case OPC_MUL_F:
912 case OPC_SIGN_F:
913 case OPC_CMPS_F:
914 case OPC_ABSNEG_F:
915 case OPC_CMPV_F:
916 case OPC_FLOOR_F:
917 case OPC_CEIL_F:
918 case OPC_RNDNE_F:
919 case OPC_RNDAZ_F:
920 case OPC_TRUNC_F:
921 return true;
922
923 default:
924 return false;
925 }
926 }
927
928 static inline bool ir3_cat3_float(opc_t opc)
929 {
930 switch (opc) {
931 case OPC_MAD_F16:
932 case OPC_MAD_F32:
933 case OPC_SEL_F16:
934 case OPC_SEL_F32:
935 return true;
936 default:
937 return false;
938 }
939 }
940
941 /* map cat2 instruction to valid abs/neg flags: */
942 static inline unsigned ir3_cat2_absneg(opc_t opc)
943 {
944 switch (opc) {
945 case OPC_ADD_F:
946 case OPC_MIN_F:
947 case OPC_MAX_F:
948 case OPC_MUL_F:
949 case OPC_SIGN_F:
950 case OPC_CMPS_F:
951 case OPC_ABSNEG_F:
952 case OPC_CMPV_F:
953 case OPC_FLOOR_F:
954 case OPC_CEIL_F:
955 case OPC_RNDNE_F:
956 case OPC_RNDAZ_F:
957 case OPC_TRUNC_F:
958 case OPC_BARY_F:
959 return IR3_REG_FABS | IR3_REG_FNEG;
960
961 case OPC_ADD_U:
962 case OPC_ADD_S:
963 case OPC_SUB_U:
964 case OPC_SUB_S:
965 case OPC_CMPS_U:
966 case OPC_CMPS_S:
967 case OPC_MIN_U:
968 case OPC_MIN_S:
969 case OPC_MAX_U:
970 case OPC_MAX_S:
971 case OPC_CMPV_U:
972 case OPC_CMPV_S:
973 case OPC_MUL_U24:
974 case OPC_MUL_S24:
975 case OPC_MULL_U:
976 case OPC_CLZ_S:
977 return 0;
978
979 case OPC_ABSNEG_S:
980 return IR3_REG_SABS | IR3_REG_SNEG;
981
982 case OPC_AND_B:
983 case OPC_OR_B:
984 case OPC_NOT_B:
985 case OPC_XOR_B:
986 case OPC_BFREV_B:
987 case OPC_CLZ_B:
988 case OPC_SHL_B:
989 case OPC_SHR_B:
990 case OPC_ASHR_B:
991 case OPC_MGEN_B:
992 case OPC_GETBIT_B:
993 case OPC_CBITS_B:
994 return IR3_REG_BNOT;
995
996 default:
997 return 0;
998 }
999 }
1000
1001 /* map cat3 instructions to valid abs/neg flags: */
1002 static inline unsigned ir3_cat3_absneg(opc_t opc)
1003 {
1004 switch (opc) {
1005 case OPC_MAD_F16:
1006 case OPC_MAD_F32:
1007 case OPC_SEL_F16:
1008 case OPC_SEL_F32:
1009 return IR3_REG_FNEG;
1010
1011 case OPC_MAD_U16:
1012 case OPC_MADSH_U16:
1013 case OPC_MAD_S16:
1014 case OPC_MADSH_M16:
1015 case OPC_MAD_U24:
1016 case OPC_MAD_S24:
1017 case OPC_SEL_S16:
1018 case OPC_SEL_S32:
1019 case OPC_SAD_S16:
1020 case OPC_SAD_S32:
1021 /* neg *may* work on 3rd src.. */
1022
1023 case OPC_SEL_B16:
1024 case OPC_SEL_B32:
1025
1026 default:
1027 return 0;
1028 }
1029 }
1030
1031 #define MASK(n) ((1 << (n)) - 1)
1032
1033 /* iterator for an instructions's sources (reg), also returns src #: */
1034 #define foreach_src_n(__srcreg, __n, __instr) \
1035 if ((__instr)->regs_count) \
1036 for (unsigned __cnt = (__instr)->regs_count - 1, __n = 0; __n < __cnt; __n++) \
1037 if ((__srcreg = (__instr)->regs[__n + 1]))
1038
1039 /* iterator for an instructions's sources (reg): */
1040 #define foreach_src(__srcreg, __instr) \
1041 foreach_src_n(__srcreg, __i, __instr)
1042
1043 static inline unsigned __ssa_src_cnt(struct ir3_instruction *instr)
1044 {
1045 unsigned cnt = instr->regs_count + instr->deps_count;
1046 if (instr->address)
1047 cnt++;
1048 return cnt;
1049 }
1050
1051 static inline struct ir3_instruction * __ssa_src_n(struct ir3_instruction *instr, unsigned n)
1052 {
1053 if (n == (instr->regs_count + instr->deps_count))
1054 return instr->address;
1055 if (n >= instr->regs_count)
1056 return instr->deps[n - instr->regs_count];
1057 return ssa(instr->regs[n]);
1058 }
1059
1060 static inline bool __is_false_dep(struct ir3_instruction *instr, unsigned n)
1061 {
1062 if (n == (instr->regs_count + instr->deps_count))
1063 return false;
1064 if (n >= instr->regs_count)
1065 return true;
1066 return false;
1067 }
1068
1069 #define __src_cnt(__instr) ((__instr)->address ? (__instr)->regs_count : (__instr)->regs_count - 1)
1070
1071 /* iterator for an instruction's SSA sources (instr), also returns src #: */
1072 #define foreach_ssa_src_n(__srcinst, __n, __instr) \
1073 for (unsigned __cnt = __ssa_src_cnt(__instr), __n = 0; __n < __cnt; __n++) \
1074 if ((__srcinst = __ssa_src_n(__instr, __n)))
1075
1076 /* iterator for an instruction's SSA sources (instr): */
1077 #define foreach_ssa_src(__srcinst, __instr) \
1078 foreach_ssa_src_n(__srcinst, __i, __instr)
1079
1080 /* iterators for shader inputs: */
1081 #define foreach_input_n(__ininstr, __cnt, __ir) \
1082 for (unsigned __cnt = 0; __cnt < (__ir)->inputs_count; __cnt++) \
1083 if ((__ininstr = (__ir)->inputs[__cnt]))
1084 #define foreach_input(__ininstr, __ir) \
1085 foreach_input_n(__ininstr, __i, __ir)
1086
1087 /* iterators for shader outputs: */
1088 #define foreach_output_n(__outinstr, __cnt, __ir) \
1089 for (unsigned __cnt = 0; __cnt < (__ir)->outputs_count; __cnt++) \
1090 if ((__outinstr = (__ir)->outputs[__cnt]))
1091 #define foreach_output(__outinstr, __ir) \
1092 foreach_output_n(__outinstr, __i, __ir)
1093
1094 /* iterators for instructions: */
1095 #define foreach_instr(__instr, __list) \
1096 list_for_each_entry(struct ir3_instruction, __instr, __list, node)
1097 #define foreach_instr_rev(__instr, __list) \
1098 list_for_each_entry_rev(struct ir3_instruction, __instr, __list, node)
1099 #define foreach_instr_safe(__instr, __list) \
1100 list_for_each_entry_safe(struct ir3_instruction, __instr, __list, node)
1101
1102 /* iterators for blocks: */
1103 #define foreach_block(__block, __list) \
1104 list_for_each_entry(struct ir3_block, __block, __list, node)
1105 #define foreach_block_safe(__block, __list) \
1106 list_for_each_entry_safe(struct ir3_block, __block, __list, node)
1107
1108 /* iterators for arrays: */
1109 #define foreach_array(__array, __list) \
1110 list_for_each_entry(struct ir3_array, __array, __list, node)
1111
1112 /* dump: */
1113 void ir3_print(struct ir3 *ir);
1114 void ir3_print_instr(struct ir3_instruction *instr);
1115
1116 /* depth calculation: */
1117 struct ir3_shader_variant;
1118 int ir3_delayslots(struct ir3_instruction *assigner,
1119 struct ir3_instruction *consumer, unsigned n);
1120 void ir3_insert_by_depth(struct ir3_instruction *instr, struct list_head *list);
1121 void ir3_depth(struct ir3 *ir, struct ir3_shader_variant *so);
1122
1123 /* copy-propagate: */
1124 void ir3_cp(struct ir3 *ir, struct ir3_shader_variant *so);
1125
1126 /* group neighbors and insert mov's to resolve conflicts: */
1127 void ir3_group(struct ir3 *ir);
1128
1129 /* Sethi–Ullman numbering: */
1130 void ir3_sun(struct ir3 *ir);
1131
1132 /* scheduling: */
1133 void ir3_sched_add_deps(struct ir3 *ir);
1134 int ir3_sched(struct ir3 *ir);
1135
1136 void ir3_a6xx_fixup_atomic_dests(struct ir3 *ir, struct ir3_shader_variant *so);
1137
1138 /* register assignment: */
1139 struct ir3_ra_reg_set * ir3_ra_alloc_reg_set(struct ir3_compiler *compiler);
1140 int ir3_ra(struct ir3_shader_variant *v, struct ir3_instruction **precolor, unsigned nprecolor);
1141
1142 /* legalize: */
1143 void ir3_legalize(struct ir3 *ir, struct ir3_shader_variant *so, int *max_bary);
1144
1145 /* ************************************************************************* */
1146 /* instruction helpers */
1147
1148 /* creates SSA src of correct type (ie. half vs full precision) */
1149 static inline struct ir3_register * __ssa_src(struct ir3_instruction *instr,
1150 struct ir3_instruction *src, unsigned flags)
1151 {
1152 struct ir3_register *reg;
1153 if (src->regs[0]->flags & IR3_REG_HALF)
1154 flags |= IR3_REG_HALF;
1155 reg = ir3_reg_create(instr, 0, IR3_REG_SSA | flags);
1156 reg->instr = src;
1157 reg->wrmask = src->regs[0]->wrmask;
1158 return reg;
1159 }
1160
1161 static inline struct ir3_register * __ssa_dst(struct ir3_instruction *instr)
1162 {
1163 struct ir3_register *reg = ir3_reg_create(instr, 0, 0);
1164 reg->flags |= IR3_REG_SSA;
1165 return reg;
1166 }
1167
1168 static inline struct ir3_instruction *
1169 create_immed_typed(struct ir3_block *block, uint32_t val, type_t type)
1170 {
1171 struct ir3_instruction *mov;
1172 unsigned flags = (type_size(type) < 32) ? IR3_REG_HALF : 0;
1173
1174 mov = ir3_instr_create(block, OPC_MOV);
1175 mov->cat1.src_type = type;
1176 mov->cat1.dst_type = type;
1177 __ssa_dst(mov)->flags |= flags;
1178 ir3_reg_create(mov, 0, IR3_REG_IMMED)->uim_val = val;
1179
1180 return mov;
1181 }
1182
1183 static inline struct ir3_instruction *
1184 create_immed(struct ir3_block *block, uint32_t val)
1185 {
1186 return create_immed_typed(block, val, TYPE_U32);
1187 }
1188
1189 static inline struct ir3_instruction *
1190 create_uniform_typed(struct ir3_block *block, unsigned n, type_t type)
1191 {
1192 struct ir3_instruction *mov;
1193 unsigned flags = (type_size(type) < 32) ? IR3_REG_HALF : 0;
1194
1195 mov = ir3_instr_create(block, OPC_MOV);
1196 mov->cat1.src_type = type;
1197 mov->cat1.dst_type = type;
1198 __ssa_dst(mov)->flags |= flags;
1199 ir3_reg_create(mov, n, IR3_REG_CONST | flags);
1200
1201 return mov;
1202 }
1203
1204 static inline struct ir3_instruction *
1205 create_uniform(struct ir3_block *block, unsigned n)
1206 {
1207 return create_uniform_typed(block, n, TYPE_F32);
1208 }
1209
1210 static inline struct ir3_instruction *
1211 create_uniform_indirect(struct ir3_block *block, int n,
1212 struct ir3_instruction *address)
1213 {
1214 struct ir3_instruction *mov;
1215
1216 mov = ir3_instr_create(block, OPC_MOV);
1217 mov->cat1.src_type = TYPE_U32;
1218 mov->cat1.dst_type = TYPE_U32;
1219 __ssa_dst(mov);
1220 ir3_reg_create(mov, 0, IR3_REG_CONST | IR3_REG_RELATIV)->array.offset = n;
1221
1222 ir3_instr_set_address(mov, address);
1223
1224 return mov;
1225 }
1226
1227 static inline struct ir3_instruction *
1228 ir3_MOV(struct ir3_block *block, struct ir3_instruction *src, type_t type)
1229 {
1230 struct ir3_instruction *instr = ir3_instr_create(block, OPC_MOV);
1231 __ssa_dst(instr);
1232 if (src->regs[0]->flags & IR3_REG_ARRAY) {
1233 struct ir3_register *src_reg = __ssa_src(instr, src, IR3_REG_ARRAY);
1234 src_reg->array = src->regs[0]->array;
1235 } else {
1236 __ssa_src(instr, src, src->regs[0]->flags & IR3_REG_HIGH);
1237 }
1238 debug_assert(!(src->regs[0]->flags & IR3_REG_RELATIV));
1239 instr->cat1.src_type = type;
1240 instr->cat1.dst_type = type;
1241 return instr;
1242 }
1243
1244 static inline struct ir3_instruction *
1245 ir3_COV(struct ir3_block *block, struct ir3_instruction *src,
1246 type_t src_type, type_t dst_type)
1247 {
1248 struct ir3_instruction *instr = ir3_instr_create(block, OPC_MOV);
1249 unsigned dst_flags = (type_size(dst_type) < 32) ? IR3_REG_HALF : 0;
1250 unsigned src_flags = (type_size(src_type) < 32) ? IR3_REG_HALF : 0;
1251
1252 debug_assert((src->regs[0]->flags & IR3_REG_HALF) == src_flags);
1253
1254 __ssa_dst(instr)->flags |= dst_flags;
1255 __ssa_src(instr, src, 0);
1256 instr->cat1.src_type = src_type;
1257 instr->cat1.dst_type = dst_type;
1258 debug_assert(!(src->regs[0]->flags & IR3_REG_ARRAY));
1259 return instr;
1260 }
1261
1262 static inline struct ir3_instruction *
1263 ir3_NOP(struct ir3_block *block)
1264 {
1265 return ir3_instr_create(block, OPC_NOP);
1266 }
1267
1268 #define IR3_INSTR_0 0
1269
1270 #define __INSTR0(flag, name, opc) \
1271 static inline struct ir3_instruction * \
1272 ir3_##name(struct ir3_block *block) \
1273 { \
1274 struct ir3_instruction *instr = \
1275 ir3_instr_create(block, opc); \
1276 instr->flags |= flag; \
1277 return instr; \
1278 }
1279 #define INSTR0F(f, name) __INSTR0(IR3_INSTR_##f, name##_##f, OPC_##name)
1280 #define INSTR0(name) __INSTR0(0, name, OPC_##name)
1281
1282 #define __INSTR1(flag, name, opc) \
1283 static inline struct ir3_instruction * \
1284 ir3_##name(struct ir3_block *block, \
1285 struct ir3_instruction *a, unsigned aflags) \
1286 { \
1287 struct ir3_instruction *instr = \
1288 ir3_instr_create(block, opc); \
1289 __ssa_dst(instr); \
1290 __ssa_src(instr, a, aflags); \
1291 instr->flags |= flag; \
1292 return instr; \
1293 }
1294 #define INSTR1F(f, name) __INSTR1(IR3_INSTR_##f, name##_##f, OPC_##name)
1295 #define INSTR1(name) __INSTR1(0, name, OPC_##name)
1296
1297 #define __INSTR2(flag, name, opc) \
1298 static inline struct ir3_instruction * \
1299 ir3_##name(struct ir3_block *block, \
1300 struct ir3_instruction *a, unsigned aflags, \
1301 struct ir3_instruction *b, unsigned bflags) \
1302 { \
1303 struct ir3_instruction *instr = \
1304 ir3_instr_create(block, opc); \
1305 __ssa_dst(instr); \
1306 __ssa_src(instr, a, aflags); \
1307 __ssa_src(instr, b, bflags); \
1308 instr->flags |= flag; \
1309 return instr; \
1310 }
1311 #define INSTR2F(f, name) __INSTR2(IR3_INSTR_##f, name##_##f, OPC_##name)
1312 #define INSTR2(name) __INSTR2(0, name, OPC_##name)
1313
1314 #define __INSTR3(flag, name, opc) \
1315 static inline struct ir3_instruction * \
1316 ir3_##name(struct ir3_block *block, \
1317 struct ir3_instruction *a, unsigned aflags, \
1318 struct ir3_instruction *b, unsigned bflags, \
1319 struct ir3_instruction *c, unsigned cflags) \
1320 { \
1321 struct ir3_instruction *instr = \
1322 ir3_instr_create2(block, opc, 4); \
1323 __ssa_dst(instr); \
1324 __ssa_src(instr, a, aflags); \
1325 __ssa_src(instr, b, bflags); \
1326 __ssa_src(instr, c, cflags); \
1327 instr->flags |= flag; \
1328 return instr; \
1329 }
1330 #define INSTR3F(f, name) __INSTR3(IR3_INSTR_##f, name##_##f, OPC_##name)
1331 #define INSTR3(name) __INSTR3(0, name, OPC_##name)
1332
1333 #define __INSTR4(flag, name, opc) \
1334 static inline struct ir3_instruction * \
1335 ir3_##name(struct ir3_block *block, \
1336 struct ir3_instruction *a, unsigned aflags, \
1337 struct ir3_instruction *b, unsigned bflags, \
1338 struct ir3_instruction *c, unsigned cflags, \
1339 struct ir3_instruction *d, unsigned dflags) \
1340 { \
1341 struct ir3_instruction *instr = \
1342 ir3_instr_create2(block, opc, 5); \
1343 __ssa_dst(instr); \
1344 __ssa_src(instr, a, aflags); \
1345 __ssa_src(instr, b, bflags); \
1346 __ssa_src(instr, c, cflags); \
1347 __ssa_src(instr, d, dflags); \
1348 instr->flags |= flag; \
1349 return instr; \
1350 }
1351 #define INSTR4F(f, name) __INSTR4(IR3_INSTR_##f, name##_##f, OPC_##name)
1352 #define INSTR4(name) __INSTR4(0, name, OPC_##name)
1353
1354 /* cat0 instructions: */
1355 INSTR0(BR)
1356 INSTR0(JUMP)
1357 INSTR1(KILL)
1358 INSTR0(END)
1359 INSTR0(CHSH)
1360 INSTR0(CHMASK)
1361 INSTR1(IF)
1362 INSTR0(ELSE)
1363 INSTR0(ENDIF)
1364
1365 /* cat2 instructions, most 2 src but some 1 src: */
1366 INSTR2(ADD_F)
1367 INSTR2(MIN_F)
1368 INSTR2(MAX_F)
1369 INSTR2(MUL_F)
1370 INSTR1(SIGN_F)
1371 INSTR2(CMPS_F)
1372 INSTR1(ABSNEG_F)
1373 INSTR2(CMPV_F)
1374 INSTR1(FLOOR_F)
1375 INSTR1(CEIL_F)
1376 INSTR1(RNDNE_F)
1377 INSTR1(RNDAZ_F)
1378 INSTR1(TRUNC_F)
1379 INSTR2(ADD_U)
1380 INSTR2(ADD_S)
1381 INSTR2(SUB_U)
1382 INSTR2(SUB_S)
1383 INSTR2(CMPS_U)
1384 INSTR2(CMPS_S)
1385 INSTR2(MIN_U)
1386 INSTR2(MIN_S)
1387 INSTR2(MAX_U)
1388 INSTR2(MAX_S)
1389 INSTR1(ABSNEG_S)
1390 INSTR2(AND_B)
1391 INSTR2(OR_B)
1392 INSTR1(NOT_B)
1393 INSTR2(XOR_B)
1394 INSTR2(CMPV_U)
1395 INSTR2(CMPV_S)
1396 INSTR2(MUL_U24)
1397 INSTR2(MUL_S24)
1398 INSTR2(MULL_U)
1399 INSTR1(BFREV_B)
1400 INSTR1(CLZ_S)
1401 INSTR1(CLZ_B)
1402 INSTR2(SHL_B)
1403 INSTR2(SHR_B)
1404 INSTR2(ASHR_B)
1405 INSTR2(BARY_F)
1406 INSTR2(MGEN_B)
1407 INSTR2(GETBIT_B)
1408 INSTR1(SETRM)
1409 INSTR1(CBITS_B)
1410 INSTR2(SHB)
1411 INSTR2(MSAD)
1412
1413 /* cat3 instructions: */
1414 INSTR3(MAD_U16)
1415 INSTR3(MADSH_U16)
1416 INSTR3(MAD_S16)
1417 INSTR3(MADSH_M16)
1418 INSTR3(MAD_U24)
1419 INSTR3(MAD_S24)
1420 INSTR3(MAD_F16)
1421 INSTR3(MAD_F32)
1422 INSTR3(SEL_B16)
1423 INSTR3(SEL_B32)
1424 INSTR3(SEL_S16)
1425 INSTR3(SEL_S32)
1426 INSTR3(SEL_F16)
1427 INSTR3(SEL_F32)
1428 INSTR3(SAD_S16)
1429 INSTR3(SAD_S32)
1430
1431 /* cat4 instructions: */
1432 INSTR1(RCP)
1433 INSTR1(RSQ)
1434 INSTR1(LOG2)
1435 INSTR1(EXP2)
1436 INSTR1(SIN)
1437 INSTR1(COS)
1438 INSTR1(SQRT)
1439
1440 /* cat5 instructions: */
1441 INSTR1(DSX)
1442 INSTR1(DSXPP_1)
1443 INSTR1(DSY)
1444 INSTR1(DSYPP_1)
1445 INSTR1F(3D, DSX)
1446 INSTR1F(3D, DSY)
1447 INSTR1(RGETPOS)
1448
1449 static inline struct ir3_instruction *
1450 ir3_SAM(struct ir3_block *block, opc_t opc, type_t type,
1451 unsigned wrmask, unsigned flags, struct ir3_instruction *samp_tex,
1452 struct ir3_instruction *src0, struct ir3_instruction *src1)
1453 {
1454 struct ir3_instruction *sam;
1455
1456 sam = ir3_instr_create(block, opc);
1457 sam->flags |= flags | IR3_INSTR_S2EN;
1458 __ssa_dst(sam)->wrmask = wrmask;
1459 __ssa_src(sam, samp_tex, IR3_REG_HALF);
1460 if (src0) {
1461 __ssa_src(sam, src0, 0)->wrmask = (1 << (src0->regs_count - 1)) - 1;
1462 }
1463 if (src1) {
1464 __ssa_src(sam, src1, 0)->wrmask =(1 << (src1->regs_count - 1)) - 1;
1465 }
1466 sam->cat5.type = type;
1467
1468 return sam;
1469 }
1470
1471 /* cat6 instructions: */
1472 INSTR2(LDLV)
1473 INSTR3(LDG)
1474 INSTR3(LDL)
1475 INSTR3(LDLW)
1476 INSTR3(STG)
1477 INSTR3(STL)
1478 INSTR3(STLW)
1479 INSTR1(RESINFO)
1480 INSTR1(RESFMT)
1481 INSTR2(ATOMIC_ADD)
1482 INSTR2(ATOMIC_SUB)
1483 INSTR2(ATOMIC_XCHG)
1484 INSTR2(ATOMIC_INC)
1485 INSTR2(ATOMIC_DEC)
1486 INSTR2(ATOMIC_CMPXCHG)
1487 INSTR2(ATOMIC_MIN)
1488 INSTR2(ATOMIC_MAX)
1489 INSTR2(ATOMIC_AND)
1490 INSTR2(ATOMIC_OR)
1491 INSTR2(ATOMIC_XOR)
1492 #if GPU >= 600
1493 INSTR3(STIB);
1494 INSTR2(LDIB);
1495 INSTR3F(G, ATOMIC_ADD)
1496 INSTR3F(G, ATOMIC_SUB)
1497 INSTR3F(G, ATOMIC_XCHG)
1498 INSTR3F(G, ATOMIC_INC)
1499 INSTR3F(G, ATOMIC_DEC)
1500 INSTR3F(G, ATOMIC_CMPXCHG)
1501 INSTR3F(G, ATOMIC_MIN)
1502 INSTR3F(G, ATOMIC_MAX)
1503 INSTR3F(G, ATOMIC_AND)
1504 INSTR3F(G, ATOMIC_OR)
1505 INSTR3F(G, ATOMIC_XOR)
1506 #elif GPU >= 400
1507 INSTR3(LDGB)
1508 INSTR4(STGB)
1509 INSTR4(STIB)
1510 INSTR4F(G, ATOMIC_ADD)
1511 INSTR4F(G, ATOMIC_SUB)
1512 INSTR4F(G, ATOMIC_XCHG)
1513 INSTR4F(G, ATOMIC_INC)
1514 INSTR4F(G, ATOMIC_DEC)
1515 INSTR4F(G, ATOMIC_CMPXCHG)
1516 INSTR4F(G, ATOMIC_MIN)
1517 INSTR4F(G, ATOMIC_MAX)
1518 INSTR4F(G, ATOMIC_AND)
1519 INSTR4F(G, ATOMIC_OR)
1520 INSTR4F(G, ATOMIC_XOR)
1521 #endif
1522
1523 INSTR4F(G, STG)
1524
1525 /* cat7 instructions: */
1526 INSTR0(BAR)
1527 INSTR0(FENCE)
1528
1529 /* meta instructions: */
1530 INSTR0(META_TEX_PREFETCH);
1531
1532 /* ************************************************************************* */
1533 /* split this out or find some helper to use.. like main/bitset.h.. */
1534
1535 #include <string.h>
1536
1537 #define MAX_REG 256
1538
1539 typedef uint8_t regmask_t[2 * MAX_REG / 8];
1540
1541 static inline unsigned regmask_idx(struct ir3_register *reg)
1542 {
1543 unsigned num = (reg->flags & IR3_REG_RELATIV) ? reg->array.offset : reg->num;
1544 debug_assert(num < MAX_REG);
1545 if (reg->flags & IR3_REG_HALF) {
1546 if (reg->merged) {
1547 num /= 2;
1548 } else {
1549 num += MAX_REG;
1550 }
1551 }
1552 return num;
1553 }
1554
1555 static inline void regmask_init(regmask_t *regmask)
1556 {
1557 memset(regmask, 0, sizeof(*regmask));
1558 }
1559
1560 static inline void regmask_set(regmask_t *regmask, struct ir3_register *reg)
1561 {
1562 unsigned idx = regmask_idx(reg);
1563 if (reg->flags & IR3_REG_RELATIV) {
1564 unsigned i;
1565 for (i = 0; i < reg->size; i++, idx++)
1566 (*regmask)[idx / 8] |= 1 << (idx % 8);
1567 } else {
1568 unsigned mask;
1569 for (mask = reg->wrmask; mask; mask >>= 1, idx++)
1570 if (mask & 1)
1571 (*regmask)[idx / 8] |= 1 << (idx % 8);
1572 }
1573 }
1574
1575 static inline void regmask_or(regmask_t *dst, regmask_t *a, regmask_t *b)
1576 {
1577 unsigned i;
1578 for (i = 0; i < ARRAY_SIZE(*dst); i++)
1579 (*dst)[i] = (*a)[i] | (*b)[i];
1580 }
1581
1582 /* set bits in a if not set in b, conceptually:
1583 * a |= (reg & ~b)
1584 */
1585 static inline void regmask_set_if_not(regmask_t *a,
1586 struct ir3_register *reg, regmask_t *b)
1587 {
1588 unsigned idx = regmask_idx(reg);
1589 if (reg->flags & IR3_REG_RELATIV) {
1590 unsigned i;
1591 for (i = 0; i < reg->size; i++, idx++)
1592 if (!((*b)[idx / 8] & (1 << (idx % 8))))
1593 (*a)[idx / 8] |= 1 << (idx % 8);
1594 } else {
1595 unsigned mask;
1596 for (mask = reg->wrmask; mask; mask >>= 1, idx++)
1597 if (mask & 1)
1598 if (!((*b)[idx / 8] & (1 << (idx % 8))))
1599 (*a)[idx / 8] |= 1 << (idx % 8);
1600 }
1601 }
1602
1603 static inline bool regmask_get(regmask_t *regmask,
1604 struct ir3_register *reg)
1605 {
1606 unsigned idx = regmask_idx(reg);
1607 if (reg->flags & IR3_REG_RELATIV) {
1608 unsigned i;
1609 for (i = 0; i < reg->size; i++, idx++)
1610 if ((*regmask)[idx / 8] & (1 << (idx % 8)))
1611 return true;
1612 } else {
1613 unsigned mask;
1614 for (mask = reg->wrmask; mask; mask >>= 1, idx++)
1615 if (mask & 1)
1616 if ((*regmask)[idx / 8] & (1 << (idx % 8)))
1617 return true;
1618 }
1619 return false;
1620 }
1621
1622 /* ************************************************************************* */
1623
1624 #endif /* IR3_H_ */