From: KONRAD Frederic <fred.kon...@greensocs.com>
This creates QEMU options for reverse execution.
Signed-off-by: KONRAD Frederic <fred.kon...@greensocs.com>
---
qemu-options.hx | 9 +++++++++
vl.c | 16 ++++++++++++++++
2 files changed, 25 insertions(+)
diff --git a/qemu-options.hx b/qemu-options.hx
index ee5437b..bd730f6 100644
--- a/qemu-options.hx
+++ b/qemu-options.hx
@@ -2828,6 +2828,15 @@ order cores with complex cache hierarchies. The number
of instructions
executed often has little or no correlation with actual performance.
ETEXI
+DEF("cexe", 0, QEMU_OPTION_cexe, \
+ "-cexe\n" \
+ " enable reverse execution\n", QEMU_ARCH_ALL)
+STEXI
+@item -cexe
+@findex -cexe
+Enable reverse execution.
+ETEXI
+
DEF("watchdog", HAS_ARG, QEMU_OPTION_watchdog, \
"-watchdog i6300esb|ib700\n" \
" enable virtual hardware watchdog [default=none]\n",
diff --git a/vl.c b/vl.c
index 8ce3d8f..e8430ff 100644
--- a/vl.c
+++ b/vl.c
@@ -228,6 +228,7 @@ static int default_floppy = 1;
static int default_cdrom = 1;
static int default_sdcard = 1;
static int default_vga = 1;
+static int default_cexe;
static struct {
const char *driver;
@@ -3795,6 +3796,9 @@ int main(int argc, char **argv, char **envp)
case QEMU_OPTION_icount:
icount_option = optarg;
break;
+ case QEMU_OPTION_cexe:
+ default_cexe = true;
+ break;
case QEMU_OPTION_incoming:
incoming = optarg;
runstate_set(RUN_STATE_INMIGRATE);
@@ -4508,6 +4512,15 @@ int main(int argc, char **argv, char **envp)
vm_start();
}
+ if (default_cexe) {
+ if (!icount_option) {
+ fprintf(stderr, "Reverse execution requires icount.\n");
+ exit(1);
+ }
+
+ cexe_setup();
+ }
+
os_setup_post();
if (is_daemonized()) {
@@ -4524,5 +4537,8 @@ int main(int argc, char **argv, char **envp)
tpm_cleanup();
#endif
+ if (cexe_is_enabled()) {
+ cexe_cleanup();
+ }
return 0;
}
--
1.9.0
