fixed mul: must also check for float.

[r1403]

diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c
index 99bdf4e..3d3affe 100644 (file)
--- a/ir/ir/irvrfy.c
+++ b/ir/ir/irvrfy.c
@@ -425,9 +425,8 @@ int irn_vrfy_irg(ir_node *n, ir_graph *irg)
       op2mode = get_irn_mode(in[2]);
       ASSERT_AND_RET(
           /* Mul: BB x int1 x int1 --> int2 */
-          mode_is_int(op1mode) &&
-          op2mode == op1mode &&
-          mode_is_int(mymode),
+          ((mode_is_int(op1mode)   && op2mode == op1mode && mode_is_int(mymode)) ||
+          (mode_is_float(op1mode) && op2mode == op1mode && mymode == op1mode))
           "Mul node",0
           );
       op_is_symmetric = 2;