Handle Cmp(And(x,y) != 0) ==> Test(x,y)

diff --git a/ir/be/ia32/ia32_transform.c b/ir/be/ia32/ia32_transform.c
index 7f76457..7a41a31 100644 (file)
--- a/ir/be/ia32/ia32_transform.c
+++ b/ir/be/ia32/ia32_transform.c
@@ -1275,9 +1275,25 @@ static ir_node *gen_Cond(ia32_transform_env_t *env) {
                        if (mode_is_int(get_irn_mode(expr))) {
                                if (classify_tarval(get_ia32_Immop_tarval(cnst)) == TV_CLASSIFY_NULL) {
                                        /* a Cmp A, 0 */
-                                       res = new_rd_ia32_TestJmp(dbg, irg, block, expr, expr, mode_T);
+                                       ir_node *op1 = expr;
+                                       ir_node *op2 = expr;
+                                       ir_node *and = skip_Proj(expr);
+                                       char *cnst = NULL;
+
+                                       /* check, if expr is an only once used And operation */
+                                       if (get_irn_n_edges(expr) == 1 && is_ia32_And(and)) {
+                                               op1 = get_irn_n(and, 2);
+                                               op2 = get_irn_n(and, 3);
+
+                                               cnst = get_ia32_cnst(and);
+                                       }
+                                       res = new_rd_ia32_TestJmp(dbg, irg, block, op1, op2, mode_T);
                                        set_ia32_pncode(res, get_Proj_proj(sel));
 
+                                       if (cnst) {
+                                               copy_ia32_Immop_attr(res, and);
+                                       }
+
                                        SET_IA32_ORIG_NODE(res, get_old_node_name(env));
                                        return res;
                                }