Efficient construction of large search spaces for auto-tuning