Eliminating Branches using a Superoptimizer and the GNU C Compiler