Есть ли универсальный способ, чтобы проверить, какой из компиляторов сгенерировал более оптимальную программу
Даже нет универсального способа проверять производительность, не то чтобы проверять оптимизированность. Берём, к примеру, две программы, запускаем на одном процессоре, выигрывает первая; запускаем их же на другом, выигрывает вторая. :-?