-rw-r--r-- 1074 lib25519-20221222/crypto_hashblocks/sha512/avx2/round1213.q raw
    r3 += wc12131415[0]
      r0Sigma1 = r0>>>14
    ch3 = r2
      r018 = r0>>>18
    ch3 ^= r1
      r041 = r0>>>41
      r0Sigma1 ^= r018
    ch3 &= r0
      r4Sigma0 = r4>>>28
      r0Sigma1 ^= r041
    ch3 ^= r2
      r434 = r4>>>34
  maj2 = r5
  maj2 ^= r4
      r4Sigma0 ^= r434
    r3 += ch3
  r4andr5 = r5
      r439 = r4>>>39
  r4andr5 &= r4
      r4Sigma0 ^= r439
      r3 += r0Sigma1
  maj3 = r6
            r2 += wc12131415[1]
  maj3 &= maj2
  r7 += r3
      r3 += r4Sigma0
            ch2 = r1
  maj3 ^= r4andr5
            ch2 ^= r0
          r7Sigma1 = r7>>>14
  r3 += maj3
            ch2 &= r7
              r718 = r7>>>18
              r7Sigma1 ^= r718
          maj2 &= r3
            ch2 ^= r1
              r741 = r7>>>41
              r7Sigma1 ^= r741
              r3Sigma0 = r3>>>28
          maj2 ^= r4andr5
            r2 += ch2
              r2 += r7Sigma1
              r334 = r3>>>34
              r3Sigma0 ^= r334
          r6 += r2
          r2 += maj2
              r339 = r3>>>39
              r3Sigma0 ^= r339
              r2 += r3Sigma0