Files
derek.holloway 7502bf64a4
CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
Flatten subprojects into a single base monorepo
2026-09-02 16:34:47 -07:00

488 lines
19 KiB
C++

/* ************************************************************************
* Copyright (C) 2025-2026 Advanced Micro Devices, Inc.
*
* Permission is hereby granted, free of charge, to any person obtaining a copy
* of this software and associated documentation files (the "Software"), to deal
* in the Software without restriction, including without limitation the rights
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the Software is
* furnished to do so, subject to the following conditions:
*
* The above copyright notice and this permission notice shall be included in
* all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
* THE SOFTWARE.
*
* ************************************************************************ */
#include <gtest/gtest.h>
#include <cstdint>
#include "stinkytofu/hardware/ArchHelper.hpp"
#include "stinkytofu/hardware/GfxIsa.hpp"
#include "stinkytofu/ir/asm/StinkyAsmIR.hpp"
using namespace stinkytofu;
class HwInstDescTest : public ::testing::Test {
protected:
GfxArchID arch;
void SetUp() override {
arch = getGfxArchID(12, 5, 0);
}
const HwInstDesc* getDescByMnemonic(const std::string& mnemonic) {
uint16_t isaOp = getMnemonicToIsaOpcode(mnemonic, arch);
if (isaOp == GFX::INVALID) return nullptr;
return getMCIDByIsaOp(isaOp, arch);
}
};
// ---------------------------------------------------------------------------
// VOP2: v_add_f32 — basic vector ALU, 32-bit encoding, promotable to VOP3
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, VOP2_VAddF32_Microcode) {
auto* desc = getDescByMnemonic("v_add_f32");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_VOP2);
}
TEST_F(HwInstDescTest, VOP2_VAddF32_Unit) {
auto* desc = getDescByMnemonic("v_add_f32");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->unit, ExecUnit::VALU);
}
TEST_F(HwInstDescTest, VOP2_VAddF32_Flags) {
auto* desc = getDescByMnemonic("v_add_f32");
ASSERT_NE(desc, nullptr);
EXPECT_TRUE(desc->has(IF_VALU));
EXPECT_TRUE(desc->has(IF_Commutative));
EXPECT_FALSE(desc->has(IF_SALU));
}
TEST_F(HwInstDescTest, VOP2_VAddF32_OperandFields) {
auto* desc = getDescByMnemonic("v_add_f32");
ASSERT_NE(desc, nullptr);
auto fields = desc->operandFields;
ASSERT_EQ(fields.size(), 3u);
// D0: {D0, vdst, vgpr, 32}
EXPECT_TRUE(fields[0].isDest);
EXPECT_EQ(fields[0].encodeField, EncodeField::vdst);
EXPECT_EQ(fields[0].fieldType, FieldType::vgpr);
EXPECT_EQ(fields[0].fieldSizeBits, 32u);
// S0: {S0, src0, src, 32}
EXPECT_FALSE(fields[1].isDest);
EXPECT_EQ(fields[1].encodeField, EncodeField::src0);
EXPECT_EQ(fields[1].fieldType, FieldType::src);
EXPECT_EQ(fields[1].fieldSizeBits, 32u);
// S1: {S1, vsrc1, vgpr, 32}
EXPECT_FALSE(fields[2].isDest);
EXPECT_EQ(fields[2].encodeField, EncodeField::vsrc1);
EXPECT_EQ(fields[2].fieldType, FieldType::vgpr);
EXPECT_EQ(fields[2].fieldSizeBits, 32u);
}
TEST_F(HwInstDescTest, VOP2_VAddF32_PromotedFormat) {
auto* desc = getDescByMnemonic("v_add_f32");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->promotedFormat, MicrocodeFormat::MC_VOP3);
}
TEST_F(HwInstDescTest, VOP2_VAddF32_PromotedFields) {
auto* desc = getDescByMnemonic("v_add_f32");
ASSERT_NE(desc, nullptr);
auto pf = desc->promotedFields;
ASSERT_EQ(pf.size(), 3u);
// In promoted VOP3 encoding, S1 is relaxed from vgpr to src
EXPECT_EQ(pf[2].encodeField, EncodeField::src1);
EXPECT_EQ(pf[2].fieldType, FieldType::src);
}
// ---------------------------------------------------------------------------
// VOP3: v_fma_f32 — 64-bit encoding, no promotion
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, VOP3_VFmaF32) {
auto* desc = getDescByMnemonic("v_fma_f32");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_VOP3);
EXPECT_EQ(desc->unit, ExecUnit::VALU);
EXPECT_TRUE(desc->has(IF_VALU));
EXPECT_EQ(desc->promotedFormat, MicrocodeFormat::NONE);
}
// VOP3_2SRC_COMMUTATIVE -> VOP3_2SRC -> VOP3: format .encoding must merge full parent chain (64 b).
TEST_F(HwInstDescTest, VOP3_2SrcCommutative_Encoding64Bits) {
for (const char* m : {"v_add_nc_i32", "v_mul_lo_u32"}) {
auto* desc = getDescByMnemonic(m);
ASSERT_NE(desc, nullptr) << m;
EXPECT_EQ(desc->encoding, 64u) << m;
EXPECT_TRUE(desc->has(IF_Commutative)) << m;
}
}
// ---------------------------------------------------------------------------
// SOP2: s_add_u32 — scalar ALU, 32-bit encoding
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, SOP2_SAddU32) {
auto* desc = getDescByMnemonic("s_add_u32");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_SOP2);
EXPECT_EQ(desc->unit, ExecUnit::SALU);
EXPECT_TRUE(desc->has(IF_SALU));
EXPECT_FALSE(desc->has(IF_VALU));
auto fields = desc->operandFields;
ASSERT_EQ(fields.size(), 3u);
// D0: {D0, sdst, sdst, 32}
EXPECT_TRUE(fields[0].isDest);
EXPECT_EQ(fields[0].encodeField, EncodeField::sdst);
EXPECT_EQ(fields[0].fieldType, FieldType::sdst);
// S0: {S0, ssrc0, ssrc, 32}
EXPECT_EQ(fields[1].encodeField, EncodeField::ssrc0);
EXPECT_EQ(fields[1].fieldType, FieldType::ssrc);
// S1: {S1, ssrc1, ssrc, 32}
EXPECT_EQ(fields[2].encodeField, EncodeField::ssrc1);
EXPECT_EQ(fields[2].fieldType, FieldType::ssrc);
}
// ---------------------------------------------------------------------------
// MUBUF_LOAD: buffer_load_b32 — buffer memory, 96-bit encoding
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, MUBUF_BufferLoadB32) {
auto* desc = getDescByMnemonic("buffer_load_b32");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_VBUFFER);
EXPECT_EQ(desc->unit, ExecUnit::BufferMemory);
EXPECT_TRUE(desc->has(IF_MUBUFLoad));
auto fields = desc->operandFields;
ASSERT_EQ(fields.size(), 4u);
// D0: {D0, vdata, vgpr, 32}
EXPECT_TRUE(fields[0].isDest);
EXPECT_EQ(fields[0].encodeField, EncodeField::vdata);
EXPECT_EQ(fields[0].fieldType, FieldType::vgpr);
EXPECT_EQ(fields[0].fieldSizeBits, 32u);
// S1: {S1, rsrc, sreg, 128, RSRC}
EXPECT_EQ(fields[2].encodeField, EncodeField::rsrc);
EXPECT_EQ(fields[2].fieldType, FieldType::sreg);
EXPECT_EQ(fields[2].fieldSizeBits, 128u);
}
// ---------------------------------------------------------------------------
// MUBUF_LOAD per-instruction override: buffer_load_b64 — D0 size 32 -> 64
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, MUBUF_BufferLoadB64_FieldOverride) {
auto* desc = getDescByMnemonic("buffer_load_b64");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_VBUFFER);
auto fields = desc->operandFields;
ASSERT_GE(fields.size(), 4u);
// D0 size overridden from format default (32) to 64
EXPECT_TRUE(fields[0].isDest);
EXPECT_EQ(fields[0].encodeField, EncodeField::vdata);
EXPECT_EQ(fields[0].fieldSizeBits, 64u);
// S0 unchanged from format
EXPECT_EQ(fields[1].encodeField, EncodeField::vaddr);
EXPECT_EQ(fields[1].fieldSizeBits, 32u);
}
// ---------------------------------------------------------------------------
// FLAT_LOAD: flat_load_b32 — global memory, 96-bit encoding
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, FLAT_FlatLoadB32) {
auto* desc = getDescByMnemonic("flat_load_b32");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_VFLAT);
EXPECT_EQ(desc->unit, ExecUnit::GlobalMemory);
EXPECT_TRUE(desc->has(IF_FLATLoad));
}
// ---------------------------------------------------------------------------
// DS: ds_load_b32 — LDS memory, 64-bit encoding
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, DS_DsLoadB32) {
auto* desc = getDescByMnemonic("ds_load_b32");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_VDS);
EXPECT_EQ(desc->unit, ExecUnit::LDS);
EXPECT_TRUE(desc->has(IF_DSRead));
}
// ---------------------------------------------------------------------------
// SMEM: s_load_b32 — scalar memory, 64-bit encoding
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, SMRD_SLoadB32) {
auto* desc = getDescByMnemonic("s_load_b32");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_SMEM);
EXPECT_EQ(desc->unit, ExecUnit::ScalarMemory);
EXPECT_TRUE(desc->has(IF_SMemLoad));
}
// ---------------------------------------------------------------------------
// WMMA: v_wmma_f32_16x16x16_f16 — matrix unit, VOP3P encoding
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, WMMA_F32_16x16x16_F16) {
auto* desc = getDescByMnemonic("v_wmma_f32_16x16x16_f16");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_VOP3P);
EXPECT_EQ(desc->unit, ExecUnit::MatrixUnit);
EXPECT_TRUE(desc->has(IF_WMMA));
auto fields = desc->operandFields;
ASSERT_GE(fields.size(), 3u);
// D0: 256-bit destination (8 VGPRs)
EXPECT_TRUE(fields[0].isDest);
EXPECT_EQ(fields[0].encodeField, EncodeField::vdst);
EXPECT_EQ(fields[0].fieldSizeBits, 256u);
}
// ---------------------------------------------------------------------------
// VOP3P packed math: v_pk_*_f32 — must carry IF_VALU from the VOP3P format
// default. These instructions set no per-instruction IF_VALU (only
// IF_Commutative), so the flag comes solely from the format. InsertWaitAluPass
// relies on IF_VALU (isVectorALU/classifyEvent) to stamp packed-math VGPR
// writes on the va_vdst scoreboard; without it the following VMEM consumer
// would get no s_wait_alu.
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, VOP3P_VPkMulF32_IsVALU) {
auto* desc = getDescByMnemonic("v_pk_mul_f32");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_VOP3P);
EXPECT_EQ(desc->unit, ExecUnit::VALU);
EXPECT_TRUE(desc->has(IF_VALU));
}
TEST_F(HwInstDescTest, VOP3P_VPkAddF32_IsVALU) {
auto* desc = getDescByMnemonic("v_pk_add_f32");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_VOP3P);
EXPECT_TRUE(desc->has(IF_VALU));
}
// ---------------------------------------------------------------------------
// SOPP_BRANCH: s_branch — branch unit, label operand
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, SOPP_SBranch) {
auto* desc = getDescByMnemonic("s_branch");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_SOPP);
EXPECT_EQ(desc->unit, ExecUnit::BranchUnit);
EXPECT_TRUE(desc->has(IF_Branch));
auto fields = desc->operandFields;
ASSERT_EQ(fields.size(), 1u);
EXPECT_EQ(fields[0].encodeField, EncodeField::simm16);
EXPECT_EQ(fields[0].fieldType, FieldType::label);
}
// S_SWAPPC_B64: call site (LLVM-style IF_Call), not IF_Branch / IF_IndirectBranch.
TEST_F(HwInstDescTest, SOP1_SSwappcB64) {
auto* desc = getDescByMnemonic("s_swappc_b64");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_SOP1);
EXPECT_EQ(desc->unit, ExecUnit::SALU);
EXPECT_TRUE(desc->has(IF_Call));
EXPECT_TRUE(desc->has(IF_HasSideEffect));
EXPECT_FALSE(desc->has(IF_Branch));
EXPECT_FALSE(desc->has(IF_IndirectBranch));
}
// ---------------------------------------------------------------------------
// XDL WMMA: v_wmma_f32_16x16x32_f16
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, WMMA_XDL_F32_16x16x32_F16) {
auto* desc = getDescByMnemonic("v_wmma_f32_16x16x32_f16");
ASSERT_NE(desc, nullptr);
EXPECT_TRUE(desc->has(IF_WMMA));
EXPECT_TRUE(desc->has(IF_WMMA_XDL));
}
// ---------------------------------------------------------------------------
// Non-XDL WMMA: v_wmma_f32_16x16x4_f32 — FP32 input
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, WMMA_NonXDL_F32_16x16x4_F32) {
auto* desc = getDescByMnemonic("v_wmma_f32_16x16x4_f32");
ASSERT_NE(desc, nullptr);
EXPECT_TRUE(desc->has(IF_WMMA));
EXPECT_FALSE(desc->has(IF_WMMA_XDL));
}
// ---------------------------------------------------------------------------
// Non-XDL WMMA: v_wmma_f32_16x16x16_f16
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, WMMA_NonXDL_F32_16x16x16_F16) {
auto* desc = getDescByMnemonic("v_wmma_f32_16x16x16_f16");
ASSERT_NE(desc, nullptr);
EXPECT_TRUE(desc->has(IF_WMMA));
EXPECT_FALSE(desc->has(IF_WMMA_XDL));
}
// ---------------------------------------------------------------------------
// XDL SWMMAC: v_swmmac_f32_16x16x64_bf16
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, SWMMA_XDL_F32_16x16x64_BF16) {
auto* desc = getDescByMnemonic("v_swmmac_f32_16x16x64_bf16");
ASSERT_NE(desc, nullptr);
EXPECT_TRUE(desc->has(IF_SWMMA));
EXPECT_TRUE(desc->has(IF_WMMA_XDL));
}
// ---------------------------------------------------------------------------
// Non-XDL SWMMAC: v_swmmac_f32_16x16x32_bf16
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, SWMMA_NonXDL_F32_16x16x32_BF16) {
auto* desc = getDescByMnemonic("v_swmmac_f32_16x16x32_bf16");
ASSERT_NE(desc, nullptr);
EXPECT_TRUE(desc->has(IF_SWMMA));
EXPECT_FALSE(desc->has(IF_WMMA_XDL));
}
// ---------------------------------------------------------------------------
// XDL MXWMMA: v_wmma_scale_f32_16x16x128_f8f6f4
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, MXWMMA_XDL_Scale_F32_16x16x128) {
auto* desc = getDescByMnemonic("v_wmma_scale_f32_16x16x128_f8f6f4");
ASSERT_NE(desc, nullptr);
EXPECT_TRUE(desc->has(IF_MXWMMA));
EXPECT_TRUE(desc->has(IF_WMMA_XDL));
}
// ---------------------------------------------------------------------------
// Transcendental 32-bit: v_rcp_f32 — TRANS pipe, not Trans64
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, Trans32_VRcpF32) {
auto* desc = getDescByMnemonic("v_rcp_f32");
ASSERT_NE(desc, nullptr);
EXPECT_TRUE(desc->has(IF_Transcendental));
EXPECT_FALSE(desc->has(IF_Trans64));
}
// ---------------------------------------------------------------------------
// Transcendental 64-bit: v_rcp_f64 — tracked as VALU, not TRANS pipe
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, Trans64_VRcpF64) {
auto* desc = getDescByMnemonic("v_rcp_f64");
ASSERT_NE(desc, nullptr);
EXPECT_TRUE(desc->has(IF_Transcendental));
EXPECT_TRUE(desc->has(IF_Trans64));
// f64 transcendentals classify as TRANS (not DPMACC): TRANS is matched
// before DPMACC, so they never reach the DPMACC branch.
EXPECT_FALSE(desc->has(IF_DPMACC));
}
// ---------------------------------------------------------------------------
// DPMACC: double-precision MACC VALU carries IF_DPMACC.
// f64 arithmetic, f64-reading conversions, and f64 compares.
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, DPMACC_F64Arithmetic) {
for (const char* mn : {"v_add_f64", "v_mul_f64", "v_fma_f64", "v_max_f64", "v_min_f64"}) {
auto* desc = getDescByMnemonic(mn);
ASSERT_NE(desc, nullptr) << mn;
EXPECT_TRUE(desc->has(IF_VALU)) << mn;
EXPECT_TRUE(desc->has(IF_DPMACC)) << mn;
EXPECT_FALSE(desc->has(IF_Transcendental)) << mn;
}
}
TEST_F(HwInstDescTest, DPMACC_F64Convert) {
// v_cvt_u32_f64 reads f64 -> DPMACC; v_cvt_f64_u32 produces f64 -> not DPMACC.
auto* toU32 = getDescByMnemonic("v_cvt_u32_f64");
ASSERT_NE(toU32, nullptr);
EXPECT_TRUE(toU32->has(IF_DPMACC));
auto* toF64 = getDescByMnemonic("v_cvt_f64_u32");
ASSERT_NE(toF64, nullptr);
EXPECT_FALSE(toF64->has(IF_DPMACC));
}
TEST_F(HwInstDescTest, DPMACC_F64Compare) {
auto* cmp = getDescByMnemonic("v_cmp_lt_f64");
ASSERT_NE(cmp, nullptr);
EXPECT_TRUE(cmp->has(IF_DPMACC));
auto* cmpx = getDescByMnemonic("v_cmpx_eq_f64");
ASSERT_NE(cmpx, nullptr);
EXPECT_TRUE(cmpx->has(IF_DPMACC));
// class compares are DPMACC too: they run on the double-precision pipe like
// the relational f64 compares.
auto* cmpClass = getDescByMnemonic("v_cmp_class_f64");
ASSERT_NE(cmpClass, nullptr);
EXPECT_TRUE(cmpClass->has(IF_DPMACC));
auto* cmpxClass = getDescByMnemonic("v_cmpx_class_f64");
ASSERT_NE(cmpxClass, nullptr);
EXPECT_TRUE(cmpxClass->has(IF_DPMACC));
}
TEST_F(HwInstDescTest, DPMACC_F32NotMarked) {
// 32-bit arithmetic must not carry DPMACC.
for (const char* mn : {"v_add_f32", "v_mul_f32", "v_cmp_lt_f32"}) {
auto* desc = getDescByMnemonic(mn);
ASSERT_NE(desc, nullptr) << mn;
EXPECT_FALSE(desc->has(IF_DPMACC)) << mn;
}
}
// ---------------------------------------------------------------------------
// Grandchild format flag inheritance: v_mul_lo_u32 (VOP3_2SRC_COMMUTATIVE -> VOP3_2SRC -> VOP3)
// Verifies VALU flag propagates through multi-level parent chain.
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, VOP3_2SRC_Commutative_InheritsVALU) {
auto* desc = getDescByMnemonic("v_mul_lo_u32");
ASSERT_NE(desc, nullptr);
EXPECT_TRUE(desc->has(IF_VALU));
EXPECT_TRUE(desc->has(IF_Commutative));
}
// ---------------------------------------------------------------------------
// VOPC: v_cmp_eq_f32 — compare, promotable to VOP3
// ---------------------------------------------------------------------------
TEST_F(HwInstDescTest, VOPC_VCmpEqF32) {
auto* desc = getDescByMnemonic("v_cmp_eq_f32");
ASSERT_NE(desc, nullptr);
EXPECT_EQ(desc->microcode, MicrocodeFormat::MC_VOPC);
EXPECT_EQ(desc->unit, ExecUnit::VALU);
EXPECT_TRUE(desc->has(IF_VALU));
EXPECT_EQ(desc->promotedFormat, MicrocodeFormat::MC_VOP3);
auto fields = desc->operandFields;
ASSERT_EQ(fields.size(), 3u);
// D0: vcc (64-bit)
EXPECT_TRUE(fields[0].isDest);
EXPECT_EQ(fields[0].encodeField, EncodeField::vdst);
EXPECT_EQ(fields[0].fieldType, FieldType::vcc);
EXPECT_EQ(fields[0].fieldSizeBits, 64u);
// In promoted encoding, D0 becomes sreg
auto pf = desc->promotedFields;
ASSERT_EQ(pf.size(), 3u);
EXPECT_EQ(pf[0].fieldType, FieldType::sreg);
}