mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-18 12:22:10 +03:00
d06693dc7e
Added support to `lens-command` for outputting a pill. We want this so that we can create (solid and brass) pills from `urb.py`. This also adds an optimized base64 encoding routine. The previous version of base64 stack overflowed on large inputs, and a tail-recursive version took hours to encode 5mb of data. This one uses the `ripn` jet and only takes a second or two.
56 lines
1.2 KiB
Plaintext
56 lines
1.2 KiB
Plaintext
/+ *test
|
|
|%
|
|
++ test-bits
|
|
;: weld
|
|
::
|
|
:: Random sanity testing
|
|
::
|
|
%+ expect-eq
|
|
!> ~[0x3 0x7 0x7]
|
|
!> (flop (ripn 3 0xff))
|
|
%+ expect-eq
|
|
!> ~[0x1 0xee 0xff]
|
|
!> (flop (ripn 8 0x1.eeff))
|
|
%+ expect-eq
|
|
!> ~[0x1 0xe 0xe 0xf 0xf]
|
|
!> (flop (ripn 4 0x1.eeff))
|
|
::
|
|
:: Typical use-cases
|
|
::
|
|
%+ expect-eq
|
|
!> ~[0x1 0x23.4567 0x89.abcd]
|
|
!> (flop (ripn 24 0x1.2345.6789.abcd))
|
|
::
|
|
:: Edge cases
|
|
::
|
|
%+ expect-eq
|
|
!> ~
|
|
!> (flop (ripn 31 0x0))
|
|
%+ expect-eq
|
|
!> ~
|
|
!> (flop (ripn 1 0x0))
|
|
::
|
|
:: Word boundaries
|
|
::
|
|
%+ expect-eq
|
|
!> ~[0x7fff.ffff]
|
|
!> (flop (ripn 31 0x7fff.ffff))
|
|
%+ expect-eq
|
|
!> ~[0x1 0x7fff.ffff]
|
|
!> (flop (ripn 31 0xffff.ffff))
|
|
%+ expect-eq
|
|
!> ~[0x3 0x7fff.ffff]
|
|
!> (flop (ripn 31 0x1.ffff.ffff))
|
|
%+ expect-eq
|
|
!> ~[0x3 0x7fff.ffff 0x7fff.ffff]
|
|
!> (flop (ripn 31 0xffff.ffff.ffff.ffff))
|
|
%+ expect-eq
|
|
!> ~[0x1 0x1.ffff 0x1.ffff]
|
|
!> (flop (ripn 17 0x7.ffff.ffff))
|
|
%+ expect-eq
|
|
!> ~[0x123 0x456 0x789 0xabc 0xdef 0x12 0x345 0x678]
|
|
!> (flop (ripn 12 0x1234.5678.9abc.def0.1234.5678))
|
|
==
|
|
::
|
|
--
|