There has been talk of using superoptimizers in larger compilers however it is usually not worth the effort unless you know a problem case in particular. Espec

There has been talk of using superoptimizers in larger compilers however it is usually not worth the effort unless you know a problem case in particular. Especially since these kinds of transformations could slow down your code if the branch predictor is working well for your code set.