[PATCH, vectorizer]: Take3: Vectorize FP conversions

[H. J. Lu]

On Sun, Apr 22, 2007 at 05:56:35PM +0200, Uros Bizjak wrote:
> Dorit Nuzman wrote:
> 
> >I'm sorry for not raising the following question before (didn't occur to me
> >until now): Do we really need to duplicate the vec_unpack optab for floats,
> >rather than reusing the vec_unpacks for both ints and floats, just like
> >optabs smul,smin,smax? (either way is fine with me, just a question of
> >general optab policy in gcc)
> >  
> Hm, I never noticed that TYPE_UNSIGNED also operates correctly on float 
> types.
> 
> Due to this, this revision includes your suggestion to name FP patterns 
> vec_unpacks_*.
> 

Can you also add integer vector extensions available in SSE4.1? That is
SSE4.1 can do things like

  [(set (match_operand:V2DI 0 "register_operand" "=x")
        (zero_extend:V2DI
          (vec_select:V2HI
            (match_operand:V8HI 1 "nonimmediate_operand" "xm")
            (parallel [(const_int 0)
                       (const_int 1)]))))]


H.J.