Единственный способ, которым вы можете действительно сказать, - это проверить вывод на ассемблере (который, как вам кажется, не учитывается). Кроме этого, вы можете прочитать документацию, чтобы увидеть, какие типы оптимизации обеспечивает каждый уровень вашего компилятора.
Но, если честно, если вы не уверены, что уровни оптимизации вашего компилятора выполняют свою работу, вы, вероятно, не будете доверять документу: -)
Я бы посмотрел на ассемблера сам, это единственный способ, которым вы могли быть по-настоящему уверены.