github_mirrors/vectorscan
3
0
Fork 1
mirror of https://github.com/VectorCamp/vectorscan.git synced 2025-06-28 16:41:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

Rose program: Improvements to debug/assertions

Browse Source 
- Add current pc to debug printf.
- Assert that pc doesn't escape the RoseEngine structure.
This commit is contained in:
Justin Viiret 2016-02-15 13:41:21 +11:00 committed by Matthew Barr
parent 030cc2a487
commit 129578f970
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/rose/program_runtime.h
View File

@ -808,10 +808,10 @@ char roseCheckBounds(u64a end, u64a min_bound, u64a max_bound) {
return end >= min_bound && end <= max_bound;
}
#define PROGRAM_CASE(name) \
case ROSE_INSTR_##name: { \
DEBUG_PRINTF("instruction: " #name " (%u)\n", ROSE_INSTR_##name); \
DEBUG_PRINTF("instruction: " #name " (pc=%u)\n", \
programOffset + (u32)(pc - pc_base)); \
const struct ROSE_STRUCT_##name *ri = \
(const struct ROSE_STRUCT_##name *)pc;
@ -848,7 +848,9 @@ hwlmcb_rv_t roseRunProgram(const struct RoseEngine *t,
for (;;) {
assert(ISALIGNED_N(pc, ROSE_INSTR_MIN_ALIGN));
u8 code = *(const u8 *)pc;
assert(pc >= pc_base);
assert((pc - pc_base) < t->size);
const u8 code = *(const u8 *)pc;
assert(code <= ROSE_INSTR_END);
switch ((enum RoseInstructionCode)code) {