From: Rhys Perry Date: Tue, 16 Jun 2020 18:13:34 +0000 (+0100) Subject: aco: fix sub-dword opsel/sdwa checks X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=de7c6950b36bb1574c3b683b0f53d9bc15fe22d0;p=mesa.git aco: fix sub-dword opsel/sdwa checks These should all check if the operand has a regclass. The opsel check should also be skipped post-RA. Signed-off-by: Rhys Perry Reviewed-by: Daniel Schürmann Part-of: --- diff --git a/src/amd/compiler/aco_validate.cpp b/src/amd/compiler/aco_validate.cpp index 26e1c9b35bc..90272433f85 100644 --- a/src/amd/compiler/aco_validate.cpp +++ b/src/amd/compiler/aco_validate.cpp @@ -148,7 +148,7 @@ void validate(Program* program, FILE * output) } for (unsigned i = 0; i < MIN2(instr->operands.size(), 2); i++) { - if (instr->operands[i].regClass().is_subdword()) + if (instr->operands[i].hasRegClass() && instr->operands[i].regClass().is_subdword()) check((sdwa->sel[i] & sdwa_asuint) == (sdwa_isra | instr->operands[i].bytes()), "Unexpected SDWA sel for sub-dword operand", instr.get()); } if (instr->definitions[0].regClass().is_subdword()) @@ -162,10 +162,10 @@ void validate(Program* program, FILE * output) check((vop3->opsel & ~(0x10 | ((1 << instr->operands.size()) - 1))) == 0, "Unused bits in opsel must be zeroed out", instr.get()); for (unsigned i = 0; i < instr->operands.size(); i++) { - if (instr->operands[i].regClass().is_subdword()) + if (instr->operands[i].hasRegClass() && instr->operands[i].regClass().is_subdword() && !instr->operands[i].isFixed()) check((vop3->opsel & (1 << i)) == 0, "Unexpected opsel for sub-dword operand", instr.get()); } - if (instr->definitions[0].regClass().is_subdword()) + if (instr->definitions[0].regClass().is_subdword() && !instr->definitions[0].isFixed()) check((vop3->opsel & (1 << 3)) == 0, "Unexpected opsel for sub-dword definition", instr.get()); }