From 8aae10b50b321cfcbde86582cdd7ce1df8960628 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 2 Feb 2015 09:14:10 +0100 Subject: Starting to remove the seperate printers for each backend. --- ia32/PrintAsm.ml | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'ia32') diff --git a/ia32/PrintAsm.ml b/ia32/PrintAsm.ml index b0ef0180..c77347da 100644 --- a/ia32/PrintAsm.ml +++ b/ia32/PrintAsm.ml @@ -98,6 +98,8 @@ module Cygwin_System = | Section_user(s, wr, ex) -> sprintf ".section \"%s\", \"%s\"\n" s (if ex then "xr" else if wr then "d" else "dr") + | Section_debug -> ".section .debug_info,\"\"" + | Section_debug_abbrev -> ".section .debug_abbrev,\"\"" let stack_alignment = 8 (* minimum is 4, 8 is better for perfs *) @@ -147,7 +149,10 @@ module ELF_System = | Section_user(s, wr, ex) -> sprintf ".section \"%s\",\"a%s%s\",@progbits" s (if wr then "w" else "") (if ex then "x" else "") + | Section_debug -> sprintf ".section .debug_info,\"\",@progbits" + | Section_debug_abbrev -> sprintf ".section .debug_abbrev,\"\",@progbits" + let stack_alignment = 8 (* minimum is 4, 8 is better for perfs *) let print_align oc n = @@ -201,6 +206,8 @@ module MacOS_System = sprintf ".section \"%s\", %s, %s" (if wr then "__DATA" else "__TEXT") s (if ex then "regular, pure_instructions" else "regular") + | Section_debug -> ".section __DWARF,__debug_info,regular,debug" + | Section_debug_abbrev -> ".section __DWARF,__debug_abbrev,regular,debug" let stack_alignment = 16 (* mandatory *) -- cgit From a84576b219c797467e480508fc99ba78260062df Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 11 Mar 2015 18:02:36 +0100 Subject: Started integrating the debug printing in the common backend_printer. --- ia32/TargetPrinter.ml | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'ia32') diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml index 39f8be23..cc16890c 100644 --- a/ia32/TargetPrinter.ml +++ b/ia32/TargetPrinter.ml @@ -970,6 +970,13 @@ module Target(System: SYSTEM):TARGET = let comment = comment let default_falignment = 16 + + let get_start_addr () = -1 (* Dummy constant *) + + let get_end_addr () = -1 (* Dummy constant *) + + let get_stmt_list_addr () = -1 (* Dummy constant *) + end let sel_target () = -- cgit From b3c67667b7121b7f2e50700ec6da4bd780dee426 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 16 Mar 2015 12:23:29 +0100 Subject: Started implementing the printing functions for the debug info. Added a global target dependend option to activate the printing only for targets wher it works. --- ia32/TargetPrinter.ml | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'ia32') diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml index cc16890c..7663b7e7 100644 --- a/ia32/TargetPrinter.ml +++ b/ia32/TargetPrinter.ml @@ -977,6 +977,12 @@ module Target(System: SYSTEM):TARGET = let get_stmt_list_addr () = -1 (* Dummy constant *) + module DwarfAbbrevs = DwarfUtil.DefaultAbbrevs (* Dummy Abbrev types *) + + let label = label + + let new_label = new_label + end let sel_target () = -- cgit