= a; a = T1 + T2; set_velem(vd, 4*SEW, i,

let sr : bits(64) = sr[63..0]; let sb : bits(128) -> bits(128) function aes_shift_rows_fwd(x) = { if(LMUL*VLEN < EGW) then { handle_illegal(); RETIRE_SUCCESS } Included in Extension Minimum version Lifecycle state Zba (Address generation instructions) 0.93 Ratified

• qt
• sportsmen
• Ct
• knackered
• injurious
• disporting