diff --git a/LOG b/LOG index 05d15b1a33..f71a16dc12 100644 --- a/LOG +++ b/LOG @@ -1365,4 +1365,6 @@ csug/control.stex - fix signatures of $annotation-options, $fasl-strip-options, $file-options, and $library-requirements-options - primdata.ss \ No newline at end of file + primdata.ss +- small fix in relop-length to enable the optimization + cpnanopass.ss diff --git a/s/cpnanopass.ss b/s/cpnanopass.ss index 90852ba135..9004f2a851 100644 --- a/s/cpnanopass.ss +++ b/s/cpnanopass.ss @@ -3718,8 +3718,8 @@ (define RELOP< -2) (define RELOP<= -1) (define RELOP= 0) - (define RELOP>= 2) - (define RELOP> 1) + (define RELOP>= 1) + (define RELOP> 2) (define (mirror op) (fx- op)) (define go (lambda (op e n) @@ -3772,7 +3772,7 @@ (define relop-length (case-lambda [(op e) (relop-length1 op e 0)] - [(op e1 e2) (or (relop-length2 op e1 e2) (relop-length2 (mirror op) e1 e2))]))) + [(op e1 e2) (or (relop-length2 op e1 e2) (relop-length2 (mirror op) e2 e1))]))) (define make-ftype-pointer-equal? (lambda (e1 e2) (bind #f (e1 e2)