> Не совсем. Компиляторы ограничены в том, что они могут сделать, человек не имеет этих ограничений.

Смотря какой человек и смотря за какой промежуток времени.

> человек может создать специализированную программу, которая будет заниматься таким поиском

Ты только что изобрёл велосипед. Пардон, оптимизирующий компилятор. ;)

> в ней ты сольёшь без шансов

Думаю, что ты уже слился в ней. Просто пока не осознал этого. Попробую объяснить.

> Так что мой тебе совет: даже и не пытайся.

Я всё-таки попытаюсь. Ты ведь такой же опеннетовец, как и я, да?

Буду исходить вот из чего. Люди, довольно умные люди, надо заметить, и не один человек, а большая группа людей, выбрали путь оптимизирующего компилятора практически во всех сферах, кроме относительно небольшого числа пока ещё не освоенных ниш (или эти ниши нет нужды осваивать в виду их узкости). И такой выбор они сделали не потому, что ненавидели язык А, отдавая предпочтение языку Б, а потому что это более эффективный путь развития индустрии. Эффективность в данном случае выражается в деньгах.
Как я понял, что выбран именно такой путь? Очень просто. Достаточно взглянуть на популярность тех или иных языков программирования - это всё практика, никакая не теория.

> По-хорошему, есть выбор: писать говнокод, который невозможно ни читать, ни, тем более, мейнтейнить, либо писать хорошо и красиво, но полагаться в оптимизациях на компилятор.

По-хорошему такого выбора в подавляющем большинстве случаев нет, если всё-таки мыслить рационально. Там, где есть оптимизирующий компилятор, пользуются им. Это дешевле, чем писать хрен пойми что, хрен пойми сколько времени, которое будет работать только на вот этом железе.

> А это слишком сложная тема для уровня опеннета

Ничего сложно, на самом деле нет. Человечество экспериментальным путём уже сделало свой выбор.