From 2f23a53b4aa1b672b3919cc021b83548f713b90a Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 5 Jun 2018 19:48:08 +0000 Subject: [PATCH 5/5] riscv: Emit debug info. --- asmcomp/riscv/emit.mlp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/asmcomp/riscv/emit.mlp b/asmcomp/riscv/emit.mlp index 88ea9f884..cc05aefe4 100644 --- a/asmcomp/riscv/emit.mlp +++ b/asmcomp/riscv/emit.mlp @@ -261,6 +261,7 @@ let tailrec_entry_point = ref 0 (* Output the assembly code for an instruction *) let emit_instr i = + emit_debug_info i.dbg; match i.desc with Lend -> () | Lprologue -> @@ -556,6 +557,7 @@ let fundecl fundecl = ` {emit_string code_space}\n`; ` .align 2\n`; `{emit_symbol fundecl.fun_name}:\n`; + emit_debug_info fundecl.fun_dbg; emit_all fundecl.fun_body; List.iter emit_call_gc !call_gc_sites; List.iter emit_call_bound_error !bound_error_sites; @@ -615,6 +617,7 @@ let data l = let begin_assembly() = ` .file \"\"\n`; (* PR#7073 *) + reset_debug_info (); (* Emit the beginning of the segments *) let lbl_begin = Compilenv.make_symbol (Some "data_begin") in ` {emit_string data_space}\n`; -- 2.22.0.rc3