From be7a736a42b5df108bad924f03bea91355571789 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 25 May 2016 15:45:16 -0700 Subject: [PATCH] feat(library/compiler/vm_compiler): trace bytecode after/before optimization --- src/library/compiler/vm_compiler.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/library/compiler/vm_compiler.cpp b/src/library/compiler/vm_compiler.cpp index d913b178cf..b711047e89 100644 --- a/src/library/compiler/vm_compiler.cpp +++ b/src/library/compiler/vm_compiler.cpp @@ -295,9 +295,11 @@ environment vm_compile(environment const & env, buffer> const & buffer code; vm_compiler_fn gen(new_env, code); unsigned arity = gen(p.second); - optimize(new_env, code); lean_trace(name({"compiler", "code_gen"}), tout() << " " << p.first << " " << arity << "\n"; display_vm_code(tout().get_stream(), new_env, code.size(), code.data());); + optimize(new_env, code); + lean_trace(name({"compiler", "optimize_bytecode"}), tout() << " " << p.first << " " << arity << "\n"; + display_vm_code(tout().get_stream(), new_env, code.size(), code.data());); new_env = update_vm_code(new_env, p.first, code.size(), code.data()); } return new_env; @@ -310,6 +312,7 @@ environment vm_compile(environment const & env, declaration const & d) { } void initialize_vm_compiler() { + register_trace_class({"compiler", "optimize_bytecode"}); register_trace_class({"compiler", "code_gen"}); }