[cfe-commits] [PATCH] ARM pli builtin and intrinsic

[Bruno Cardoso Lopes]

>> FWIW I like __builtin_iprefetch. It's a shame the original prefetch wasn't __builtin_dprefetch.

Indeed.

>> If we wanted some symmetry we could have both __builtin_icache_prefetch and __builtin_dcache_prefetch, the second being an alias to the existing __builtin_prefetch.

I'm also fine with all options. Since I also like the
__builtin_iprefetch, I'll pick it then, we can change it later if
needed.

> I don't have a strong preference. All of these names seem fine.

Nice!

-- 
Bruno Cardoso Lopes
http://www.brunocardoso.cc