VD>Ой, блин, поймал на лжи. Ну, да. Если быть точным, то авторы говорят о свойствах программы. Так что можно достигать меньшего или большего по объему кода или другого потребления памяти. Но суть от этого не меняется. Главное, что у программы не меняется семантика. Главным же свойством программы (если исключить семнтику) является скорость. Потому я о ней и говорю.
вот откуда ты взял утверждение, что суперкомпилятор не меняет семантику?
это неверное утверждение, которое ты постоянно талдычишь.
семантику кода меняет любой компилятор или транслятор(кроме совсем тривиальных).