SHA512ROUND_NO_UPDATE(V4, V2, V0, V1, V3, V29, V25, V13) SHA512ROUND_NO_UPDATE(V1, V4, V3, V0, V2, V30, V26, V14) SHA512ROUND_NO_UPDATE(V0, V1, V2, V3, V4, V31, V27, V15) SHA512ROUND_LAST(V3, V0, V4, V2, V1, V24, V16) SHA512ROUND_LAST(V2, V3, V1, V4, V0, V25, V17) SHA512ROUND_LAST(V4, V2, V0, V1, V3, V26, V18) SHA512ROUND_LAST(V1, V4, V3, V0, V2, V27, V19) // add result to digest VADD V0.D2, V8.D2, V8.D2 VADD V1.D2, V9.D2, V9.D2 VADD V2.D2, V10.D2, V10.D2 VADD V3.D2, V11.D2, V11.D2 SUB $128, R2 CBNZ...