Add simple transfer function for Confirm in fp-vrp.

diff --git a/ir/opt/fp-vrp.c b/ir/opt/fp-vrp.c
index 11a169e..e25715f 100644 (file)
--- a/ir/opt/fp-vrp.c
+++ b/ir/opt/fp-vrp.c
@@ -258,6 +258,15 @@ result_unknown_X:
                                break;
                        }
 
+                       case iro_Confirm: {
+                               ir_node* const v = get_Confirm_value(irn);
+                               bitinfo* const b = get_bitinfo(v);
+                               /* TODO Use bound and relation. */
+                               z = b->z;
+                               o = b->o;
+                               break;
+                       }
+
                        case iro_Shl: {
                                bitinfo*   const l  = get_bitinfo(get_Shl_left(irn));
                                bitinfo*   const r  = get_bitinfo(get_Shl_right(irn));