1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#include "riscv_callbacks_rvfi.h"
#include <inttypes.h>
#include <stdlib.h>
#include "sail_riscv_model.h"
// Implementations of default callbacks for RVFI.
// The model assumes that these functions do not change the state of the model.
void rvfi_callbacks::mem_write_callback(hart::Model &model, const char *, sbits paddr, uint64_t width, lbits value) {
model.zrvfi_write(paddr, width, value);
}
void rvfi_callbacks::mem_read_callback(hart::Model &model, const char *, sbits paddr, uint64_t width, lbits value) {
sail_int len;
CREATE(sail_int)(&len);
CONVERT_OF(sail_int, mach_int)(&len, width);
model.zrvfi_read(paddr, len, value);
KILL(sail_int)(&len);
}
void rvfi_callbacks::mem_exception_callback(hart::Model &model, sbits paddr, uint64_t) {
model.zrvfi_mem_exception(paddr);
}
void rvfi_callbacks::xreg_full_write_callback(hart::Model &model, const_sail_string, sbits reg, sbits value) {
model.zrvfi_wX(reg.bits, value);
}
void rvfi_callbacks::trap_callback(hart::Model &model, bool is_interrupt, fbits cause) {
(void)is_interrupt;
(void)cause;
model.zrvfi_trap(UNIT);
}
|
