http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55645
--- Comment #5 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-12-11 14:34:45 UTC --- in principle, one could add the movmsk unconditionally (well, if advantagious) after the compare and evaluate only one one of legs of the branch in case the result is 0 or all ones. My understanding is that this is similar to what CUDA does for instance.