PATCH: PR target/46519: Missing vzeroupper

Mark Mitchell mark@codesourcery.com
Sat Jan 1 01:05:00 GMT 2011


On 12/30/2010 3:19 AM, Uros Bizjak wrote:

>> We will investigate LCM for 4.7.  In the meantime, here is  a small patch
>> on top of the current one. If the upper 128bits are never changed in a basic
>> block, we can skip it in the later passes.  OK for trunk together with the
>> current patch?

For avoidance of doubt, since Uros explicitly asked for RM comments: I
have no objections to the patch, if the x86 maintainers are happy with it.

However, this comment:

>> I'm not sure that the algorithm is correct (and I don't have enough
>> experience in this area), so I'd rather leave the review to someone
>> else. AFAICS, there can be 20 passes, and from comments, it is
>> questionable if this is enough.

concerns me.

Do someone have confidence that this algorithm is correct, in the sense
that we will not generate wrong code?  And are we talking about 20
passes over the complete set of basic blocks?  That sounds pretty expensive.

Thank you,

-- 
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713



More information about the Gcc-patches mailing list