>> 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 _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
