On Fri, Oct 17, 2014 at 7:48 AM, Richard Sandiford
wrote:
> This is the main patch, to add new preferred_for_size and
> preferred_for_speed attributes that can be used to selectively disable
> alternatives when optimising for size or speed. As explained in the
> docs, the new attributes are just
On 10/17/14 14:48, Richard Sandiford wrote:
This is the main patch, to add new preferred_for_size and
preferred_for_speed attributes that can be used to selectively disable
alternatives when optimising for size or speed. As explained in the
docs, the new attributes are just optimisation hints an
On 10/17/2014 10:48 AM, Richard Sandiford wrote:
> This is the main patch, to add new preferred_for_size and
> preferred_for_speed attributes that can be used to selectively disable
> alternatives when optimising for size or speed. As explained in the
> docs, the new attributes are just optimisati
