• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright © 2016 Broadcom Limited
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
20  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
21  * IN THE SOFTWARE.
22  */
23 
24 #include "vc4_qir.h"
25 #include "vc4_qpu.h"
26 
27 static void
fail_instr(struct vc4_compile * c,struct qinst * inst,const char * msg)28 fail_instr(struct vc4_compile *c, struct qinst *inst, const char *msg)
29 {
30         fprintf(stderr, "qir_validate: %s: ", msg);
31         qir_dump_inst(c, inst);
32         fprintf(stderr, "\n");
33         abort();
34 }
35 
qir_validate(struct vc4_compile * c)36 void qir_validate(struct vc4_compile *c)
37 {
38         bool already_assigned[c->num_temps];
39         memset(&already_assigned, 0, sizeof(already_assigned));
40 
41         /* We don't want to do validation in release builds, but we want to
42          * keep compiling the validation code to make sure it doesn't get
43          * broken.
44          */
45 #ifndef DEBUG
46         return;
47 #endif
48 
49         for (int i = 0; i < c->num_temps; i++) {
50                 struct qinst *def = c->defs[i];
51 
52                 if (def && def->cond != QPU_COND_ALWAYS)
53                         fail_instr(c, def, "SSA def with condition");
54         }
55 
56         qir_for_each_inst_inorder(inst, c) {
57                 switch (inst->dst.file) {
58                 case QFILE_TEMP:
59                         if (inst->dst.index >= c->num_temps)
60                                 fail_instr(c, inst, "bad temp index");
61 
62                         if (c->defs[inst->dst.index] &&
63                             already_assigned[inst->dst.index]) {
64                                 fail_instr(c, inst, "Re-assignment of SSA value");
65                         }
66                         already_assigned[inst->dst.index] = true;
67                         break;
68 
69                 case QFILE_NULL:
70                 case QFILE_VPM:
71                 case QFILE_TLB_COLOR_WRITE:
72                 case QFILE_TLB_COLOR_WRITE_MS:
73                 case QFILE_TLB_Z_WRITE:
74                 case QFILE_TLB_STENCIL_SETUP:
75                         break;
76 
77                 case QFILE_VARY:
78                 case QFILE_UNIF:
79                 case QFILE_FRAG_X:
80                 case QFILE_FRAG_Y:
81                 case QFILE_FRAG_REV_FLAG:
82                 case QFILE_QPU_ELEMENT:
83                 case QFILE_SMALL_IMM:
84                 case QFILE_LOAD_IMM:
85                         fail_instr(c, inst, "Bad dest file");
86                         break;
87 
88                 case QFILE_TEX_S:
89                 case QFILE_TEX_T:
90                 case QFILE_TEX_R:
91                 case QFILE_TEX_B:
92                         if (inst->src[qir_get_tex_uniform_src(inst)].file !=
93                             QFILE_UNIF) {
94                                 fail_instr(c, inst,
95                                            "tex op missing implicit uniform");
96                         }
97                         break;
98 
99                 case QFILE_TEX_S_DIRECT:
100                         if (inst->op != QOP_ADD) {
101                                 fail_instr(c, inst,
102                                            "kernel validation requires that "
103                                            "direct texture lookups use an ADD");
104                         }
105                         break;
106                 }
107 
108                 for (int i = 0; i < qir_get_nsrc(inst); i++) {
109                         struct qreg src = inst->src[i];
110 
111                         switch (src.file) {
112                         case QFILE_TEMP:
113                                 if (src.index >= c->num_temps)
114                                         fail_instr(c, inst, "bad temp index");
115                                 break;
116 
117                         case QFILE_VARY:
118                         case QFILE_UNIF:
119                         case QFILE_VPM:
120                         case QFILE_LOAD_IMM:
121                         case QFILE_QPU_ELEMENT:
122                                 break;
123 
124                         case QFILE_SMALL_IMM:
125                                 if (qpu_encode_small_immediate(src.index) == ~0)
126                                         fail_instr(c, inst, "bad small immediate");
127                                 break;
128 
129                         case QFILE_FRAG_X:
130                         case QFILE_FRAG_Y:
131                         case QFILE_FRAG_REV_FLAG:
132                                 if (c->stage != QSTAGE_FRAG)
133                                         fail_instr(c, inst, "frag access in VS/CS");
134                                 break;
135 
136                         case QFILE_NULL:
137                         case QFILE_TLB_COLOR_WRITE:
138                         case QFILE_TLB_COLOR_WRITE_MS:
139                         case QFILE_TLB_Z_WRITE:
140                         case QFILE_TLB_STENCIL_SETUP:
141                         case QFILE_TEX_S_DIRECT:
142                         case QFILE_TEX_S:
143                         case QFILE_TEX_T:
144                         case QFILE_TEX_R:
145                         case QFILE_TEX_B:
146                                 fail_instr(c, inst, "Bad src file");
147                                 break;
148                         }
149                 }
150         }
151 }
152