OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Avoid FROM being overwritten in expand_fix. 

For the conversion from _Float16 to int, if the corresponding optab
does not exist, the compiler will try the wider mode (SFmode here),
but when floatsfsi exists but FAIL, FROM will be rewritten, which
leads to a PR runtime error.

gcc/ChangeLog:

	PR middle-end/102182
	* optabs.c (expand_fix): Add from1 to avoid from being
	overwritten.

gcc/testsuite/ChangeLog:

	PR middle-end/102182
	* gcc.target/i386/pr101282.c: New test.
This commit is contained in:
liuhongt 2021-09-06 17:09:38 +08:00
parent 086bb917d6
commit 93e6809459
2 changed files with 24 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
gcc/optabs.c
View File

@ -5488,20 +5488,21 @@ expand_fix (rtx to, rtx from, int unsignedp)
if (icode != CODE_FOR_nothing)
{
rtx_insn *last = get_last_insn ();
rtx from1 = from;
if (fmode != GET_MODE (from))
from = convert_to_mode (fmode, from, 0);
from1 = convert_to_mode (fmode, from, 0);
if (must_trunc)
{
rtx temp = gen_reg_rtx (GET_MODE (from));
from = expand_unop (GET_MODE (from), ftrunc_optab, from,
temp, 0);
rtx temp = gen_reg_rtx (GET_MODE (from1));
from1 = expand_unop (GET_MODE (from1), ftrunc_optab, from1,
temp, 0);
}
if (imode != GET_MODE (to))
target = gen_reg_rtx (imode);
if (maybe_emit_unop_insn (icode, target, from,
if (maybe_emit_unop_insn (icode, target, from1,
doing_unsigned ? UNSIGNED_FIX : FIX))
{
if (target != to)

18
gcc/testsuite/gcc.target/i386/pr101282.c Normal file
View File

@ -0,0 +1,18 @@
/* { dg-do run { target { ia32 } } } */
/* { dg-options "-Os -march=i686 -mfpmath=sse -msse2" } */
#include<stdlib.h>
int
main (void)
{
static volatile unsigned int ivin, ivout;
static volatile _Float16 fv1, fv2;
ivin = ((unsigned int)1);
fv1 = ((unsigned int)1);
fv2 = ivin;
ivout = fv2;
if (ivout != ((unsigned int)1))
abort ();
exit (0);
}