Could you maybe point me to such one tool, i.e. one that specializes routines for given parameters. Will these tools also perform optimizations that might be po

Could you maybe point me to such one tool, i.e. one that specializes routines for given parameters. Will these tools also perform optimizations that might be possible if the specialization took place?