1 2 3
require_extension(EXT_ZPSFOPERAND); reg_t rd = (reg_t)P_W(RS1, 0) * P_W(RS2, 0); P_64_PROFILE_END();