src/gallium/drivers/r300/compiler/radeon_program_print.c

   1 /*
   2  * Copyright 2009 Nicolai Hähnle <nhaehnle@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  * on the rights to use, copy, modify, merge, publish, distribute, sub
   8  * license, and/or sell copies of the Software, and to permit persons to whom
   9  * the 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 NON-INFRINGEMENT. IN NO EVENT SHALL
  18  * THE AUTHOR(S) AND/OR THEIR SUPPLIERS BE LIABLE FOR ANY CLAIM,
  19  * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
  20  * OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE
  21  * USE OR OTHER DEALINGS IN THE SOFTWARE. */
  22
  23 #include "radeon_program.h"
  24
  25 #include <stdio.h>
  26
  27 static const char * textarget_to_string(rc_texture_target target)
  28 {
  29         switch(target) {
  30         case RC_TEXTURE_2D_ARRAY: return "2D_ARRAY";
  31         case RC_TEXTURE_1D_ARRAY: return "1D_ARRAY";
  32         case RC_TEXTURE_CUBE: return "CUBE";
  33         case RC_TEXTURE_3D: return "3D";
  34         case RC_TEXTURE_RECT: return "RECT";
  35         case RC_TEXTURE_2D: return "2D";
  36         case RC_TEXTURE_1D: return "1D";
  37         default: return "BAD_TEXTURE_TARGET";
  38         }
  39 }
  40
  41 static const char * presubtract_op_to_string(rc_presubtract_op op)
  42 {
  43         switch(op) {
  44         case RC_PRESUB_NONE:
  45                 return "NONE";
  46         case RC_PRESUB_BIAS:
  47                 return "(1 - 2 * src0)";
  48         case RC_PRESUB_SUB:
  49                 return "(src1 - src0)";
  50         case RC_PRESUB_ADD:
  51                 return "(src1 + src0)";
  52         case RC_PRESUB_INV:
  53                 return "(1 - src0)";
  54         default:
  55                 return "BAD_PRESUBTRACT_OP";
  56         }
  57 }
  58
  59 static void print_omod_op(FILE * f, rc_omod_op op)
  60 {
  61         const char * omod_str;
  62
  63         switch(op) {
  64         case RC_OMOD_MUL_1:
  65         case RC_OMOD_DISABLE:
  66                 return;
  67         case RC_OMOD_MUL_2:
  68                 omod_str = "* 2";
  69                 break;
  70         case RC_OMOD_MUL_4:
  71                 omod_str = "* 4";
  72                 break;
  73         case RC_OMOD_MUL_8:
  74                 omod_str = "* 8";
  75                 break;
  76         case RC_OMOD_DIV_2:
  77                 omod_str = "/ 2";
  78                 break;
  79         case RC_OMOD_DIV_4:
  80                 omod_str = "/ 4";
  81                 break;
  82         case RC_OMOD_DIV_8:
  83                 omod_str = "/ 8";
  84                 break;
  85         default:
  86                 return;
  87         }
  88         fprintf(f, " %s", omod_str);
  89 }
  90
  91 static void rc_print_comparefunc(FILE * f, const char * lhs, rc_compare_func func, const char * rhs)
  92 {
  93         if (func == RC_COMPARE_FUNC_NEVER) {
  94                 fprintf(f, "false");
  95         } else if (func == RC_COMPARE_FUNC_ALWAYS) {
  96                 fprintf(f, "true");
  97         } else {
  98                 const char * op;
  99                 switch(func) {
 100                 case RC_COMPARE_FUNC_LESS: op = "<"; break;
 101                 case RC_COMPARE_FUNC_EQUAL: op = "=="; break;
 102                 case RC_COMPARE_FUNC_LEQUAL: op = "<="; break;
 103                 case RC_COMPARE_FUNC_GREATER: op = ">"; break;
 104                 case RC_COMPARE_FUNC_NOTEQUAL: op = "!="; break;
 105                 case RC_COMPARE_FUNC_GEQUAL: op = ">="; break;
 106                 default: op = "???"; break;
 107                 }
 108                 fprintf(f, "%s %s %s", lhs, op, rhs);
 109         }
 110 }
 111
 112 static void rc_print_inline_float(FILE * f, int index)
 113 {
 114         int r300_exponent = (index >> 3) & 0xf;
 115         unsigned r300_mantissa = index & 0x7;
 116         unsigned float_exponent;
 117         unsigned real_float;
 118         float * print_float = (float*) &real_float;
 119
 120         r300_exponent -= 7;
 121         float_exponent = r300_exponent + 127;
 122         real_float = (r300_mantissa << 20) | (float_exponent << 23);
 123
 124         fprintf(f, "%f (0x%x)", *print_float, index);
 125
 126 }
 127
 128 static void rc_print_register(FILE * f, rc_register_file file, int index, unsigned int reladdr)
 129 {
 130         if (file == RC_FILE_NONE) {
 131                 fprintf(f, "none");
 132         } else if (file == RC_FILE_SPECIAL) {
 133                 switch(index) {
 134                 case RC_SPECIAL_ALU_RESULT: fprintf(f, "aluresult"); break;
 135                 default: fprintf(f, "special[%i]", index); break;
 136                 }
 137         } else if (file == RC_FILE_INLINE) {
 138                 rc_print_inline_float(f, index);
 139         } else {
 140                 const char * filename;
 141                 switch(file) {
 142                 case RC_FILE_TEMPORARY: filename = "temp"; break;
 143                 case RC_FILE_INPUT: filename = "input"; break;
 144                 case RC_FILE_OUTPUT: filename = "output"; break;
 145                 case RC_FILE_ADDRESS: filename = "addr"; break;
 146                 case RC_FILE_CONSTANT: filename = "const"; break;
 147                 default: filename = "BAD FILE"; break;
 148                 }
 149                 fprintf(f, "%s[%i%s]", filename, index, reladdr ? " + addr[0]" : "");
 150         }
 151 }
 152
 153 static void rc_print_mask(FILE * f, unsigned int mask)
 154 {
 155         if (mask & RC_MASK_X) fprintf(f, "x");
 156         if (mask & RC_MASK_Y) fprintf(f, "y");
 157         if (mask & RC_MASK_Z) fprintf(f, "z");
 158         if (mask & RC_MASK_W) fprintf(f, "w");
 159 }
 160
 161 static void rc_print_dst_register(FILE * f, struct rc_dst_register dst)
 162 {
 163         rc_print_register(f, dst.File, dst.Index, 0);
 164         if (dst.WriteMask != RC_MASK_XYZW) {
 165                 fprintf(f, ".");
 166                 rc_print_mask(f, dst.WriteMask);
 167         }
 168 }
 169
 170 static char rc_swizzle_char(unsigned int swz)
 171 {
 172         switch(swz) {
 173         case RC_SWIZZLE_X: return 'x';
 174         case RC_SWIZZLE_Y: return 'y';
 175         case RC_SWIZZLE_Z: return 'z';
 176         case RC_SWIZZLE_W: return 'w';
 177         case RC_SWIZZLE_ZERO: return '0';
 178         case RC_SWIZZLE_ONE: return '1';
 179         case RC_SWIZZLE_HALF: return 'H';
 180         case RC_SWIZZLE_UNUSED: return '_';
 181         }
 182         fprintf(stderr, "bad swz: %u\n", swz);
 183         return '?';
 184 }
 185
 186 static void rc_print_swizzle(FILE * f, unsigned int swizzle, unsigned int negate)
 187 {
 188         unsigned int comp;
 189         for(comp = 0; comp < 4; ++comp) {
 190                 rc_swizzle swz = GET_SWZ(swizzle, comp);
 191                 if (GET_BIT(negate, comp))
 192                         fprintf(f, "-");
 193                 fprintf(f, "%c", rc_swizzle_char(swz));
 194         }
 195 }
 196
 197 static void rc_print_presub_instruction(FILE * f,
 198                                         struct rc_presub_instruction inst)
 199 {
 200         fprintf(f,"(");
 201         switch(inst.Opcode){
 202         case RC_PRESUB_BIAS:
 203                 fprintf(f, "1 - 2 * ");
 204                 rc_print_register(f, inst.SrcReg[0].File,
 205                                 inst.SrcReg[0].Index,inst.SrcReg[0].RelAddr);
 206                 break;
 207         case RC_PRESUB_SUB:
 208                 rc_print_register(f, inst.SrcReg[1].File,
 209                                 inst.SrcReg[1].Index,inst.SrcReg[1].RelAddr);
 210                 fprintf(f, " - ");
 211                 rc_print_register(f, inst.SrcReg[0].File,
 212                                 inst.SrcReg[0].Index,inst.SrcReg[0].RelAddr);
 213                 break;
 214         case RC_PRESUB_ADD:
 215                 rc_print_register(f, inst.SrcReg[1].File,
 216                                 inst.SrcReg[1].Index,inst.SrcReg[1].RelAddr);
 217                 fprintf(f, " + ");
 218                 rc_print_register(f, inst.SrcReg[0].File,
 219                                 inst.SrcReg[0].Index,inst.SrcReg[0].RelAddr);
 220                 break;
 221         case RC_PRESUB_INV:
 222                 fprintf(f, "1 - ");
 223                 rc_print_register(f, inst.SrcReg[0].File,
 224                                 inst.SrcReg[0].Index,inst.SrcReg[0].RelAddr);
 225                 break;
 226         default:
 227                 break;
 228         }
 229         fprintf(f, ")");
 230 }
 231
 232 static void rc_print_src_register(FILE * f, struct rc_instruction * inst,
 233                                                 struct rc_src_register src)
 234 {
 235         int trivial_negate = (src.Negate == RC_MASK_NONE || src.Negate == RC_MASK_XYZW);
 236
 237         if (src.Negate == RC_MASK_XYZW)
 238                 fprintf(f, "-");
 239         if (src.Abs)
 240                 fprintf(f, "|");
 241
 242         if(src.File == RC_FILE_PRESUB)
 243                 rc_print_presub_instruction(f, inst->U.I.PreSub);
 244         else
 245                 rc_print_register(f, src.File, src.Index, src.RelAddr);
 246
 247         if (src.Abs && !trivial_negate)
 248                 fprintf(f, "|");
 249
 250         if (src.Swizzle != RC_SWIZZLE_XYZW || !trivial_negate) {
 251                 fprintf(f, ".");
 252                 rc_print_swizzle(f, src.Swizzle, trivial_negate ? 0 : src.Negate);
 253         }
 254
 255         if (src.Abs && trivial_negate)
 256                 fprintf(f, "|");
 257 }
 258
 259 static unsigned update_branch_depth(rc_opcode opcode, unsigned *branch_depth)
 260 {
 261         switch (opcode) {
 262         case RC_OPCODE_IF:
 263         case RC_OPCODE_BGNLOOP:
 264                 return (*branch_depth)++ * 2;
 265
 266         case RC_OPCODE_ENDIF:
 267         case RC_OPCODE_ENDLOOP:
 268                 assert(*branch_depth > 0);
 269                 return --(*branch_depth) * 2;
 270
 271         case RC_OPCODE_ELSE:
 272                 assert(*branch_depth > 0);
 273                 return (*branch_depth - 1) * 2;
 274
 275         default:
 276                 return *branch_depth * 2;
 277         }
 278 }
 279
 280 static void rc_print_normal_instruction(FILE * f, struct rc_instruction * inst, unsigned *branch_depth)
 281 {
 282         const struct rc_opcode_info * opcode = rc_get_opcode_info(inst->U.I.Opcode);
 283         unsigned int reg;
 284         unsigned spaces = update_branch_depth(inst->U.I.Opcode, branch_depth);
 285
 286         for (unsigned i = 0; i < spaces; i++)
 287                 fprintf(f, " ");
 288
 289         fprintf(f, "%s", opcode->Name);
 290
 291         switch(inst->U.I.SaturateMode) {
 292         case RC_SATURATE_NONE: break;
 293         case RC_SATURATE_ZERO_ONE: fprintf(f, "_SAT"); break;
 294         case RC_SATURATE_MINUS_PLUS_ONE: fprintf(f, "_SAT2"); break;
 295         default: fprintf(f, "_BAD_SAT"); break;
 296         }
 297
 298         if (opcode->HasDstReg) {
 299                 fprintf(f, " ");
 300                 rc_print_dst_register(f, inst->U.I.DstReg);
 301                 print_omod_op(f, inst->U.I.Omod);
 302                 if (opcode->NumSrcRegs)
 303                         fprintf(f, ",");
 304         }
 305
 306         for(reg = 0; reg < opcode->NumSrcRegs; ++reg) {
 307                 if (reg > 0)
 308                         fprintf(f, ",");
 309                 fprintf(f, " ");
 310                 rc_print_src_register(f, inst, inst->U.I.SrcReg[reg]);
 311         }
 312
 313         if (opcode->HasTexture) {
 314                 fprintf(f, ", %s%s[%u]%s%s",
 315                         textarget_to_string(inst->U.I.TexSrcTarget),
 316                         inst->U.I.TexShadow ? "SHADOW" : "",
 317                         inst->U.I.TexSrcUnit,
 318                         inst->U.I.TexSemWait ? " SEM_WAIT" : "",
 319                         inst->U.I.TexSemAcquire ? " SEM_ACQUIRE" : "");
 320         }
 321
 322         fprintf(f, ";");
 323
 324         if (inst->U.I.WriteALUResult) {
 325                 fprintf(f, " [aluresult = (");
 326                 rc_print_comparefunc(f,
 327                         (inst->U.I.WriteALUResult == RC_ALURESULT_X) ? "x" : "w",
 328                         inst->U.I.ALUResultCompare, "0");
 329                 fprintf(f, ")]");
 330         }
 331
 332         fprintf(f, "\n");
 333 }
 334
 335 static void rc_print_pair_instruction(FILE * f, struct rc_instruction * fullinst, unsigned *branch_depth)
 336 {
 337         struct rc_pair_instruction * inst = &fullinst->U.P;
 338         int printedsrc = 0;
 339         unsigned spaces = update_branch_depth(inst->RGB.Opcode != RC_OPCODE_NOP ?
 340                                               inst->RGB.Opcode : inst->Alpha.Opcode, branch_depth);
 341
 342         for (unsigned i = 0; i < spaces; i++)
 343                 fprintf(f, " ");
 344
 345         for(unsigned int src = 0; src < 3; ++src) {
 346                 if (inst->RGB.Src[src].Used) {
 347                         if (printedsrc)
 348                                 fprintf(f, ", ");
 349                         fprintf(f, "src%i.xyz = ", src);
 350                         rc_print_register(f, inst->RGB.Src[src].File, inst->RGB.Src[src].Index, 0);
 351                         printedsrc = 1;
 352                 }
 353                 if (inst->Alpha.Src[src].Used) {
 354                         if (printedsrc)
 355                                 fprintf(f, ", ");
 356                         fprintf(f, "src%i.w = ", src);
 357                         rc_print_register(f, inst->Alpha.Src[src].File, inst->Alpha.Src[src].Index, 0);
 358                         printedsrc = 1;
 359                 }
 360         }
 361         if(inst->RGB.Src[RC_PAIR_PRESUB_SRC].Used) {
 362                 fprintf(f, ", srcp.xyz = %s",
 363                         presubtract_op_to_string(
 364                                         inst->RGB.Src[RC_PAIR_PRESUB_SRC].Index));
 365         }
 366         if(inst->Alpha.Src[RC_PAIR_PRESUB_SRC].Used) {
 367                 fprintf(f, ", srcp.w = %s",
 368                         presubtract_op_to_string(
 369                                         inst->Alpha.Src[RC_PAIR_PRESUB_SRC].Index));
 370         }
 371         if (inst->SemWait) {
 372                 fprintf(f, " SEM_WAIT");
 373         }
 374         fprintf(f, "\n");
 375
 376         if (inst->RGB.Opcode != RC_OPCODE_NOP) {
 377                 const struct rc_opcode_info * opcode = rc_get_opcode_info(inst->RGB.Opcode);
 378
 379                 for (unsigned i = 0; i < spaces; i++)
 380                         fprintf(f, " ");
 381
 382                 fprintf(f, "     %s%s", opcode->Name, inst->RGB.Saturate ? "_SAT" : "");
 383                 if (inst->RGB.WriteMask)
 384                         fprintf(f, " temp[%i].%s%s%s", inst->RGB.DestIndex,
 385                                 (inst->RGB.WriteMask & 1) ? "x" : "",
 386                                 (inst->RGB.WriteMask & 2) ? "y" : "",
 387                                 (inst->RGB.WriteMask & 4) ? "z" : "");
 388                 if (inst->RGB.OutputWriteMask)
 389                         fprintf(f, " color[%i].%s%s%s", inst->RGB.Target,
 390                                 (inst->RGB.OutputWriteMask & 1) ? "x" : "",
 391                                 (inst->RGB.OutputWriteMask & 2) ? "y" : "",
 392                                 (inst->RGB.OutputWriteMask & 4) ? "z" : "");
 393                 if (inst->WriteALUResult == RC_ALURESULT_X)
 394                         fprintf(f, " aluresult");
 395
 396                 print_omod_op(f, inst->RGB.Omod);
 397
 398                 for(unsigned int arg = 0; arg < opcode->NumSrcRegs; ++arg) {
 399                         const char* abs = inst->RGB.Arg[arg].Abs ? "|" : "";
 400                         const char* neg = inst->RGB.Arg[arg].Negate ? "-" : "";
 401                         fprintf(f, ", %s%ssrc", neg, abs);
 402                         if(inst->RGB.Arg[arg].Source == RC_PAIR_PRESUB_SRC)
 403                                 fprintf(f,"p");
 404                         else
 405                                 fprintf(f,"%d", inst->RGB.Arg[arg].Source);
 406                         fprintf(f,".%c%c%c%s",
 407                                 rc_swizzle_char(GET_SWZ(inst->RGB.Arg[arg].Swizzle, 0)),
 408                                 rc_swizzle_char(GET_SWZ(inst->RGB.Arg[arg].Swizzle, 1)),
 409                                 rc_swizzle_char(GET_SWZ(inst->RGB.Arg[arg].Swizzle, 2)),
 410                                 abs);
 411                 }
 412                 fprintf(f, "\n");
 413         }
 414
 415         if (inst->Alpha.Opcode != RC_OPCODE_NOP) {
 416                 const struct rc_opcode_info * opcode = rc_get_opcode_info(inst->Alpha.Opcode);
 417
 418                 for (unsigned i = 0; i < spaces; i++)
 419                         fprintf(f, " ");
 420
 421                 fprintf(f, "     %s%s", opcode->Name, inst->Alpha.Saturate ? "_SAT" : "");
 422                 if (inst->Alpha.WriteMask)
 423                         fprintf(f, " temp[%i].w", inst->Alpha.DestIndex);
 424                 if (inst->Alpha.OutputWriteMask)
 425                         fprintf(f, " color[%i].w", inst->Alpha.Target);
 426                 if (inst->Alpha.DepthWriteMask)
 427                         fprintf(f, " depth.w");
 428                 if (inst->WriteALUResult == RC_ALURESULT_W)
 429                         fprintf(f, " aluresult");
 430
 431                 print_omod_op(f, inst->Alpha.Omod);
 432
 433                 for(unsigned int arg = 0; arg < opcode->NumSrcRegs; ++arg) {
 434                         const char* abs = inst->Alpha.Arg[arg].Abs ? "|" : "";
 435                         const char* neg = inst->Alpha.Arg[arg].Negate ? "-" : "";
 436                         fprintf(f, ", %s%ssrc", neg, abs);
 437                         if(inst->Alpha.Arg[arg].Source == RC_PAIR_PRESUB_SRC)
 438                                 fprintf(f,"p");
 439                         else
 440                                 fprintf(f,"%d", inst->Alpha.Arg[arg].Source);
 441                         fprintf(f,".%c%s",
 442                                 rc_swizzle_char(GET_SWZ(inst->Alpha.Arg[arg].Swizzle, 0)), abs);
 443                 }
 444                 fprintf(f, "\n");
 445         }
 446
 447         if (inst->WriteALUResult) {
 448                 for (unsigned i = 0; i < spaces; i++)
 449                         fprintf(f, " ");
 450
 451                 fprintf(f, "      [aluresult = (");
 452                 rc_print_comparefunc(f, "result", inst->ALUResultCompare, "0");
 453                 fprintf(f, ")]\n");
 454         }
 455 }
 456
 457 /**
 458  * Print program to stderr, default options.
 459  */
 460 void rc_print_program(const struct rc_program *prog)
 461 {
 462         unsigned int linenum = 0;
 463         unsigned branch_depth = 0;
 464         struct rc_instruction *inst;
 465
 466         fprintf(stderr, "# Radeon Compiler Program\n");
 467
 468         for(inst = prog->Instructions.Next; inst != &prog->Instructions; inst = inst->Next) {
 469                 fprintf(stderr, "%3d: ", linenum);
 470
 471                 if (inst->Type == RC_INSTRUCTION_PAIR)
 472                         rc_print_pair_instruction(stderr, inst, &branch_depth);
 473                 else
 474                         rc_print_normal_instruction(stderr, inst, &branch_depth);
 475
 476                 linenum++;
 477         }
 478 }