enable Rot constant folding (why was it commented out)

[libfirm] / ir / ir / irvrfy.c

diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c
index c1c8983..ac88693 100644 (file)
--- a/ir/ir/irvrfy.c
+++ b/ir/ir/irvrfy.c
@@ -235,7 +235,7 @@ vrfy_Proj_proj(ir_node *p, ir_graph *irg) {
   int proj;
 
   pred = skip_nop(get_Proj_pred(p));
-  assert(get_irn_mode(pred) == mode_T);
+  ASSERT_AND_RET(get_irn_mode(pred) == mode_T, "mode of a 'projed' node is not Tuple", 0);
   mode = get_irn_mode(p);
   proj = get_Proj_proj(p);
 
@@ -258,9 +258,12 @@ vrfy_Proj_proj(ir_node *p, ir_graph *irg) {
 
     case iro_Cond:
       ASSERT_AND_RET_DBG(
-        (proj >= 0 && mode == mode_X),
-    "wrong Proj from Cond", 0,
-    show_proj_failure(p);
+       (
+          (proj >= 0 && mode == mode_X && get_irn_mode(get_Cond_selector(pred)) == mode_b) ||  /* compare */
+         (mode == mode_X && mode_is_int(get_irn_mode(get_Cond_selector(pred))))                /* switch */
+       ),
+        "wrong Proj from Cond", 0,
+        show_proj_failure(p);
       );
       break;
 
@@ -414,7 +417,7 @@ vrfy_Proj_proj(ir_node *p, ir_graph *irg) {
     case iro_Proj:
       {
         type *mt; /* A method type */
-    long nr = get_Proj_proj(pred);
+        long nr = get_Proj_proj(pred);
 
         pred = skip_nop(get_Proj_pred(pred));
         ASSERT_AND_RET((get_irn_mode(pred) == mode_T), "Proj from something not a tuple", 0);
@@ -667,18 +670,29 @@ int irn_vrfy_irg(ir_node *n, ir_graph *irg)
   case iro_Const: {
       tarval *tv = get_Const_tarval(n);
       if (tarval_is_entity(tv))
-         assert((get_irn_irg(n) == get_const_code_irg() ||
-                get_entity_peculiarity(tarval_to_entity(tv)) != peculiarity_description) &&
-                "descriptions have no address!");
-      ASSERT_AND_RET(
-                     /* Const: BB --> data */
-                     (mode_is_data (mymode) ||
-                      mymode == mode_b)      /* we want boolean constants for static evaluation */
-                     ,"Const node", 0        /* of Cmp. */
-                     );
+         ASSERT_AND_RET(
+                        (get_irn_irg(n) == get_const_code_irg()) ||
+                        (get_entity_peculiarity(get_tarval_entity(tv)) != peculiarity_description),
+                        "descriptions have no address", 0);
+         ASSERT_AND_RET(
+                        /* Const: BB --> data */
+                        (mode_is_data (mymode) ||
+                         mymode == mode_b)      /* we want boolean constants for static evaluation */
+                        ,"Const node", 0        /* of Cmp. */
+                        );
      } break;
 
     case iro_SymConst:
+      if (get_SymConst_kind(n) == symconst_addr_ent) {
+       entity *ent = get_SymConst_entity(n);
+       if (is_method_type(get_entity_type(ent)) &&
+           get_irn_irg(n) != get_const_code_irg()) {
+#if 0
+         ASSERT_AND_RET((get_entity_peculiarity(ent) != peculiarity_description),
+                        "A constant must address an existing method.", 0);
+#endif
+       }
+      }
       ASSERT_AND_RET(
                      /* SymConst: BB --> int*/
                      (mode_is_int(mymode) ||