X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fopt%2Ffp-vrp.c;h=be530970944dcb905f9172c924ba0da9dd56f85e;hb=8c9921a1fc166552f6e416434fd8394a4fc210a3;hp=3b4dccdd2d829fc063e489a7f4b4628a683cb807;hpb=cb6d4f67d332ac824bd6e81d75e442943470b143;p=libfirm

diff --git a/ir/opt/fp-vrp.c b/ir/opt/fp-vrp.c
index 3b4dccdd2..be5309709 100644
--- a/ir/opt/fp-vrp.c
+++ b/ir/opt/fp-vrp.c
@@ -21,7 +21,6 @@
  * @file
  * @brief   Data-flow driven minimal fixpoint value range propagation
  * @author  Christoph Mallon
- * @version $Id$
  */
 #include "config.h"
 
@@ -197,37 +196,24 @@ unreachable_X:
 				} else if (is_Cond(pred)) {
 					ir_node*   const selector = get_Cond_selector(pred);
 					bitinfo*   const b        = get_bitinfo(selector);
-					if (is_undefined(b)) {
+					if (is_undefined(b))
 						goto unreachable_X;
-					} else if (get_irn_mode(selector) == mode_b) {
-						if (b->z == b->o) {
-							if ((b->z == t) == get_Proj_proj(irn)) {
-								z = o = t;
-							} else {
-								z = o = f;
-							}
+					if (b->z == b->o) {
+						if ((b->z == t) == get_Proj_proj(irn)) {
+							z = o = t;
 						} else {
-							goto result_unknown_X;
+							z = o = f;
 						}
 					} else {
-						long const val = get_Proj_proj(irn);
-						if (val != get_Cond_default_proj(pred)) {
-							ir_tarval* const tv = new_tarval_from_long(val, get_irn_mode(selector));
-							if (!tarval_is_null(tarval_andnot(tv, b->z)) ||
-									!tarval_is_null(tarval_andnot(b->o, tv))) {
-								// At least one bit differs.
-								z = o = f;
-#if 0 // TODO must handle default Proj
-							} else if (b->z == b->o && b->z == tv) {
-								z = o = t;
-#endif
-							} else {
-								goto result_unknown_X;
-							}
-						} else {
-							goto cannot_analyse_X;
-						}
+						goto result_unknown_X;
 					}
+				} else if (is_Switch(pred)) {
+					ir_node* const selector = get_Switch_selector(pred);
+					bitinfo* const b        = get_bitinfo(selector);
+					if (is_undefined(b))
+						goto unreachable_X;
+					/* TODO */
+					goto cannot_analyse_X;
 				} else {
 					goto cannot_analyse_X;
 				}