fix opcode regression

This commit is contained in:
nmzik
2026-08-15 22:39:26 +02:00
parent 5bfdf4267e
commit 0df20eb300
3 changed files with 39 additions and 15 deletions
@@ -1738,14 +1738,13 @@ bool DecodeVop3p(uint32_t pc, std::span<const uint32_t> code, uint32_t word_inde
const uint32_t vdst = word0 & 0xffu; const uint32_t vdst = word0 & 0xffu;
const uint32_t neg_hi = (word0 >> 8u) & 0x7u; const uint32_t neg_hi = (word0 >> 8u) & 0x7u;
const uint32_t op_sel = (word0 >> 11u) & 0x7u; const uint32_t op_sel = (word0 >> 11u) & 0x7u;
const uint32_t op_sel_hi_0 = (word0 >> 14u) & 0x1u; const uint32_t op_sel_hi_2 = (word0 >> 14u) & 0x1u;
const uint32_t clamp = (word0 >> 15u) & 0x1u; const uint32_t clamp = (word0 >> 15u) & 0x1u;
const uint32_t src0 = word1 & 0x1ffu; const uint32_t src0 = word1 & 0x1ffu;
const uint32_t src1 = (word1 >> 9u) & 0x1ffu; const uint32_t src1 = (word1 >> 9u) & 0x1ffu;
const uint32_t src2 = (word1 >> 18u) & 0x1ffu; const uint32_t src2 = (word1 >> 18u) & 0x1ffu;
const uint32_t op_sel_hi = const uint32_t op_sel_hi = ((word1 >> 27u) & 0x3u) | (op_sel_hi_2 << 2u);
op_sel_hi_0 | (((word1 >> 28u) & 0x1u) << 1u) | (((word1 >> 27u) & 0x1u) << 2u); const uint32_t neg = (word1 >> 29u) & 0x7u;
const uint32_t neg = (word1 >> 29u) & 0x7u;
inst.pc = pc; inst.pc = pc;
inst.word = word0; inst.word = word0;
+28 -3
View File
@@ -505,15 +505,14 @@ constexpr u32 EncodeVop3pWord0(u32 opcode, u32 dst, u32 op_sel_hi = 0,
u32 op_sel = 0, u32 neg_hi = 0, u32 op_sel = 0, u32 neg_hi = 0,
bool clamp = false) { bool clamp = false) {
return (0x33u << 26u) | ((opcode & 0x7fu) << 16u) | ((neg_hi & 0x7u) << 8u) | return (0x33u << 26u) | ((opcode & 0x7fu) << 16u) | ((neg_hi & 0x7u) << 8u) |
((op_sel & 0x7u) << 11u) | ((op_sel_hi & 0x1u) << 14u) | ((op_sel & 0x7u) << 11u) | (((op_sel_hi >> 2u) & 0x1u) << 14u) |
(clamp ? (1u << 15u) : 0u) | (dst & 0xffu); (clamp ? (1u << 15u) : 0u) | (dst & 0xffu);
} }
constexpr u32 EncodeVop3pWord1(u32 src0, u32 src1, u32 src2 = 0, constexpr u32 EncodeVop3pWord1(u32 src0, u32 src1, u32 src2 = 0,
u32 op_sel_hi = 0, u32 neg = 0) { u32 op_sel_hi = 0, u32 neg = 0) {
return (src0 & 0x1ffu) | ((src1 & 0x1ffu) << 9u) | ((src2 & 0x1ffu) << 18u) | return (src0 & 0x1ffu) | ((src1 & 0x1ffu) << 9u) | ((src2 & 0x1ffu) << 18u) |
(((op_sel_hi >> 2u) & 0x1u) << 27u) | ((op_sel_hi & 0x3u) << 27u) | ((neg & 0x7u) << 29u);
(((op_sel_hi >> 1u) & 0x1u) << 28u) | ((neg & 0x7u) << 29u);
} }
constexpr u32 EncodeVopc(u32 opcode, u32 src0, u32 src1) { constexpr u32 EncodeVopc(u32 opcode, u32 src0, u32 src1) {
@@ -12013,6 +12012,31 @@ TestCase VectorLaneAndPackedOps() {
O::VCvtPkU16U32, O::BufferStoreDword, O::SEndpgm}}; O::VCvtPkU16U32, O::BufferStoreDword, O::SEndpgm}};
} }
TestCase Vop3pOpselHiUsesArchitecturalSourceBits() {
using O = ShaderOpcode;
std::vector<u32> code;
AppendVMovLiteral(&code, 0, 0x42003c00u); // low=1.0h, high=3.0h
AppendVMovLiteral(&code, 1, 0x48004400u); // low=4.0h, high=8.0h
AppendVMovLiteral(&code, 2, 0x50004c00u); // low=16.0h, high=32.0h
// Raw V_PK_FMA_F16 words keep this test independent of the encoders above.
code.insert(code.end(), {0xcc0e000au, 0x0c0a0300u}); // src0 high: 3*4+16=28
code.insert(code.end(), {0xcc0e000bu, 0x140a0300u}); // src1 high: 1*8+16=24
code.insert(code.end(), {0xcc0e400cu, 0x040a0300u}); // src2 high: 1*4+32=36
for (u32 i = 0; i < 3; i++) {
AppendStoreVgpr(&code, 10 + i, i);
}
AppendEnd(&code);
return {"Vop3pOpselHiUsesArchitecturalSourceBits",
code,
{},
{0x4f004d00u, 0x4e004d00u, 0x50804d00u},
{O::VMovB32, O::VPkFmaF16, O::BufferStoreDword, O::SEndpgm}};
}
TestCase CvtPkU8F32PacksSelectedByte() { TestCase CvtPkU8F32PacksSelectedByte() {
using O = ShaderOpcode; using O = ShaderOpcode;
@@ -16957,6 +16981,7 @@ std::vector<TestCase> MakeCases() {
AddCase(VectorVop3BSubCoU32UsesRdna2Opcode310); AddCase(VectorVop3BSubCoU32UsesRdna2Opcode310);
AddCase(VectorMadU64U32UnsignedCarryOut); AddCase(VectorMadU64U32UnsignedCarryOut);
AddCase(VectorLaneAndPackedOps); AddCase(VectorLaneAndPackedOps);
AddCase(Vop3pOpselHiUsesArchitecturalSourceBits);
AddCase(CvtPkU8F32PacksSelectedByte); AddCase(CvtPkU8F32PacksSelectedByte);
AddCase(CvtPkrtzF16F32SubnormalRoundsTowardZero); AddCase(CvtPkrtzF16F32SubnormalRoundsTowardZero);
AddCase(PackedMinMaxF16NanAndSignedZeroEdges); AddCase(PackedMinMaxF16NanAndSignedZeroEdges);
+8 -8
View File
@@ -834,14 +834,13 @@ constexpr uint32_t EncodeVop3pWord0(uint32_t opcode, uint32_t dst,
uint32_t neg_hi = 0, bool clamp = false) { uint32_t neg_hi = 0, bool clamp = false) {
return (0x33u << 26u) | ((opcode & 0x7fu) << 16u) | (dst & 0xffu) | return (0x33u << 26u) | ((opcode & 0x7fu) << 16u) | (dst & 0xffu) |
((neg_hi & 0x7u) << 8u) | ((op_sel & 0x7u) << 11u) | ((neg_hi & 0x7u) << 8u) | ((op_sel & 0x7u) << 11u) |
((op_sel_hi & 0x1u) << 14u) | (clamp ? (1u << 15u) : 0u); (((op_sel_hi >> 2u) & 0x1u) << 14u) | (clamp ? (1u << 15u) : 0u);
} }
constexpr uint32_t EncodeVop3pWord1(uint32_t src0, uint32_t src1, uint32_t src2, constexpr uint32_t EncodeVop3pWord1(uint32_t src0, uint32_t src1, uint32_t src2,
uint32_t op_sel_hi = 0, uint32_t neg = 0) { uint32_t op_sel_hi = 0, uint32_t neg = 0) {
return (src0 & 0x1ffu) | ((src1 & 0x1ffu) << 9u) | ((src2 & 0x1ffu) << 18u) | return (src0 & 0x1ffu) | ((src1 & 0x1ffu) << 9u) | ((src2 & 0x1ffu) << 18u) |
(((op_sel_hi >> 2u) & 0x1u) << 27u) | ((op_sel_hi & 0x3u) << 27u) | ((neg & 0x7u) << 29u);
(((op_sel_hi >> 1u) & 0x1u) << 28u) | ((neg & 0x7u) << 29u);
} }
constexpr uint32_t EncodeSmem0(uint32_t opcode, uint32_t dst, uint32_t sbase) { constexpr uint32_t EncodeSmem0(uint32_t opcode, uint32_t dst, uint32_t sbase) {
@@ -3375,12 +3374,13 @@ void TestNewShaderDecoderArchitecture() {
Check(boot.opcode == Opcode::DsSwizzleB32 && boot.offset == 0xc480u, Check(boot.opcode == Opcode::DsSwizzleB32 && boot.offset == 0xc480u,
"DS decoder rejected a captured boot-shader instruction"); "DS decoder rejected a captured boot-shader instruction");
constexpr uint32_t packed_source_selectors[][2] = {
{0xcc0e0000u, 0x0c0a0300u}, // Source 0: instruction bit 59.
{0xcc0e0000u, 0x140a0300u}, // Source 1: instruction bit 60.
{0xcc0e4000u, 0x040a0300u}, // Source 2: instruction bit 14.
};
for (uint32_t source = 0; source < 3u; source++) { for (uint32_t source = 0; source < 3u; source++) {
const uint32_t op_sel_hi = 1u << source; const auto &packed = packed_source_selectors[source];
const uint32_t packed[] = {
EncodeVop3pWord0(0x0e, 0, 0, op_sel_hi),
EncodeVop3pWord1(256, 257, 258, op_sel_hi),
};
Instruction packed_inst; Instruction packed_inst;
Check(DecodeInstruction(packed, 0u, packed_inst, &error), error.c_str()); Check(DecodeInstruction(packed, 0u, packed_inst, &error), error.c_str());
Check(packed_inst.src0.op_sel_hi == (source == 0u) && Check(packed_inst.src0.op_sel_hi == (source == 0u) &&