FS_OPT_MUX_ANDNOT_BOOL, /**< Muxb(sel, false, x) = And(Not(sel), x) */
FS_OPT_MUX_C, /**< Mux(C, f, t) = C ? t : f */
FS_OPT_MUX_EQ, /**< Mux(v, x, x) = x */
- FS_OPT_MUX_TRANSFORM, /**< Mux(a, b, c) = b OR Mux(a, b, c) = c */
+ FS_OPT_MUX_TRANSFORM, /**< Mux(t ==/!= f, t, f) = f/t, Mux(t ==/!= 0, -t, t) = -t/t */
FS_OPT_MUX_TO_MIN, /**< Mux(a < b, a, b) = Min(a,b) */
FS_OPT_MUX_TO_MAX, /**< Mux(a > b, a, b) = Max(a,b) */
- FS_OPT_MUX_TO_ABS, /**< Mux(a > b, a, b) = Abs(a,b) */
- FS_OPT_MUX_TO_SHR, /**< Mux(a > b, a, b) = a >> b */
+ FS_OPT_MUX_TO_ABS, /**< Mux(a > 0, a, -a) = Abs(a) */
+ FS_OPT_MUX_TO_BITOP, /**< Mux((a & 2^x) ==/!= 0, 2^x, 0) = (a & 2^x) (xor 2^x) */
FS_OPT_IDEM_UNARY, /**< Idempotent unary operation */
FS_OPT_MINUS_NOT, /**< -(~x) = x + 1 */
FS_OPT_NOT_MINUS_1, /**< ~(x - 1) = -x */
FS_OPT_CMP_SHF_TO_AND, /**< CMP optimization: transformed shift into And */
FS_OPT_CMP_MOD_TO_AND, /**< CMP optimization: transformed Mod into And */
FS_OPT_NOP, /**< the operation is a NOP */
+ FS_OPT_GVN_FOLLOWER, /**< GVN-PRE: replaced a follower */
+ FS_OPT_GVN_FULLY, /**< GVN-PRE: replaced by fully redundant value */
+ FS_OPT_GVN_PARTLY, /**< GVN-PRE: replaced by partly redundant value */
+ FS_OPT_COMBO_CONST, /**< Combo: evaluated into Constant */
+ FS_OPT_COMBO_CF, /**< Combo: removed conditional control flow */
+ FS_OPT_COMBO_FOLLOWER, /**< Combo: replaced a follower */
+ FS_OPT_COMBO_CONGRUENT, /**< Combo: replaced by congruent */
FS_OPT_RTS_ABS, /**< RTS optimization: call to abs() replaced */
FS_OPT_RTS_ALLOCA, /**< RTS optimization: call to alloca() replaced */
FS_OPT_RTS_SQRT, /**< RTS optimization: call to sqrt() replaced */