On 23/04/15 09:48, H.J. Lu wrote: > 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
Thanks H.J. Lu for the link. I will investigate them and will come up with test cases if my patches help these. Kugan