36afa1022c
Add FPR0-31, CR0-7, LR, CTR, MSR, XER, FPSCR for PPC Add a test for ppc32 float point
68 lines
1.9 KiB
C
68 lines
1.9 KiB
C
#include "unicorn_test.h"
|
|
|
|
const uint64_t code_start = 0x1000;
|
|
const uint64_t code_len = 0x4000;
|
|
|
|
static void uc_common_setup(uc_engine **uc, uc_arch arch, uc_mode mode,
|
|
const char *code, uint64_t size)
|
|
{
|
|
OK(uc_open(arch, mode, uc));
|
|
OK(uc_mem_map(*uc, code_start, code_len, UC_PROT_ALL));
|
|
OK(uc_mem_write(*uc, code_start, code, size));
|
|
}
|
|
|
|
static void test_ppc32_add()
|
|
{
|
|
uc_engine *uc;
|
|
char code[] = "\x7f\x46\x1a\x14"; // ADD 26, 6, 3
|
|
int reg;
|
|
|
|
uc_common_setup(&uc, UC_ARCH_PPC, UC_MODE_32 | UC_MODE_BIG_ENDIAN, code,
|
|
sizeof(code) - 1);
|
|
|
|
reg = 42;
|
|
OK(uc_reg_write(uc, UC_PPC_REG_3, ®));
|
|
reg = 1337;
|
|
OK(uc_reg_write(uc, UC_PPC_REG_6, ®));
|
|
|
|
OK(uc_emu_start(uc, code_start, code_start + sizeof(code) - 1, 0, 0));
|
|
|
|
OK(uc_reg_read(uc, UC_PPC_REG_26, ®));
|
|
|
|
TEST_CHECK(reg == 1379);
|
|
|
|
OK(uc_close(uc));
|
|
}
|
|
|
|
// https://www.ibm.com/docs/en/aix/7.2?topic=set-fadd-fa-floating-add-instruction
|
|
static void test_ppc32_fadd()
|
|
{
|
|
uc_engine *uc;
|
|
char code[] = "\xfc\xc4\x28\x2a"; // fadd 6, 4, 5
|
|
uint32_t r_msr;
|
|
uint64_t r_fpr4, r_fpr5, r_fpr6;
|
|
|
|
uc_common_setup(&uc, UC_ARCH_PPC, UC_MODE_32 | UC_MODE_BIG_ENDIAN, code,
|
|
sizeof(code) - 1);
|
|
|
|
OK(uc_reg_read(uc, UC_PPC_REG_MSR, &r_msr));
|
|
r_msr |= (1 << 13); // Big endian
|
|
OK(uc_reg_write(uc, UC_PPC_REG_MSR, &r_msr)); // enable FP
|
|
|
|
r_fpr4 = 0xC053400000000000ul;
|
|
r_fpr5 = 0x400C000000000000ul;
|
|
OK(uc_reg_write(uc, UC_PPC_REG_FPR4, &r_fpr4));
|
|
OK(uc_reg_write(uc, UC_PPC_REG_FPR5, &r_fpr5));
|
|
|
|
OK(uc_emu_start(uc, code_start, code_start + sizeof(code) - 1, 0, 0));
|
|
|
|
OK(uc_reg_read(uc, UC_PPC_REG_FPR6, &r_fpr6));
|
|
|
|
TEST_CHECK(r_fpr6 == 0xC052600000000000ul);
|
|
|
|
OK(uc_close(uc));
|
|
}
|
|
|
|
TEST_LIST = {{"test_ppc32_add", test_ppc32_add},
|
|
{"test_ppc32_fadd", test_ppc32_fadd},
|
|
{NULL, NULL}}; |