|
1 |
| -{-# language LambdaCase #-} |
2 |
| -{-# language OverloadedStrings #-} |
| 1 | +{-# LANGUAGE OverloadedStrings #-} |
3 | 2 |
|
4 | 3 | import Data.Primitive (ByteArray)
|
5 | 4 | import Data.Word (Word64)
|
6 |
| -import Gauge (bgroup,bench,whnf) |
| 5 | +import Gauge (bench, bgroup, whnf) |
7 | 6 | import Gauge.Main (defaultMain)
|
8 | 7 |
|
9 | 8 | import qualified Arithmetic.Nat as Nat
|
10 | 9 | import qualified Data.Bytes.Builder as B
|
11 | 10 | import qualified Data.Bytes.Builder.Bounded as U
|
12 | 11 |
|
13 | 12 | import qualified Cell
|
14 |
| -import qualified SimpleCsv |
15 | 13 | import qualified HexWord64
|
| 14 | +import qualified SimpleCsv |
16 | 15 | import qualified Word16Tree
|
17 | 16 |
|
18 | 17 | main :: IO ()
|
19 |
| -main = defaultMain |
20 |
| - [ bgroup "w64" |
21 |
| - [ bgroup "hex" |
22 |
| - [ bench "library" (whnf encodeHexWord64s w64s) |
23 |
| - , bench "loop" (whnf encodeHexWord64sLoop w64s) |
24 |
| - ] |
| 18 | +main = |
| 19 | + defaultMain |
| 20 | + [ bgroup |
| 21 | + "w64" |
| 22 | + [ bgroup |
| 23 | + "hex" |
| 24 | + [ bench "library" (whnf encodeHexWord64s w64s) |
| 25 | + , bench "loop" (whnf encodeHexWord64sLoop w64s) |
| 26 | + ] |
| 27 | + ] |
| 28 | + , bgroup |
| 29 | + "unbounded" |
| 30 | + [ bench "csv-no-escape" $ |
| 31 | + whnf |
| 32 | + (\x -> B.run 4080 (SimpleCsv.encodeRows x)) |
| 33 | + Cell.cells |
| 34 | + , bench "word-16-tree-small" $ |
| 35 | + whnf |
| 36 | + (\x -> B.run 4080 (Word16Tree.encode x)) |
| 37 | + Word16Tree.exampleSmall |
| 38 | + , bench "word-16-tree-2000" $ |
| 39 | + whnf |
| 40 | + (\x -> B.run ((4096 * 16) - 16) (Word16Tree.encode x)) |
| 41 | + Word16Tree.example2000 |
| 42 | + , bench "word-16-tree-9000" $ |
| 43 | + whnf |
| 44 | + (\x -> B.run ((4096 * 64) - 16) (Word16Tree.encode x)) |
| 45 | + Word16Tree.example9000 |
| 46 | + ] |
25 | 47 | ]
|
26 |
| - , bgroup "unbounded" |
27 |
| - [ bench "csv-no-escape" $ whnf |
28 |
| - (\x -> B.run 4080 (SimpleCsv.encodeRows x)) |
29 |
| - Cell.cells |
30 |
| - , bench "word-16-tree-small" $ whnf |
31 |
| - (\x -> B.run 4080 (Word16Tree.encode x)) |
32 |
| - Word16Tree.exampleSmall |
33 |
| - , bench "word-16-tree-2000" $ whnf |
34 |
| - (\x -> B.run ((4096 * 16) - 16) (Word16Tree.encode x)) |
35 |
| - Word16Tree.example2000 |
36 |
| - , bench "word-16-tree-9000" $ whnf |
37 |
| - (\x -> B.run ((4096 * 64) - 16) (Word16Tree.encode x)) |
38 |
| - Word16Tree.example9000 |
39 |
| - ] |
40 |
| - ] |
41 | 48 |
|
42 | 49 | w64s :: Word64s
|
43 |
| -w64s = Word64s |
44 |
| - 0xde2b8a480cf77113 |
45 |
| - 0x48f1668ca2a68b45 |
46 |
| - 0xd262fbaa0b2f473c |
47 |
| - 0xbab20547f4919d9f |
48 |
| - 0xb7ec16121704db43 |
49 |
| - 0x9c259f5bfa90e1eb |
50 |
| - 0xd451eca11d9873ad |
51 |
| - 0xbd927e8d4c879d02 |
| 50 | +w64s = |
| 51 | + Word64s |
| 52 | + 0xde2b8a480cf77113 |
| 53 | + 0x48f1668ca2a68b45 |
| 54 | + 0xd262fbaa0b2f473c |
| 55 | + 0xbab20547f4919d9f |
| 56 | + 0xb7ec16121704db43 |
| 57 | + 0x9c259f5bfa90e1eb |
| 58 | + 0xd451eca11d9873ad |
| 59 | + 0xbd927e8d4c879d02 |
52 | 60 |
|
53 |
| -data Word64s = Word64s |
54 |
| - !Word64 !Word64 !Word64 !Word64 |
55 |
| - !Word64 !Word64 !Word64 !Word64 |
| 61 | +data Word64s |
| 62 | + = Word64s |
| 63 | + !Word64 |
| 64 | + !Word64 |
| 65 | + !Word64 |
| 66 | + !Word64 |
| 67 | + !Word64 |
| 68 | + !Word64 |
| 69 | + !Word64 |
| 70 | + !Word64 |
56 | 71 |
|
57 | 72 | encodeHexWord64s :: Word64s -> ByteArray
|
58 |
| -{-# noinline encodeHexWord64s #-} |
59 |
| -encodeHexWord64s (Word64s a b c d e f g h) = U.run Nat.constant $ |
60 |
| - U.word64PaddedUpperHex a `U.append` |
61 |
| - U.word64PaddedUpperHex b `U.append` |
62 |
| - U.word64PaddedUpperHex c `U.append` |
63 |
| - U.word64PaddedUpperHex d `U.append` |
64 |
| - U.word64PaddedUpperHex e `U.append` |
65 |
| - U.word64PaddedUpperHex f `U.append` |
66 |
| - U.word64PaddedUpperHex g `U.append` |
67 |
| - U.word64PaddedUpperHex h |
| 73 | +{-# NOINLINE encodeHexWord64s #-} |
| 74 | +encodeHexWord64s (Word64s a b c d e f g h) = |
| 75 | + U.run Nat.constant $ |
| 76 | + U.word64PaddedUpperHex a |
| 77 | + `U.append` U.word64PaddedUpperHex b |
| 78 | + `U.append` U.word64PaddedUpperHex c |
| 79 | + `U.append` U.word64PaddedUpperHex d |
| 80 | + `U.append` U.word64PaddedUpperHex e |
| 81 | + `U.append` U.word64PaddedUpperHex f |
| 82 | + `U.append` U.word64PaddedUpperHex g |
| 83 | + `U.append` U.word64PaddedUpperHex h |
68 | 84 |
|
69 | 85 | encodeHexWord64sLoop :: Word64s -> ByteArray
|
70 |
| -{-# noinline encodeHexWord64sLoop #-} |
71 |
| -encodeHexWord64sLoop (Word64s a b c d e f g h) = U.run Nat.constant $ |
72 |
| - HexWord64.word64PaddedUpperHex a `U.append` |
73 |
| - HexWord64.word64PaddedUpperHex b `U.append` |
74 |
| - HexWord64.word64PaddedUpperHex c `U.append` |
75 |
| - HexWord64.word64PaddedUpperHex d `U.append` |
76 |
| - HexWord64.word64PaddedUpperHex e `U.append` |
77 |
| - HexWord64.word64PaddedUpperHex f `U.append` |
78 |
| - HexWord64.word64PaddedUpperHex g `U.append` |
79 |
| - HexWord64.word64PaddedUpperHex h |
80 |
| - |
| 86 | +{-# NOINLINE encodeHexWord64sLoop #-} |
| 87 | +encodeHexWord64sLoop (Word64s a b c d e f g h) = |
| 88 | + U.run Nat.constant $ |
| 89 | + HexWord64.word64PaddedUpperHex a |
| 90 | + `U.append` HexWord64.word64PaddedUpperHex b |
| 91 | + `U.append` HexWord64.word64PaddedUpperHex c |
| 92 | + `U.append` HexWord64.word64PaddedUpperHex d |
| 93 | + `U.append` HexWord64.word64PaddedUpperHex e |
| 94 | + `U.append` HexWord64.word64PaddedUpperHex f |
| 95 | + `U.append` HexWord64.word64PaddedUpperHex g |
| 96 | + `U.append` HexWord64.word64PaddedUpperHex h |
0 commit comments