On Wed, Apr 22, 2015 at 3:15 PM, Kugan <kugan.vivekanandara...@linaro.org> wrote: > On 17/01/15 13:11, Kugan wrote: >> >> Re-enable zero/sign extension elimination using value range that >> includes wrapped attribute. >> > > Now that stage-1 is open, rebased it and regression tested on > x86-64-none-linux-gnu with no new regressions. > > Is this OK for trunk? > > Thanks, > Kugan > > gcc/ChangeLog: > > 2015-04-22 Kugan Vivekanandarajah <kug...@linaro.org> > > * calls.c (precompute_arguments): Check > promoted_for_signed_and_unsigned_p and set the promoted mode. > * expr.c (expand_expr_real_1): Likewise. > (promoted_for_signed_and_unsigned_p): New function. > * cfgexpand.c (expand_gimple_stmt_1): Call emit_move_insn if > SUBREG is promoted with SRP_SIGNED_AND_UNSIGNED. > * expr.h (promoted_for_signed_and_unsigned_p): New definition.
Are you planning to submit some testcases to show its improvement? Will it help https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53639 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=33349 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44532 -- H.J.