def last31

bend-collections@1.0.0.0 · src/crypto/blake/blake2b/blake2b.bend:149

import Base
import bend-collections@1.0.0.0/src/crypto/blake/blake2b/types.bend as T
import bend-collections@1.0.0.0/src/crypto/blake/blake2b/compress.bend as F

149def last31(+remain: Nat, +index: U32, t: T.Counter, h: T.Chain, w0: U32, w1: U32, w2: U32, w3: U32, w4: U32, w5: U32, w6: U32, w7: U32, w8: U32, w9: U32, w10: U32, w11: U32, w12: U32, w13: U32, w14: U32, w15: U32, w16: U32, w17: U32, w18: U32, w19: U32, w20: U32, w21: U32, w22: U32, w23: U32, w24: U32, w25: U32, w26: U32, w27: U32, w28: U32, w29: U32, w30: U32, pair: Array<U32> & U32) -> T.Chain:
150  (a,w31) = pair
151  F.compress_last(h,t,mask(w0,0n,remain),mask(w1,4n,remain),mask(w2,8n,remain),mask(w3,12n,remain),mask(w4,16n,remain),mask(w5,20n,remain),mask(w6,24n,remain),mask(w7,28n,remain),mask(w8,32n,remain),mask(w9,36n,remain),mask(w10,40n,remain),mask(w11,44n,remain),mask(w12,48n,remain),mask(w13,52n,remain),mask(w14,56n,remain),mask(w15,60n,remain),mask(w16,64n,remain),mask(w17,68n,remain),mask(w18,72n,remain),mask(w19,76n,remain),mask(w20,80n,remain),mask(w21,84n,remain),mask(w22,88n,remain),mask(w23,92n,remain),mask(w24,96n,remain),mask(w25,100n,remain),mask(w26,104n,remain),mask(w27,108n,remain),mask(w28,112n,remain),mask(w29,116n,remain),mask(w30,120n,remain),mask(w31,124n,remain))