Skip to content

Add MachRegister type query tests #9

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
hainest wants to merge 9 commits into from
Closed

Add MachRegister type query tests #9

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
51ee253
Add stub
hainest Jan 12, 2025
70dd247
Add x86
hainest Jan 12, 2025
c6d5f88
Add x86_64
hainest Jan 12, 2025
1b13c57
Add ppc64
hainest Jan 12, 2025
e5dc8e1
Add ppc32
hainest Jan 12, 2025
e624396
Add aarch64
hainest Jan 12, 2025
b55db24
Add amdgpu_gfx908
hainest Jan 12, 2025
78af2e8
Add amdgpu_gfx90a
hainest Jan 12, 2025
969d0b0
Add amdgpu_gfx940
hainest Jan 12, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions MachRegister/CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
project(MachRegister LANGUAGES CXX)

add_subdirectory(base_registers)
add_subdirectory(type_queries)
49 changes: 49 additions & 0 deletions MachRegister/type_queries/CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
project(type_query LANGUAGES CXX)

add_executable(type_query_x86 x86.cpp)
target_compile_options(type_query_x86 PRIVATE ${UNIT_TESTS_WARNING_FLAGS})
target_include_directories(type_query_x86 PRIVATE ${UNIT_TESTS_INCLUDES})
target_link_libraries(type_query_x86 PRIVATE Dyninst::common)
add_test(NAME machregister_type_query_x86 COMMAND type_query_x86)

add_executable(type_query_x86_64 x86_64.cpp)
target_compile_options(type_query_x86_64 PRIVATE ${UNIT_TESTS_WARNING_FLAGS})
target_include_directories(type_query_x86_64 PRIVATE ${UNIT_TESTS_INCLUDES})
target_link_libraries(type_query_x86_64 PRIVATE Dyninst::common)
add_test(NAME machregister_type_query_x86_64 COMMAND type_query_x86_64)

add_executable(type_query_ppc64 ppc64.cpp)
target_compile_options(type_query_ppc64 PRIVATE ${UNIT_TESTS_WARNING_FLAGS})
target_include_directories(type_query_ppc64 PRIVATE ${UNIT_TESTS_INCLUDES})
target_link_libraries(type_query_ppc64 PRIVATE Dyninst::common)
add_test(NAME machregister_type_query_ppc64 COMMAND type_query_ppc64)

add_executable(type_query_ppc32 ppc32.cpp)
target_compile_options(type_query_ppc32 PRIVATE ${UNIT_TESTS_WARNING_FLAGS})
target_include_directories(type_query_ppc32 PRIVATE ${UNIT_TESTS_INCLUDES})
target_link_libraries(type_query_ppc32 PRIVATE Dyninst::common)
add_test(NAME machregister_type_query_ppc32 COMMAND type_query_ppc32)

add_executable(type_query_aarch64 aarch64.cpp)
target_compile_options(type_query_aarch64 PRIVATE ${UNIT_TESTS_WARNING_FLAGS})
target_include_directories(type_query_aarch64 PRIVATE ${UNIT_TESTS_INCLUDES})
target_link_libraries(type_query_aarch64 PRIVATE Dyninst::common)
add_test(NAME machregister_type_query_aarch64 COMMAND type_query_aarch64)

add_executable(type_query_amdgpu_gfx908 amdgpu_gfx908.cpp)
target_compile_options(type_query_amdgpu_gfx908 PRIVATE ${UNIT_TESTS_WARNING_FLAGS})
target_include_directories(type_query_amdgpu_gfx908 PRIVATE ${UNIT_TESTS_INCLUDES})
target_link_libraries(type_query_amdgpu_gfx908 PRIVATE Dyninst::common)
add_test(NAME machregister_type_query_amdgpu_gfx908 COMMAND type_query_amdgpu_gfx908)

add_executable(type_query_amdgpu_gfx90a amdgpu_gfx90a.cpp)
target_compile_options(type_query_amdgpu_gfx90a PRIVATE ${UNIT_TESTS_WARNING_FLAGS})
target_include_directories(type_query_amdgpu_gfx90a PRIVATE ${UNIT_TESTS_INCLUDES})
target_link_libraries(type_query_amdgpu_gfx90a PRIVATE Dyninst::common)
add_test(NAME machregister_type_query_amdgpu_gfx90a COMMAND type_query_amdgpu_gfx90a)

