Return to backtrac.fs CVS log

Up to [gforth] / gforth

Annotation of gforth/backtrac.fs, revision 1.5

1.1       anton       1: \ backtrace handling
                      2: 
1.3       anton       3: \ Copyright (C) 1999,2000 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.2       anton      46: create backtrace-rs-buffer buffer% %allot \ copy of the return stack at throw
1.1       anton      47: 
                     48: : init-backtrace ( -- )
                     49:     backtrace-rs-buffer init-buffer ;
                     50:     
                     51: init-backtrace
                     52: 
                     53: :noname ( -- )
                     54:     DEFERS 'cold
                     55:     init-backtrace ;
                     56: IS 'cold
                     57: 
                     58: : backtrace-return-stack ( -- addr u )
                     59:     \ addr is the address of top element of return stack (the stack
                     60:     \ grows downwards), u is the number of aus that interest us on the
                     61:     \ stack.
                     62:     rp@ in-return-stack?
                     63:     if
                     64:        rp@ [ 2 cells ]L +
                     65:     else \ throw by signal handler with insufficient information
                     66:        handler @ cell - \ beyond that we know nothing
                     67:     then
                     68:     backtrace-rp0 @ [ 2 cells ]L - over - 0 max ;
                     69: 
                     70: :noname ( -- )
                     71:     backtrace-empty @
                     72:     if
                     73:        backtrace-return-stack
                     74:        dup backtrace-rs-buffer adjust-buffer
                     75:        backtrace-rs-buffer buffer-address @ swap move
                     76:        backtrace-empty off
                     77:     then ;
                     78: IS store-backtrace
                     79: 
1.5     ! anton      80: : print-bt-entry ( return-stack-item -- )
        !            81:     cell - dup in-dictionary? over dup aligned = and
        !            82:     if
        !            83:        @ dup look
1.1       anton      84:        if
1.5     ! anton      85:            .name drop
        !            86:        else
        !            87:            drop body> look \ !! check for "call" in cell before?
1.1       anton      88:            if
                     89:                .name
                     90:            else
                     91:                drop
                     92:            then
                     93:        then
1.5     ! anton      94:     else
        !            95:        drop
        !            96:     then ;
        !            97: 
        !            98: : print-backtrace ( addr1 addr2 -- )
        !            99:     \G print a backtrace for the return stack addr1..addr2
        !           100:     cr ." Backtrace:"
        !           101:     swap u+do
        !           102:        cr
        !           103:        i @ dup hex. ( return-addr? )
        !           104:        print-bt-entry
1.1       anton     105:        cell +loop ;
                    106: 
                    107: :noname ( -- )
                    108:     backtrace-rs-buffer 2@ over + print-backtrace ;
                    109: IS dobacktrace