[PATCH v3] Support Intel SHA512

[Jiang, Haochen]

> Thanks for making those adjustments. I'm not happy to approve new
> testcases going in with (apparently) superfluous content. I'll leave approving
> to H.J.

Hi Jan,

We decided to drop those lines after discussion. I will commit those patches
with "#as:" and ".allow_index_reg" removed.

Also, I will write a patch to remove those lines in other test files.

Thx,
Haochen

> in that case, in the expectation that he'll weigh both perspectives.
> 
> Jan