Leif Gram: Mr. Fix

Пожелание

Требуется следующая оптимизация для C++.

Допустим, встрeтился такой код:
double x = drand48();
f(x, 1, true);


Допустим далее, что после перебора всех кандидатов для f, наилушей оказалась некоторая
f(double, int32_t, bool) {...},
причем ее определение известно.

В таком случае компилятор должен сгенерировать код определения функции одного переменного f_1(double), полученный из кода исходной функции f подстановкой констант на место остальных параметров, оптимизировать его согласно стандартным правилам оптимизации, и вызвать f_1(x).
Ну вот, а то, что я говорю, может быть легко проделано на уровне препроцессинга текста программы стандартным и пресказуемым образом, а там уж пускай оптимизатор применяет свои эвристики. Неужели заранее очевидно, что это не нужно?
Думаю что это можно установить только экспериментально с конкретным компилятором. Сама по себе оптимизация хорошая, и я уверен что о ней уже думали и она срабатывает в каких-то случаях.