[PATCH] Don't perform the REGNO != REGNO REE for modes other than scalar integral (PR rtl-optimization/59754)

Jeff Law law@redhat.com
Fri Jan 10 21:18:00 GMT 2014


On 01/10/14 13:45, Jakub Jelinek wrote:
> Hi!
>
> The new REGNO != REGNO optimization assumes that a lowpart subreg of
> the extended reg will be the value of the original expression.
> But that is the case of only scalar integral modes, e.g. for vector
> mode extensions a lowpart subreg will occupy just say half or even fewer
> vector elements, but in the extended element values instead of original.
>
> Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux,
> and eyeballed the testcase for AVX512F from the testsuite.  Ok for trunk?
>
> 2014-01-10  Jakub Jelinek  <jakub@redhat.com>
>
> 	PR rtl-optimization/59754
> 	* ree.c (combine_reaching_defs): Disallow !SCALAR_INT_MODE_P
> 	modes in the REGNO != REGNO case.
Yes, this is fine.  Thanks for taking care of it, my testing boxes are 
busy testing the other two queued ree things.

jeff



More information about the Gcc-patches mailing list