The "jump threading" compiler optimization (aka -fthread-jump) turns conditional into unconditional branches on certain paths at the expense of code size. For hardware with branch prediction, speculative execution, and prefetching, this can greatly improve performance. However, there is no scientific publication or documentation at all. The Wikipedia article is very short and incomplete.
The linked article has an illustrated treatment of common code structures and how these optimizations work.
(Score: 2) by Wootery on Monday November 02 2015, @03:30PM
Also, their compiler project seems totally pointless.
Want a C compiler that generates an SSA intermediate-representation and does lots of optimisations? We have that, it's called Clang, it's awesome, and it's used everywhere such a compiler is needed.
(Score: 0) by Anonymous Coward on Thursday November 05 2015, @05:19PM
gcc generates an SSA intermediate-representation and does lots of optimisations. It's used everywhere.