Message ID | 20151026093512.GA20857@msticlxl57.ims.intel.com |
---|---|
State | New |
Headers | show |
On Mon, Oct 26, 2015 at 10:35 AM, Ilya Enkovich <enkovich.gnu@gmail.com> wrote: > On 26 Oct 10:09, Richard Biener wrote: >> 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... > > So probably better fix is > > diff --git a/gcc/tree-vect-generic.c b/gcc/tree-vect-generic.c > index d1fc0ba..73c5cc5 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 >= FIRST_NORM_OPTAB && op <= LAST_NORM_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); > > ? Ah, didn't know we have those constants - yes, that's a better fix. After all we want optab_handler to return sth sensible for it. Thanks, Richard. > Ilya > >> >> Richard. >> >> > Ilya >> > >> >> >> >> jeff >> >>
diff --git a/gcc/tree-vect-generic.c b/gcc/tree-vect-generic.c index d1fc0ba..73c5cc5 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 >= FIRST_NORM_OPTAB && op <= LAST_NORM_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);