https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71118

--- Comment #1 from Matt Turner <mattst88 at gmail dot com> ---
(In reply to Matt Turner from comment #0)
> Created attachment 38490 [details]
> ftois.c
> 
> For the attached ftois.c, gcc-4.9.3 -O2 -mcpu=ev67 emits
> 
> 0000000000000000 <f2i>:
>    0:   01 0f 1f 72     ftois   $f16,t0
>    4:   00 00 e1 43     sextl   t0,v0

I might note that in the working case, the sextl is unnecessary. ftois does:

   Rc<63:32> ← SEXT(Fav<63>)
   Rc<31:0> ← Fav<63:62> || Fav <58:29>

Reply via email to