suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Reoptimize propagated constants

Browse Source 
Reduces them to #t or #f when they are copied to a Boolean context
This commit is contained in:
Gustavo Massaccesi 2015-06-27 13:18:16 -03:00
parent 5cd910f9f2
commit 72132ea3aa
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/racket-test-core/tests/racket/optimize.rktl
View File

@ -1689,6 +1689,8 @@
(test-comp '(lambda (x) (not (if x #f 2))) (test-comp '(lambda (x) (not (if x #f 2)))
'(lambda (x) (not (if x #f #t)))) '(lambda (x) (not (if x #f #t))))
(test-comp '(lambda (x) (let ([z 2]) (not (if x #f z))))
'(lambda (x) (let ([z 2]) (not (if x #f #t)))))
(test-comp '(lambda (x) (if x x #f)) (test-comp '(lambda (x) (if x x #f))
'(lambda (x) x)) '(lambda (x) x))

3
racket/src/racket/src/optimize.c
View File

@ -7372,7 +7372,8 @@ Scheme_Object *scheme_optimize_expr(Scheme_Object *expr, Optimize_Info *info, in
if (val) if (val)
return val; return val;
} else { } else {
if (SAME_TYPE(SCHEME_TYPE(val), scheme_compiled_toplevel_type)) { if (SAME_TYPE(SCHEME_TYPE(val), scheme_compiled_toplevel_type)
|| (SCHEME_TYPE(val) > _scheme_compiled_values_types_)) {
info->size -= 1; info->size -= 1;
return scheme_optimize_expr(val, info, context); return scheme_optimize_expr(val, info, context);
} }