freedreno/ir3: block reshuffling and loops!
[mesa.git] / src / gallium / drivers / freedreno / ir3 / ir3_print.c
1 /* -*- mode: C; c-file-style: "k&r"; tab-width 4; indent-tabs-mode: t; -*- */
2
3 /*
4 * Copyright (C) 2014 Rob Clark <robclark@freedesktop.org>
5 *
6 * Permission is hereby granted, free of charge, to any person obtaining a
7 * copy of this software and associated documentation files (the "Software"),
8 * to deal in the Software without restriction, including without limitation
9 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
10 * and/or sell copies of the Software, and to permit persons to whom the
11 * Software is furnished to do so, subject to the following conditions:
12 *
13 * The above copyright notice and this permission notice (including the next
14 * paragraph) shall be included in all copies or substantial portions of the
15 * 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 THE
23 * SOFTWARE.
24 *
25 * Authors:
26 * Rob Clark <robclark@freedesktop.org>
27 */
28
29 #include <stdarg.h>
30 #include <stdio.h>
31
32 #include "ir3.h"
33
34 #define PTRID(x) ((unsigned long)(x))
35
36 static void print_instr_name(struct ir3_instruction *instr)
37 {
38 #ifdef DEBUG
39 printf("%04u:", instr->serialno);
40 #endif
41 printf("%03u: ", instr->depth);
42
43 if (instr->flags & IR3_INSTR_SY)
44 printf("(sy)");
45 if (instr->flags & IR3_INSTR_SS)
46 printf("(ss)");
47
48 if (is_meta(instr)) {
49 switch(instr->opc) {
50 case OPC_META_PHI:
51 printf("&#934;");
52 break;
53 default:
54 /* shouldn't hit here.. just for debugging: */
55 switch (instr->opc) {
56 case OPC_META_INPUT: printf("_meta:in"); break;
57 case OPC_META_FO: printf("_meta:fo"); break;
58 case OPC_META_FI: printf("_meta:fi"); break;
59
60 default: printf("_meta:%d", instr->opc); break;
61 }
62 break;
63 }
64 } else if (instr->category == 1) {
65 static const char *type[] = {
66 [TYPE_F16] = "f16",
67 [TYPE_F32] = "f32",
68 [TYPE_U16] = "u16",
69 [TYPE_U32] = "u32",
70 [TYPE_S16] = "s16",
71 [TYPE_S32] = "s32",
72 [TYPE_U8] = "u8",
73 [TYPE_S8] = "s8",
74 };
75 if (instr->cat1.src_type == instr->cat1.dst_type)
76 printf("mov");
77 else
78 printf("cov");
79 printf(".%s%s", type[instr->cat1.src_type], type[instr->cat1.dst_type]);
80 } else {
81 printf("%s", ir3_instr_name(instr));
82 if (instr->flags & IR3_INSTR_3D)
83 printf(".3d");
84 if (instr->flags & IR3_INSTR_A)
85 printf(".a");
86 if (instr->flags & IR3_INSTR_O)
87 printf(".o");
88 if (instr->flags & IR3_INSTR_P)
89 printf(".p");
90 if (instr->flags & IR3_INSTR_S)
91 printf(".s");
92 if (instr->flags & IR3_INSTR_S2EN)
93 printf(".s2en");
94 }
95 }
96
97 static void print_reg_name(struct ir3_register *reg, bool followssa)
98 {
99 if ((reg->flags & (IR3_REG_FABS | IR3_REG_SABS)) &&
100 (reg->flags & (IR3_REG_FNEG | IR3_REG_SNEG | IR3_REG_BNOT)))
101 printf("(absneg)");
102 else if (reg->flags & (IR3_REG_FNEG | IR3_REG_SNEG | IR3_REG_BNOT))
103 printf("(neg)");
104 else if (reg->flags & (IR3_REG_FABS | IR3_REG_SABS))
105 printf("(abs)");
106
107 if (reg->flags & IR3_REG_IMMED) {
108 printf("imm[%f,%d,0x%x]", reg->fim_val, reg->iim_val, reg->iim_val);
109 } else if (reg->flags & IR3_REG_SSA) {
110 printf("_");
111 if (followssa) {
112 printf("[");
113 print_instr_name(reg->instr);
114 printf("]");
115 }
116 } else if (reg->flags & IR3_REG_RELATIV) {
117 if (reg->flags & IR3_REG_HALF)
118 printf("h");
119 if (reg->flags & IR3_REG_CONST)
120 printf("c<a0.x + %u>", reg->num);
121 else
122 printf("\x1b[0;31mr<a0.x + %u>\x1b[0m (%u)", reg->num, reg->size);
123 } else {
124 if (reg->flags & IR3_REG_HALF)
125 printf("h");
126 if (reg->flags & IR3_REG_CONST)
127 printf("c%u.%c", reg_num(reg), "xyzw"[reg_comp(reg)]);
128 else
129 printf("\x1b[0;31mr%u.%c\x1b[0m", reg_num(reg), "xyzw"[reg_comp(reg)]);
130 }
131 }
132
133 static void
134 tab(int lvl)
135 {
136 for (int i = 0; i < lvl; i++)
137 printf("\t");
138 }
139
140 static uint32_t
141 block_id(struct ir3_block *block)
142 {
143 #ifdef DEBUG
144 return block->serialno;
145 #else
146 return (uint32_t)(uint64_t)block;
147 #endif
148 }
149
150 static void
151 print_instr(struct ir3_instruction *instr, int lvl)
152 {
153 unsigned i;
154
155 tab(lvl);
156
157 print_instr_name(instr);
158 for (i = 0; i < instr->regs_count; i++) {
159 struct ir3_register *reg = instr->regs[i];
160 printf(i ? ", " : " ");
161 print_reg_name(reg, !!i);
162 }
163
164 if (instr->address) {
165 printf(", address=_");
166 printf("[");
167 print_instr_name(instr->address);
168 printf("]");
169 }
170
171 if (instr->fanin) {
172 printf(", fanin=_");
173 printf("[");
174 print_instr_name(instr->fanin);
175 printf("]");
176 }
177
178 if (is_meta(instr)) {
179 if (instr->opc == OPC_META_FO) {
180 printf(", off=%d", instr->fo.off);
181 } else if ((instr->opc == OPC_META_FI) && instr->fi.aid) {
182 printf(", aid=%d", instr->fi.aid);
183 }
184 }
185
186 if (is_flow(instr) && instr->cat0.target) {
187 /* the predicate register src is implied: */
188 if (instr->opc == OPC_BR) {
189 printf(" %sp0.x", instr->cat0.inv ? "!" : "");
190 }
191 printf(", target=block%u", block_id(instr->cat0.target));
192 }
193
194 printf("\n");
195 }
196
197 void ir3_print_instr(struct ir3_instruction *instr)
198 {
199 print_instr(instr, 0);
200 }
201
202 static void
203 print_block(struct ir3_block *block, int lvl)
204 {
205 tab(lvl); printf("block%u {\n", block_id(block));
206 list_for_each_entry (struct ir3_instruction, instr, &block->instr_list, node) {
207 print_instr(instr, lvl+1);
208 }
209 if (block->successors[1]) {
210 /* leading into if/else: */
211 tab(lvl+1);
212 printf("/* succs: if _[");
213 print_instr_name(block->condition);
214 printf("] block%u; else block%u; */\n",
215 block_id(block->successors[0]),
216 block_id(block->successors[1]));
217 } else if (block->successors[0]) {
218 tab(lvl+1);
219 printf("/* succs: block%u; */\n",
220 block_id(block->successors[0]));
221 }
222 tab(lvl); printf("}\n");
223 }
224
225 void
226 ir3_print(struct ir3 *ir)
227 {
228 list_for_each_entry (struct ir3_block, block, &ir->block_list, node)
229 print_block(block, 0);
230
231 for (unsigned i = 0; i < ir->noutputs; i++) {
232 if (!ir->outputs[i])
233 continue;
234 printf("out%d: ", i);
235 print_instr(ir->outputs[i], 0);
236 }
237 }