Parametric polyhedral optimisation for high-level synthesis