Implement basic range operators to enable floating point VRP.

Without further ado, here is the implementation for floating point
range operators, plus the switch to enable all ranger clients to
handle floats.

These are bare bone implementations good enough for relation operators
to work, while keeping the NAN bits up to date in the frange.  There
is also minimal support for keeping track of +-INF when it is obvious.

Tested on x86-64 Linux.

gcc/ChangeLog:

	* range-op-float.cc (finite_operands_p): New.
	(frelop_early_resolve): New.
	(default_frelop_fold_range): New.
	(class foperator_equal): New.
	(class foperator_not_equal): New.
	(class foperator_lt): New.
	(class foperator_le): New.
	(class foperator_gt): New.
	(class foperator_ge): New.
	(class foperator_unordered): New.
	(class foperator_ordered): New.
	(class foperator_relop_unknown): New.
	(floating_op_table::floating_op_table): Add above classes to
	floating op table.
	* value-range.h (frange::supports_p): Enable.

gcc/testsuite/ChangeLog:

	* g++.dg/opt/pr94589-2.C: XFAIL.
	* gcc.dg/tree-ssa/vrp-float-1.c: New test.
	* gcc.dg/tree-ssa/vrp-float-11.c: New test.
	* gcc.dg/tree-ssa/vrp-float-3.c: New test.
	* gcc.dg/tree-ssa/vrp-float-4.c: New test.
	* gcc.dg/tree-ssa/vrp-float-6.c: New test.
	* gcc.dg/tree-ssa/vrp-float-7.c: New test.
	* gcc.dg/tree-ssa/vrp-float-8.c: New test.

0 files changed, 0 insertions, 0 deletions