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

re PR rtl-optimization/78526 (ICE: in decompose, at rtl.h:2117 with -g -mavx512bw) 

PR rtl-optimization/78526
	* simplify-rtx.c (simplify_immed_subreg): Don't use wi::extract_uhwi
	beyond val's precision.

	* gcc.dg/pr78526.c: New test.

From-SVN: r242882
This commit is contained in:
Jakub Jelinek 2016-11-25 19:56:50 +01:00 committed by Jakub Jelinek
parent c620cf89a8
commit ad7a69db52
4 changed files with 32 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ChangeLog
View File

@ -1,5 +1,9 @@
2016-11-25 Jakub Jelinek <jakub@redhat.com>
PR rtl-optimization/78526
* simplify-rtx.c (simplify_immed_subreg): Don't use wi::extract_uhwi
beyond val's precision.
PR rtl-optimization/78527
* combine.c (make_compound_operation_int): Ignore LSHIFTRT with
out of bounds shift count.

3
gcc/simplify-rtx.c
View File

@ -5740,8 +5740,9 @@ simplify_immed_subreg (machine_mode outermode, rtx op,
{
rtx_mode_t val = rtx_mode_t (el, innermode);
unsigned char extend = wi::sign_mask (val);
int prec = wi::get_precision (val);
for (i = 0; i < elem_bitsize; i += value_bit)
for (i = 0; i < prec && i < elem_bitsize; i += value_bit)
*vp++ = wi::extract_uhwi (val, i, value_bit);
for (; i < elem_bitsize; i += value_bit)
*vp++ = extend;

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2016-11-25 Jakub Jelinek <jakub@redhat.com>
PR rtl-optimization/78526
* gcc.dg/pr78526.c: New test.
2016-11-25 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/77541

21
gcc/testsuite/gcc.dg/pr78526.c Normal file
View File

@ -0,0 +1,21 @@
/* PR rtl-optimization/78526 */
/* { dg-do compile { target int128 } } */
/* { dg-options "-O -fno-tree-ccp -fno-tree-sra -g -w" } */
/* { dg-additional-options "-mavx512bw" { target i?86-*-* x86_64-*-* } } */
typedef unsigned U __attribute__ ((vector_size (64)));
typedef unsigned __int128 V __attribute__ ((vector_size (64)));
static inline V
bar (U u, U x, V v)
{
v = (V)(U) { 0, ~0 };
v[x[0]] <<= u[-63];
return v;
}
V
foo (U u)
{
return bar (u, (U) {}, (V) {});
}