Design of CMU Common Lisp.pdf - Common Lisp.net

More documents

Recommendations

Info

12 Environment analysis 30 13 Virtual Machine Representation Introduction 32 14 Global TN assignment 33 15 Local TN assignment 35 16 Control optimization 37 17 VMR conversion 39 17.1 VMR Control representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 17.2 Stack analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 17.3 Non-local exit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 18 Copy propagation 43 19 Representation selection 44 20 Lifetime analysis 45 20.1 Flow analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 20.2 Conflict detection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 21 Packing 48 22 Code generation 52 23 Assembly 53 24 Dumping 54 25 User Interface <strong>of</strong> the Compiler 56 25.1 Error Message Utilities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 25.2 Source Paths . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 III Compiler Retargeting 57 26 Retargeting the compiler 58 27 Storage bases and classes 60 28 Type system parameterization 62 29 VOP Definition 63 29.1 Lifetime model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 29.2 VOP Cost model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 29.3 Efficiency notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 30 Assembler Retargeting 65 31 Writing Assembly Code 66 32 Required VOPS 67 32.1 Function Call . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 32.1.1 Registers and frame format . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 32.1.2 Full call . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 32.1.3 Unknown values return . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 32.1.4 External Entry Points . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 2
32.2 Calls . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 33 Standard Primitives 74 34 Customizing VMR Conversion 75 34.1 Constant Operands . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 34.2 Supporting Multiple Hardware Configurations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 34.3 Special-case VMR convert methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 IV Run-Time System 77 35 The Type System 78 36 The Info Database 79 37 The IR1 Interpreter 80 37.1 Use <strong>of</strong> %PRIMITIVE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 38 Debugger Information 83 38.1 The Debug-Info Structure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 38.1.1 Debugger Interface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 38.1.2 Variable maps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 38.1.3 Stack parsing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 39 Object Format 90 39.1 Tagging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 39.2 GC Comments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 39.3 Structures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 39.4 Fixnums . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 39.5 Other-immediates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 39.6 Data-Blocks and Header-Word Format . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 39.7 Data-Blocks and Other-immediates Typing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 39.8 Strings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 39.9 Symbols and NIL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 39.10Bignums . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 39.11Code Data-Blocks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 39.12Closure Format . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 39.13Function call . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 39.14Memory Layout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 39.15System Pointers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100 40 Memory Management 101 40.1 Stacks and Globals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 40.2 Heap Layout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 40.3 Garbage Collection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 41 Interface to C and Assembler 102 41.1 Linkage Table . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102 42 Low-level debugging 103 43 Core File Format 104 3
Page 1 and 2: Design of CMU Common Lisp Robert A.
Page 3: Contents I System Architecture 2 1
Page 7 and 8: Part I System Architecture 5
Page 9 and 10: lisp Originally, this package had a
Page 11 and 12: 2.3 Building Core Images Both the k
Page 13 and 14: Chapter 3 Compiler Overview The str
Page 15 and 16: Chapter 4 The Implicit Continuation
Page 17 and 18: What is the relationship between th
Page 19 and 20: We actually convert each form in th
Page 21 and 22: Actually, I guess the overhead for
Page 23 and 24: The current node type annotations s
Page 25 and 26: Chapter 7 Find components This is a
Page 27 and 28: The big reason for doing this trans
Page 29 and 30: • Eliminate IFs with predicates k
Page 31 and 32: If there is no intersection between
Page 33 and 34: could punt on set variables...] A t
Page 35 and 36: Chapter 12 Environment analysis A r
Page 37 and 38: Chapter 13 Virtual Machine Represen
Page 39 and 40: If the tail-set type is for a fixed
Page 41 and 42: can use the node-derived-type to se
Page 43 and 44: ack branch in a loop the drop-thru,
Page 45 and 46: The primitive type T is special-cas
Page 47 and 48: But the problem doesn’t happen he
Page 49 and 50: Chapter 19 Representation selection
Page 51 and 52: This phase makes use of the results
Page 53 and 54: Chapter 21 Packing File: pack #—
Page 55 and 56:
Subject to resource constraints: -
Page 57 and 58:
Chapter 22 Code generation This is
Page 59 and 60:
Chapter 24 Dumping So far as input
Page 61 and 62:
Chapter 25 User Interface of the Co
Page 63 and 64:
Chapter 26 Retargeting the compiler
Page 65 and 66:
Chapter 27 Storage bases and classe
Page 67 and 68:
Chapter 28 Type system parameteriza
Page 69 and 70:
ead in any order as long no TN is w
Page 71 and 72:
Chapter 31 Writing Assembly Code VO
Page 73 and 74:
32.1 Function Call 32.1.1 Registers
Page 75 and 76:
Register usage at the time of the r
Page 77 and 78:
when (current-nfp-tn VOP-self-point
Page 79 and 80:
Chapter 33 Standard Primitives 77
Page 81 and 82:
it would seem pretty losing to sepa
Page 83 and 84:
Chapter 35 The Type System 81
Page 85 and 86:
Chapter 37 The IR1 Interpreter May
Page 87 and 88:
editor-based mouse-driven interface
Page 89 and 90:
254 => read next two bytes for inte
Page 91 and 92:
location name, type, etc. location-
Page 93 and 94:
Then the debug-info holds a simple-
Page 95 and 96:
Chapter 39 Object Format 39.1 Taggi
Page 97 and 98:
39.5 Other-immediates As for fixnum
Page 99 and 100:
structure-header-type 182 fdefn-typ
Page 101 and 102:
Available Elements: This is a fixnu
Page 103 and 104:
| Pointer to next function (other-p
Page 105 and 106:
NIL eval::*top-of-stack* lisp::*cur
Page 107 and 108:
Chapter 41 Interface to C and Assem
Page 109 and 110:
Chapter 43 Core File Format 107
Page 111 and 112:
language. The body of necessity beg
Page 113 and 114:
15: FOP-LIST length(1) ⇒ stack Th
Page 115 and 116:
59: FOP-SMALL-CODE nitems(1) size(2
Page 117 and 118:
149-199: Unused 200: FOP-RPLACA tab
Page 119 and 120:
closed continuation A closed contin
Page 121 and 122:
Data-block A data-block is a dual-w
show all

Design of CMU Common Lisp.pdf - Common Lisp.net

Create successful ePaper yourself

Delete template?

Save as template?