diff options
Diffstat (limited to 'module/language/tree-il')
-rw-r--r-- | module/language/tree-il/cse.scm | 4 | ||||
-rw-r--r-- | module/language/tree-il/primitives.scm | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/module/language/tree-il/cse.scm b/module/language/tree-il/cse.scm index 1ac221eaa..40f6419e2 100644 --- a/module/language/tree-il/cse.scm +++ b/module/language/tree-il/cse.scm @@ -270,11 +270,11 @@ #f))) (_ (cond - ((find-dominating-expression exp effects #f db) + ((find-dominating-expression exp effects 'test db) ;; We have an EXP fact, so we infer #t. (log 'inferring exp #t) (make-const (tree-il-src exp) #t)) - ((find-dominating-expression (negate exp 'test) effects #f db) + ((find-dominating-expression (negate exp 'test) effects 'test db) ;; We have a (not EXP) fact, so we infer #f. (log 'inferring exp #f) (make-const (tree-il-src exp) #f)) diff --git a/module/language/tree-il/primitives.scm b/module/language/tree-il/primitives.scm index a44bc1acc..18126863c 100644 --- a/module/language/tree-il/primitives.scm +++ b/module/language/tree-il/primitives.scm @@ -55,6 +55,8 @@ char<? char<=? char>=? char>? + integer->char char->integer number->string string->number + acons cons cons* list vector @@ -155,6 +157,7 @@ pair? null? list? symbol? vector? struct? string? number? char? nil complex? real? rational? inf? nan? integer? exact? inexact? even? odd? char<? char<=? char>=? char>? + integer->char char->integer number->string string->number struct-vtable string-length vector-length ;; These all should get expanded out by expand-primitives!. |