From: Matt Turner Date: Fri, 3 Jan 2020 20:59:32 +0000 (-0800) Subject: intel/compiler: Add unit tests for new EU validation checks X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=72cf63cfc63ca7789ca9f6f62477a7f55a80cad7;p=mesa.git intel/compiler: Add unit tests for new EU validation checks Reviewed-by: Caio Marcelo de Oliveira Filho Part-of: --- diff --git a/src/intel/compiler/test_eu_validate.cpp b/src/intel/compiler/test_eu_validate.cpp index d794af4259d..6e099b553f7 100644 --- a/src/intel/compiler/test_eu_validate.cpp +++ b/src/intel/compiler/test_eu_validate.cpp @@ -23,6 +23,8 @@ #include #include "brw_eu.h" +#include "brw_eu_defines.h" +#include "util/bitset.h" #include "util/ralloc.h" static const struct gen_info { @@ -188,6 +190,400 @@ TEST_P(validation_test, opcode46) } } +TEST_P(validation_test, invalid_exec_size_encoding) +{ + const struct { + enum brw_execution_size exec_size; + bool expected_result; + } test_case[] = { + { BRW_EXECUTE_1, true }, + { BRW_EXECUTE_2, true }, + { BRW_EXECUTE_4, true }, + { BRW_EXECUTE_8, true }, + { BRW_EXECUTE_16, true }, + { BRW_EXECUTE_32, true }, + + { (enum brw_execution_size)((int)BRW_EXECUTE_32 + 1), false }, + { (enum brw_execution_size)((int)BRW_EXECUTE_32 + 2), false }, + }; + + for (unsigned i = 0; i < ARRAY_SIZE(test_case); i++) { + brw_MOV(p, g0, g0); + + brw_inst_set_exec_size(&devinfo, last_inst, test_case[i].exec_size); + brw_inst_set_src0_file_type(&devinfo, last_inst, BRW_GENERAL_REGISTER_FILE, BRW_REGISTER_TYPE_W); + brw_inst_set_dst_file_type(&devinfo, last_inst, BRW_GENERAL_REGISTER_FILE, BRW_REGISTER_TYPE_W); + + if (test_case[i].exec_size == BRW_EXECUTE_1) { + brw_inst_set_src0_vstride(&devinfo, last_inst, BRW_VERTICAL_STRIDE_0); + brw_inst_set_src0_width(&devinfo, last_inst, BRW_WIDTH_1); + brw_inst_set_src0_hstride(&devinfo, last_inst, BRW_HORIZONTAL_STRIDE_0); + } else { + brw_inst_set_src0_vstride(&devinfo, last_inst, BRW_VERTICAL_STRIDE_2); + brw_inst_set_src0_width(&devinfo, last_inst, BRW_WIDTH_2); + brw_inst_set_src0_hstride(&devinfo, last_inst, BRW_HORIZONTAL_STRIDE_1); + } + + EXPECT_EQ(test_case[i].expected_result, validate(p)); + + clear_instructions(p); + } +} + +TEST_P(validation_test, invalid_file_encoding) +{ + /* Register file on Gen12 is only one bit */ + if (devinfo.gen >= 12) + return; + + brw_MOV(p, g0, g0); + brw_inst_set_dst_file_type(&devinfo, last_inst, BRW_MESSAGE_REGISTER_FILE, BRW_REGISTER_TYPE_F); + + if (devinfo.gen > 6) { + EXPECT_FALSE(validate(p)); + } else { + EXPECT_TRUE(validate(p)); + } + + clear_instructions(p); + + if (devinfo.gen < 6) { + gen4_math(p, g0, BRW_MATH_FUNCTION_SIN, 0, g0, BRW_MATH_PRECISION_FULL); + } else { + gen6_math(p, g0, BRW_MATH_FUNCTION_SIN, g0, null); + } + brw_inst_set_src0_file_type(&devinfo, last_inst, BRW_MESSAGE_REGISTER_FILE, BRW_REGISTER_TYPE_F); + + if (devinfo.gen > 6) { + EXPECT_FALSE(validate(p)); + } else { + EXPECT_TRUE(validate(p)); + } +} + +TEST_P(validation_test, invalid_type_encoding) +{ + enum brw_reg_file files[2] = { + BRW_GENERAL_REGISTER_FILE, + BRW_IMMEDIATE_VALUE, + }; + + for (unsigned i = 0; i < ARRAY_SIZE(files); i++) { + const enum brw_reg_file file = files[i]; + const int num_bits = devinfo.gen >= 8 ? 4 : 3; + const int num_encodings = 1 << num_bits; + + /* The data types are encoded into bits to be used in hardware + * instructions, so keep a record in a bitset the invalid patterns so + * they can be verified to be invalid when used. + */ + BITSET_DECLARE(invalid_encodings, num_encodings); + + const struct { + enum brw_reg_type type; + bool expected_result; + } test_case[] = { + { BRW_REGISTER_TYPE_NF, devinfo.gen == 11 && file != IMM }, + { BRW_REGISTER_TYPE_DF, devinfo.has_64bit_float && (devinfo.gen >= 8 || file != IMM) }, + { BRW_REGISTER_TYPE_F, true }, + { BRW_REGISTER_TYPE_HF, devinfo.gen >= 8 }, + { BRW_REGISTER_TYPE_VF, file == IMM }, + { BRW_REGISTER_TYPE_Q, devinfo.has_64bit_int }, + { BRW_REGISTER_TYPE_UQ, devinfo.has_64bit_int }, + { BRW_REGISTER_TYPE_D, true }, + { BRW_REGISTER_TYPE_UD, true }, + { BRW_REGISTER_TYPE_W, true }, + { BRW_REGISTER_TYPE_UW, true }, + { BRW_REGISTER_TYPE_B, file == FIXED_GRF }, + { BRW_REGISTER_TYPE_UB, file == FIXED_GRF }, + { BRW_REGISTER_TYPE_V, file == IMM }, + { BRW_REGISTER_TYPE_UV, devinfo.gen >= 6 && file == IMM }, + }; + + /* Initially assume all hardware encodings are invalid */ + BITSET_ONES(invalid_encodings); + + brw_set_default_exec_size(p, BRW_EXECUTE_4); + + for (unsigned i = 0; i < ARRAY_SIZE(test_case); i++) { + if (test_case[i].expected_result) { + unsigned hw_type = brw_reg_type_to_hw_type(&devinfo, file, test_case[i].type); + if (hw_type != INVALID_REG_TYPE) { + /* ... and remove valid encodings from the set */ + assert(BITSET_TEST(invalid_encodings, hw_type)); + BITSET_CLEAR(invalid_encodings, hw_type); + } + + if (file == FIXED_GRF) { + struct brw_reg g = retype(g0, test_case[i].type); + brw_MOV(p, g, g); + brw_inst_set_src0_vstride(&devinfo, last_inst, BRW_VERTICAL_STRIDE_4); + brw_inst_set_src0_width(&devinfo, last_inst, BRW_WIDTH_4); + brw_inst_set_src0_hstride(&devinfo, last_inst, BRW_HORIZONTAL_STRIDE_1); + } else { + enum brw_reg_type t; + + switch (test_case[i].type) { + case BRW_REGISTER_TYPE_V: + t = BRW_REGISTER_TYPE_W; + break; + case BRW_REGISTER_TYPE_UV: + t = BRW_REGISTER_TYPE_UW; + break; + case BRW_REGISTER_TYPE_VF: + t = BRW_REGISTER_TYPE_F; + break; + default: + t = test_case[i].type; + break; + } + + struct brw_reg g = retype(g0, t); + brw_MOV(p, g, retype(brw_imm_w(0), test_case[i].type)); + } + + EXPECT_TRUE(validate(p)); + + clear_instructions(p); + } + } + + /* The remaining encodings in invalid_encodings do not have a mapping + * from BRW_REGISTER_TYPE_* and must be invalid. Verify that invalid + * encodings are rejected by the validator. + */ + int e; + BITSET_WORD tmp; + BITSET_FOREACH_SET(e, tmp, invalid_encodings, num_encodings) { + if (file == FIXED_GRF) { + brw_MOV(p, g0, g0); + brw_inst_set_src0_vstride(&devinfo, last_inst, BRW_VERTICAL_STRIDE_4); + brw_inst_set_src0_width(&devinfo, last_inst, BRW_WIDTH_4); + brw_inst_set_src0_hstride(&devinfo, last_inst, BRW_HORIZONTAL_STRIDE_1); + } else { + brw_MOV(p, g0, brw_imm_w(0)); + } + brw_inst_set_dst_reg_hw_type(&devinfo, last_inst, e); + brw_inst_set_src0_reg_hw_type(&devinfo, last_inst, e); + + EXPECT_FALSE(validate(p)); + + clear_instructions(p); + } + } +} + +TEST_P(validation_test, invalid_type_encoding_3src_a16) +{ + /* 3-src instructions in align16 mode only supported on Gen6-10 */ + if (devinfo.gen < 6 || devinfo.gen > 10) + return; + + const int num_bits = devinfo.gen >= 8 ? 3 : 2; + const int num_encodings = 1 << num_bits; + + /* The data types are encoded into bits to be used in hardware + * instructions, so keep a record in a bitset the invalid patterns so + * they can be verified to be invalid when used. + */ + BITSET_DECLARE(invalid_encodings, num_encodings); + + const struct { + enum brw_reg_type type; + bool expected_result; + } test_case[] = { + { BRW_REGISTER_TYPE_DF, devinfo.gen >= 7 }, + { BRW_REGISTER_TYPE_F, true }, + { BRW_REGISTER_TYPE_HF, devinfo.gen >= 8 }, + { BRW_REGISTER_TYPE_D, devinfo.gen >= 7 }, + { BRW_REGISTER_TYPE_UD, devinfo.gen >= 7 }, + }; + + /* Initially assume all hardware encodings are invalid */ + BITSET_ONES(invalid_encodings); + + brw_set_default_access_mode(p, BRW_ALIGN_16); + brw_set_default_exec_size(p, BRW_EXECUTE_4); + + for (unsigned i = 0; i < ARRAY_SIZE(test_case); i++) { + if (test_case[i].expected_result) { + unsigned hw_type = brw_reg_type_to_a16_hw_3src_type(&devinfo, test_case[i].type); + if (hw_type != INVALID_HW_REG_TYPE) { + /* ... and remove valid encodings from the set */ + assert(BITSET_TEST(invalid_encodings, hw_type)); + BITSET_CLEAR(invalid_encodings, hw_type); + } + + struct brw_reg g = retype(g0, test_case[i].type); + if (!brw_reg_type_is_integer(test_case[i].type)) { + brw_MAD(p, g, g, g, g); + } else { + brw_BFE(p, g, g, g, g); + } + + EXPECT_TRUE(validate(p)); + + clear_instructions(p); + } + } + + /* The remaining encodings in invalid_encodings do not have a mapping + * from BRW_REGISTER_TYPE_* and must be invalid. Verify that invalid + * encodings are rejected by the validator. + */ + int e; + BITSET_WORD tmp; + BITSET_FOREACH_SET(e, tmp, invalid_encodings, num_encodings) { + for (unsigned i = 0; i < 2; i++) { + if (i == 0) { + brw_MAD(p, g0, g0, g0, g0); + } else { + brw_BFE(p, g0, g0, g0, g0); + } + + brw_inst_set_3src_a16_dst_hw_type(&devinfo, last_inst, e); + brw_inst_set_3src_a16_src_hw_type(&devinfo, last_inst, e); + + EXPECT_FALSE(validate(p)); + + clear_instructions(p); + + if (devinfo.gen == 6) + break; + } + } +} + +TEST_P(validation_test, invalid_type_encoding_3src_a1) +{ + /* 3-src instructions in align1 mode only supported on Gen10+ */ + if (devinfo.gen < 10) + return; + + const int num_bits = 3 + 1 /* for exec_type */; + const int num_encodings = 1 << num_bits; + + /* The data types are encoded into bits to be used in hardware + * instructions, so keep a record in a bitset the invalid patterns so + * they can be verified to be invalid when used. + */ + BITSET_DECLARE(invalid_encodings, num_encodings); + + const struct { + enum brw_reg_type type; + unsigned exec_type; + bool expected_result; + } test_case[] = { +#define E(x) ((unsigned)BRW_ALIGN1_3SRC_EXEC_TYPE_##x) + { BRW_REGISTER_TYPE_NF, E(FLOAT), devinfo.gen == 11 }, + { BRW_REGISTER_TYPE_DF, E(FLOAT), devinfo.has_64bit_float }, + { BRW_REGISTER_TYPE_F, E(FLOAT), true }, + { BRW_REGISTER_TYPE_HF, E(FLOAT), true }, + { BRW_REGISTER_TYPE_D, E(INT), true }, + { BRW_REGISTER_TYPE_UD, E(INT), true }, + { BRW_REGISTER_TYPE_W, E(INT), true }, + { BRW_REGISTER_TYPE_UW, E(INT), true }, + + /* There are no ternary instructions that can operate on B-type sources + * on Gen11-12. Src1/Src2 cannot be B-typed either. + */ + { BRW_REGISTER_TYPE_B, E(INT), devinfo.gen == 10 }, + { BRW_REGISTER_TYPE_UB, E(INT), devinfo.gen == 10 }, + }; + + /* Initially assume all hardware encodings are invalid */ + BITSET_ONES(invalid_encodings); + + brw_set_default_access_mode(p, BRW_ALIGN_1); + brw_set_default_exec_size(p, BRW_EXECUTE_4); + + for (unsigned i = 0; i < ARRAY_SIZE(test_case); i++) { + if (test_case[i].expected_result) { + unsigned hw_type = brw_reg_type_to_a1_hw_3src_type(&devinfo, test_case[i].type); + unsigned hw_exec_type = hw_type | (test_case[i].exec_type << 3); + if (hw_type != INVALID_HW_REG_TYPE) { + /* ... and remove valid encodings from the set */ + assert(BITSET_TEST(invalid_encodings, hw_exec_type)); + BITSET_CLEAR(invalid_encodings, hw_exec_type); + } + + struct brw_reg g = retype(g0, test_case[i].type); + if (!brw_reg_type_is_integer(test_case[i].type)) { + brw_MAD(p, g, g, g, g); + } else { + brw_BFE(p, g, g, g, g); + } + + EXPECT_TRUE(validate(p)); + + clear_instructions(p); + } + } + + /* The remaining encodings in invalid_encodings do not have a mapping + * from BRW_REGISTER_TYPE_* and must be invalid. Verify that invalid + * encodings are rejected by the validator. + */ + int e; + BITSET_WORD tmp; + BITSET_FOREACH_SET(e, tmp, invalid_encodings, num_encodings) { + const unsigned hw_type = e & 0x7; + const unsigned exec_type = e >> 3; + + for (unsigned i = 0; i < 2; i++) { + if (i == 0) { + brw_MAD(p, g0, g0, g0, g0); + brw_inst_set_3src_a1_exec_type(&devinfo, last_inst, BRW_ALIGN1_3SRC_EXEC_TYPE_FLOAT); + } else { + brw_CSEL(p, g0, g0, g0, g0); + brw_inst_set_3src_cond_modifier(&devinfo, last_inst, BRW_CONDITIONAL_NZ); + brw_inst_set_3src_a1_exec_type(&devinfo, last_inst, BRW_ALIGN1_3SRC_EXEC_TYPE_INT); + } + + brw_inst_set_3src_a1_exec_type(&devinfo, last_inst, exec_type); + brw_inst_set_3src_a1_dst_hw_type (&devinfo, last_inst, hw_type); + brw_inst_set_3src_a1_src0_hw_type(&devinfo, last_inst, hw_type); + brw_inst_set_3src_a1_src1_hw_type(&devinfo, last_inst, hw_type); + brw_inst_set_3src_a1_src2_hw_type(&devinfo, last_inst, hw_type); + + EXPECT_FALSE(validate(p)); + + clear_instructions(p); + } + } +} + +TEST_P(validation_test, 3src_inst_access_mode) +{ + /* 3-src instructions only supported on Gen6+ */ + if (devinfo.gen < 6) + return; + + /* No access mode bit on Gen12+ */ + if (devinfo.gen >= 12) + return; + + const struct { + unsigned mode; + bool expected_result; + } test_case[] = { + { BRW_ALIGN_1, devinfo.gen >= 10 }, + { BRW_ALIGN_16, devinfo.gen <= 10 }, + }; + + for (unsigned i = 0; i < ARRAY_SIZE(test_case); i++) { + if (devinfo.gen < 10) + brw_set_default_access_mode(p, BRW_ALIGN_16); + + brw_MAD(p, g0, g0, g0, g0); + brw_inst_set_access_mode(&devinfo, last_inst, test_case[i].mode); + + EXPECT_EQ(test_case[i].expected_result, validate(p)); + + clear_instructions(p); + } +} + /* When the Execution Data Type is wider than the destination data type, the * destination must [...] specify a HorzStride equal to the ratio in sizes of * the two data types.