src/panfrost/midgard/midgard_print.c

   1 /*
   2  * Copyright (C) 2018-2019 Alyssa Rosenzweig <alyssa@rosenzweig.io>
   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 #include <math.h>
  25
  26 #include "util/bitscan.h"
  27 #include "util/half_float.h"
  28 #include "compiler.h"
  29 #include "helpers.h"
  30 #include "midgard_ops.h"
  31
  32 /* Pretty printer for Midgard IR, for use debugging compiler-internal
  33  * passes like register allocation. The output superficially resembles
  34  * Midgard assembly, with the exception that unit information and such is
  35  * (normally) omitted, and generic indices are usually used instead of
  36  * registers */
  37
  38 static void
  39 mir_print_index(int source)
  40 {
  41         if (source == ~0) {
  42                 printf("_");
  43                 return;
  44         }
  45
  46         if (source >= SSA_FIXED_MINIMUM) {
  47                 /* Specific register */
  48                 int reg = SSA_REG_FROM_FIXED(source);
  49
  50                 /* TODO: Moving threshold */
  51                 if (reg > 16 && reg < 24)
  52                         printf("u%d", 23 - reg);
  53                 else
  54                         printf("r%d", reg);
  55         } else {
  56                 printf("%d", source);
  57         }
  58 }
  59
  60 static const char components[16] = "xyzwefghijklmnop";
  61
  62 static void
  63 mir_print_mask(unsigned mask)
  64 {
  65         printf(".");
  66
  67         for (unsigned i = 0; i < 16; ++i) {
  68                 if (mask & (1 << i))
  69                         putchar(components[i]);
  70         }
  71 }
  72
  73 static void
  74 mir_print_swizzle(unsigned *swizzle, nir_alu_type T)
  75 {
  76         unsigned comps = mir_components_for_type(T);
  77
  78         printf(".");
  79
  80         for (unsigned i = 0; i < comps; ++i) {
  81                 unsigned C = swizzle[i];
  82                 assert(C < comps);
  83                 putchar(components[C]);
  84         }
  85 }
  86
  87 static const char *
  88 mir_get_unit(unsigned unit)
  89 {
  90         switch (unit) {
  91         case ALU_ENAB_VEC_MUL:
  92                 return "vmul";
  93         case ALU_ENAB_SCAL_ADD:
  94                 return "sadd";
  95         case ALU_ENAB_VEC_ADD:
  96                 return "vadd";
  97         case ALU_ENAB_SCAL_MUL:
  98                 return "smul";
  99         case ALU_ENAB_VEC_LUT:
 100                 return "lut";
 101         case ALU_ENAB_BR_COMPACT:
 102                 return "br";
 103         case ALU_ENAB_BRANCH:
 104                 return "brx";
 105         default:
 106                 return "???";
 107         }
 108 }
 109
 110 void
 111 mir_print_constant_component(FILE *fp, const midgard_constants *consts, unsigned c,
 112                              midgard_reg_mode reg_mode, bool half,
 113                              unsigned mod, midgard_alu_op op)
 114 {
 115         bool is_sint = false, is_uint = false, is_hex = false;
 116         const char *opname = alu_opcode_props[op].name;
 117
 118         /* Add a sentinel name to prevent crashing */
 119         if (!opname)
 120                 opname = "unknown";
 121
 122         if (opname[0] == 'u') {
 123                 /* If the opcode starts with a 'u' we are sure we deal with an
 124                  * unsigned int operation
 125                  */
 126                 is_uint = true;
 127         } else if (opname[0] == 'i') {
 128                 /* Bit ops are easier to follow when the constant is printed in
 129                  * hexadecimal. Other operations starting with a 'i' are
 130                  * considered to operate on signed integers. That might not
 131                  * be true for all of them, but it's good enough for traces.
 132                  */
 133                 if (op >= midgard_alu_op_iand &&
 134                     op <= midgard_alu_op_ibitcount8)
 135                         is_hex = true;
 136                 else
 137                         is_sint = true;
 138         }
 139
 140         if (half)
 141                 reg_mode--;
 142
 143         switch (reg_mode) {
 144         case midgard_reg_mode_64:
 145                 if (is_sint) {
 146                         fprintf(fp, "%"PRIi64, consts->i64[c]);
 147                 } else if (is_uint) {
 148                         fprintf(fp, "%"PRIu64, consts->u64[c]);
 149                 } else if (is_hex) {
 150                         fprintf(fp, "0x%"PRIX64, consts->u64[c]);
 151                 } else {
 152                         double v = consts->f64[c];
 153
 154                         if (mod & MIDGARD_FLOAT_MOD_ABS) v = fabs(v);
 155                         if (mod & MIDGARD_FLOAT_MOD_NEG) v = -v;
 156
 157                         printf("%g", v);
 158                 }
 159                 break;
 160
 161         case midgard_reg_mode_32:
 162                 if (is_sint) {
 163                         int64_t v;
 164
 165                         if (half && mod == midgard_int_zero_extend)
 166                                 v = consts->u32[c];
 167                         else if (half && mod == midgard_int_shift)
 168                                 v = (uint64_t)consts->u32[c] << 32;
 169                         else
 170                                 v = consts->i32[c];
 171
 172                         fprintf(fp, "%"PRIi64, v);
 173                 } else if (is_uint || is_hex) {
 174                         uint64_t v;
 175
 176                         if (half && mod == midgard_int_shift)
 177                                 v = (uint64_t)consts->u32[c] << 32;
 178                         else
 179                                 v = consts->u32[c];
 180
 181                         fprintf(fp, is_uint ? "%"PRIu64 : "0x%"PRIX64, v);
 182                 } else {
 183                         float v = consts->f32[c];
 184
 185                         if (mod & MIDGARD_FLOAT_MOD_ABS) v = fabsf(v);
 186                         if (mod & MIDGARD_FLOAT_MOD_NEG) v = -v;
 187
 188                         fprintf(fp, "%g", v);
 189                 }
 190                 break;
 191
 192         case midgard_reg_mode_16:
 193                 if (is_sint) {
 194                         int32_t v;
 195
 196                         if (half && mod == midgard_int_zero_extend)
 197                                 v = consts->u16[c];
 198                         else if (half && mod == midgard_int_shift)
 199                                 v = (uint32_t)consts->u16[c] << 16;
 200                         else
 201                                 v = consts->i16[c];
 202
 203                         fprintf(fp, "%d", v);
 204                 } else if (is_uint || is_hex) {
 205                         uint32_t v;
 206
 207                         if (half && mod == midgard_int_shift)
 208                                 v = (uint32_t)consts->u16[c] << 16;
 209                         else
 210                                 v = consts->u16[c];
 211
 212                         fprintf(fp, is_uint ? "%u" : "0x%X", v);
 213                 } else {
 214                         float v = _mesa_half_to_float(consts->f16[c]);
 215
 216                         if (mod & MIDGARD_FLOAT_MOD_ABS) v = fabsf(v);
 217                         if (mod & MIDGARD_FLOAT_MOD_NEG) v = -v;
 218
 219                         fprintf(fp, "%g", v);
 220                 }
 221                 break;
 222
 223         case midgard_reg_mode_8:
 224                 fprintf(fp, "0x%X", consts->u8[c]);
 225
 226                 if (mod)
 227                         fprintf(fp, " /* %u */", mod);
 228
 229                 assert(!half); /* No 4-bit */
 230
 231                 break;
 232         }
 233 }
 234
 235 static void
 236 mir_print_embedded_constant(midgard_instruction *ins, unsigned src_idx)
 237 {
 238         midgard_vector_alu_src src;
 239
 240         assert(src_idx <= 1);
 241         if (src_idx == 0)
 242                 src = vector_alu_from_unsigned(ins->alu.src1);
 243         else
 244                 src = vector_alu_from_unsigned(ins->alu.src2);
 245
 246         unsigned *swizzle = ins->swizzle[src_idx];
 247         midgard_reg_mode reg_mode = reg_mode_for_bitsize(max_bitsize_for_alu(ins));
 248         unsigned comp_mask = effective_writemask(ins->op, ins->mask);
 249         unsigned num_comp = util_bitcount(comp_mask);
 250         unsigned max_comp = mir_components_for_type(ins->dest_type);
 251         bool first = true;
 252
 253         printf("#");
 254
 255         if (num_comp > 1)
 256                 printf("vec%d(", num_comp);
 257
 258         for (unsigned comp = 0; comp < max_comp; comp++) {
 259                 if (!(comp_mask & (1 << comp)))
 260                         continue;
 261
 262                 if (first)
 263                         first = false;
 264                 else
 265                         printf(", ");
 266
 267                 mir_print_constant_component(stdout, &ins->constants,
 268                                              swizzle[comp], reg_mode,
 269                                              src.half, src.mod, ins->op);
 270         }
 271
 272         if (num_comp > 1)
 273                 printf(")");
 274 }
 275
 276 #define PRINT_SRC(ins, c) \
 277         do { mir_print_index(ins->src[c]); \
 278              if (ins->src[c] != ~0 && ins->src_types[c] != nir_type_invalid) { \
 279                      pan_print_alu_type(ins->src_types[c], stdout); \
 280                      mir_print_swizzle(ins->swizzle[c], ins->src_types[c]); \
 281              } } while (0)
 282
 283 void
 284 mir_print_instruction(midgard_instruction *ins)
 285 {
 286         printf("\t");
 287
 288         if (midgard_is_branch_unit(ins->unit)) {
 289                 const char *branch_target_names[] = {
 290                         "goto", "break", "continue", "discard"
 291                 };
 292
 293                 printf("%s.", mir_get_unit(ins->unit));
 294                 if (ins->branch.target_type == TARGET_DISCARD)
 295                         printf("discard.");
 296                 else if (ins->writeout)
 297                         printf("write.");
 298                 else if (ins->unit == ALU_ENAB_BR_COMPACT &&
 299                          !ins->branch.conditional)
 300                         printf("uncond.");
 301                 else
 302                         printf("cond.");
 303
 304                 if (!ins->branch.conditional)
 305                         printf("always");
 306                 else if (ins->branch.invert_conditional)
 307                         printf("false");
 308                 else
 309                         printf("true");
 310
 311                 if (ins->writeout) {
 312                         printf(" (c: ");
 313                         PRINT_SRC(ins, 0);
 314                         printf(", z: ");
 315                         PRINT_SRC(ins, 2);
 316                         printf(", s: ");
 317                         PRINT_SRC(ins, 3);
 318                         printf(")");
 319                 }
 320
 321                 if (ins->branch.target_type != TARGET_DISCARD)
 322                         printf(" %s -> block(%d)\n",
 323                                ins->branch.target_type < 4 ?
 324                                        branch_target_names[ins->branch.target_type] : "??",
 325                                ins->branch.target_block);
 326
 327                 return;
 328         }
 329
 330         switch (ins->type) {
 331         case TAG_ALU_4: {
 332                 midgard_alu_op op = ins->op;
 333                 const char *name = alu_opcode_props[op].name;
 334
 335                 if (ins->unit)
 336                         printf("%s.", mir_get_unit(ins->unit));
 337
 338                 printf("%s", name ? name : "??");
 339                 break;
 340         }
 341
 342         case TAG_LOAD_STORE_4: {
 343                 midgard_load_store_op op = ins->load_store.op;
 344                 const char *name = load_store_opcode_props[op].name;
 345
 346                 assert(name);
 347                 printf("%s", name);
 348                 break;
 349         }
 350
 351         case TAG_TEXTURE_4: {
 352                 printf("texture");
 353
 354                 if (ins->helper_terminate)
 355                         printf(".terminate");
 356
 357                 if (ins->helper_execute)
 358                         printf(".execute");
 359
 360                 break;
 361         }
 362
 363         default:
 364                 assert(0);
 365         }
 366
 367         if (ins->compact_branch && ins->branch.invert_conditional)
 368                 printf(".not");
 369
 370         printf(" ");
 371         mir_print_index(ins->dest);
 372
 373         if (ins->dest != ~0) {
 374                 pan_print_alu_type(ins->dest_type, stdout);
 375                 mir_print_mask(ins->mask);
 376         }
 377
 378         printf(", ");
 379
 380         unsigned r_constant = SSA_FIXED_REGISTER(REGISTER_CONSTANT);
 381
 382         if (ins->src[0] == r_constant)
 383                 mir_print_embedded_constant(ins, 0);
 384         else
 385                 PRINT_SRC(ins, 0);
 386
 387         printf(", ");
 388
 389         if (ins->has_inline_constant)
 390                 printf("#%d", ins->inline_constant);
 391         else if (ins->src[1] == r_constant)
 392                 mir_print_embedded_constant(ins, 1);
 393         else
 394                 PRINT_SRC(ins, 1);
 395
 396         for (unsigned c = 2; c <= 3; ++c) {
 397                 printf(", ");
 398                 PRINT_SRC(ins, c);
 399         }
 400
 401         if (ins->no_spill)
 402                 printf(" /* no spill */");
 403
 404         printf("\n");
 405 }
 406
 407 /* Dumps MIR for a block or entire shader respective */
 408
 409 void
 410 mir_print_block(midgard_block *block)
 411 {
 412         printf("block%u: {\n", block->base.name);
 413
 414         if (block->scheduled) {
 415                 mir_foreach_bundle_in_block(block, bundle) {
 416                         for (unsigned i = 0; i < bundle->instruction_count; ++i)
 417                                 mir_print_instruction(bundle->instructions[i]);
 418
 419                         printf("\n");
 420                 }
 421         } else {
 422                 mir_foreach_instr_in_block(block, ins) {
 423                         mir_print_instruction(ins);
 424                 }
 425         }
 426
 427         printf("}");
 428
 429         if (block->base.successors[0]) {
 430                 printf(" -> ");
 431                 pan_foreach_successor((&block->base), succ)
 432                         printf(" block%u ", succ->name);
 433         }
 434
 435         printf(" from { ");
 436         mir_foreach_predecessor(block, pred)
 437                 printf("block%u ", pred->base.name);
 438         printf("}");
 439
 440         printf("\n\n");
 441 }
 442
 443 void
 444 mir_print_shader(compiler_context *ctx)
 445 {
 446         mir_foreach_block(ctx, block) {
 447                 mir_print_block((midgard_block *) block);
 448         }
 449 }