6

While using modern C++ compilers (including MSVC, GCC, ICC), how can I say if it has:

  1. parallelized the code
  2. vectorized the loops (or used other specific processor instructions)
  3. unrolled the loops
  4. detected tail-recursion
  5. performed RVO (return-value optimization)
  6. or optimized in some other way

without diving into the assembler code the compiler produces?

1

4 Answers 4

18

The only way you can really tell is if you examine the assembler output (which you appear to have discounted). Other than that, you could read the doco to see what types of optimization each level of your compiler provides.

But, in all honesty, if you don't trust that the optimization levels of your compiler are doing the job, you probably won't trust the doco :-)

I would look at the assembler myself, it's the only way you could be truly certain.

4
  • Strictly speaking, this isn't the only way, but it is probably the easiest or best. You can instruct gcc to make verbose dumps between passes with the -fdump... and -d options (mainly for debugging), and for vectorization the exists verbose optimization messages, which exlain, why and where a loop was vectorized, this is for end users too. Nov 29, 2009 at 10:17
  • Strictly strictly speaking, those dumps could lie. ;) Only the assembly is guaranteed to be correct. :)
    – jalf
    Nov 29, 2009 at 11:43
  • @jalf: no, there could be a conspiracy between MS and/or GNU, with Intel and/or AMD, which means that the CPU spots identifiers steganographically concealed in code from the compiler, and switches into a special mode such that those apparent vector opcodes are de-vectorised, and don't use the SIMD circuitry at all. If you want to be silly ;-) Nov 29, 2009 at 13:58
  • And on not trusting the docs: stackoverflow.com/questions/1778655/…
    – int3
    Nov 30, 2009 at 19:49
3

Intel compiler has decent reporting facility. Look up -vec-report and -par-report in reference documentation or in the man page.

g++also has vector reports, look in the man page for "vector", I'd don't think g++ has parallel automatic code generation.

As far as last three things, I'd don't think compilers report that, so you probably have to go to assembly to get that information

2
  • GCC has automatic parallisation, using -ftree-vectorize. Read more about it here - gcc.gnu.org/projects/tree-ssa/vectorization.html
    – LiraNuna
    Nov 29, 2009 at 9:17
  • parallelization usually means openMP in context of compiler, vectorization typically implies SIMD instructions. g++ does not have former.
    – Anycorn
    Nov 29, 2009 at 18:51
0

For RVO or other copy-elision stuff, just put some logging (printf) in copy-ctor and dtor of your class. You should see fewer objects being copied around if optimizations are working.

0

I'm pretty sure that if you use the most depth optimization in your compiler the code will be parallelized and the loops will be vectorized and many other vectorization techniques will work too.

In order to use that much depth, use -O3 command when you run your code.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.