| Message ID | 871tb6ed1z.fsf@e105548-lin.cambridge.arm.com |
|---|---|
| State | New |
| Headers | show |
On Tue, Dec 1, 2015 at 10:24 AM, Richard Sandiford <richard.sandiford@arm.com> wrote: > We'd call gen_shrink_wrap_conditions for functions that it can't handle > but edom_only_function can. > > Tested on x86_64-linux-gnu. OK to install? Ok. Richard. > Thanks, > Richard > > > gcc/ > PR tree-optimization/68474 > * tree-call-cdce.c (use_internal_fn): Protect call to > gen_shrink_wrap_conditions. > > gcc/testsuite/ > PR tree-optimization/68474 > * gcc.dg/pr68474.c: New test. > > diff --git a/gcc/testsuite/gcc.dg/pr68474.c b/gcc/testsuite/gcc.dg/pr68474.c > new file mode 100644 > index 0000000..8ad7def > --- /dev/null > +++ b/gcc/testsuite/gcc.dg/pr68474.c > @@ -0,0 +1,7 @@ > +/* { dg-options "-O -funsafe-math-optimizations" } */ > + > +long double > +foo (long double d1, long double d2) > +{ > + return d1 || __builtin_significandl (d2); > +} > diff --git a/gcc/tree-call-cdce.c b/gcc/tree-call-cdce.c > index 75ef180..4123130 100644 > --- a/gcc/tree-call-cdce.c > +++ b/gcc/tree-call-cdce.c > @@ -959,7 +959,8 @@ use_internal_fn (gcall *call) > { > unsigned nconds = 0; > auto_vec<gimple *, 12> conds; > - gen_shrink_wrap_conditions (call, conds, &nconds); > + if (can_test_argument_range (call)) > + gen_shrink_wrap_conditions (call, conds, &nconds); > if (nconds == 0 && !edom_only_function (call)) > return false; > >
diff --git a/gcc/testsuite/gcc.dg/pr68474.c b/gcc/testsuite/gcc.dg/pr68474.c new file mode 100644 index 0000000..8ad7def --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr68474.c @@ -0,0 +1,7 @@ +/* { dg-options "-O -funsafe-math-optimizations" } */ + +long double +foo (long double d1, long double d2) +{ + return d1 || __builtin_significandl (d2); +} diff --git a/gcc/tree-call-cdce.c b/gcc/tree-call-cdce.c index 75ef180..4123130 100644 --- a/gcc/tree-call-cdce.c +++ b/gcc/tree-call-cdce.c @@ -959,7 +959,8 @@ use_internal_fn (gcall *call) { unsigned nconds = 0; auto_vec<gimple *, 12> conds; - gen_shrink_wrap_conditions (call, conds, &nconds); + if (can_test_argument_range (call)) + gen_shrink_wrap_conditions (call, conds, &nconds); if (nconds == 0 && !edom_only_function (call)) return false;