Lines Matching refs:vRM
2335 IRAtom* binary64Fx2_w_rm ( MCEnv* mce, IRAtom* vRM, in binary64Fx2_w_rm() argument
2346 IRAtom* t2 = mkPCastTo(mce, Ity_V128, vRM); in binary64Fx2_w_rm()
2355 IRAtom* binary32Fx4_w_rm ( MCEnv* mce, IRAtom* vRM, in binary32Fx4_w_rm() argument
2360 IRAtom* t2 = mkPCastTo(mce, Ity_V128, vRM); in binary32Fx4_w_rm()
2369 IRAtom* binary64Fx4_w_rm ( MCEnv* mce, IRAtom* vRM, in binary64Fx4_w_rm() argument
2374 IRAtom* t2 = mkPCastTo(mce, Ity_V256, vRM); in binary64Fx4_w_rm()
2383 IRAtom* binary32Fx8_w_rm ( MCEnv* mce, IRAtom* vRM, in binary32Fx8_w_rm() argument
2388 IRAtom* t2 = mkPCastTo(mce, Ity_V256, vRM); in binary32Fx8_w_rm()
2397 IRAtom* unary64Fx2_w_rm ( MCEnv* mce, IRAtom* vRM, IRAtom* vatomX ) in unary64Fx2_w_rm() argument
2403 IRAtom* t2 = mkPCastTo(mce, Ity_V128, vRM); in unary64Fx2_w_rm()
2412 IRAtom* unary32Fx4_w_rm ( MCEnv* mce, IRAtom* vRM, IRAtom* vatomX ) in unary32Fx4_w_rm() argument
2417 IRAtom* t2 = mkPCastTo(mce, Ity_V128, vRM); in unary32Fx4_w_rm()