diff options
| author | Andy Wingo <wingo@pobox.com> | 2013-11-07 23:03:45 +0100 |
|---|---|---|
| committer | Andy Wingo <wingo@pobox.com> | 2013-11-07 23:03:45 +0100 |
| commit | 581a4eb82b1534970060e3cbd79b9a96d351edf9 (patch) | |
| tree | ffd7c1b175ca1746f63f697b4259e52c6c66597a /module/system/vm/program.scm | |
| parent | 72b82b0f210ef47798133dabf2a81eef3e036ba6 (diff) | |
| download | guile-581a4eb82b1534970060e3cbd79b9a96d351edf9.tar.gz | |
frame-instruction-pointer is absolute; rewrite (system vm coverage)
* libguile/frames.c (scm_frame_source): Instead of assuming that
scm_frame_procedure is correct, use the IP to get the source.
(scm_frame_instruction_pointer): Return an absolute value instead of
assuming that slot 0 is correct. (It isn't, when preparing for a tail
call.)
* libguile/programs.h:
* libguile/programs.c (scm_find_source_for_addr): New internal helper.
* module/system/repl/debug.scm (print-registers): Readably print
absolute instruction pointers.
* module/system/vm/coverage.scm: Complete rewrite to use absolute IP's.
We can't assume that frame-procedure is cheap if it is correct, or
correct if it is cheap. Anyway using the address is better anyway.
(coverage-data->lcov): Disable per-function info temporarily.
(loaded-modules, module-procedures, closest-source-line)
(closed-over-procedures): Remove these. Instead of going from
procedures to source info, now we go from ELF image to source info.
* module/system/vm/debug.scm (debug-context-length): New interface.
* module/system/vm/program.scm (source-for-addr): New internal helper.
Diffstat (limited to 'module/system/vm/program.scm')
| -rw-r--r-- | module/system/vm/program.scm | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/module/system/vm/program.scm b/module/system/vm/program.scm index 2c8cd75a7..ecac6a791 100644 --- a/module/system/vm/program.scm +++ b/module/system/vm/program.scm @@ -120,6 +120,15 @@ ;; fixed length (instruction-length inst)))))) +(define (source-for-addr addr) + (and=> (find-source-for-addr addr) + (lambda (source) + ;; FIXME: absolute or relative address? + (cons* 0 + (source-file source) + (source-line source) + (source-column source))))) + (define (program-sources proc) (cond ((rtl-program? proc) |