Changeset 12191 in project

Timestamp:

10/18/08 15:15:26 (11 years ago)

Author:

felix winkelmann

Message:

added some shootout benchmarks; opt-level option fixes

Location:

chicken/branches/cmi

Files:

• TODO (modified) (1 diff)
• benchmarks/binarytrees.scm (added)
• benchmarks/cscbench.scm (modified) (5 diffs)
• benchmarks/nbody.scm (added)
• chicken.scm (modified) (1 diff)
• compiler.scm (modified) (1 diff)
• csc.scm (modified) (3 diffs)
• distribution/manifest (modified) (1 diff)
• manual/Using the compiler (modified) (1 diff)
• support.scm (modified) (1 diff)

chicken/branches/cmi/TODO

@@ -9 +9 @@
 *** pre-optimization 
 **** changes call-sites and makes them invalid for later pre-optimization
+** build
+*** chicken-boot can't load *.import.so's
+    possibly detect this in a static build and prefer .scm import libs
 ** expander
 *** expansion of r5rs_pitfall 4.2 incorrect

chicken/branches/cmi/benchmarks/cscbench.scm

@@ -6 +6 @@
 
 (define ignored-files '("cscbench.scm" "cscbench.scm~"))
-(define flonum-files '("fft" "maze"))
+(define flonum-files '("fft" "maze" "nbody"))
 (define cc "`csc -cc-name`")
 (define chicken "chicken")
@@ -122 +122 @@
          (set!-values 
           (t size-base)
-          (compile-and-run
+          (compile-and-run              ; base
            file
            "-debug-level 0 -optimize-level 1" 
@@ -130 +130 @@
          (set!-values 
           (t size-fast)
-          (compile-and-run
+          (compile-and-run              ; fast but safe
            file
            "-debug-level 0 -optimize-level 3 -lambda-lift" 
@@ -138 +138 @@
          (set!-values
           (t size-unsafe)
-          (compile-and-run 
+          (compile-and-run              ; fast and unsafe
            file
            "-debug-level 0 -optimize-level 4 -block -disable-interrupts -lambda-lift" 
@@ -149 +149 @@
                 (set!-values
                  (t size-max)
-                 (compile-and-run file "-benchmark-mode" options "" #t) )
+                 (compile-and-run file "-benchmark-mode" options "" #t) ) ; maximal speed
                 (set! sum-max (+ sum-max t))))
          (display-size size-base)

chicken/branches/cmi/chicken.scm

@@ -141 +141 @@
                  (cons* 'fixnum-arithmetic 'disable-interrupts 'no-trace 'unsafe
                         'optimize-leaf-routines 'block 'lambda-lift 'no-lambda-info
-                        'local
+                        'inline
                         options) )
                (loop rest) ]

chicken/branches/cmi/compiler.scm

@@ -58 +58 @@
 ; (foreign-declare {<string>})
 ; (hide {<name>})
-; (import <symbol-or-string> ...)
 ; (inline-limit <limit>)
 ; (keep-shadowed-macros)

chicken/branches/cmi/csc.scm

@@ -371 +371 @@
   Optimization options:
 
-    -O -O1 -O2 -O3 -optimize-level NUMBER
+    -O -O1 -O2 -O3 -O4 -optimize-level NUMBER
                                 enable certain sets of optimization options
     -optimize-leaf-routines     enable leaf routine optimization
@@ -380 +380 @@
     -disable-interrupts         disable interrupts in compiled code
     -f  -fixnum-arithmetic      assume all numbers are fixnums
-    -Ob  -benchmark-mode        equivalent to '-block -optimize-level 3 
+    -Ob  -benchmark-mode        equivalent to '-block -optimize-level 4
                                  -debug-level 0 -fixnum-arithmetic -lambda-lift 
-                                 -disable-interrupts'
+                                 -disable-interrupts -inline'
     -lambda-lift                perform lambda-lifting
     -unsafe-libraries           link with unsafe runtime system
@@ -634 +634 @@
                [(|-O2|) (set! rest (cons* "-optimize-level" "2" rest))]
                [(|-O3|) (set! rest (cons* "-optimize-level" "3" rest))]
+               [(|-O4|) (set! rest (cons* "-optimize-level" "4" rest))]
                [(-d0) (set! rest (cons* "-debug-level" "0" rest))]
                [(-d1) (set! rest (cons* "-debug-level" "1" rest))]

chicken/branches/cmi/distribution/manifest

@@ -11 +11 @@
 benchmarks/0.scm
 benchmarks/cscbench.scm
+benchmarks/nbody.scm
+benchmarks/binarytrees.scm
 benchmarks/boyer.scm
 benchmarks/browse.scm

chicken/branches/cmi/manual/Using the compiler

@@ -27 +27 @@
 ; -analyze-only : Stop compilation after first analysis pass.
 
-; -benchmark-mode : Equivalent to {{-no-trace -no-lambda-info -optimize-level 4}} {{-fixnum-arithmetic -disable-interrupts -block -lambda-lift}}.
+; -benchmark-mode : Equivalent to {{-no-trace -no-lambda-info -optimize-level 4}} {{-fixnum-arithmetic -disable-interrupts -block -inline -lambda-lift}}.
 
 ; -block : Enable block-compilation. When this option is specified, the compiler assumes that global variables are not modified outside this compilation-unit.  Specifically, toplevel bindings are not seen by {{eval}} and unused toplevel bindings are removed.

chicken/branches/cmi/support.scm

@@ -1273 +1273 @@
     -disable-interrupts         disable interrupts in compiled code
     -fixnum-arithmetic          assume all numbers are fixnums
-    -benchmark-mode             fixnum mode, no interrupts and opt.-level 3
+    -benchmark-mode             equivalent to '-block -optimize-level 4
+                                 -debug-level 0 -fixnum-arithmetic -lambda-lift 
+                                 -disable-interrupts -inline'
     -disable-stack-overflow-checks  
                                 disables detection of stack-overflows.