w4i @ u_w3 @ u_w2 @ w1i @ w0i} : bits(256) = get_velem(vs1, 256, i); // Byte Swap inputs from big-endian to little-endian let w15 = rev8(w[15]); let w14 = rev8(w[14]); let w13 = rev8(w[13]); let w12 = rev8(w[12]); let w11 = rev8(w[11]); let w10 = rev8(w[10]); let w9 = rev8(w[9]); let w8 = rev8(w[8]); let w7 = rev8(w[7]); let w6 = rev8(w[6]); let w5 = rev8(w[5]); let w4 = : bits(32) = 0; let S : bits(32) = ic0[31..24] @ ic3[23..16] @ ic0[15.. 8] @ ic2[ 7.. 0]; (oc3 @ oc2 @ oc1 @ oc0) /* Return Value */ } Listing 22.
police