let S : bits(32) = aes_subword_fwd(aes_get_column(x, 0));

v20, v16 add amp, akp, astride; flw ft3, (amp); add amp, amp, astride vfmacc.vf v5, ft5, v16 flw ft12, (amp) add amp, amp, astride vfmacc.vf v15,

credential