summaryrefslogtreecommitdiff
path: root/rjit.c
diff options
context:
space:
mode:
authorTakashi Kokubun <takashikkbn@gmail.com>2023-04-03 22:52:38 -0700
committerTakashi Kokubun <takashikkbn@gmail.com>2023-04-04 00:35:29 -0700
commit19506650efeb8b19cea3f72d3f95547c5cbc3659 (patch)
treebe5eacc769e42bd350dd5420e265d052f168c9dc /rjit.c
parent2c560b976ed86730dfa305266fcc69033f6790cc (diff)
RJIT: Add --rjit-verify-ctx option
Diffstat (limited to 'rjit.c')
-rw-r--r--rjit.c17
1 files changed, 10 insertions, 7 deletions
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);