Return to backtrac.fs CVS log

Up to [gforth] / gforth

Annotation of gforth/backtrac.fs, revision 1.10

1.1       anton       1: \ backtrace handling
                      2: 
1.8       anton       3: \ Copyright (C) 1999,2000,2003 Free Software Foundation, Inc.
1.1       anton       4: 
                      5: \ This file is part of Gforth.
                      6: 
                      7: \ Gforth is free software; you can redistribute it and/or
                      8: \ modify it under the terms of the GNU General Public License
                      9: \ as published by the Free Software Foundation; either version 2
                     10: \ of the License, or (at your option) any later version.
                     11: 
                     12: \ This program is distributed in the hope that it will be useful,
                     13: \ but WITHOUT ANY WARRANTY; without even the implied warranty of
                     14: \ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
                     15: \ GNU General Public License for more details.
                     16: 
                     17: \ You should have received a copy of the GNU General Public License
                     18: \ along with this program; if not, write to the Free Software
1.4       anton      19: \ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA.
1.1       anton      20: 
                     21: 
                     22: \ growing buffers that need not be full
                     23: 
                     24: struct
                     25:     cell% 0 * field buffer-descriptor \ addr u
                     26:     cell% field buffer-length
                     27:     cell% field buffer-address
                     28:     cell% field buffer-maxlength \ >=length
                     29: end-struct buffer%
                     30: 
                     31: : init-buffer ( addr -- )
                     32:     buffer% %size erase ;
                     33: 
                     34: : adjust-buffer ( u addr -- )
                     35:     \G adjust buffer% at addr to length u
                     36:     \ this may grow the allocated area, but never shrinks it
                     37:     dup >r buffer-maxlength @ over <
                     38:     if ( u )
                     39:        r@ buffer-address @ over resize throw r@ buffer-address !
                     40:        dup r@ buffer-maxlength !
                     41:     then
                     42:     r> buffer-length ! ;
                     43: 
                     44: \ backtrace stuff
                     45: 
1.9       anton      46: create backtrace-rs-buffer buffer% %allot drop
                     47: \ copy of the return stack at throw
1.1       anton      48: 
                     49: : init-backtrace ( -- )
                     50:     backtrace-rs-buffer init-buffer ;
                     51:     
                     52: init-backtrace
                     53: 
                     54: :noname ( -- )
                     55:     DEFERS 'cold
                     56:     init-backtrace ;
                     57: IS 'cold
                     58: 
                     59: : backtrace-return-stack ( -- addr u )
                     60:     \ addr is the address of top element of return stack (the stack
                     61:     \ grows downwards), u is the number of aus that interest us on the
                     62:     \ stack.
                     63:     rp@ in-return-stack?
                     64:     if
                     65:        rp@ [ 2 cells ]L +
                     66:     else \ throw by signal handler with insufficient information
                     67:        handler @ cell - \ beyond that we know nothing
                     68:     then
                     69:     backtrace-rp0 @ [ 2 cells ]L - over - 0 max ;
                     70: 
                     71: :noname ( -- )
                     72:     backtrace-empty @
                     73:     if
                     74:        backtrace-return-stack
                     75:        dup backtrace-rs-buffer adjust-buffer
                     76:        backtrace-rs-buffer buffer-address @ swap move
                     77:        backtrace-empty off
                     78:     then ;
                     79: IS store-backtrace
                     80: 
1.5       anton      81: : print-bt-entry ( return-stack-item -- )
                     82:     cell - dup in-dictionary? over dup aligned = and
                     83:     if
1.7       anton      84:        @ dup threaded>name dup if
1.5       anton      85:            .name drop
                     86:        else
1.6       anton      87:            drop dup look if
                     88:                .name drop
1.1       anton      89:            else
1.6       anton      90:                drop body> look \ !! check for "call" in cell before?
                     91:                if
                     92:                    .name
                     93:                else
                     94:                    drop
                     95:                then
1.1       anton      96:            then
                     97:        then
1.5       anton      98:     else
                     99:        drop
                    100:     then ;
                    101: 
                    102: : print-backtrace ( addr1 addr2 -- )
                    103:     \G print a backtrace for the return stack addr1..addr2
                    104:     cr ." Backtrace:"
                    105:     swap u+do
                    106:        cr
                    107:        i @ dup hex. ( return-addr? )
                    108:        print-bt-entry
1.1       anton     109:        cell +loop ;
                    110: 
                    111: :noname ( -- )
                    112:     backtrace-rs-buffer 2@ over + print-backtrace ;
                    113: IS dobacktrace
1.10    ! anton     114: 
        !           115: :noname
        !           116:     r@ >stderr cr ." deferred word " print-bt-entry ." is uninitialized" ;
        !           117: is defer-default