add_executable(type_query_amdgpu_gfx940 amdgpu_gfx940.cpp)
target_compile_options(type_query_amdgpu_gfx940 PRIVATE ${UNIT_TESTS_WARNING_FLAGS})
target_include_directories(type_query_amdgpu_gfx940 PRIVATE ${UNIT_TESTS_INCLUDES})
target_link_libraries(type_query_amdgpu_gfx940 PRIVATE Dyninst::common)
add_test(NAME machregister_type_query_amdgpu_gfx940 COMMAND type_query_amdgpu_gfx940)
223 changes: 223 additions & 0 deletions MachRegister/type_queries/aarch64.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,223 @@
#include "registers/MachRegister.h"
#include "registers/aarch64_regs.h"
#include "type_query_check.h"
#include <iostream>

static bool is_arithmetic_vector(Dyninst::MachRegister);

namespace dreg = Dyninst::aarch64;
constexpr auto arch = Dyninst::Arch_aarch64;
using mreg = Dyninst::MachRegister;

int main() {
TYPE_QUERIES_CHECK(dreg::pc, isPC);
TYPE_QUERIES_CHECK(mreg::getPC(arch), isPC);

TYPE_QUERIES_CHECK(dreg::x29, isFramePointer);
TYPE_QUERIES_CHECK(dreg::fp, isFramePointer);
TYPE_QUERIES_CHECK(mreg::getFramePointer(arch), isFramePointer);

TYPE_QUERIES_CHECK(dreg::sp, isStackPointer);
TYPE_QUERIES_CHECK(dreg::wsp, isStackPointer);
TYPE_QUERIES_CHECK(dreg::wsp.getBaseRegister(), isStackPointer);
TYPE_QUERIES_CHECK(mreg::getStackPointer(arch), isStackPointer);

TYPE_QUERIES_CHECK(dreg::w8, isSyscallNumberReg);
TYPE_QUERIES_CHECK(dreg::x8, isSyscallNumberReg);
TYPE_QUERIES_CHECK(mreg::getSyscallNumberReg(arch), isSyscallNumberReg);

TYPE_QUERIES_CHECK(dreg::w0, isSyscallReturnValueReg);
TYPE_QUERIES_CHECK(dreg::x0, isSyscallReturnValueReg);

/*********************************************************************
* General Purpose
*********************************************************************/
TYPE_QUERIES_CHECK(dreg::w0, isGeneralPurpose);
TYPE_QUERIES_CHECK(dreg::w30, isGeneralPurpose);
TYPE_QUERIES_CHECK(dreg::x0, isGeneralPurpose);
TYPE_QUERIES_CHECK(dreg::x30, isGeneralPurpose);

/*********************************************************************
* Flags
*********************************************************************/
TYPE_QUERIES_CHECK(dreg::pstate, isFlag);
TYPE_QUERIES_CHECK(dreg::n, isFlag);
TYPE_QUERIES_CHECK(dreg::z, isFlag);
TYPE_QUERIES_CHECK(dreg::c, isFlag);
TYPE_QUERIES_CHECK(dreg::v, isFlag);
TYPE_QUERIES_CHECK(dreg::pstate.getBaseRegister(), isFlag);
TYPE_QUERIES_CHECK(dreg::n.getBaseRegister(), isFlag);
TYPE_QUERIES_CHECK(dreg::z.getBaseRegister(), isFlag);
TYPE_QUERIES_CHECK(dreg::c.getBaseRegister(), isFlag);
TYPE_QUERIES_CHECK(dreg::v.getBaseRegister(), isFlag);

/*********************************************************************
* Zero Flag
*********************************************************************/
TYPE_QUERIES_CHECK(dreg::z, isZeroFlag);
TYPE_QUERIES_CHECK_FALSE(dreg::pstate, isZeroFlag);
TYPE_QUERIES_CHECK_FALSE(dreg::n, isZeroFlag);
TYPE_QUERIES_CHECK_FALSE(dreg::c, isZeroFlag);
TYPE_QUERIES_CHECK_FALSE(dreg::v, isZeroFlag);
TYPE_QUERIES_CHECK(mreg::getZeroFlag(arch), isZeroFlag);

/*********************************************************************
* Control/Status
*********************************************************************/
TYPE_QUERIES_CHECK(dreg::p0, isControlStatus);
TYPE_QUERIES_CHECK(dreg::p15, isControlStatus);
TYPE_QUERIES_CHECK(dreg::fpcr, isControlStatus);
TYPE_QUERIES_CHECK(dreg::fpsr, isControlStatus);
TYPE_QUERIES_CHECK(dreg::ffr, isControlStatus);
TYPE_QUERIES_CHECK(dreg::vg, isControlStatus);
TYPE_QUERIES_CHECK(dreg::zt0, isControlStatus);

/*********************************************************************
* Floating-Point
*********************************************************************/
TYPE_QUERIES_CHECK(dreg::b0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::b31, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::d0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::d31, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::h0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::h31, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::q0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::q31, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::s0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::s31, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::hq0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::hq31, isFloatingPoint);

TYPE_QUERIES_CHECK(dreg::fpcr, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::fpsr, isFloatingPoint);

TYPE_QUERIES_CHECK(dreg::ffr, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::vg, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::zt0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::za, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::zab0, isFloatingPoint);

TYPE_QUERIES_CHECK(dreg::p0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::p15, isFloatingPoint);

TYPE_QUERIES_CHECK(dreg::z0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::z31, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::zad0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::zad7, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::zah0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::zah1, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::zaq0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::zaq15, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::zas0, isFloatingPoint);
TYPE_QUERIES_CHECK(dreg::zas3, isFloatingPoint);

/*********************************************************************
* Vector
*********************************************************************/
TYPE_QUERIES_CHECK(dreg::ffr, isVector);
TYPE_QUERIES_CHECK(dreg::vg, isVector);
TYPE_QUERIES_CHECK(dreg::zt0, isVector);
TYPE_QUERIES_CHECK(dreg::za, isVector);
TYPE_QUERIES_CHECK(dreg::zab0, isVector);
TYPE_QUERIES_CHECK(dreg::p0, isVector);
TYPE_QUERIES_CHECK(dreg::p15, isVector);
TYPE_QUERIES_CHECK(dreg::z0, isVector);
TYPE_QUERIES_CHECK(dreg::z31, isVector);
TYPE_QUERIES_CHECK(dreg::zad0, isVector);
TYPE_QUERIES_CHECK(dreg::zad7, isVector);
TYPE_QUERIES_CHECK(dreg::zah0, isVector);
TYPE_QUERIES_CHECK(dreg::zah1, isVector);
TYPE_QUERIES_CHECK(dreg::zaq0, isVector);
TYPE_QUERIES_CHECK(dreg::zaq15, isVector);
TYPE_QUERIES_CHECK(dreg::zas0, isVector);
TYPE_QUERIES_CHECK(dreg::zas3, isVector);


/*********************************************************************
* Filtering
*********************************************************************/
{
using mr = Dyninst::MachRegister;
for(auto reg : mr::getAllRegistersForArch(arch)) {
if(reg.isVector() && !reg.isControlStatus()) {
TYPE_QUERIES_ASSERT_TRUE(reg, is_arithmetic_vector(reg));
}
if(is_arithmetic_vector(reg)) {
TYPE_QUERIES_ASSERT_TRUE(reg, reg.isVector() && !reg.isControlStatus());
}
}
}

return EXIT_SUCCESS;
}

