diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-08-23 14:28:29 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-08-23 14:28:29 +0200 |
| commit | 095ec29088ede2c5ca7db813d56001efb63aa97e (patch) | |
| tree | 12783d01cde7b851812ade989b0f37d50bee0227 /ia32 | |
| parent | 33dfbe7601ad16fcea5377563fa7ceb4053cb85a (diff) | |
| download | compcert-095ec29088ede2c5ca7db813d56001efb63aa97e.tar.gz compcert-095ec29088ede2c5ca7db813d56001efb63aa97e.zip | |
Track the locations of local variables using EF_debug annotations.
SimplLocals:
- record locations of stack-allocated variables with annotations
(of kind 5) at the beginning of the function;
- mark every assignment to non-stack-allocated variables with an
annotation of kind 2.
Debugvar: (new pass!)
- perform availability analysis for debug annotations of kind 2
- insert "start of live range" and "end of live range" annotations
(kind 3 and 4) to delimit intervals of PCs where the location
of a local variable is known.
Diffstat (limited to 'ia32')
| -rw-r--r-- | ia32/TargetPrinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml index 9e4babb7..439dd2b0 100644 --- a/ia32/TargetPrinter.ml +++ b/ia32/TargetPrinter.ml @@ -648,7 +648,7 @@ module Target(System: SYSTEM):TARGET = begin match ef with | EF_annot(txt, targs) -> fprintf oc "%s annotation: " comment; - print_annot_text preg_annot "%esp" oc (extern_atom txt) args + print_annot_text preg "%esp" oc (extern_atom txt) args | EF_debug(kind, txt, targs) -> print_debug_info comment print_file_line preg "%esp" oc (P.to_int kind) (extern_atom txt) args |