mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-22 04:30:19 +02:00
Code Activity

Emit new instructions for heap object type tests

Browse source 
* module/language/cps/compile-bytecode.scm (compile-function): Compile
  heap object tests to use the new instructions.
This commit is contained in:
Andy Wingo 2017-10-26 21:28:45 +02:00
parent 1139c10e09
commit 29b8e32ffe
1 changed files with 16 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

32
module/language/cps/compile-bytecode.scm
View file

@ -394,7 +394,7 @@
;; Otherwise prefer a backwards ;; Otherwise prefer a backwards
;; branch or a near jump. ;; branch or a near jump.
(< kt kf))) (< kt kf)))
(define (unary op sym) (define (unary/old op sym)
(cond (cond
((eq? kt next-label) ((eq? kt next-label)
(op asm (from-sp (slot sym)) #t kf)) (op asm (from-sp (slot sym)) #t kf))
@ -416,7 +416,7 @@
(else (else
(emit-jne asm kf) (emit-jne asm kf)
(emit-j asm kt)))) (emit-j asm kt))))
(define (unary* op a) (define (unary op a)
(op asm (from-sp (slot a))) (op asm (from-sp (slot a)))
(emit-branch-for-test)) (emit-branch-for-test))
(define (binary op a b) (define (binary op a b)
@ -431,20 +431,20 @@
(if invert? kf kt)) (if invert? kf kt))
(emit-j asm (if invert? kt kf)))))) (emit-j asm (if invert? kt kf))))))
(match exp (match exp
(($ $values (sym)) (unary emit-br-if-true sym)) (($ $values (sym)) (unary/old emit-br-if-true sym))
(($ $primcall 'heap-object? (a)) (unary* emit-heap-object? a)) (($ $primcall 'heap-object? (a)) (unary emit-heap-object? a))
(($ $primcall 'null? (a)) (unary emit-br-if-null a)) (($ $primcall 'null? (a)) (unary/old emit-br-if-null a))
(($ $primcall 'nil? (a)) (unary emit-br-if-nil a)) (($ $primcall 'nil? (a)) (unary/old emit-br-if-nil a))
(($ $primcall 'pair? (a)) (unary emit-br-if-pair a)) (($ $primcall 'pair? (a)) (unary emit-pair? a))
(($ $primcall 'struct? (a)) (unary emit-br-if-struct a)) (($ $primcall 'struct? (a)) (unary emit-struct? a))
(($ $primcall 'char? (a)) (unary emit-br-if-char a)) (($ $primcall 'char? (a)) (unary/old emit-br-if-char a))
(($ $primcall 'symbol? (a)) (unary emit-br-if-symbol a)) (($ $primcall 'symbol? (a)) (unary emit-symbol? a))
(($ $primcall 'variable? (a)) (unary emit-br-if-variable a)) (($ $primcall 'variable? (a)) (unary emit-variable? a))
(($ $primcall 'vector? (a)) (unary emit-br-if-vector a)) (($ $primcall 'vector? (a)) (unary emit-vector? a))
(($ $primcall 'string? (a)) (unary emit-br-if-string a)) (($ $primcall 'string? (a)) (unary emit-string? a))
(($ $primcall 'bytevector? (a)) (unary emit-br-if-bytevector a)) (($ $primcall 'bytevector? (a)) (unary emit-bytevector? a))
(($ $primcall 'bitvector? (a)) (unary emit-br-if-bitvector a)) (($ $primcall 'bitvector? (a)) (unary emit-bitvector? a))
(($ $primcall 'keyword? (a)) (unary emit-br-if-keyword a)) (($ $primcall 'keyword? (a)) (unary emit-keyword? a))
;; Add more TC7 tests here. Keep in sync with ;; Add more TC7 tests here. Keep in sync with
;; *branching-primcall-arities* in (language cps primitives) and ;; *branching-primcall-arities* in (language cps primitives) and
;; the set of macro-instructions in assembly.scm. ;; the set of macro-instructions in assembly.scm.