}
#endif
-void validate(Program* program, FILE * output)
+bool validate(Program* program, FILE *output)
{
- if (!(debug_flags & DEBUG_VALIDATE))
- return;
-
bool is_valid = true;
auto check = [&output, &is_valid](bool check, const char * msg, aco::Instruction * instr) -> void {
if (!check) {
if (instr->isSDWA())
scalar_mask = program->chip_class >= GFX9 ? 0x7 : 0x4;
- check(instr->definitions[0].getTemp().type() == RegType::vgpr ||
- (int) instr->format & (int) Format::VOPC ||
- instr->opcode == aco_opcode::v_readfirstlane_b32 ||
- instr->opcode == aco_opcode::v_readlane_b32 ||
- instr->opcode == aco_opcode::v_readlane_b32_e64,
- "Wrong Definition type for VALU instruction", instr.get());
+ if ((int) instr->format & (int) Format::VOPC ||
+ instr->opcode == aco_opcode::v_readfirstlane_b32 ||
+ instr->opcode == aco_opcode::v_readlane_b32 ||
+ instr->opcode == aco_opcode::v_readlane_b32_e64) {
+ check(instr->definitions[0].getTemp().type() == RegType::sgpr,
+ "Wrong Definition type for VALU instruction", instr.get());
+ } else {
+ check(instr->definitions[0].getTemp().type() == RegType::vgpr,
+ "Wrong Definition type for VALU instruction", instr.get());
+ }
+
unsigned num_sgprs = 0;
unsigned sgpr[] = {0, 0};
for (unsigned i = 0; i < instr->operands.size(); i++)
Operand op = instr->operands[i];
if (instr->opcode == aco_opcode::v_readfirstlane_b32 ||
instr->opcode == aco_opcode::v_readlane_b32 ||
- instr->opcode == aco_opcode::v_readlane_b32_e64 ||
- instr->opcode == aco_opcode::v_writelane_b32 ||
+ instr->opcode == aco_opcode::v_readlane_b32_e64) {
+ check(i != 1 ||
+ (op.isTemp() && op.regClass().type() == RegType::sgpr) ||
+ op.isConstant(),
+ "Must be a SGPR or a constant", instr.get());
+ check(i == 1 ||
+ (op.isTemp() && op.regClass().type() == RegType::vgpr && op.bytes() <= 4),
+ "Wrong Operand type for VALU instruction", instr.get());
+ continue;
+ }
+
+ if (instr->opcode == aco_opcode::v_writelane_b32 ||
instr->opcode == aco_opcode::v_writelane_b32_e64) {
- check(!op.isLiteral(), "No literal allowed on VALU instruction", instr.get());
- check(i == 1 || (op.isTemp() && op.regClass().type() == RegType::vgpr && op.bytes() <= 4), "Wrong Operand type for VALU instruction", instr.get());
+ check(i != 2 ||
+ (op.isTemp() && op.regClass().type() == RegType::vgpr && op.bytes() <= 4),
+ "Wrong Operand type for VALU instruction", instr.get());
+ check(i == 2 ||
+ (op.isTemp() && op.regClass().type() == RegType::sgpr) ||
+ op.isConstant(),
+ "Must be a SGPR or a constant", instr.get());
continue;
}
if (op.isTemp() && instr->operands[i].regClass().type() == RegType::sgpr) {
}
}
- assert(is_valid);
+ return is_valid;
}
/* RA validation */
Operand op = instr->operands[index];
unsigned byte = op.physReg().byte();
+ if (instr->opcode == aco_opcode::p_as_uniform)
+ return byte == 0;
if (instr->format == Format::PSEUDO && chip >= GFX8)
return true;
if (instr->isSDWA() && (static_cast<SDWA_instruction *>(instr.get())->sel[index] & sdwa_asuint) == (sdwa_isra | op.bytes()))