diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-15 13:15:28 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-15 13:15:28 +0200 |
| commit | 1e52bb2001964d87086cea00d0cb779e270b99ce (patch) | |
| tree | 1a4c629ee6b8c5130654be3a42fb91f38fc80984 /backend/PrintAsm.ml | |
| parent | 44845982f412810b0c18067987f2780ef6245fbb (diff) | |
| download | compcert-kvx-1e52bb2001964d87086cea00d0cb779e270b99ce.tar.gz compcert-kvx-1e52bb2001964d87086cea00d0cb779e270b99ce.zip | |
First step to implemente address ranges for the gnu backend.
In contrast to the dcc, the gcc uses address ranges to express
non-contiguous range of addresses. As a first step we set the
start and end addresses for the different address ranges for
the compilation unit by using the start and end addresses of
functions.
Bug 17392.
Diffstat (limited to 'backend/PrintAsm.ml')
| -rw-r--r-- | backend/PrintAsm.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index 0120f4bc..6c1eda57 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -24,10 +24,10 @@ open TargetPrinter module Printer(Target:TARGET) = struct - let get_fun_addr name = + let get_fun_addr name txt = let s = Target.new_label () and e = Target.new_label () in - Debug.add_fun_addr name (e,s); + Debug.add_fun_addr name txt (e,s); s,e let print_debug_label oc l = @@ -51,7 +51,7 @@ module Printer(Target:TARGET) = fprintf oc " .globl %a\n" Target.symbol name; Target.print_optional_fun_info oc; let s,e = if !Clflags.option_g && Configuration.advanced_debug then - get_fun_addr name + get_fun_addr name text else -1,-1 in print_debug_label oc s; |