Portable cost modeling for auto-vectorizers