From 19506650efeb8b19cea3f72d3f95547c5cbc3659 Mon Sep 17 00:00:00 2001 From: Takashi Kokubun Date: Mon, 3 Apr 2023 22:52:38 -0700 Subject: RJIT: Add --rjit-verify-ctx option --- rjit.c | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) (limited to 'rjit.c') diff --git a/rjit.c b/rjit.c index f1d3440ce9..e17e4b982e 100644 --- a/rjit.c +++ b/rjit.c @@ -118,25 +118,28 @@ rb_rjit_setup_options(const char *s, struct rb_rjit_options *rjit_opt) if (l == 0) { return; } + else if (opt_match_arg(s, l, "call-threshold")) { + rjit_opt->call_threshold = atoi(s + 1); + } + else if (opt_match_arg(s, l, "exec-mem-size")) { + rjit_opt->exec_mem_size = atoi(s + 1); + } else if (opt_match_noarg(s, l, "stats")) { rjit_opt->stats = true; } else if (opt_match_noarg(s, l, "trace-exits")) { rjit_opt->trace_exits = true; } - else if (opt_match_arg(s, l, "call-threshold")) { - rjit_opt->call_threshold = atoi(s + 1); + else if (opt_match_noarg(s, l, "dump-disasm")) { + rjit_opt->dump_disasm = true; } - else if (opt_match_arg(s, l, "exec-mem-size")) { - rjit_opt->exec_mem_size = atoi(s + 1); + else if (opt_match_noarg(s, l, "verify-ctx")) { + rjit_opt->verify_ctx = true; } // --rjit=pause is an undocumented feature for experiments else if (opt_match_noarg(s, l, "pause")) { rjit_opt->pause = true; } - else if (opt_match_noarg(s, l, "dump-disasm")) { - rjit_opt->dump_disasm = true; - } else { rb_raise(rb_eRuntimeError, "invalid RJIT option `%s' (--help will show valid RJIT options)", s); -- cgit v1.2.1