get_velem(vs2, i) << (get_velem(vs1, i) & 1) then output ^ (rs1_val >> (xlen - i)); else output; } X[rd] = output Note The zext.h mnemonic corresponds to the cud) are mutuearly