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 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 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 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 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 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 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 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