1 /*
2 * Copyright © 2015 Intel Corporation
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 /** @file brw_eu_validate.c
25 *
26 * This file implements a pass that validates shader assembly.
27 */
28
29 #include "brw_eu.h"
30
31 /* We're going to do lots of string concatenation, so this should help. */
32 struct string {
33 char *str;
34 size_t len;
35 };
36
37 static void
cat(struct string * dest,const struct string src)38 cat(struct string *dest, const struct string src)
39 {
40 dest->str = realloc(dest->str, dest->len + src.len + 1);
41 memcpy(dest->str + dest->len, src.str, src.len);
42 dest->str[dest->len + src.len] = '\0';
43 dest->len = dest->len + src.len;
44 }
45 #define CAT(dest, src) cat(&dest, (struct string){src, strlen(src)})
46
47 #define error(str) "\tERROR: " str "\n"
48
49 #define ERROR_IF(cond, msg) \
50 do { \
51 if (cond) { \
52 CAT(error_msg, error(msg)); \
53 valid = false; \
54 } \
55 } while(0)
56
57 static bool
src0_is_null(const struct gen_device_info * devinfo,const brw_inst * inst)58 src0_is_null(const struct gen_device_info *devinfo, const brw_inst *inst)
59 {
60 return brw_inst_src0_reg_file(devinfo, inst) == BRW_ARCHITECTURE_REGISTER_FILE &&
61 brw_inst_src0_da_reg_nr(devinfo, inst) == BRW_ARF_NULL;
62 }
63
64 static bool
src1_is_null(const struct gen_device_info * devinfo,const brw_inst * inst)65 src1_is_null(const struct gen_device_info *devinfo, const brw_inst *inst)
66 {
67 return brw_inst_src1_reg_file(devinfo, inst) == BRW_ARCHITECTURE_REGISTER_FILE &&
68 brw_inst_src1_da_reg_nr(devinfo, inst) == BRW_ARF_NULL;
69 }
70
71 static bool
src0_is_grf(const struct gen_device_info * devinfo,const brw_inst * inst)72 src0_is_grf(const struct gen_device_info *devinfo, const brw_inst *inst)
73 {
74 return brw_inst_src0_reg_file(devinfo, inst) == BRW_GENERAL_REGISTER_FILE;
75 }
76
77 static unsigned
num_sources_from_inst(const struct gen_device_info * devinfo,const brw_inst * inst)78 num_sources_from_inst(const struct gen_device_info *devinfo,
79 const brw_inst *inst)
80 {
81 const struct opcode_desc *desc =
82 brw_opcode_desc(devinfo, brw_inst_opcode(devinfo, inst));
83 unsigned math_function;
84
85 if (brw_inst_opcode(devinfo, inst) == BRW_OPCODE_MATH) {
86 math_function = brw_inst_math_function(devinfo, inst);
87 } else if (devinfo->gen < 6 &&
88 brw_inst_opcode(devinfo, inst) == BRW_OPCODE_SEND) {
89 if (brw_inst_sfid(devinfo, inst) == BRW_SFID_MATH) {
90 math_function = brw_inst_math_msg_function(devinfo, inst);
91 } else {
92 /* Send instructions are allowed to have null sources since they use
93 * the base_mrf field to specify which message register source.
94 */
95 return 0;
96 }
97 } else if (desc) {
98 return desc->nsrc;
99 } else {
100 return 0;
101 }
102
103 switch (math_function) {
104 case BRW_MATH_FUNCTION_INV:
105 case BRW_MATH_FUNCTION_LOG:
106 case BRW_MATH_FUNCTION_EXP:
107 case BRW_MATH_FUNCTION_SQRT:
108 case BRW_MATH_FUNCTION_RSQ:
109 case BRW_MATH_FUNCTION_SIN:
110 case BRW_MATH_FUNCTION_COS:
111 case BRW_MATH_FUNCTION_SINCOS:
112 case GEN8_MATH_FUNCTION_INVM:
113 case GEN8_MATH_FUNCTION_RSQRTM:
114 return 1;
115 case BRW_MATH_FUNCTION_FDIV:
116 case BRW_MATH_FUNCTION_POW:
117 case BRW_MATH_FUNCTION_INT_DIV_QUOTIENT_AND_REMAINDER:
118 case BRW_MATH_FUNCTION_INT_DIV_QUOTIENT:
119 case BRW_MATH_FUNCTION_INT_DIV_REMAINDER:
120 return 2;
121 default:
122 unreachable("not reached");
123 }
124 }
125
126 static bool
is_unsupported_inst(const struct gen_device_info * devinfo,const brw_inst * inst)127 is_unsupported_inst(const struct gen_device_info *devinfo,
128 const brw_inst *inst)
129 {
130 return brw_opcode_desc(devinfo, brw_inst_opcode(devinfo, inst)) == NULL;
131 }
132
133 bool
brw_validate_instructions(const struct brw_codegen * p,int start_offset,struct annotation_info * annotation)134 brw_validate_instructions(const struct brw_codegen *p, int start_offset,
135 struct annotation_info *annotation)
136 {
137 const struct gen_device_info *devinfo = p->devinfo;
138 const void *store = p->store + start_offset / 16;
139 bool valid = true;
140
141 for (int src_offset = 0; src_offset < p->next_insn_offset - start_offset;
142 src_offset += sizeof(brw_inst)) {
143 struct string error_msg = { .str = NULL, .len = 0 };
144 const brw_inst *inst = store + src_offset;
145
146 switch (num_sources_from_inst(devinfo, inst)) {
147 case 3:
148 /* Nothing to test. 3-src instructions can only have GRF sources, and
149 * there's no bit to control the file.
150 */
151 break;
152 case 2:
153 ERROR_IF(src1_is_null(devinfo, inst), "src1 is null");
154 /* fallthrough */
155 case 1:
156 ERROR_IF(src0_is_null(devinfo, inst), "src0 is null");
157 break;
158 case 0:
159 default:
160 break;
161 }
162
163 ERROR_IF(is_unsupported_inst(devinfo, inst),
164 "Instruction not supported on this Gen");
165
166 if (brw_inst_opcode(devinfo, inst) == BRW_OPCODE_SEND) {
167 ERROR_IF(brw_inst_src0_address_mode(devinfo, inst) !=
168 BRW_ADDRESS_DIRECT, "send must use direct addressing");
169
170 if (devinfo->gen >= 7) {
171 ERROR_IF(!src0_is_grf(devinfo, inst), "send from non-GRF");
172 ERROR_IF(brw_inst_eot(devinfo, inst) &&
173 brw_inst_src0_da_reg_nr(devinfo, inst) < 112,
174 "send with EOT must use g112-g127");
175 }
176 }
177
178 if (error_msg.str && annotation) {
179 annotation_insert_error(annotation, src_offset, error_msg.str);
180 }
181 free(error_msg.str);
182 }
183
184 return valid;
185 }
186