GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-01 04:14:24 +03:00
Code Issues Projects Releases Wiki Activity

Make joinWords lazier in its arguments

Browse Source
This commit is contained in:
Rob Dockins 2021-03-31 16:00:50 -07:00
parent 5d96829dcd
commit d4c3402496
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/Cryptol/Backend/WordValue.hs
View File

@ -312,16 +312,15 @@ joinWords :: forall sym.
-- small enough to pack
joinWords sym nParts nEach xs | nParts * nEach < largeBitSize =
loop (wordVal <$> wordLit sym 0 0) (enumerateSeqMap nParts xs)
do z <- wordLit sym 0 0
loop (wordVal z) (enumerateSeqMap nParts xs)
where
loop :: SEval sym (WordValue sym) -> [SEval sym (WordValue sym)] -> SEval sym (WordValue sym)
loop !wv [] =
let len = (nParts * nEach) in
delayWordValue sym len wv
loop :: WordValue sym -> [SEval sym (WordValue sym)] -> SEval sym (WordValue sym)
loop !wv [] = pure wv
loop !wv (w : ws) =
do w' <- w
let wv' = join (joinWordVal sym <$> wv <*> pure w')
do w' <- delayWordValue sym nEach w
wv' <- joinWordVal sym wv w'
loop wv' ws
-- too large to pack