1 ! Copyright (C) 2008, 2010 Slava Pestov.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: accessors arrays classes.algebra combinators
4 compiler.cfg.instructions compiler.cfg.instructions.syntax
5 compiler.cfg.value-numbering.graph generic.parser kernel make
6 math namespaces quotations sequences sets slots words ;
7 FROM: sequences.private => set-array-nth ;
8 IN: compiler.cfg.value-numbering.expressions
12 GENERIC: >expr ( insn -- expr )
14 : input-values ( slot-specs -- slot-specs' )
15 [ type>> { use literal } member-eq? ] filter ;
17 : slot->expr-quot ( slot-spec -- quot )
18 [ name>> reader-word 1quotation ]
21 { use [ [ vreg>vn ] ] }
26 : narray-quot ( length -- quot )
31 - 1 - , [ swap [ set-array-nth ] keep ] %
36 : >expr-quot ( insn slot-specs -- quot )
38 [ literalize , \ swap , ]
40 [ [ slot->expr-quot ] map cleave>quot % ]
41 [ length 1 + narray-quot % ]
46 : define->expr-method ( insn slot-specs -- )
47 [ drop \ >expr create-method-in ] [ >expr-quot ] 2bi define ;
50 [ foldable-insn class<= ] filter
51 { ##copy ##load-integer ##load-reference } diff
53 dup "insn-slots" word-prop input-values
59 TUPLE: integer-expr value ;
61 C: <integer-expr> integer-expr
63 TUPLE: reference-expr value ;
65 C: <reference-expr> reference-expr
67 M: reference-expr equal?
68 over reference-expr? [
71 [ fp-bitwise= ] [ eq? ] if
74 M: reference-expr hashcode*
75 nip value>> dup float? [ double>bits ] [ identity-hashcode ] if ;
77 M: insn >expr drop input-expr-counter counter neg ;
79 M: ##copy >expr "Fail" throw ;
81 M: ##load-integer >expr val>> <integer-expr> ;
83 M: ##load-reference >expr obj>> <reference-expr> ;