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

Chez Scheme: adjust optimizer test for profiling mode

Browse Source
This commit is contained in:
Matthew Flatt 2020-12-09 09:45:38 -07:00
parent e02c417de0
commit 5986bc9250
1 changed files with 15 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
racket/src/ChezScheme/mats/8.ms
View File

@ -9324,19 +9324,21 @@
(lambda (x) (parameterize ([optimize-level 2] [enable-cp0 #t] [#%$suppress-primitive-inlining #f] [current-eval compile]) (lambda (x) (parameterize ([optimize-level 2] [enable-cp0 #t] [#%$suppress-primitive-inlining #f] [current-eval compile])
(eval x)))) (eval x))))
#t) #t)
(equivalent-expansion? (or
(parameterize ([optimize-level 2] [enable-cp0 #t] [#%$suppress-primitive-inlining #f]) (and (compile-profile) #t) ; => testfile-clo-4a was compiled with profiling, so not quite the same as below
(expand/optimize (equivalent-expansion?
'(lambda (x y z) (parameterize ([optimize-level 2] [enable-cp0 #t] [#%$suppress-primitive-inlining #f])
(import (testfile-clo-4a)) (expand/optimize
(list '(lambda (x y z)
(f x y z) (import (testfile-clo-4a))
(g x y z))))) (list
'(begin (f x y z)
(#3%$invoke-library '(testfile-clo-4a) '() 'testfile-clo-4a) (g x y z)))))
(lambda (x y z) '(begin
(#2%list (#2%list x y z) (#3%$invoke-library '(testfile-clo-4a) '() 'testfile-clo-4a)
((#3%$top-level-value 'g) x y z))))) (lambda (x y z)
(#2%list (#2%list x y z)
((#3%$top-level-value 'g) x y z))))))
) )
(mat lots-of-libraries (mat lots-of-libraries