diff options
author | Andy Wingo <wingo@pobox.com> | 2013-12-02 21:31:47 +0100 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2013-12-02 21:31:47 +0100 |
commit | 691697de0937c52488952c1d79d3ba4416ccbb0f (patch) | |
tree | e7ca4f8431b61523cdb5f47eac261375d6d2edaf /module/system | |
parent | 7f710308376126e415d109e302d7b4013326d712 (diff) | |
download | guile-691697de0937c52488952c1d79d3ba4416ccbb0f.tar.gz |
Rename "RTL" to "bytecode"
"RTL" didn't make any sense, and now that there's no other bytecode to
disambiguate against, just call it bytecode.
* module/Makefile.am:
* module/ice-9/eval-string.scm:
* module/language/bytecode.scm:
* module/language/bytecode/spec.scm:
* module/language/cps/arities.scm:
* module/language/cps/compile-bytecode.scm:
* module/language/cps/compile-rtl.scm:
* module/language/cps/contification.scm:
* module/language/cps/elide-values.scm:
* module/language/cps/primitives.scm:
* module/language/cps/reify-primitives.scm:
* module/language/cps/spec.scm:
* module/language/cps/specialize-primcalls.scm:
* module/language/rtl.scm:
* module/language/rtl/spec.scm:
* module/scripts/compile.scm:
* module/system/base/compile.scm:
* module/system/repl/common.scm:
* module/system/vm/assembler.scm:
* module/system/vm/debug.scm:
* module/system/vm/disassembler.scm:
* module/system/vm/dwarf.scm:
* test-suite/tests/cross-compilation.test:
* test-suite/tests/dwarf.test:
* test-suite/tests/rtl-compilation.test:
* test-suite/tests/rtl.test:
* test-suite/vm/run-vm-tests.scm: Fixups.
Diffstat (limited to 'module/system')
-rw-r--r-- | module/system/base/compile.scm | 4 | ||||
-rw-r--r-- | module/system/repl/common.scm | 2 | ||||
-rw-r--r-- | module/system/vm/assembler.scm | 50 | ||||
-rw-r--r-- | module/system/vm/debug.scm | 8 | ||||
-rw-r--r-- | module/system/vm/disassembler.scm | 4 | ||||
-rw-r--r-- | module/system/vm/dwarf.scm | 2 |
6 files changed, 35 insertions, 35 deletions
diff --git a/module/system/base/compile.scm b/module/system/base/compile.scm index 18941d710..d6a53d6b3 100644 --- a/module/system/base/compile.scm +++ b/module/system/base/compile.scm @@ -133,7 +133,7 @@ (define* (compile-file file #:key (output-file #f) (from (current-language)) - (to 'rtl) + (to 'bytecode) (env (default-environment from)) (opts '()) (canonicalization 'relative)) @@ -207,7 +207,7 @@ (define* (read-and-compile port #:key (from (current-language)) - (to 'rtl) + (to 'bytecode) (env (default-environment from)) (opts '())) (let ((from (ensure-language from)) diff --git a/module/system/repl/common.scm b/module/system/repl/common.scm index 4e216791b..0a38710af 100644 --- a/module/system/repl/common.scm +++ b/module/system/repl/common.scm @@ -177,7 +177,7 @@ See <http://www.gnu.org/licenses/lgpl.html>, for more details.") (define (repl-compile repl form) (let ((from (repl-language repl)) (opts (repl-compile-options repl))) - (compile form #:from from #:to 'rtl #:opts opts + (compile form #:from from #:to 'bytecode #:opts opts #:env (current-module)))) (define (repl-expand repl form) diff --git a/module/system/vm/assembler.scm b/module/system/vm/assembler.scm index 7a0cdcc1a..e8eba306f 100644 --- a/module/system/vm/assembler.scm +++ b/module/system/vm/assembler.scm @@ -1,4 +1,4 @@ -;;; Guile RTL assembler +;;; Guile bytecode assembler ;;; Copyright (C) 2001, 2009, 2010, 2012, 2013 Free Software Foundation, Inc. ;;; @@ -19,16 +19,16 @@ ;;; Commentary: ;;; ;;; This module implements an assembler that creates an ELF image from -;;; RTL assembly and macro-assembly. The input can be given in +;;; bytecode assembly and macro-assembly. The input can be given in ;;; s-expression form, like ((OP ARG ...) ...). Internally there is a ;;; procedural interface, the emit-OP procedures, but that is not ;;; currently exported. ;;; -;;; "Primitive instructions" correspond to RTL VM operations. -;;; Assemblers for primitive instructions are generated programmatically -;;; from (instruction-list), which itself is derived from the VM -;;; sources. There are also "macro-instructions" like "label" or -;;; "load-constant" that expand to 0 or more primitive instructions. +;;; "Primitive instructions" correspond to VM operations. Assemblers +;;; for primitive instructions are generated programmatically from +;;; (instruction-list), which itself is derived from the VM sources. +;;; There are also "macro-instructions" like "label" or "load-constant" +;;; that expand to 0 or more primitive instructions. ;;; ;;; The assembler also handles some higher-level tasks, like creating ;;; the symbol table, other metadata sections, creating a constant table @@ -47,7 +47,7 @@ #:use-module (system vm dwarf) #:use-module (system vm elf) #:use-module (system vm linker) - #:use-module (language rtl) + #:use-module (language bytecode) #:use-module (rnrs bytevectors) #:use-module (ice-9 binary-ports) #:use-module (ice-9 vlist) @@ -63,7 +63,7 @@ -;;; RTL code consists of 32-bit units, often subdivided in some way. +;;; Bytecode consists of 32-bit units, often subdivided in some way. ;;; These helpers create one 32-bit unit from multiple components. (define-inlinable (pack-u8-u24 x y) @@ -136,7 +136,7 @@ ;;; A <meta> entry collects metadata for one procedure. Procedures are -;;; written as contiguous ranges of RTL code. +;;; written as contiguous ranges of bytecode. ;;; (define-syntax-rule (assert-match arg pattern kind) (let ((x arg)) @@ -179,7 +179,7 @@ ;;; also maintains ancillary information such as the constant table, a ;;; relocation list, and so on. ;;; -;;; RTL code consists of 32-bit units. We emit RTL code using native +;;; Bytecode consists of 32-bit units. We emit bytecode using native ;;; endianness. If we're targeting a foreign endianness, we byte-swap ;;; the bytevector as a whole instead of conditionalizing each access. ;;; @@ -192,7 +192,7 @@ meta sources) asm? - ;; We write RTL code into what is logically a growable vector, + ;; We write bytecode into what is logically a growable vector, ;; implemented as a list of blocks. asm-cur is the current block, and ;; asm-idx is the current index into that block, in 32-bit units. ;; @@ -203,9 +203,9 @@ ;; beginning of an instruction (in u32 units). It is updated after ;; writing all the words for one primitive instruction. It models the ;; position of the instruction pointer during execution, given that - ;; the RTL VM updates the IP only at the end of executing the - ;; instruction, and is thus useful for computing offsets between two - ;; points in a program. + ;; the VM updates the IP only at the end of executing the instruction, + ;; and is thus useful for computing offsets between two points in a + ;; program. ;; (start asm-start set-asm-start!) @@ -244,8 +244,8 @@ ;; (constants asm-constants set-asm-constants!) - ;; A list of RTL instructions needed to initialize the constants. - ;; Will run in a thunk with 2 local variables. + ;; A list of instructions needed to initialize the constants. Will + ;; run in a thunk with 2 local variables. ;; (inits asm-inits set-asm-inits!) @@ -485,8 +485,8 @@ later by the linker." (define (emit-text asm instructions) "Assemble @var{instructions} using the assembler @var{asm}. -@var{instructions} is a sequence of RTL instructions, expressed as a -list of lists. This procedure can be called many times before calling +@var{instructions} is a sequence of instructions, expressed as a list of +lists. This procedure can be called many times before calling @code{link-assembly}." (for-each (lambda (inst) (apply (or (hashq-ref assemblers (car inst)) @@ -1203,10 +1203,10 @@ needed." (define *bytecode-minor-version* 3) (define (link-dynamic-section asm text rw rw-init) - "Link the dynamic section for an ELF image with RTL text, given the -writable data section @var{rw} needing fixup from the procedure with -label @var{rw-init}. @var{rw-init} may be false. If @var{rw} is true, -it will be added to the GC roots at runtime." + "Link the dynamic section for an ELF image with bytecode @var{text}, +given the writable data section @var{rw} needing fixup from the +procedure with label @var{rw-init}. @var{rw-init} may be false. If +@var{rw} is true, it will be added to the GC roots at runtime." (define-syntax-rule (emit-dynamic-section word-size %set-uword! reloc-type) (let* ((endianness (asm-endianness asm)) (bv (make-bytevector (* word-size (if rw (if rw-init 12 10) 6)) 0)) @@ -1316,8 +1316,8 @@ it will be added to the GC roots at runtime." ;;; ;;; All of the offsets and addresses are 32 bits. We can expand in the ;;; future to use 64-bit offsets if appropriate, but there are other -;;; aspects of RTL that constrain us to a total image that fits in 32 -;;; bits, so for the moment we'll simplify the problem space. +;;; aspects of bytecode that constrain us to a total image that fits in +;;; 32 bits, so for the moment we'll simplify the problem space. ;;; ;;; The following flags values are defined: ;;; diff --git a/module/system/vm/debug.scm b/module/system/vm/debug.scm index 0ad387ac4..b4dfc3e16 100644 --- a/module/system/vm/debug.scm +++ b/module/system/vm/debug.scm @@ -18,8 +18,8 @@ ;;; Commentary: ;;; -;;; Guile's RTL compiler and linker serialize debugging information into -;;; separate sections of the ELF image. This module reads those +;;; Guile's bytecode compiler and linker serialize debugging information +;;; into separate sections of the ELF image. This module reads those ;;; sections. ;;; ;;; Code: @@ -175,8 +175,8 @@ during the fold are omitted." (define (find-debug-context addr) "Find and return the debugging context corresponding to the ELF image containing the address @var{addr}. @var{addr} is an integer. If no ELF -image is found, return @code{#f}. It's possible for an RTL program not -to have an ELF image if the program was defined in as a stub in C." +image is found, return @code{#f}. It's possible for an bytecode program +not to have an ELF image if the program was defined in as a stub in C." (and=> (find-mapped-elf-image addr) debug-context-from-image)) diff --git a/module/system/vm/disassembler.scm b/module/system/vm/disassembler.scm index 577124a7e..6eb14c5eb 100644 --- a/module/system/vm/disassembler.scm +++ b/module/system/vm/disassembler.scm @@ -1,4 +1,4 @@ -;;; Guile RTL disassembler +;;; Guile bytecode disassembler ;;; Copyright (C) 2001, 2009, 2010, 2012, 2013 Free Software Foundation, Inc. ;;; @@ -19,7 +19,7 @@ ;;; Code: (define-module (system vm disassembler) - #:use-module (language rtl) + #:use-module (language bytecode) #:use-module (system vm elf) #:use-module (system vm debug) #:use-module (system vm program) diff --git a/module/system/vm/dwarf.scm b/module/system/vm/dwarf.scm index c545665d5..f3e45c758 100644 --- a/module/system/vm/dwarf.scm +++ b/module/system/vm/dwarf.scm @@ -38,7 +38,7 @@ ;; ;; The DIE nodes are contained in the .debug_info section of an ELF ;; file. Attributes within the DIE nodes link them to mapped ranges of -;; the ELF file (.rtl_text, .data, etc.). +;; the ELF file (.rtl-text, .data, etc.). ;; ;; A .debug_info section logically contains a series of debugging ;; "contributions", one for each compilation unit. Each contribution is |