diff options
| author | liuhongt <hongtao.liu@intel.com> | 2023-11-13 17:56:49 +0800 |
|---|---|---|
| committer | liuhongt <hongtao.liu@intel.com> | 2023-11-14 16:40:46 +0800 |
| commit | f28306b4fd309b579c8a4a5bf2f1b24fa40f8f7f (patch) | |
| tree | 131b0b4eb8313bc502e69bb4b6d08187ed45895a /gcc | |
| parent | 4a70bfbf686c2b6a1ecd83fe851de826c612c3e0 (diff) | |
| download | gcc-f28306b4fd309b579c8a4a5bf2f1b24fa40f8f7f.zip gcc-f28306b4fd309b579c8a4a5bf2f1b24fa40f8f7f.tar.gz gcc-f28306b4fd309b579c8a4a5bf2f1b24fa40f8f7f.tar.bz2 | |
Fix ICE in vectorizable_nonlinear_induction with bitfield.
if (TREE_CODE (init_expr) == INTEGER_CST)
init_expr = fold_convert (TREE_TYPE (vectype), init_expr);
else
gcc_assert (tree_nop_conversion_p (TREE_TYPE (vectype),
TREE_TYPE (init_expr)));
and init_expr is a 24 bit integer type while vectype has 32bit components.
The "fix" is to bail out instead of asserting.
gcc/ChangeLog:
PR tree-optimization/112496
* tree-vect-loop.cc (vectorizable_nonlinear_induction): Return
false when !tree_nop_conversion_p (TREE_TYPE (vectype),
TREE_TYPE (init_expr)).
gcc/testsuite/ChangeLog:
* gcc.target/i386/pr112496.c: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/pr112496.c | 7 | ||||
| -rw-r--r-- | gcc/tree-vect-loop.cc | 13 |
2 files changed, 17 insertions, 3 deletions
diff --git a/gcc/testsuite/gcc.target/i386/pr112496.c b/gcc/testsuite/gcc.target/i386/pr112496.c new file mode 100644 index 0000000..c478fda --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr112496.c @@ -0,0 +1,7 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +struct T { int x : 24; } v; +void f1(int x) { + while (v.x - ((v.x <<= 1) - v.x)) ; +} diff --git a/gcc/tree-vect-loop.cc b/gcc/tree-vect-loop.cc index 7d00cc9..fb8d999 100644 --- a/gcc/tree-vect-loop.cc +++ b/gcc/tree-vect-loop.cc @@ -9569,9 +9569,16 @@ vectorizable_nonlinear_induction (loop_vec_info loop_vinfo, if (TREE_CODE (init_expr) == INTEGER_CST) init_expr = fold_convert (TREE_TYPE (vectype), init_expr); - else - gcc_assert (tree_nop_conversion_p (TREE_TYPE (vectype), - TREE_TYPE (init_expr))); + else if (!tree_nop_conversion_p (TREE_TYPE (vectype), TREE_TYPE (init_expr))) + { + /* INIT_EXPR could be a bit_field, bail out for such case. */ + if (dump_enabled_p ()) + dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location, + "nonlinear induction vectorization failed:" + " component type of vectype is not a nop conversion" + " from type of init_expr.\n"); + return false; + } switch (induction_type) { |