static bool is_arithmetic_vector(Dyninst::MachRegister reg) {
switch(reg) {
case dreg::iz0:
case dreg::iz1:
case dreg::iz2:
case dreg::iz3:
case dreg::iz4:
case dreg::iz5:
case dreg::iz6:
case dreg::iz7:
case dreg::iz8:
case dreg::iz9:
case dreg::iz10:
case dreg::iz11:
case dreg::iz12:
case dreg::iz13:
case dreg::iz14:
case dreg::iz15:
case dreg::iz16:
case dreg::iz17:
case dreg::iz18:
case dreg::iz19:
case dreg::iz20:
case dreg::iz21:
case dreg::iz22:
case dreg::iz23:
case dreg::iz24:
case dreg::iz25:
case dreg::iz26:
case dreg::iz27:
case dreg::iz28:
case dreg::iz29:
case dreg::iz30:
case dreg::iz31:
case dreg::iza:
case dreg::izab0:
case dreg::izad0:
case dreg::izad1:
case dreg::izad2:
case dreg::izad3:
case dreg::izad4:
case dreg::izad5:
case dreg::izad6:
case dreg::izad7:
case dreg::izah0:
case dreg::izah1:
case dreg::izaq0:
case dreg::izaq1:
case dreg::izaq2:
case dreg::izaq3:
case dreg::izaq4:
case dreg::izaq5:
case dreg::izaq6:
case dreg::izaq7:
case dreg::izaq8:
case dreg::izaq9:
case dreg::izaq10:
case dreg::izaq11:
case dreg::izaq12:
case dreg::izaq13:
case dreg::izaq14:
case dreg::izaq15:
case dreg::izas0:
case dreg::izas1:
case dreg::izas2:
case dreg::izas3:
return true;
}
return false;
}
111 changes: 111 additions & 0 deletions MachRegister/type_queries/amdgpu_gfx908.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,111 @@
#include "registers/MachRegister.h"
#include "registers/AMDGPU/amdgpu_gfx908_regs.h"
#include "type_query_check.h"

