Language and compiler support for auto-tuning variable-accuracy algorithms