On 11/17/2017 01:48 PM, James Greenhalgh wrote:
On Wed, Nov 15, 2017 at 03:00:53AM +0000, Luis Machado wrote:I think the best thing is to leave this tuning structure in place and just change default_opt_level to -1 to disable it at -O3.Thanks, AndrewIndeed that seems to be more appropriate if re-enabling prefetches in the future is a possibility. How about the following?This is OK. Thanks, James
Thanks James. I've pushed this now. Luis