diff mbox

[PR68062] Fix uniform vector operation lowering

Message ID 20151023152623.GD23452@msticlxl57.ims.intel.com
State New
Headers show

Commit Message

Ilya Enkovich Oct. 23, 2015, 3:26 p.m. UTC
Hi,

This patch checks optab exists before using it vector vector statement lowering.  It fixes compilation of test from PR68062 with -funsigned-char option added (doesn't fix original testcase).  Bootstrapped for x86_64-unknown-linux-gnu.  OK for trunk if no regressions?

Thanks,
Ilya
--
gcc/

2015-10-23  Ilya Enkovich  <enkovich.gnu@gmail.com>

	* tree-vect-generic.c (expand_vector_operations_1): Check
	optab exists before use it.

gcc/testsuite/

2015-10-23  Ilya Enkovich  <enkovich.gnu@gmail.com>

	* g++.dg/pr68062.C: New test.

Comments

Jeff Law Oct. 23, 2015, 9:32 p.m. UTC | #1
On 10/23/2015 09:26 AM, Ilya Enkovich wrote:
> Hi,
>
> This patch checks optab exists before using it vector vector statement lowering.  It fixes compilation of test from PR68062 with -funsigned-char option added (doesn't fix original testcase).  Bootstrapped for x86_64-unknown-linux-gnu.  OK for trunk if no regressions?
>
> Thanks,
> Ilya
> --
> gcc/
>
> 2015-10-23  Ilya Enkovich  <enkovich.gnu@gmail.com>
>
> 	* tree-vect-generic.c (expand_vector_operations_1): Check
> 	optab exists before use it.
>
> gcc/testsuite/
>
> 2015-10-23  Ilya Enkovich  <enkovich.gnu@gmail.com>
>
> 	* g++.dg/pr68062.C: New test.
OK.

Just curious, what was the tree code for which we couldn't find a 
suitable optab?

jeff
Ilya Enkovich Oct. 23, 2015, 10:29 p.m. UTC | #2
2015-10-24 0:32 GMT+03:00 Jeff Law <law@redhat.com>:
> On 10/23/2015 09:26 AM, Ilya Enkovich wrote:
>>
>> Hi,
>>
>> This patch checks optab exists before using it vector vector statement
>> lowering.  It fixes compilation of test from PR68062 with -funsigned-char
>> option added (doesn't fix original testcase).  Bootstrapped for
>> x86_64-unknown-linux-gnu.  OK for trunk if no regressions?
>>
>> Thanks,
>> Ilya
>> --
>> gcc/
>>
>> 2015-10-23  Ilya Enkovich  <enkovich.gnu@gmail.com>
>>
>>         * tree-vect-generic.c (expand_vector_operations_1): Check
>>         optab exists before use it.
>>
>> gcc/testsuite/
>>
>> 2015-10-23  Ilya Enkovich  <enkovich.gnu@gmail.com>
>>
>>         * g++.dg/pr68062.C: New test.
>
> OK.
>
> Just curious, what was the tree code for which we couldn't find a suitable
> optab?

Those are various comparison codes.

Ilya

>
> jeff
>
Richard Biener Oct. 26, 2015, 9:09 a.m. UTC | #3
On Sat, Oct 24, 2015 at 12:29 AM, Ilya Enkovich <enkovich.gnu@gmail.com> wrote:
> 2015-10-24 0:32 GMT+03:00 Jeff Law <law@redhat.com>:
>> On 10/23/2015 09:26 AM, Ilya Enkovich wrote:
>>>
>>> Hi,
>>>
>>> This patch checks optab exists before using it vector vector statement
>>> lowering.  It fixes compilation of test from PR68062 with -funsigned-char
>>> option added (doesn't fix original testcase).  Bootstrapped for
>>> x86_64-unknown-linux-gnu.  OK for trunk if no regressions?
>>>
>>> Thanks,
>>> Ilya
>>> --
>>> gcc/
>>>
>>> 2015-10-23  Ilya Enkovich  <enkovich.gnu@gmail.com>
>>>
>>>         * tree-vect-generic.c (expand_vector_operations_1): Check
>>>         optab exists before use it.
>>>
>>> gcc/testsuite/
>>>
>>> 2015-10-23  Ilya Enkovich  <enkovich.gnu@gmail.com>
>>>
>>>         * g++.dg/pr68062.C: New test.
>>
>> OK.
>>
>> Just curious, what was the tree code for which we couldn't find a suitable
>> optab?
>
> Those are various comparison codes.

Yeah, sorry for missing that check.  Btw, I was curious to see that we miss
a way to query from optab_tag the "kind" (normal, conversion, etc.) so code
can decide what optab_handler function to call (optab_handler or
convert_optab_handler).  So the code I added errs on the "simplistic" side
and hopes that matching lhs and rhs1 type always gets us a non-convert optab...

Richard.

> Ilya
>
>>
>> jeff
>>
diff mbox

Patch

diff --git a/gcc/testsuite/g++.dg/pr68062.C b/gcc/testsuite/g++.dg/pr68062.C
new file mode 100644
index 0000000..236a488
--- /dev/null
+++ b/gcc/testsuite/g++.dg/pr68062.C
@@ -0,0 +1,13 @@ 
+/* { dg-do compile } */
+/* { dg-options "-funsigned-char" } */
+
+typedef char __attribute__ ((vector_size (4))) v4qi;
+typedef unsigned char __attribute__ ((vector_size (4))) uv4qi;
+
+v4qi v;
+void ret(char a)
+{
+  v4qi c={a,a,a,a};
+  uv4qi d={a,a,a,a};
+  v = (c!=d);
+}
diff --git a/gcc/tree-vect-generic.c b/gcc/tree-vect-generic.c
index 2005383..9c59402 100644
--- a/gcc/tree-vect-generic.c
+++ b/gcc/tree-vect-generic.c
@@ -1533,7 +1533,8 @@  expand_vector_operations_1 (gimple_stmt_iterator *gsi)
       && TYPE_MODE (TREE_TYPE (type)) == TYPE_MODE (TREE_TYPE (srhs1)))
     {
       op = optab_for_tree_code (code, TREE_TYPE (type), optab_scalar);
-      if (optab_handler (op, TYPE_MODE (TREE_TYPE (type))) != CODE_FOR_nothing)
+      if (op != unknown_optab
+	  && optab_handler (op, TYPE_MODE (TREE_TYPE (type))) != CODE_FOR_nothing)
 	{
 	  tree slhs = make_ssa_name (TREE_TYPE (srhs1));
 	  gimple *repl = gimple_build_assign (slhs, code, srhs1, srhs2);