From 4577eeedf620a739a66e69204b40da8cdbbd77e0 Mon Sep 17 00:00:00 2001 From: Andrea Corallo Date: Mon, 24 Jun 2019 10:05:22 +0200 Subject: [PATCH] better options --- src/comp.c | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/comp.c b/src/comp.c index b4bcd511905..e1a7b25bb26 100644 --- a/src/comp.c +++ b/src/comp.c @@ -1205,9 +1205,6 @@ init_comp (int opt_level) gcc_jit_context_set_logfile (comp.ctxt, logfile, 0, 0); - gcc_jit_context_set_bool_option (comp.ctxt, - GCC_JIT_BOOL_OPTION_DUMP_EVERYTHING, - 1); gcc_jit_context_set_bool_option (comp.ctxt, GCC_JIT_BOOL_OPTION_KEEP_INTERMEDIATES, 1); @@ -1217,6 +1214,9 @@ init_comp (int opt_level) gcc_jit_context_set_bool_option (comp.ctxt, GCC_JIT_BOOL_OPTION_DEBUGINFO, 1); + gcc_jit_context_set_bool_option (comp.ctxt, + GCC_JIT_BOOL_OPTION_DUMP_INITIAL_GIMPLE, + 1); gcc_jit_context_dump_reproducer_to_file (comp.ctxt, "comp_reproducer.c"); @@ -1226,6 +1226,10 @@ init_comp (int opt_level) GCC_JIT_INT_OPTION_OPTIMIZATION_LEVEL, opt_level); + /* Do not inline within a compilation unit. */ + gcc_jit_context_add_command_line_option (comp.ctxt, "-fno-inline"); + + comp.void_type = gcc_jit_context_get_type (comp.ctxt, GCC_JIT_TYPE_VOID); comp.void_ptr_type = gcc_jit_context_get_type (comp.ctxt, GCC_JIT_TYPE_VOID_PTR); -- 2.39.5