: check-optimizer ( seq inputs quot eq-quot -- )
'[
@
- [ "print-mr" get [ nip test-mr mr. ] [ 2drop ] if ]
- [ [ call ] dip call ]
- [ [ call ] dip compile-call ] 2tri @ not
+ {
+ [ "print-mr" get [ nip test-mr mr. ] [ 2drop ] if ]
+ [ "print-checks" get [ [ . ] bi@ ] [ 2drop ] if ]
+ [ [ call ] dip call ]
+ [ [ call ] dip compile-call ]
+ } 2cleave
+ @ not
] filter ; inline
"== Checking -new constructors" print
: vbitor ( u v -- w ) over '[ _ [ bitor ] fp-bitwise-op ] 2map ;
: vbitxor ( u v -- w ) over '[ _ [ bitxor ] fp-bitwise-op ] 2map ;
-: vlshift ( u n -- w ) HEX: ff bitand '[ _ shift ] map ;
-: vrshift ( u n -- w ) HEX: ff bitand neg '[ _ shift ] map ;
+: vlshift ( u n -- w ) HEX: ffffffff bitand '[ _ shift ] map ;
+: vrshift ( u n -- w ) HEX: ffffffff bitand neg '[ _ shift ] map ;
: vfloor ( u -- v ) [ floor ] map ;
: vceiling ( u -- v ) [ ceiling ] map ;