Value-sensitive automatic code specialization for embedded software