src/mesa/drivers/dri/i965/brw_eu_validate.c

   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 brw_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 brw_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 unsigned
  72 num_sources_from_inst(const struct brw_device_info *devinfo,
  73                       const brw_inst *inst)
  74 {
  75    const struct opcode_desc *desc =
  76       brw_opcode_desc(devinfo, brw_inst_opcode(devinfo, inst));
  77    unsigned math_function;
  78
  79    if (brw_inst_opcode(devinfo, inst) == BRW_OPCODE_MATH) {
  80       math_function = brw_inst_math_function(devinfo, inst);
  81    } else if (devinfo->gen < 6 &&
  82               brw_inst_opcode(devinfo, inst) == BRW_OPCODE_SEND) {
  83       if (brw_inst_sfid(devinfo, inst) == BRW_SFID_MATH) {
  84          math_function = brw_inst_math_msg_function(devinfo, inst);
  85       } else {
  86          /* Send instructions are allowed to have null sources since they use
  87           * the base_mrf field to specify which message register source.
  88           */
  89          return 0;
  90       }
  91    } else if (desc) {
  92       return desc->nsrc;
  93    } else {
  94       return 0;
  95    }
  96
  97    switch (math_function) {
  98    case BRW_MATH_FUNCTION_INV:
  99    case BRW_MATH_FUNCTION_LOG:
 100    case BRW_MATH_FUNCTION_EXP:
 101    case BRW_MATH_FUNCTION_SQRT:
 102    case BRW_MATH_FUNCTION_RSQ:
 103    case BRW_MATH_FUNCTION_SIN:
 104    case BRW_MATH_FUNCTION_COS:
 105    case BRW_MATH_FUNCTION_SINCOS:
 106    case GEN8_MATH_FUNCTION_INVM:
 107    case GEN8_MATH_FUNCTION_RSQRTM:
 108       return 1;
 109    case BRW_MATH_FUNCTION_FDIV:
 110    case BRW_MATH_FUNCTION_POW:
 111    case BRW_MATH_FUNCTION_INT_DIV_QUOTIENT_AND_REMAINDER:
 112    case BRW_MATH_FUNCTION_INT_DIV_QUOTIENT:
 113    case BRW_MATH_FUNCTION_INT_DIV_REMAINDER:
 114       return 2;
 115    default:
 116       unreachable("not reached");
 117    }
 118 }
 119
 120 static bool
 121 is_unsupported_inst(const struct brw_device_info *devinfo,
 122                     const brw_inst *inst)
 123 {
 124    int gen = gen_from_devinfo(devinfo);
 125    return (opcode_descs[brw_inst_opcode(devinfo, inst)].gens & gen) == 0;
 126 }
 127
 128 bool
 129 brw_validate_instructions(const struct brw_codegen *p, int start_offset,
 130                           struct annotation_info *annotation)
 131 {
 132    const struct brw_device_info *devinfo = p->devinfo;
 133    const void *store = p->store + start_offset / 16;
 134    bool valid = true;
 135
 136    for (int src_offset = 0; src_offset < p->next_insn_offset - start_offset;
 137         src_offset += sizeof(brw_inst)) {
 138       struct string error_msg = { .str = NULL, .len = 0 };
 139       const brw_inst *inst = store + src_offset;
 140
 141       switch (num_sources_from_inst(devinfo, inst)) {
 142       case 3:
 143          /* Nothing to test. 3-src instructions can only have GRF sources, and
 144           * there's no bit to control the file.
 145           */
 146          break;
 147       case 2:
 148          ERROR_IF(src1_is_null(devinfo, inst), "src1 is null");
 149          /* fallthrough */
 150       case 1:
 151          ERROR_IF(src0_is_null(devinfo, inst), "src0 is null");
 152          break;
 153       case 0:
 154       default:
 155          break;
 156       }
 157
 158       ERROR_IF(is_unsupported_inst(devinfo, inst),
 159                "Instruction not supported on this Gen");
 160
 161       if (error_msg.str && annotation) {
 162          annotation_insert_error(annotation, src_offset, error_msg.str);
 163       }
 164       free(error_msg.str);
 165    }
 166
 167    return valid;
 168 }