diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-11 18:02:36 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-11 18:02:36 +0100 |
| commit | a84576b219c797467e480508fc99ba78260062df (patch) | |
| tree | 8b7d42d170270bb9a7a53be00c63d60591113f9c /ia32 | |
| parent | a6924f1a53c1ab2edeb4df4833cbc341e4f2d256 (diff) | |
| download | compcert-kvx-a84576b219c797467e480508fc99ba78260062df.tar.gz compcert-kvx-a84576b219c797467e480508fc99ba78260062df.zip | |
Started integrating the debug printing in the common backend_printer.
Diffstat (limited to 'ia32')
| -rw-r--r-- | ia32/TargetPrinter.ml | 7 |
1 files changed, 7 insertions, 0 deletions
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 () = |