namespace dreg = Dyninst::amdgpu_gfx908;
constexpr auto arch = Dyninst::Arch_amdgpu_gfx908;
using mreg = Dyninst::MachRegister;

int main() {
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::pc_all, isPC);

TYPE_QUERIES_CHECK_INVALID(getFramePointer, Dyninst::Arch_amdgpu_gfx908);
TYPE_QUERIES_CHECK_INVALID(getStackPointer, Dyninst::Arch_amdgpu_gfx908);
TYPE_QUERIES_CHECK_INVALID(getSyscallNumberReg, Dyninst::Arch_amdgpu_gfx908);
TYPE_QUERIES_CHECK_INVALID(getSyscallReturnValueReg, Dyninst::Arch_amdgpu_gfx908);
TYPE_QUERIES_CHECK_INVALID(getSyscallNumberOReg, Dyninst::Arch_amdgpu_gfx908);
TYPE_QUERIES_CHECK_INVALID(getZeroFlag, Dyninst::Arch_amdgpu_gfx908);

/*********************************************************************
* General Purpose
*********************************************************************/
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::s0, isGeneralPurpose);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::s101, isGeneralPurpose);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::ttmp0, isGeneralPurpose);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::ttmp15, isGeneralPurpose);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::s0, isGeneralPurpose);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::s101, isGeneralPurpose);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::v0, isGeneralPurpose);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::v255, isGeneralPurpose);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::acc0, isGeneralPurpose);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::acc255, isGeneralPurpose);

/*********************************************************************
* Control/Status
*********************************************************************/
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::s0, isControlStatus);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::s101, isControlStatus);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::v0, isControlStatus);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::v255, isControlStatus);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::acc0, isControlStatus);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::acc255, isControlStatus);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::vcc, isControlStatus);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::vcc_lo, isControlStatus);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::vcc_hi, isControlStatus);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::exec, isControlStatus);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::exec_lo, isControlStatus);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::exec_hi, isControlStatus);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::src_scc, isControlStatus);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::src_vccz, isControlStatus);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::src_execz, isControlStatus);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::xnack_mask_lo, isControlStatus);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::xnack_mask_hi, isControlStatus);

/*********************************************************************
* Floating-Point
*********************************************************************/
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::s0, isFloatingPoint);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::s101, isFloatingPoint);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::v0, isFloatingPoint);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::v255, isFloatingPoint);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::acc0, isFloatingPoint);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::acc255, isFloatingPoint);

/*********************************************************************
* Vector
*********************************************************************/
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::v0, isVector);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::v255, isVector);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::acc0, isVector);
TYPE_QUERIES_CHECK(Dyninst::amdgpu_gfx908::acc255, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::ttmp0, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::ttmp15, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::mrt0, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::mrt7, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::null, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::pos0, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::pos3, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::param0, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::param31, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::attr0, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::attr31, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::s0, isVector);
TYPE_QUERIES_CHECK_FALSE(Dyninst::amdgpu_gfx908::s101, isVector);

/*********************************************************************
* Filtering
*********************************************************************/
{
auto is_arithmetic_vector = [](mreg reg) {
auto const base = reg.getBaseRegister();
auto const cat = reg.regClass();
if(cat == Dyninst::amdgpu_gfx908::ACC_VGPR) {
return base == Dyninst::amdgpu_gfx908::acc0;
}
if(cat == Dyninst::amdgpu_gfx908::VGPR) {
return base == Dyninst::amdgpu_gfx908::v0;
}
return false;
};

for(auto reg : mreg::getAllRegistersForArch(arch)) {
if(reg.isVector() && !reg.isControlStatus()) {
TYPE_QUERIES_ASSERT_TRUE(reg, is_arithmetic_vector(reg));
}
if(is_arithmetic_vector(reg)) {
TYPE_QUERIES_ASSERT_TRUE(reg, reg.isVector() && !reg.isControlStatus());
}
}
}
return EXIT_SUCCESS;
}
Loading