Rewrite typed common benchmark wrapper.
This commit is contained in:
parent
26e73cf61d
commit
23553392df
|
@ -1,2 +1 @@
|
|||
|
||||
(module cpstack-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module cpstack-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module ctak-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module ctak-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module dderiv-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module dderiv-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module deriv-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module deriv-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module div-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module div-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module fft-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module fft-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module graphs-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module graphs-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module lattice2-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module lattice2-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module mazefun-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module mazefun-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module nestedloop-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module nestedloop-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module nfa-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module nfa-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module nothing-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module nothing-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module nqueens-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module nqueens-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module nucleic3-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module nucleic3-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module paraffins-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module paraffins-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module puzzle-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module puzzle-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module ray-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module ray-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module tak-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module tak-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module takl-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module takl-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module takr-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module takr-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module takr2-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module takr2-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module triangle-non-optimizing "wrap-typed-non-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,2 +1 @@
|
|||
|
||||
(module triangle-optimizing "wrap-typed-optimizing.ss")
|
||||
#lang s-exp "wrapper.rkt"
|
||||
|
|
|
@ -1,21 +0,0 @@
|
|||
|
||||
(module wrap-typed-non-optimizing racket
|
||||
(provide (rename-out (module-begin #%module-begin)))
|
||||
(require (lib "include.ss"))
|
||||
(require (prefix-in ts: typed/scheme/base))
|
||||
(require typed/scheme/base)
|
||||
(define-syntax (module-begin stx)
|
||||
(let ([name (symbol->string (syntax-property stx 'enclosing-module-name))])
|
||||
#`(ts:#%module-begin
|
||||
(ts:require/typed
|
||||
"../wrap-common.rkt"
|
||||
[copy-input (-> Void)]
|
||||
[remove-input (-> Void)])
|
||||
(copy-input)
|
||||
(include #,(format "~a.rktl"
|
||||
(substring name
|
||||
0
|
||||
(caar (regexp-match-positions
|
||||
#rx"-non-optimizing"
|
||||
name)))))
|
||||
(remove-input)))))
|
|
@ -1,21 +0,0 @@
|
|||
|
||||
(module wrap-typed-optimizing racket
|
||||
(provide (rename-out (module-begin #%module-begin)))
|
||||
(require (lib "include.ss"))
|
||||
(require (prefix-in ts: typed/scheme/base))
|
||||
(require typed/scheme/base)
|
||||
(define-syntax (module-begin stx)
|
||||
(let ([name (symbol->string (syntax-property stx 'enclosing-module-name))])
|
||||
#`(ts:#%module-begin #:optimize
|
||||
(ts:require/typed
|
||||
"../wrap-common.rkt"
|
||||
[copy-input (-> Void)]
|
||||
[remove-input (-> Void)])
|
||||
(copy-input)
|
||||
(include #,(format "~a.rktl"
|
||||
(substring name
|
||||
0
|
||||
(caar (regexp-match-positions
|
||||
#rx"-optimizing"
|
||||
name)))))
|
||||
(remove-input)))))
|
24
collects/tests/racket/benchmarks/common/typed/wrapper.rkt
Normal file
24
collects/tests/racket/benchmarks/common/typed/wrapper.rkt
Normal file
|
@ -0,0 +1,24 @@
|
|||
#lang racket/base
|
||||
(provide (rename-out (module-begin #%module-begin)))
|
||||
(require (prefix-in ts: typed/scheme/base)
|
||||
(for-syntax racket/base (prefix-in r: typed-scheme/typed-reader))
|
||||
racket/include typed/scheme/base)
|
||||
|
||||
(define-syntax (module-begin stx)
|
||||
(let* ([name (symbol->string (syntax-property stx 'enclosing-module-name))]
|
||||
[non-opt-re #rx"-non-optimizing"]
|
||||
[opt-re #rx"-optimizing"]
|
||||
[opt? (not (regexp-match non-opt-re name))]
|
||||
[base-name (substring name 0
|
||||
(caar (regexp-match-positions
|
||||
(if opt? opt-re non-opt-re)
|
||||
name)))]
|
||||
[option (if opt? (list #'#:optimize) '())]
|
||||
[fname (format "~a.rktl" base-name)])
|
||||
#`(ts:#%module-begin
|
||||
#,@option
|
||||
(ts:require/typed
|
||||
"../wrap-common.rkt"
|
||||
[copy-input (-> Void)]
|
||||
[remove-input (-> Void)])
|
||||
(copy-input) (include/reader #,fname r:read-syntax) (remove-input))))
|
Loading…
Reference in New Issue
Block a user