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