-rwxr-xr-x 284 lib25519-20220426/crypto_hashblocks/sha512/avx2/inner.S.do raw
#!/bin/sh

cpp \
| qhasm-amd64avx \
| sed 's/\<inner\>/CRYPTO_NAMESPACE(inner)/' \
| sed 's/\<_inner\>/_CRYPTO_NAMESPACE(inner)/' \
| sed 's/^\.p2align 5/.p2align 7/' \
| awk '{
  found = 0
  if (!found && $0 == "and $31,%r11") {
    found = 1
    $0 = "and $511,%r11"
  }
  print
}'