On 15 November 2017 at 01:00, Luis Machado <luis.mach...@linaro.org> 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, > > Andrew > > > > Indeed that seems to be more appropriate if re-enabling prefetches in the > future is a possibility. > > How about the following? > > Thanks, > Luis > Ping?