提交 f25d435d 编写于 作者: P Parallels

Pass cputest with qemu-diff

上级 7f83b501
......@@ -2,7 +2,7 @@
#define __COMMON_H__
#define DEBUG
#define DIFF_TEST
//#define DIFF_TEST
#define ISA64
......
......@@ -2,6 +2,14 @@
#include "monitor/diff-test.h"
bool isa_difftest_checkregs(CPU_state *ref_r, vaddr_t pc) {
/*
int i;
for (i = 0; i < sizeof(cpu.gpr) / sizeof(cpu.gpr[0]); i ++) {
if (((uint64_t)cpu.gpr[i]._64) > ((uint64_t)0xffffffff)) {
printf("!!-0x%lx, 0x%lx\n", ref_r->gpr[i]._64, cpu.gpr[i]._64);
}
}*/
if (memcmp(&cpu, ref_r, DIFFTEST_REG_SIZE)) {
int i;
for (i = 0; i < sizeof(cpu.gpr) / sizeof(cpu.gpr[0]); i ++) {
......
......@@ -93,6 +93,7 @@ make_EHelper(auipc) {
}
make_EHelper(lui) {
rtl_sext(&id_src->val, &id_src->val, 4);
rtl_sr(id_dest->reg, &id_src->val, 4);
print_asm_template2(lui);
......
......@@ -67,7 +67,6 @@ void init_difftest(char *ref_so_file, long img_size) {
"If it is not necessary, you can turn it off in include/common.h.", ref_so_file);
ref_difftest_init();
Log("Init done\n");
ref_difftest_memcpy_from_dut(PC_START, guest_to_host(IMAGE_START), img_size);
ref_difftest_setregs(&cpu);
}
......
......@@ -31,9 +31,7 @@ void difftest_setregs(const void *r) {
}
void difftest_exec(uint64_t n) {
while (n --) {
gdb_si();
}
while (n --) gdb_si();
}
void difftest_init(void) {
......
......@@ -90,7 +90,7 @@ bool gdb_setregs(union isa_gdb_regs *r) {
}
bool gdb_si(void) {
char buf[] = "vCont;s:1";
gdb_send(conn, (const uint8_t *)buf, strlen(buf));
size_t size;
......
......@@ -8,8 +8,8 @@
union isa_gdb_regs {
struct {
uint32_t gpr[32];
uint32_t pc;
uint64_t gpr[32];
uint64_t pc;
};
struct {
uint32_t array[77];
......
......@@ -6,7 +6,8 @@ bool gdb_setregs(union isa_gdb_regs *);
void difftest_exec(uint64_t n);
static uint32_t initcode[] = {
0x800006b7, // lui a3,0x8000
//0x800006b7, // lui a3,0x8000
0x00000697, // auipc a3, 0x0
0x03c68693, // addi a3,a3,0x3c # 800003c
0x30569073, // csrw mtvec,a3
......@@ -49,16 +50,15 @@ void init_isa(void) {
gdb_getregs(&r);
/*
int i;
/*int i;
printf("print regs:\n");
for (i = 0; i < 32; i++) {
printf("0x%x\n", r.gpr[i]);
printf("0x%lx\n", r.gpr[i]);
}
printf("0x%x\nend print\n", r.pc);
printf("0x%lx\nend print\n", r.pc);
fflush(stdout);*/
// execute enough instructions
difftest_exec(19);
difftest_exec(20);
}
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册