Assert monotonicity in set_bitinfo().

ir/opt/fp-vrp.c

@@ -25,6 +25,7 @@
  */
 #include "config.h"
 
+#include <assert.h>
 #include <stdbool.h>
 
 #include "adt/pdeq.h"
@@ -151,6 +152,10 @@ static int set_bitinfo(ir_node* const irn, ir_tarval* const z, ir_tarval* const
 		set_irn_link(irn, b);
 	} else if (z == b->z && o == b->o) {
 		return 0;
+	} else {
+		/* Assert monotonicity. */
+		assert(tarval_is_null(tarval_andnot(b->z, z)));
+		assert(tarval_is_null(tarval_andnot(o, b->o)));
 	}
 	b->z = z;
 	b->o = o;