On Sun, May 19, 2019 at 6:22 PM Marc Glisse <marc.gli...@inria.fr> wrote: > > Hello, > > I noticed this one with BIT_NOT_EXPR a while ago. C++ testcase because I > haven't looked at gimplefe yet...
OK. I wonder if there's any issue with -ftrapv and negate/abs of INT_MIN containing vectors (we don't implement -ftrapv optabs for vectors of course...). We at least avoid folding those cases I think and sanitizers then may see those unconditionally? Richard. > 2019-05-20 Marc Glisse <marc.gli...@inria.fr> > > gcc/ > * match.pd (~(vec?cst1:cst2)); New transformation. > > gcc/testsuite/ > * g++.dg/tree-ssa/cprop-vcond.C > > -- > Marc Glisse
