X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fvop.lisp;h=49307e2a5a4e0cd55d7eb5e766aeca4d1439f734;hb=2378406d6eda78090dfe05e372438495aeace5e0;hp=035a215aa2ac5844dbbb28737a8d9ac804bab5c0;hpb=5cf3c4259d529e180d75d4d140f344e600d2b06b;p=sbcl.git diff --git a/src/compiler/vop.lisp b/src/compiler/vop.lisp index 035a215..49307e2 100644 --- a/src/compiler/vop.lisp +++ b/src/compiler/vop.lisp @@ -167,6 +167,11 @@ ;; the assembler label that points to the beginning of the code for ;; this block, or NIL when we haven't assigned a label yet (%label nil) + ;; the assembler label that points to the trampoline for this block, + ;; or NIL if unassigned yet. Only meaningful for local call targets. + (%trampoline-label nil) + ;; T if the preceding block assumes it can drop thru to %label + (dropped-thru-to nil) ;; list of LOCATION-INFO structures describing all the interesting ;; (to the debugger) locations in this block (locations nil :type list)) @@ -324,8 +329,8 @@ ;; a function type specifier representing the arguments and results ;; of this function (type 'function :type (or list (member function))) - ;; xref information for the XEP - (xref nil :type (or null simple-vector))) + ;; docstring and/or xref information for the XEP + (info nil :type (or null simple-vector string (cons string simple-vector)))) ;;; An IR2-PHYSENV is used to annotate non-LET LAMBDAs with their ;;; passing locations. It is stored in the PHYSENV-INFO. @@ -889,7 +894,7 @@ ;; :SAVE-ONCE ;; A TN used for saving a :NORMAL TN across function calls. The ;; lifetime information slots are unitialized: get the original - ;; TN our of the SAVE-TN slot and use it for conflicts. SAVE-ONCE + ;; TN out of the SAVE-TN slot and use it for conflicts. SAVE-ONCE ;; is like :SAVE, except that it is only save once at the single ;; writer of the original TN. ;; @@ -984,7 +989,7 @@ ;;; The GLOBAL-CONFLICTS structure represents the conflicts for global ;;; TNs. Each global TN has a list of these structures, one for each -;;; block that it is live in. In addition to repsenting the result of +;;; block that it is live in. In addition to representing the result of ;;; lifetime analysis, the global conflicts structure is used during ;;; lifetime analysis to represent the set of TNs live at the start of ;;; the IR2 block.