diff options
author | Andy Wingo <wingo@pobox.com> | 2020-08-03 21:49:50 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2020-08-03 22:19:18 +0200 |
commit | d238566d0e6b36706c33d22c19b5c86d2e60640f (patch) | |
tree | a2f84e3721ae724d4ebd3ec20b62e2385abc542d /module/language/cps/compile-bytecode.scm | |
parent | 1ee99d97db342ab6c8e3f81f697ebe6caf38478b (diff) | |
download | guile-d238566d0e6b36706c33d22c19b5c86d2e60640f.tar.gz |
CPS compiler reduces eq? on constant to eq-constant?
* module/language/cps/compile-bytecode.scm (compile-function): Expect
eq-constant? instead of eq-null?, etc.
* module/language/cps/effects-analysis.scm: Likewise.
* module/language/cps/reify-primitives.scm (reify-primitives): For
eq-constant?, reify a $const unless the constant is an immediate whose
encoding fits in 16 bits.
* module/language/cps/type-fold.scm (materialize-constant): Helper to
make a constant from a type, min, and max.
(fold-eq-constant?): New helper.
(eq-constant?): New folder.
(undefined?): Define specifically.
(define-nullish-predicate-folder): Renamd from
define-special-immediate-predicate-folder. Use only for null?, false,
and nil?.
(*branch-reducers*): New mechanism. Reduce eq? to eq-constant? if
possible.
(local-type-fold): Refactor to use materialize-constant, and to allow
reducing branches.
* module/language/cps/types.scm (constant-type): Return three values
instead of a type entry.
(constant-type-entry): New function that returns a type entry. Adapt
callers.
(infer-constant-comparison): New helper.
(eq-constant?): New inferrer.
(undefined?): New inferrer.
* module/language/tree-il/compile-bytecode.scm (eq-constant?): Fix
truncate-bits signed arg.
(define-immediate-type-predicate): Adapt to visit-immediate-tags
change.
* module/language/tree-il/compile-cps.scm (convert): Convert eq? to
constant to eq-constant?. Advantaged is that it gets fixnums and
chars in addition to special immediates.
* module/language/tree-il/cps-primitives.scm (define-immediate-type-predicate):
Adapt to allow #f as pred.
* module/system/base/types/internal.scm (immediate-tags): Use #f as pred
for false, nil, etc.
(immediate-bits->scm): Adapt.
* module/system/vm/assembler.scm (emit-eq-null?, emit-eq-nil?)
(emit-eq-false?, emit-eq-true?, emit-unspecified?, emit-eof-object?):
Remove specialized emitters.
* module/system/vm/assembler.scm (define-immediate-tag=?-macro-assembler):
Allow for pred to be #f.
* module/system/vm/disassembler.scm (define-immediate-tag-annotation):
Adapt to pred being #f.
Diffstat (limited to 'module/language/cps/compile-bytecode.scm')
-rw-r--r-- | module/language/cps/compile-bytecode.scm | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/module/language/cps/compile-bytecode.scm b/module/language/cps/compile-bytecode.scm index 51938a018..edf338d08 100644 --- a/module/language/cps/compile-bytecode.scm +++ b/module/language/cps/compile-bytecode.scm @@ -1,6 +1,6 @@ ;;; Continuation-passing style (CPS) intermediate language (IL) -;; Copyright (C) 2013-2019 Free Software Foundation, Inc. +;; Copyright (C) 2013-2020 Free Software Foundation, Inc. ;;;; This library is free software; you can redistribute it and/or ;;;; modify it under the terms of the GNU Lesser General Public @@ -476,13 +476,8 @@ (#('fixnum? #f (a)) (unary emit-fixnum? a)) (#('heap-object? #f (a)) (unary emit-heap-object? a)) (#('char? #f (a)) (unary emit-char? a)) - (#('eq-false? #f (a)) (unary emit-eq-false? a)) - (#('eq-nil? #f (a)) (unary emit-eq-nil? a)) - (#('eq-null? #f (a)) (unary emit-eq-null? a)) - (#('eq-true? #f (a)) (unary emit-eq-true? a)) - (#('unspecified? #f (a)) (unary emit-unspecified? a)) + (#('eq-constant? imm (a)) (binary-test/imm emit-eq-immediate? a imm)) (#('undefined? #f (a)) (unary emit-undefined? a)) - (#('eof-object? #f (a)) (unary emit-eof-object? a)) (#('null? #f (a)) (unary emit-null? a)) (#('false? #f (a)) (unary emit-false? a)) (#('nil? #f (a)) (unary emit-nil? a)) |