Хотелось бы пр компиляции иметь доступ к результатам тестовых запусков программы для оптимизации кода.
базовый пример
double x=f(a)*b где f(a) сложная функция, на b часто принимает 0, тогда код можно было бы оптимизировать как
double x=(b==0)?0:f(a)*b
это простой вариант, более сложный
string s=a+b;
/// тут что то
s=s+d;
//
for(i=1;i<100;i++)
s=s+"a";

зная размеры которые принимало s можно оптимизировать выделение памяти сразу под большую строку существенно увеличив производительность.

Кроме того данная информация позволит более эффективно создавать хелперы для преобразования кода к более производительному.