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

re PR rtl-optimization/83608 (ICE in convert_move, at expr.c:229 in GIMPLE store merging pass) 

PR middle-end/83608
	* expr.c (store_expr_with_bounds): Use simplify_gen_subreg instead of
	convert_modes if target mode has the right side, but different mode
	class.

	* g++.dg/opt/pr83608.C: New test.

From-SVN: r256063
This commit is contained in:
Jakub Jelinek 2018-01-01 12:30:28 +01:00 committed by Jakub Jelinek
parent 63563fe69e
commit 528dc0195d
4 changed files with 51 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,5 +1,10 @@
2018-01-01 Jakub Jelinek <jakub@redhat.com>
PR middle-end/83608
* expr.c (store_expr_with_bounds): Use simplify_gen_subreg instead of
convert_modes if target mode has the right side, but different mode
class.
PR middle-end/83609
* expr.c (expand_assignment): Fix up a typo in simplify_gen_subreg
last argument when extracting from CONCAT. If either from_real or

17
gcc/expr.c
View File

@ -5615,8 +5615,21 @@ store_expr_with_bounds (tree exp, rtx target, int call_param_p,
if (CONSTANT_P (temp) && GET_MODE (temp) == VOIDmode
&& TREE_CODE (exp) != ERROR_MARK
&& GET_MODE (target) != TYPE_MODE (TREE_TYPE (exp)))
temp = convert_modes (GET_MODE (target), TYPE_MODE (TREE_TYPE (exp)),
temp, TYPE_UNSIGNED (TREE_TYPE (exp)));
{
if (GET_MODE_CLASS (GET_MODE (target))
!= GET_MODE_CLASS (TYPE_MODE (TREE_TYPE (exp)))
&& GET_MODE_BITSIZE (GET_MODE (target))
== GET_MODE_BITSIZE (TYPE_MODE (TREE_TYPE (exp))))
{
rtx t = simplify_gen_subreg (GET_MODE (target), temp,
TYPE_MODE (TREE_TYPE (exp)), 0);
if (t)
temp = t;
}
if (GET_MODE (temp) == VOIDmode)
temp = convert_modes (GET_MODE (target), TYPE_MODE (TREE_TYPE (exp)),
temp, TYPE_UNSIGNED (TREE_TYPE (exp)));
}
/* If value was not generated in the target, store it there.
Convert the value to TARGET's type first if necessary and emit the

3
gcc/testsuite/ChangeLog
View File

@ -1,5 +1,8 @@
2018-01-01 Jakub Jelinek <jakub@redhat.com>
PR middle-end/83608
* g++.dg/opt/pr83608.C: New test.
PR middle-end/83609
* gcc.dg/pr83609.c: New test.
* g++.dg/opt/pr83609.C: New test.

28
gcc/testsuite/g++.dg/opt/pr83608.C Normal file
View File

@ -0,0 +1,28 @@
// PR middle-end/83608
// { dg-do compile }
// { dg-options "-O2" }
template <typename> class B;
template <> struct B<float>
{
float foo () { return __real__ b; }
_Complex double b;
};
void bar (int);
template <class T>
void
baz ()
{
B<T> h;
T *a = (T *) &h;
a[0] = a[1] = 6;
h.foo () ? void () : bar (7);
}
int
main ()
{
baz<float> ();
}