Re: Add a pass to back-propagate use information

2015-10-21 Thread Richard Biener
On Wed, Oct 21, 2015 at 10:48 AM, Richard Sandiford wrote: > Richard Biener writes: >> On Mon, Oct 19, 2015 at 2:38 PM, Richard Sandiford >> wrote: >>> Richard Biener writes: On Thu, Oct 15, 2015 at 3:17 PM, Richard Sandiford wrote: > +/* Strip all sign operations from the rvalue

Re: Add a pass to back-propagate use information

2015-10-21 Thread Richard Sandiford
Richard Biener writes: > On Mon, Oct 19, 2015 at 2:38 PM, Richard Sandiford > wrote: >> Richard Biener writes: >>> On Thu, Oct 15, 2015 at 3:17 PM, Richard Sandiford >>> wrote: +/* Strip all sign operations from the rvalue at *RHS_PTR in STMT. + Return true if something changed. Th

Re: Add a pass to back-propagate use information

2015-10-19 Thread Richard Sandiford
Richard Biener writes: diff --git a/gcc/fold-const.c b/gcc/fold-const.c index de45a2c..7f00e72 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -319,7 +318,7 @@ fold_overflow_warning (const char* gmsgid, enum >>> warn_strict_overflow_code wc) /* Return true if

Re: Add a pass to back-propagate use information

2015-10-19 Thread Richard Biener
On Mon, Oct 19, 2015 at 2:38 PM, Richard Sandiford wrote: > Richard Biener writes: >> On Thu, Oct 15, 2015 at 3:17 PM, Richard Sandiford >> wrote: >>> This patch adds a pass that collects information that is common to all >>> uses of an SSA name X and back-propagates that information up the stat

Re: Add a pass to back-propagate use information

2015-10-19 Thread Richard Sandiford
Richard Biener writes: > On Thu, Oct 15, 2015 at 3:17 PM, Richard Sandiford > wrote: >> This patch adds a pass that collects information that is common to all >> uses of an SSA name X and back-propagates that information up the statements >> that generate X. The general idea is to use the inform

Re: Add a pass to back-propagate use information

2015-10-19 Thread Richard Biener
On Thu, Oct 15, 2015 at 3:17 PM, Richard Sandiford wrote: > This patch adds a pass that collects information that is common to all > uses of an SSA name X and back-propagates that information up the statements > that generate X. The general idea is to use the information to simplify > instruction