-rw-r--r-- 3309 lib25519-20221222/crypto_hashblocks/sha512/avx2/rer4.q raw
            X5 = mem256[&w + 40]
            4x X5right1 = X5 unsigned>> 1
      r0Sigma1 = r0>>>14
    r3 += wc12131415[0]
    ch3 = r2
    ch3 ^= r1

            4x X5left63 = X5 << 63
      r018 = r0>>>18
    ch3 &= r0
  maj2 = r5
  maj2 ^= r4

            X5sigma0 = X5right1 ^ X5left63
      r041 = r0>>>41
      r0Sigma1 ^= r018
    ch3 ^= r2

            4x X5right8 = X5 unsigned>> 8
      r0Sigma1 ^= r041
      r4Sigma0 = r4>>>28
    r3 += ch3

            X5sigma0 = X5sigma0 ^ X5right8
      r434 = r4>>>34
      r3 += r0Sigma1
  maj3 = r6
  maj3 &= maj2

            W2 = mem128[&w + 16],0
            2x,0 W2right19 = W2 unsigned>> 19
      r4Sigma0 ^= r434
      r439 = r4>>>39
  r7 += r3

            4x X5left56 = X5 << 56
      r4Sigma0 ^= r439
    r2 += wc12131415[1]
  r4andr5 = r5
  r4andr5 &= r4

            2x,0 W2left45 = W2 << 45
      r3 += r4Sigma0
  maj3 ^= r4andr5
    ch2 = r1
    ch2 ^= r0

            X5sigma0 = X5sigma0 ^ X5left56
            2x,0 W2right61 = W2 unsigned>> 61
      r7Sigma1 = r7>>>14
  r3 += maj3

            4x X5right7 = X5 unsigned>> 7
            1x,0 W2sigma1 = W2right19 ^ W2left45
      r718 = r7>>>18
    ch2 &= r7

            X5sigma0 = X5sigma0 ^ X5right7
      r7Sigma1 ^= r718
      r741 = r7>>>41
  maj2 &= r3

            1x,0 W2sigma1 ^= W2right61
            4x X4 = X4 + mem256[&w + 104]
      r7Sigma1 ^= r741
  maj2 ^= r4andr5

            2x,0 W2left3 = W2 << 3
      r3Sigma0 = r3>>>28
    ch2 ^= r1
      r2 += r7Sigma1

            4x X4 = X4 + X5sigma0
      r334 = r3>>>34
    r1 += wc12131415[2]
    r2 += ch2

            1x,0 W2sigma1 ^= W2left3
      r3Sigma0 ^= r334
      r339 = r3>>>39
  r6 += r2

            2x,0 W2right6 = W2 unsigned>> 6
      r3Sigma0 ^= r339
  r2 += maj2
    ch1 = r0
    ch1 ^= r7

            1x,0 W2sigma1 ^= W2right6
      r2 += r3Sigma0
      r6Sigma1 = r6>>>14
    ch1 &= r6

            4x X4 = W2sigma1 + X4
      r618 = r6>>>18
      r641 = r6>>>41
    ch1 ^= r0

            2x,0 W4right19 = X4 unsigned>> 19
      r6Sigma1 ^= r618
      r2Sigma0 = r2>>>28
    r1 += ch1

            2x,0 W4left45 = X4 << 45
      r6Sigma1 ^= r641
      r234 = r2>>>34
  maj0 = r3
  maj0 ^= r2

            2x,0 W4right61 = X4 unsigned>> 61
            1x,0 W4sigma1 = W4right19 ^ W4left45
      r2Sigma0 ^= r234
      r239 = r2>>>39

            2x,0 W4left3 = X4 << 3
            1x,0 W4sigma1 ^= W4right61
      r2Sigma0 ^= r239
      r1 += r6Sigma1

            2x,0 W4right6 = X4 unsigned>> 6
            1x,0 W4sigma1 ^= W4left3
  r5 += r1
  r2andr3 = r3
  r2andr3 &= r2

            1x,0 W4sigma1 ^= W4right6
      r5Sigma1 = r5>>>14
      r1 += r2Sigma0
  maj1 = r4
  maj1 &= maj0

            W4sigma1 = W4sigma1[1],W4sigma1[0]
  maj1 ^= r2andr3
    ch0 = r7
    ch0 ^= r6

  r1 += maj1
    ch0 &= r5
      r518 = r5>>>18

  maj0 &= r1
    ch0 ^= r7
    r0 += wc12131415[3]
      r5Sigma1 ^= r518

      r541 = r5>>>41
            4x X4 = X4 + W4sigma1
            mem256[&w + 32] = X4
    r0 += ch0
  maj0 ^= r2andr3

      r1Sigma0 = r1>>>28
            4x D4 = X4 + mem256[constants + 32]
            wc4567 = D4
      r134 = r1>>>34
      r5Sigma1 ^= r541

      r0 += r5Sigma1
      r1Sigma0 ^= r134
      r139 = r1>>>39

  r4 += r0
  r0 += maj0
      r1Sigma0 ^= r139

      r0 += r1Sigma0