Lines Matching refs:rightV
14762 IRTemp rightV = newTemp(Ity_V128);
14770 assign( rightV, mkV128from32s( s3, s1, d3, d1 ) );
14775 mkexpr(rm), mkexpr(leftV), mkexpr(rightV) ) );
14784 IRTemp rightV = newTemp(Ity_V128);
14792 assign( rightV, binop(Iop_64HLtoV128, mkexpr(s1), mkexpr(d1)) );
14797 mkexpr(rm), mkexpr(leftV), mkexpr(rightV) ) );