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