src/gallium/drivers/nv50/nv50_pc.h

   1 /*
   2  * Copyright 2010 Christoph Bumiller
   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 shall be included in
  12  * all copies or substantial portions of the Software.
  13  *
  14  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  15  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  16  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
  17  * THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
  18  * WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF
  19  * OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  20  * SOFTWARE.
  21  */
  22
  23 #ifndef __NV50_COMPILER_H__
  24 #define __NV50_COMPILER_H__
  25
  26 #ifdef NV50PC_DEBUG
  27 # define NV50_DBGMSG(args...) debug_printf(args)
  28 #else
  29 # define NV50_DBGMSG(args...)
  30 #endif
  31
  32 #include "pipe/p_defines.h"
  33 #include "util/u_inlines.h"
  34 #include "util/u_memory.h"
  35
  36 #define NV_OP_PHI       0
  37 #define NV_OP_EXTRACT   1
  38 #define NV_OP_COMBINE   2
  39 #define NV_OP_LDA       3
  40 #define NV_OP_STA       4
  41 #define NV_OP_MOV       5
  42 #define NV_OP_ADD       6
  43 #define NV_OP_SUB       7
  44 #define NV_OP_NEG       8
  45 #define NV_OP_MUL       9
  46 #define NV_OP_MAD       10
  47 #define NV_OP_CVT       11
  48 #define NV_OP_SAT       12
  49 #define NV_OP_NOT       13
  50 #define NV_OP_AND       14
  51 #define NV_OP_OR        15
  52 #define NV_OP_XOR       16
  53 #define NV_OP_SHL       17
  54 #define NV_OP_SHR       18
  55 #define NV_OP_RCP       19
  56 #define NV_OP_UNDEF     20
  57 #define NV_OP_RSQ       21
  58 #define NV_OP_LG2       22
  59 #define NV_OP_SIN       23
  60 #define NV_OP_COS       24
  61 #define NV_OP_EX2       25
  62 #define NV_OP_PRESIN    26
  63 #define NV_OP_PREEX2    27
  64 #define NV_OP_MIN       28
  65 #define NV_OP_MAX       29
  66 #define NV_OP_SET       30
  67 #define NV_OP_SAD       31
  68 #define NV_OP_KIL       32
  69 #define NV_OP_BRA       33
  70 #define NV_OP_CALL      34
  71 #define NV_OP_RET       35
  72 #define NV_OP_BREAK     36
  73 #define NV_OP_BREAKADDR 37
  74 #define NV_OP_JOINAT    38
  75 #define NV_OP_TEX       39
  76 #define NV_OP_TXB       40
  77 #define NV_OP_TXL       41
  78 #define NV_OP_TXF       42
  79 #define NV_OP_TXQ       43
  80 #define NV_OP_DFDX      44
  81 #define NV_OP_DFDY      45
  82 #define NV_OP_QUADOP    46
  83 #define NV_OP_LINTERP   47
  84 #define NV_OP_PINTERP   48
  85 #define NV_OP_ABS       49
  86 #define NV_OP_CEIL      50
  87 #define NV_OP_FLOOR     51
  88 #define NV_OP_TRUNC     52
  89 #define NV_OP_NOP       53
  90 #define NV_OP_SELECT    54
  91 #define NV_OP_EXPORT    55
  92 #define NV_OP_JOIN      56
  93 #define NV_OP_COUNT     57
  94
  95 #define NV_FILE_GPR      0
  96 #define NV_FILE_OUT      1
  97 #define NV_FILE_ADDR     2
  98 #define NV_FILE_FLAGS    3
  99 #define NV_FILE_IMM      16
 100 #define NV_FILE_MEM_S    32
 101 #define NV_FILE_MEM_P    33
 102 #define NV_FILE_MEM_V    34
 103 #define NV_FILE_MEM_L    48
 104 #define NV_FILE_MEM_G(i) (64 + i)
 105 #define NV_FILE_MEM_C(i) (80 + i)
 106
 107 #define NV_MOD_NEG 1
 108 #define NV_MOD_ABS 2
 109 #define NV_MOD_NOT 4
 110 #define NV_MOD_SAT 8
 111
 112 #define NV_TYPE_U8  0x00
 113 #define NV_TYPE_S8  0x01
 114 #define NV_TYPE_U16 0x02
 115 #define NV_TYPE_S16 0x03
 116 #define NV_TYPE_U32 0x04
 117 #define NV_TYPE_S32 0x05
 118 #define NV_TYPE_P32 0x07
 119 #define NV_TYPE_F32 0x09
 120 #define NV_TYPE_F64 0x0b
 121 #define NV_TYPE_VEC(x, n) (NV_TYPE_##x | (n << 4))
 122 #define NV_TYPE_LO  0x00
 123 #define NV_TYPE_HI  0x80
 124 #define NV_TYPE_ANY 0xff
 125
 126 #define NV_TYPE_ISINT(t) ((t) <= 5)
 127 #define NV_TYPE_ISFLT(t) ((t) & 0x08)
 128
 129 #define NV_CC_FL 0x0
 130 #define NV_CC_LT 0x1
 131 #define NV_CC_EQ 0x2
 132 #define NV_CC_LE 0x3
 133 #define NV_CC_GT 0x4
 134 #define NV_CC_NE 0x5
 135 #define NV_CC_GE 0x6
 136 #define NV_CC_U  0x8
 137 #define NV_CC_TR 0xf
 138
 139 #define NV_PC_MAX_INSTRUCTIONS 2048
 140 #define NV_PC_MAX_VALUES (NV_PC_MAX_INSTRUCTIONS * 4)
 141
 142 static INLINE boolean
 143 nv_is_vector_op(uint opcode)
 144 {
 145    return (opcode >= NV_OP_TEX) && (opcode <= NV_OP_TXQ);
 146 }
 147
 148 static INLINE uint
 149 nv_type_order(ubyte type)
 150 {
 151    switch (type & 0xf) {
 152    case NV_TYPE_U8:
 153    case NV_TYPE_S8:
 154       return 0;
 155    case NV_TYPE_U16:
 156    case NV_TYPE_S16:
 157       return 1;
 158    case NV_TYPE_U32:
 159    case NV_TYPE_F32:
 160    case NV_TYPE_S32:
 161    case NV_TYPE_P32:
 162       return 2;
 163    case NV_TYPE_F64:
 164       return 3;
 165    }
 166    assert(0);
 167 }
 168
 169 static INLINE uint
 170 nv_type_sizeof(ubyte type)
 171 {
 172    if (type & 0xf0)
 173       return (1 << nv_type_order(type)) * (type >> 4);
 174    return 1 << nv_type_order(type);
 175 }
 176
 177 static INLINE uint
 178 nv_type_sizeof_base(ubyte type)
 179 {
 180    return 1 << nv_type_order(type);
 181 }
 182
 183 struct nv_reg {
 184    int id;
 185    ubyte file;
 186    ubyte type; /* type of generating instruction's result */
 187    union {
 188       float f32;
 189       double f64;
 190       int32_t s32;
 191       uint32_t u32;
 192    } imm;
 193 };
 194
 195 struct nv_range {
 196    struct nv_range *next;
 197    int bgn;
 198    int end;
 199 };
 200
 201 struct nv_value {
 202    struct nv_reg reg;
 203    struct nv_instruction *insn;
 204    struct nv_value *join;
 205    int n;
 206    struct nv_range *livei;
 207    int refc;
 208
 209    struct nv_value *next;
 210    struct nv_value *prev;
 211 };
 212
 213 struct nv_ref {
 214    struct nv_value *value;
 215    struct nv_instruction *insn;
 216    ubyte mod;
 217    ubyte typecast;
 218    ubyte flags; /* not used yet */
 219 };
 220
 221 struct nv_basic_block;
 222
 223 struct nv_instruction {
 224    struct nv_instruction *next;
 225    struct nv_instruction *prev;
 226    uint opcode;
 227    int serial;
 228    struct nv_value *def[4];
 229    struct nv_value *flags_def;
 230    struct nv_ref *src[5];
 231    struct nv_ref *flags_src;
 232    struct nv_basic_block *bb;
 233    struct nv_basic_block *target; /* target block of control flow insn */
 234    ubyte cc;
 235    ubyte set_cond      : 4;
 236    ubyte fixed         : 1; /* don't optimize away */
 237    ubyte is_terminator : 1;
 238    ubyte is_join       : 1;
 239    ubyte is_long       : 1; /* for emission */
 240    /* */
 241    ubyte saturate : 1;
 242    ubyte centroid : 1;
 243    ubyte flat     : 1;
 244    ubyte padding  : 4;
 245    ubyte tex_live : 1;
 246    /* */
 247    ubyte tex_t; /* TIC binding */
 248    ubyte tex_s; /* TSC binding */
 249    ubyte tex_argc : 3;
 250    ubyte tex_cube : 1;
 251    ubyte tex_mask : 4;
 252    /* */
 253    ubyte quadop;
 254 };
 255
 256 #define CFG_EDGE_FORWARD     0
 257 #define CFG_EDGE_BACK        1
 258 #define CFG_EDGE_LOOP_ENTER  2
 259 #define CFG_EDGE_LOOP_LEAVE  4
 260 #define CFG_EDGE_FAKE        8
 261
 262 /* 'WALL' edge means where reachability check doesn't follow */
 263 /* 'LOOP' edge means just having to do with loops */
 264 #define IS_LOOP_EDGE(k) ((k) & 7)
 265 #define IS_WALL_EDGE(k) ((k) & 9)
 266
 267 struct nv_basic_block {
 268    struct nv_instruction *entry; /* first non-phi instruction */
 269    struct nv_instruction *exit;
 270    struct nv_instruction *phi; /* very first instruction */
 271    int num_instructions;
 272
 273    struct nv_basic_block *out[2]; /* no indirect branches -> 2 */
 274    struct nv_basic_block *in[8]; /* hope that suffices */
 275    uint num_in;
 276    ubyte out_kind[2];
 277    ubyte in_kind[8];
 278
 279    int id;
 280    struct nv_basic_block *last_visitor;
 281    uint priv;
 282    uint pass_seq;
 283
 284    uint32_t bin_pos; /* position, size in emitted code */
 285    uint32_t bin_size;
 286
 287    uint32_t live_set[NV_PC_MAX_VALUES / 32];
 288 };
 289
 290 #define NV_FIXUP_CFLOW_RELOC 0
 291 #define NV_FIXUP_PARAM_RELOC 1
 292
 293 struct nv_fixup {
 294    ubyte type;
 295    ubyte shift;
 296    uint32_t mask;
 297    uint32_t data;
 298    uint32_t offset;
 299 };
 300
 301 static INLINE void
 302 nv_fixup_apply(uint32_t *bin, struct nv_fixup *fixup, uint32_t data)
 303 {
 304    uint32_t val;
 305
 306    val = bin[fixup->offset / 4] & ~fixup->mask;
 307    data = (fixup->shift < 0) ? (data >> fixup->shift) : (data << fixup->shift);
 308    val |= (fixup->data + data) & fixup->mask;
 309    bin[fixup->offset / 4] = val;
 310 }
 311
 312 struct nv_pc {
 313    struct nv50_translation_info *ti;
 314
 315    struct nv_basic_block *root;
 316    struct nv_basic_block *current_block;
 317    struct nv_basic_block *parent_block;
 318
 319    int loop_nesting_bound;
 320    uint pass_seq;
 321
 322    struct nv_value values[NV_PC_MAX_VALUES];
 323    struct nv_instruction instructions[NV_PC_MAX_INSTRUCTIONS];
 324    struct nv_ref **refs;
 325    struct nv_basic_block **bb_list;
 326    int num_values;
 327    int num_instructions;
 328    int num_refs;
 329    int num_blocks;
 330
 331    int max_reg[4];
 332
 333    uint32_t *immd_buf; /* populated on emit */
 334    unsigned immd_count;
 335
 336    uint32_t *emit;
 337    unsigned bin_size;
 338    unsigned bin_pos;
 339
 340    struct nv_fixup *fixups;
 341    int num_fixups;
 342 };
 343
 344 void nvbb_insert_tail(struct nv_basic_block *, struct nv_instruction *);
 345
 346 static INLINE struct nv_instruction *
 347 new_instruction(struct nv_pc *pc, uint opcode)
 348 {
 349    struct nv_instruction *insn;
 350
 351    insn = &pc->instructions[pc->num_instructions++];
 352    assert(pc->num_instructions < NV_PC_MAX_INSTRUCTIONS);
 353
 354    insn->cc = NV_CC_TR;
 355    insn->opcode = opcode;
 356
 357    nvbb_insert_tail(pc->current_block, insn);
 358    return insn;
 359 }
 360
 361 static INLINE struct nv_value *
 362 new_value(struct nv_pc *pc, ubyte file, ubyte type)
 363 {
 364    struct nv_value *value = &pc->values[pc->num_values];
 365
 366    assert(pc->num_values < NV_PC_MAX_VALUES - 1);
 367
 368    value->n = pc->num_values++;
 369    value->join = value;
 370    value->reg.id = -1;
 371    value->reg.file = file;
 372    value->reg.type = type;
 373    return value;
 374 }
 375
 376 static INLINE struct nv_value *
 377 new_value_like(struct nv_pc *pc, struct nv_value *like)
 378 {
 379    return new_value(pc, like->reg.file, like->reg.type);
 380 }
 381
 382 static INLINE struct nv_ref *
 383 new_ref(struct nv_pc *pc, struct nv_value *val)
 384 {
 385    int i;
 386    struct nv_ref *ref;
 387
 388    if ((pc->num_refs % 64) == 0) {
 389       const unsigned old_size = pc->num_refs * sizeof(struct nv_ref *);
 390       const unsigned new_size = (pc->num_refs + 64) * sizeof(struct nv_ref *);
 391
 392       pc->refs = REALLOC(pc->refs, old_size, new_size);
 393
 394       ref = CALLOC(64, sizeof(struct nv_ref));
 395       for (i = 0; i < 64; ++i)
 396          pc->refs[pc->num_refs + i] = &ref[i];
 397    }
 398
 399    ref = pc->refs[pc->num_refs++];
 400    ref->value = val;
 401    ref->typecast = val->reg.type;
 402
 403    ++val->refc;
 404    return ref;
 405 }
 406
 407 static INLINE struct nv_basic_block *
 408 new_basic_block(struct nv_pc *pc)
 409 {
 410    struct nv_basic_block *bb = CALLOC_STRUCT(nv_basic_block);
 411
 412    bb->id = pc->num_blocks++;
 413    return bb;
 414 }
 415
 416 static INLINE void
 417 nv_reference(struct nv_pc *pc, struct nv_ref **d, struct nv_value *s)
 418 {
 419    if (*d)
 420       --(*d)->value->refc;
 421
 422    if (s) {
 423       if (!*d)
 424          *d = new_ref(pc, s);
 425       else {
 426          (*d)->value = s;
 427          ++(s->refc);
 428       }
 429    } else {
 430       *d = NULL;
 431    }
 432 }
 433
 434 /* nv50_emit.c */
 435 void nv50_emit_instruction(struct nv_pc *, struct nv_instruction *);
 436
 437 /* nv50_print.c */
 438 const char *nv_opcode_name(uint opcode);
 439 void nv_print_instruction(struct nv_instruction *);
 440
 441 /* nv50_pc.c */
 442
 443 void nv_print_program(struct nv_basic_block *b);
 444
 445 boolean nv_op_commutative(uint opcode);
 446 int nv50_indirect_opnd(struct nv_instruction *);
 447 boolean nv50_nvi_can_use_imm(struct nv_instruction *, int s);
 448 boolean nv50_nvi_can_predicate(struct nv_instruction *);
 449 boolean nv50_nvi_can_load(struct nv_instruction *, int s, struct nv_value *);
 450 ubyte nv50_supported_src_mods(uint opcode, int s);
 451 int nv_nvi_refcount(struct nv_instruction *);
 452 void nv_nvi_delete(struct nv_instruction *);
 453 void nv_nvi_permute(struct nv_instruction *, struct nv_instruction *);
 454 void nvbb_attach_block(struct nv_basic_block *parent,
 455                        struct nv_basic_block *, ubyte edge_kind);
 456 boolean nvbb_dominated_by(struct nv_basic_block *, struct nv_basic_block *);
 457 boolean nvbb_reachable_by(struct nv_basic_block *, struct nv_basic_block *,
 458                           struct nv_basic_block *);
 459 struct nv_basic_block *nvbb_dom_frontier(struct nv_basic_block *);
 460 int nvcg_replace_value(struct nv_pc *pc, struct nv_value *old_val,
 461                        struct nv_value *new_val);
 462
 463 typedef void (*nv_pc_pass_func)(void *priv, struct nv_basic_block *b);
 464
 465 void nv_pc_pass_in_order(struct nv_basic_block *, nv_pc_pass_func, void *);
 466
 467 int nv_pc_exec_pass0(struct nv_pc *pc);
 468 int nv_pc_exec_pass1(struct nv_pc *pc);
 469 int nv_pc_exec_pass2(struct nv_pc *pc);
 470
 471 int nv50_tgsi_to_nc(struct nv_pc *, struct nv50_translation_info *);
 472
 473 #endif // NV50_COMPILER_H