Re: [PATCH][2 of 2] RTL expansion for zero sign extension elimination with VRP

Ping~ Thanks, Kugan +2013-09-25 Kugan Vivekanandarajah + + * dojump.c (do_compare_and_jump): Generate rtl without + zero/sign extension if redundant. + * cfgexpand.c (expand_gimple_stmt_1): Likewise. + * gimple.c (gimple_assign_is_zero_sign_ext_redundant) : New +

Re: [PATCH][2 of 2] RTL expansion for zero sign extension elimination with VRP

Hi, This is the updated patch for expanding gimple stmts without zer/sign extensions when it is safe to do that. This is based on the latest changes to propagating value range information to SSA_NAMEs and addresses review comments from Eric. Bootstrapped and regtested on x86_64-unknown-linux-gnu

Re: [PATCH][2 of 2] RTL expansion for zero sign extension elimination with VRP

I'd like to ping this patch 2 of 2 that removes redundant zero/sign extension using value range information. Bootstrapped and no new regression for x86_64-unknown-linux-gnu and arm-none-linux-gnueabi. Thanks you for your time. Kugan On 14/08/13 16:59, Kugan wrote: Hi Eric, Thanks for rev

Re: [PATCH][2 of 2] RTL expansion for zero sign extension elimination with VRP

Hi Eric, Thanks for reviewing the patch. On 01/07/13 18:51, Eric Botcazou wrote: [Sorry for the delay] For example, when an expression is evaluated and it's value is assigned to variable of type short, the generated RTL would look something like the following. (set (reg:SI 110)

Re: [PATCH][2 of 2] RTL expansion for zero sign extension elimination with VRP

[Sorry for the delay] > For example, when an expression is evaluated and it's value is assigned > to variable of type short, the generated RTL would look something like > the following. > > (set (reg:SI 110) > (zero_extend:SI (subreg:HI (reg:SI 117) 0))) > > However, if during