When considering compiler optimization, there are two questions that immediately come to mind; one, why and to what extent is optimization necessary and two, to what extent is it possible.
No takes yet. Share an insight, caveat, or question.
John Cocke (1970) studied this question.