send PC to backlog

damienmaier · damienmaier · commit 9acfbcac9c23 · 2023-11-23T14:57:37.000Z
diff --git a/accel/tcg/tcg-runtime-sym.c b/accel/tcg/tcg-runtime-sym.c
@@ -20,6 +20,8 @@
 #include "exec/cpu_ldst.h"
 #include "qemu/qemu-print.h"
 #include "tcg.h"
+#include "exec/exec-all.h"
+
 
 /* Include the symbolic backend, using void* as expression type. */
 
@@ -651,6 +653,8 @@ void HELPER(sym_notify_return)(uint64_t return_address)
 void HELPER(sym_notify_block)(uint64_t block_id)
 {
     _sym_notify_basic_block(block_id);
+    TranslationBlock *block = (TranslationBlock *) block_id;
+    _sym_trace_execution(block->pc);
 }
 
 void HELPER(sym_collect_garbage)(void)

Original file line number	Diff line number	Diff line change
`@@ -20,6 +20,8 @@`
`20`	`20`	`#include "exec/cpu_ldst.h"`
`21`	`21`	`#include "qemu/qemu-print.h"`
`22`	`22`	`#include "tcg.h"`
	`23`	`+#include "exec/exec-all.h"`
	`24`	`+`
`23`	`25`
`24`	`26`	`/* Include the symbolic backend, using void* as expression type. */`
`25`	`27`
`@@ -651,6 +653,8 @@ void HELPER(sym_notify_return)(uint64_t return_address)`
`651`	`653`	`void HELPER(sym_notify_block)(uint64_t block_id)`
`652`	`654`	`{`
`653`	`655`	`_sym_notify_basic_block(block_id);`
	`656`	`+ TranslationBlock block = (TranslationBlock ) block_id;`
	`657`	`+ _sym_trace_execution(block->pc);`
`654`	`658`	`}`
`655`	`659`
`656`	`660`	`void HELPER(sym_collect_garbage)(void)`