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>