[gcc(refs/users/mikael/heads/refactor_descriptor_v05)] gimple-exec: prise en charge négation fp

[Mikael Morin]

https://gcc.gnu.org/g:7e3fe0fd39eebd3b583cef5359e84c2c99d6d201

commit 7e3fe0fd39eebd3b583cef5359e84c2c99d6d201
Author: Mikael Morin <mikael@gcc.gnu.org>
Date:   Mon Apr 28 17:01:32 2025 +0200

    gimple-exec: prise en charge négation fp

Diff:
---
 gcc/cgraphunit.cc | 20 ++++++++++++++++----
 1 file changed, 16 insertions(+), 4 deletions(-)

diff --git a/gcc/cgraphunit.cc b/gcc/cgraphunit.cc
index 49c4ba67729c..152264c63025 100644
--- a/gcc/cgraphunit.cc
+++ b/gcc/cgraphunit.cc
@@ -4060,13 +4060,12 @@ exec_context::evaluate_unary (enum tree_code code, tree type, tree arg) const
     default:
       {
 	gcc_assert (TREE_CODE (type) == INTEGER_TYPE
-		    || TREE_CODE (type) == BOOLEAN_TYPE);
+		    || TREE_CODE (type) == BOOLEAN_TYPE
+		    || TREE_CODE (type) == REAL_TYPE);
 	tree val = evaluate (arg).to_tree (TREE_TYPE (arg));
 	tree t = fold_unary (code, type, val);
 	gcc_assert (t != NULL_TREE);
-	data_value result (type);
-	result.set_cst (wi::to_wide (t));
-	return result;
+	return evaluate (t);
       }
     }
 }
@@ -7202,6 +7201,19 @@ exec_context_evaluate_unary_tests ()
   wide_int wi1 = val1.get_cst ();
   ASSERT_PRED1 (wi::fits_uhwi_p, wi1);
   ASSERT_EQ (wi1.to_uhwi (), 18);
+
+
+  REAL_VALUE_TYPE f25 = REAL_VALUE_ATOF ("2.5", TYPE_MODE (float_type_node));
+  tree t25 = build_real (float_type_node, f25);
+
+  data_value valfm25 = ctx1.evaluate_unary (NEGATE_EXPR, float_type_node, t25);
+
+  ASSERT_EQ (valfm25.get_bitwidth (), TYPE_PRECISION (float_type_node));
+  ASSERT_EQ (valfm25.classify (), VAL_CONSTANT);
+  tree tfm25 = valfm25.to_tree (float_type_node);
+  ASSERT_EQ (TREE_CODE (tfm25), REAL_CST);
+  REAL_VALUE_TYPE fm25 = REAL_VALUE_ATOF ("-2.5", TYPE_MODE (float_type_node));
+  ASSERT_TRUE (real_equal (TREE_REAL_CST_PTR (tfm25), &fm25));
 }