Sha1.hs.sha1.rounds: def of bend-osdev-hashes@0.1.0.0 Import: import bend-osdev-hashes@0.1.0.0/sha1.bend as Sha1 Lines 26-258 of bend-osdev-hashes@0.1.0.0/sha1.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-hashes@0.1.0.0/sha1.bend&start_line=26&end_line=258 import Base import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs # BEGIN GENERATED by gen/rounds.py: sha1 def hs.sha1.rounds(x: Hs.HsW16, cv: Hs.HsW5) -> Hs.HsW5: match x cv: case Hs.HsW16{+x0, +x1, +x2, +x3, +x4, +x5, +x6, +x7, +x8, +x9, +x10, +x11, +x12, +x13, +x14, +x15} Hs.HsW5{+a0, +b0, +c0, +d0, +e0}: # steps 0 to 19 +v1 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(a0, 5n), hs.sha1.ch(b0, c0, d0)), e0), 1518500249), x0) +v2 = Hs.hs.rotl(b0, 30n) +v3 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v1, 5n), hs.sha1.ch(a0, v2, c0)), d0), 1518500249), x1) +v4 = Hs.hs.rotl(a0, 30n) +v5 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v3, 5n), hs.sha1.ch(v1, v4, v2)), c0), 1518500249), x2) +v6 = Hs.hs.rotl(v1, 30n) +v7 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v5, 5n), hs.sha1.ch(v3, v6, v4)), v2), 1518500249), x3) +v8 = Hs.hs.rotl(v3, 30n) +v9 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v7, 5n), hs.sha1.ch(v5, v8, v6)), v4), 1518500249), x4) +v10 = Hs.hs.rotl(v5, 30n) +v11 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v9, 5n), hs.sha1.ch(v7, v10, v8)), v6), 1518500249), x5) +v12 = Hs.hs.rotl(v7, 30n) +v13 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v11, 5n), hs.sha1.ch(v9, v12, v10)), v8), 1518500249), x6) +v14 = Hs.hs.rotl(v9, 30n) +v15 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v13, 5n), hs.sha1.ch(v11, v14, v12)), v10), 1518500249), x7) +v16 = Hs.hs.rotl(v11, 30n) +v17 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v15, 5n), hs.sha1.ch(v13, v16, v14)), v12), 1518500249), x8) +v18 = Hs.hs.rotl(v13, 30n) +v19 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v17, 5n), hs.sha1.ch(v15, v18, v16)), v14), 1518500249), x9) +v20 = Hs.hs.rotl(v15, 30n) +v21 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v19, 5n), hs.sha1.ch(v17, v20, v18)), v16), 1518500249), x10) +v22 = Hs.hs.rotl(v17, 30n) +v23 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v21, 5n), hs.sha1.ch(v19, v22, v20)), v18), 1518500249), x11) +v24 = Hs.hs.rotl(v19, 30n) +v25 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v23, 5n), hs.sha1.ch(v21, v24, v22)), v20), 1518500249), x12) +v26 = Hs.hs.rotl(v21, 30n) +v27 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v25, 5n), hs.sha1.ch(v23, v26, v24)), v22), 1518500249), x13) +v28 = Hs.hs.rotl(v23, 30n) +v29 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v27, 5n), hs.sha1.ch(v25, v28, v26)), v24), 1518500249), x14) +v30 = Hs.hs.rotl(v25, 30n) +v31 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v29, 5n), hs.sha1.ch(v27, v30, v28)), v26), 1518500249), x15) +v32 = Hs.hs.rotl(v27, 30n) +w16 = Hs.hs.rotl(U32.xor(U32.xor(x13, x8), U32.xor(x2, x0)), 1n) +v33 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v31, 5n), hs.sha1.ch(v29, v32, v30)), v28), 1518500249), w16) +v34 = Hs.hs.rotl(v29, 30n) +w17 = Hs.hs.rotl(U32.xor(U32.xor(x14, x9), U32.xor(x3, x1)), 1n) +v35 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v33, 5n), hs.sha1.ch(v31, v34, v32)), v30), 1518500249), w17) +v36 = Hs.hs.rotl(v31, 30n) +w18 = Hs.hs.rotl(U32.xor(U32.xor(x15, x10), U32.xor(x4, x2)), 1n) +v37 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v35, 5n), hs.sha1.ch(v33, v36, v34)), v32), 1518500249), w18) +v38 = Hs.hs.rotl(v33, 30n) +w19 = Hs.hs.rotl(U32.xor(U32.xor(w16, x11), U32.xor(x5, x3)), 1n) +v39 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v37, 5n), hs.sha1.ch(v35, v38, v36)), v34), 1518500249), w19) +v40 = Hs.hs.rotl(v35, 30n) # steps 20 to 39 +w20 = Hs.hs.rotl(U32.xor(U32.xor(w17, x12), U32.xor(x6, x4)), 1n) +v41 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v39, 5n), hs.sha1.parity(v37, v40, v38)), v36), 1859775393), w20) +v42 = Hs.hs.rotl(v37, 30n) +w21 = Hs.hs.rotl(U32.xor(U32.xor(w18, x13), U32.xor(x7, x5)), 1n) +v43 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v41, 5n), hs.sha1.parity(v39, v42, v40)), v38), 1859775393), w21) +v44 = Hs.hs.rotl(v39, 30n) +w22 = Hs.hs.rotl(U32.xor(U32.xor(w19, x14), U32.xor(x8, x6)), 1n) +v45 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v43, 5n), hs.sha1.parity(v41, v44, v42)), v40), 1859775393), w22) +v46 = Hs.hs.rotl(v41, 30n) +w23 = Hs.hs.rotl(U32.xor(U32.xor(w20, x15), U32.xor(x9, x7)), 1n) +v47 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v45, 5n), hs.sha1.parity(v43, v46, v44)), v42), 1859775393), w23) +v48 = Hs.hs.rotl(v43, 30n) +w24 = Hs.hs.rotl(U32.xor(U32.xor(w21, w16), U32.xor(x10, x8)), 1n) +v49 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v47, 5n), hs.sha1.parity(v45, v48, v46)), v44), 1859775393), w24) +v50 = Hs.hs.rotl(v45, 30n) +w25 = Hs.hs.rotl(U32.xor(U32.xor(w22, w17), U32.xor(x11, x9)), 1n) +v51 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v49, 5n), hs.sha1.parity(v47, v50, v48)), v46), 1859775393), w25) +v52 = Hs.hs.rotl(v47, 30n) +w26 = Hs.hs.rotl(U32.xor(U32.xor(w23, w18), U32.xor(x12, x10)), 1n) +v53 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v51, 5n), hs.sha1.parity(v49, v52, v50)), v48), 1859775393), w26) +v54 = Hs.hs.rotl(v49, 30n) +w27 = Hs.hs.rotl(U32.xor(U32.xor(w24, w19), U32.xor(x13, x11)), 1n) +v55 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v53, 5n), hs.sha1.parity(v51, v54, v52)), v50), 1859775393), w27) +v56 = Hs.hs.rotl(v51, 30n) +w28 = Hs.hs.rotl(U32.xor(U32.xor(w25, w20), U32.xor(x14, x12)), 1n) +v57 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v55, 5n), hs.sha1.parity(v53, v56, v54)), v52), 1859775393), w28) +v58 = Hs.hs.rotl(v53, 30n) +w29 = Hs.hs.rotl(U32.xor(U32.xor(w26, w21), U32.xor(x15, x13)), 1n) +v59 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v57, 5n), hs.sha1.parity(v55, v58, v56)), v54), 1859775393), w29) +v60 = Hs.hs.rotl(v55, 30n) +w30 = Hs.hs.rotl(U32.xor(U32.xor(w27, w22), U32.xor(w16, x14)), 1n) +v61 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v59, 5n), hs.sha1.parity(v57, v60, v58)), v56), 1859775393), w30) +v62 = Hs.hs.rotl(v57, 30n) +w31 = Hs.hs.rotl(U32.xor(U32.xor(w28, w23), U32.xor(w17, x15)), 1n) +v63 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v61, 5n), hs.sha1.parity(v59, v62, v60)), v58), 1859775393), w31) +v64 = Hs.hs.rotl(v59, 30n) +w32 = Hs.hs.rotl(U32.xor(U32.xor(w29, w24), U32.xor(w18, w16)), 1n) +v65 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v63, 5n), hs.sha1.parity(v61, v64, v62)), v60), 1859775393), w32) +v66 = Hs.hs.rotl(v61, 30n) +w33 = Hs.hs.rotl(U32.xor(U32.xor(w30, w25), U32.xor(w19, w17)), 1n) +v67 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v65, 5n), hs.sha1.parity(v63, v66, v64)), v62), 1859775393), w33) +v68 = Hs.hs.rotl(v63, 30n) +w34 = Hs.hs.rotl(U32.xor(U32.xor(w31, w26), U32.xor(w20, w18)), 1n) +v69 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v67, 5n), hs.sha1.parity(v65, v68, v66)), v64), 1859775393), w34) +v70 = Hs.hs.rotl(v65, 30n) +w35 = Hs.hs.rotl(U32.xor(U32.xor(w32, w27), U32.xor(w21, w19)), 1n) +v71 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v69, 5n), hs.sha1.parity(v67, v70, v68)), v66), 1859775393), w35) +v72 = Hs.hs.rotl(v67, 30n) +w36 = Hs.hs.rotl(U32.xor(U32.xor(w33, w28), U32.xor(w22, w20)), 1n) +v73 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v71, 5n), hs.sha1.parity(v69, v72, v70)), v68), 1859775393), w36) +v74 = Hs.hs.rotl(v69, 30n) +w37 = Hs.hs.rotl(U32.xor(U32.xor(w34, w29), U32.xor(w23, w21)), 1n) +v75 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v73, 5n), hs.sha1.parity(v71, v74, v72)), v70), 1859775393), w37) +v76 = Hs.hs.rotl(v71, 30n) +w38 = Hs.hs.rotl(U32.xor(U32.xor(w35, w30), U32.xor(w24, w22)), 1n) +v77 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v75, 5n), hs.sha1.parity(v73, v76, v74)), v72), 1859775393), w38) +v78 = Hs.hs.rotl(v73, 30n) +w39 = Hs.hs.rotl(U32.xor(U32.xor(w36, w31), U32.xor(w25, w23)), 1n) +v79 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v77, 5n), hs.sha1.parity(v75, v78, v76)), v74), 1859775393), w39) +v80 = Hs.hs.rotl(v75, 30n) # steps 40 to 59 +w40 = Hs.hs.rotl(U32.xor(U32.xor(w37, w32), U32.xor(w26, w24)), 1n) +v81 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v79, 5n), hs.sha1.maj(v77, v80, v78)), v76), 2400959708), w40) +v82 = Hs.hs.rotl(v77, 30n) +w41 = Hs.hs.rotl(U32.xor(U32.xor(w38, w33), U32.xor(w27, w25)), 1n) +v83 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v81, 5n), hs.sha1.maj(v79, v82, v80)), v78), 2400959708), w41) +v84 = Hs.hs.rotl(v79, 30n) +w42 = Hs.hs.rotl(U32.xor(U32.xor(w39, w34), U32.xor(w28, w26)), 1n) +v85 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v83, 5n), hs.sha1.maj(v81, v84, v82)), v80), 2400959708), w42) +v86 = Hs.hs.rotl(v81, 30n) +w43 = Hs.hs.rotl(U32.xor(U32.xor(w40, w35), U32.xor(w29, w27)), 1n) +v87 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v85, 5n), hs.sha1.maj(v83, v86, v84)), v82), 2400959708), w43) +v88 = Hs.hs.rotl(v83, 30n) +w44 = Hs.hs.rotl(U32.xor(U32.xor(w41, w36), U32.xor(w30, w28)), 1n) +v89 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v87, 5n), hs.sha1.maj(v85, v88, v86)), v84), 2400959708), w44) +v90 = Hs.hs.rotl(v85, 30n) +w45 = Hs.hs.rotl(U32.xor(U32.xor(w42, w37), U32.xor(w31, w29)), 1n) +v91 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v89, 5n), hs.sha1.maj(v87, v90, v88)), v86), 2400959708), w45) +v92 = Hs.hs.rotl(v87, 30n) +w46 = Hs.hs.rotl(U32.xor(U32.xor(w43, w38), U32.xor(w32, w30)), 1n) +v93 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v91, 5n), hs.sha1.maj(v89, v92, v90)), v88), 2400959708), w46) +v94 = Hs.hs.rotl(v89, 30n) +w47 = Hs.hs.rotl(U32.xor(U32.xor(w44, w39), U32.xor(w33, w31)), 1n) +v95 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v93, 5n), hs.sha1.maj(v91, v94, v92)), v90), 2400959708), w47) +v96 = Hs.hs.rotl(v91, 30n) +w48 = Hs.hs.rotl(U32.xor(U32.xor(w45, w40), U32.xor(w34, w32)), 1n) +v97 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v95, 5n), hs.sha1.maj(v93, v96, v94)), v92), 2400959708), w48) +v98 = Hs.hs.rotl(v93, 30n) +w49 = Hs.hs.rotl(U32.xor(U32.xor(w46, w41), U32.xor(w35, w33)), 1n) +v99 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v97, 5n), hs.sha1.maj(v95, v98, v96)), v94), 2400959708), w49) +v100 = Hs.hs.rotl(v95, 30n) +w50 = Hs.hs.rotl(U32.xor(U32.xor(w47, w42), U32.xor(w36, w34)), 1n) +v101 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v99, 5n), hs.sha1.maj(v97, v100, v98)), v96), 2400959708), w50) +v102 = Hs.hs.rotl(v97, 30n) +w51 = Hs.hs.rotl(U32.xor(U32.xor(w48, w43), U32.xor(w37, w35)), 1n) +v103 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v101, 5n), hs.sha1.maj(v99, v102, v100)), v98), 2400959708), w51) +v104 = Hs.hs.rotl(v99, 30n) +w52 = Hs.hs.rotl(U32.xor(U32.xor(w49, w44), U32.xor(w38, w36)), 1n) +v105 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v103, 5n), hs.sha1.maj(v101, v104, v102)), v100), 2400959708), w52) +v106 = Hs.hs.rotl(v101, 30n) +w53 = Hs.hs.rotl(U32.xor(U32.xor(w50, w45), U32.xor(w39, w37)), 1n) +v107 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v105, 5n), hs.sha1.maj(v103, v106, v104)), v102), 2400959708), w53) +v108 = Hs.hs.rotl(v103, 30n) +w54 = Hs.hs.rotl(U32.xor(U32.xor(w51, w46), U32.xor(w40, w38)), 1n) +v109 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v107, 5n), hs.sha1.maj(v105, v108, v106)), v104), 2400959708), w54) +v110 = Hs.hs.rotl(v105, 30n) +w55 = Hs.hs.rotl(U32.xor(U32.xor(w52, w47), U32.xor(w41, w39)), 1n) +v111 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v109, 5n), hs.sha1.maj(v107, v110, v108)), v106), 2400959708), w55) +v112 = Hs.hs.rotl(v107, 30n) +w56 = Hs.hs.rotl(U32.xor(U32.xor(w53, w48), U32.xor(w42, w40)), 1n) +v113 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v111, 5n), hs.sha1.maj(v109, v112, v110)), v108), 2400959708), w56) +v114 = Hs.hs.rotl(v109, 30n) +w57 = Hs.hs.rotl(U32.xor(U32.xor(w54, w49), U32.xor(w43, w41)), 1n) +v115 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v113, 5n), hs.sha1.maj(v111, v114, v112)), v110), 2400959708), w57) +v116 = Hs.hs.rotl(v111, 30n) +w58 = Hs.hs.rotl(U32.xor(U32.xor(w55, w50), U32.xor(w44, w42)), 1n) +v117 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v115, 5n), hs.sha1.maj(v113, v116, v114)), v112), 2400959708), w58) +v118 = Hs.hs.rotl(v113, 30n) +w59 = Hs.hs.rotl(U32.xor(U32.xor(w56, w51), U32.xor(w45, w43)), 1n) +v119 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v117, 5n), hs.sha1.maj(v115, v118, v116)), v114), 2400959708), w59) +v120 = Hs.hs.rotl(v115, 30n) # steps 60 to 79 +w60 = Hs.hs.rotl(U32.xor(U32.xor(w57, w52), U32.xor(w46, w44)), 1n) +v121 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v119, 5n), hs.sha1.parity(v117, v120, v118)), v116), 3395469782), w60) +v122 = Hs.hs.rotl(v117, 30n) +w61 = Hs.hs.rotl(U32.xor(U32.xor(w58, w53), U32.xor(w47, w45)), 1n) +v123 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v121, 5n), hs.sha1.parity(v119, v122, v120)), v118), 3395469782), w61) +v124 = Hs.hs.rotl(v119, 30n) +w62 = Hs.hs.rotl(U32.xor(U32.xor(w59, w54), U32.xor(w48, w46)), 1n) +v125 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v123, 5n), hs.sha1.parity(v121, v124, v122)), v120), 3395469782), w62) +v126 = Hs.hs.rotl(v121, 30n) +w63 = Hs.hs.rotl(U32.xor(U32.xor(w60, w55), U32.xor(w49, w47)), 1n) +v127 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v125, 5n), hs.sha1.parity(v123, v126, v124)), v122), 3395469782), w63) +v128 = Hs.hs.rotl(v123, 30n) +w64 = Hs.hs.rotl(U32.xor(U32.xor(w61, w56), U32.xor(w50, w48)), 1n) +v129 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v127, 5n), hs.sha1.parity(v125, v128, v126)), v124), 3395469782), w64) +v130 = Hs.hs.rotl(v125, 30n) +w65 = Hs.hs.rotl(U32.xor(U32.xor(w62, w57), U32.xor(w51, w49)), 1n) +v131 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v129, 5n), hs.sha1.parity(v127, v130, v128)), v126), 3395469782), w65) +v132 = Hs.hs.rotl(v127, 30n) +w66 = Hs.hs.rotl(U32.xor(U32.xor(w63, w58), U32.xor(w52, w50)), 1n) +v133 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v131, 5n), hs.sha1.parity(v129, v132, v130)), v128), 3395469782), w66) +v134 = Hs.hs.rotl(v129, 30n) +w67 = Hs.hs.rotl(U32.xor(U32.xor(w64, w59), U32.xor(w53, w51)), 1n) +v135 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v133, 5n), hs.sha1.parity(v131, v134, v132)), v130), 3395469782), w67) +v136 = Hs.hs.rotl(v131, 30n) +w68 = Hs.hs.rotl(U32.xor(U32.xor(w65, w60), U32.xor(w54, w52)), 1n) +v137 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v135, 5n), hs.sha1.parity(v133, v136, v134)), v132), 3395469782), w68) +v138 = Hs.hs.rotl(v133, 30n) +w69 = Hs.hs.rotl(U32.xor(U32.xor(w66, w61), U32.xor(w55, w53)), 1n) +v139 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v137, 5n), hs.sha1.parity(v135, v138, v136)), v134), 3395469782), w69) +v140 = Hs.hs.rotl(v135, 30n) +w70 = Hs.hs.rotl(U32.xor(U32.xor(w67, w62), U32.xor(w56, w54)), 1n) +v141 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v139, 5n), hs.sha1.parity(v137, v140, v138)), v136), 3395469782), w70) +v142 = Hs.hs.rotl(v137, 30n) +w71 = Hs.hs.rotl(U32.xor(U32.xor(w68, w63), U32.xor(w57, w55)), 1n) +v143 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v141, 5n), hs.sha1.parity(v139, v142, v140)), v138), 3395469782), w71) +v144 = Hs.hs.rotl(v139, 30n) +w72 = Hs.hs.rotl(U32.xor(U32.xor(w69, w64), U32.xor(w58, w56)), 1n) +v145 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v143, 5n), hs.sha1.parity(v141, v144, v142)), v140), 3395469782), w72) +v146 = Hs.hs.rotl(v141, 30n) +w73 = Hs.hs.rotl(U32.xor(U32.xor(w70, w65), U32.xor(w59, w57)), 1n) +v147 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v145, 5n), hs.sha1.parity(v143, v146, v144)), v142), 3395469782), w73) +v148 = Hs.hs.rotl(v143, 30n) +w74 = Hs.hs.rotl(U32.xor(U32.xor(w71, w66), U32.xor(w60, w58)), 1n) +v149 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v147, 5n), hs.sha1.parity(v145, v148, v146)), v144), 3395469782), w74) +v150 = Hs.hs.rotl(v145, 30n) +w75 = Hs.hs.rotl(U32.xor(U32.xor(w72, w67), U32.xor(w61, w59)), 1n) +v151 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v149, 5n), hs.sha1.parity(v147, v150, v148)), v146), 3395469782), w75) +v152 = Hs.hs.rotl(v147, 30n) +w76 = Hs.hs.rotl(U32.xor(U32.xor(w73, w68), U32.xor(w62, w60)), 1n) +v153 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v151, 5n), hs.sha1.parity(v149, v152, v150)), v148), 3395469782), w76) +v154 = Hs.hs.rotl(v149, 30n) +w77 = Hs.hs.rotl(U32.xor(U32.xor(w74, w69), U32.xor(w63, w61)), 1n) +v155 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v153, 5n), hs.sha1.parity(v151, v154, v152)), v150), 3395469782), w77) +v156 = Hs.hs.rotl(v151, 30n) +w78 = Hs.hs.rotl(U32.xor(U32.xor(w75, w70), U32.xor(w64, w62)), 1n) +v157 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v155, 5n), hs.sha1.parity(v153, v156, v154)), v152), 3395469782), w78) +v158 = Hs.hs.rotl(v153, 30n) +w79 = Hs.hs.rotl(U32.xor(U32.xor(w76, w71), U32.xor(w65, w63)), 1n) +v159 = U32.add(U32.add(U32.add(U32.add(Hs.hs.rotl(v157, 5n), hs.sha1.parity(v155, v158, v156)), v154), 3395469782), w79) +v160 = Hs.hs.rotl(v155, 30n) Hs.HsW5{U32.add(a0, v159), U32.add(b0, v157), U32.add(c0, v160), U32.add(d0, v158), U32.add(e0, v156)} Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.xor https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=HsW16 https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=HsW5 https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=hs.rotl https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/sha1.bend&name=hs.sha1.ch https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/sha1.bend&name=hs.sha1.maj https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/sha1.bend&name=hs.sha1.parity