Allow back-ends to be able to do custom validations on params.

This patch adds the ability for backends to add custom constrains to the param
values by defining a new hook option_validate_param.

This hook is invoked on every set_param_value which allows the back-end to
ensure that the parameters are always within it's desired state.

gcc/

	* params.c (set_param_value):
	Add index of parameter being validated.
	* common/common-target.def (option_validate_param): New.
	* common/common-targhooks.h (default_option_validate_param): New.
	* common/common-targhooks.c (default_option_validate_param): New.
	* doc/tm.texi.in (TARGET_OPTION_VALIDATE_PARAM): New.
	* doc/tm.texi: Regenerate.

From-SVN: r264755

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0eafc63fb697651a0fa3fce47d499500cb2b3c4a..7ae7b901b18b0ebae4017896beb8fc1e8bd6f203 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,13 @@
+2018-10-01  Tamar Christina  <tamar.christina@arm.com>
+
+       * params.c (set_param_value):
+       Add index of parameter being validated.
+       * common/common-target.def (option_validate_param): New.
+       * common/common-targhooks.h (default_option_validate_param): New.
+       * common/common-targhooks.c (default_option_validate_param): New.
+       * doc/tm.texi.in (TARGET_OPTION_VALIDATE_PARAM): New.
+       * doc/tm.texi: Regenerate.
+
 2018-10-01  Tamar Christina  <tamar.christina@arm.com>
 
        PR target/86486

diff --git a/gcc/common/common-target.def b/gcc/common/common-target.def
index 019b1e752a9d50664d301033e6284674f907230b..8a268b67222748c1995ef89a96c4548596183180 100644 (file)
--- a/gcc/common/common-target.def
+++ b/gcc/common/common-target.def
@@ -56,6 +56,13 @@ DEFHOOK
  void, (void),
  hook_void_void)
 
+DEFHOOK
+(option_validate_param,
+"Validate target-dependent value for @option{--param} settings, using\
+ calls to @code{set_param_value}.",
+ bool, (int, int),
+ default_option_validate_param)
+
 /* The initial value of target_flags.  */
 DEFHOOKPOD
 (default_target_flags,

diff --git a/gcc/common/common-targhooks.c b/gcc/common/common-targhooks.c
index 1b1a015381d5fd46c900cd6a1ab747446451466d..990c495fa75b5eb3b22f0f12a913ae189a9e4157 100644 (file)
--- a/gcc/common/common-targhooks.c
+++ b/gcc/common/common-targhooks.c
@@ -86,6 +86,15 @@ default_get_valid_option_values (int, const char *)
   return vec<const char *> ();
 }
 
+/* Default version of TARGET_OPTION_VALIDATE_PARAM.  */
+
+bool
+default_option_validate_param (const int value ATTRIBUTE_UNUSED,
+                              const int param ATTRIBUTE_UNUSED)
+{
+  return true;
+}
+
 const struct default_options empty_optimization_table[] =
   {
     { OPT_LEVELS_NONE, 0, NULL, 0 }

diff --git a/gcc/common/common-targhooks.h b/gcc/common/common-targhooks.h
index 4bdf8efdbe6b8afc183e051c6daaa044e3cc73fa..b021ff05af0585da64c04ce7ea59943a131ddc9e 100644 (file)
--- a/gcc/common/common-targhooks.h
+++ b/gcc/common/common-targhooks.h
@@ -30,6 +30,8 @@ extern bool default_target_handle_option (struct gcc_options *,
                                          location_t);
 extern vec<const char *> default_get_valid_option_values (int, const char *);
 
+extern bool default_option_validate_param (const int, const int);
+
 extern const struct default_options empty_optimization_table[];
 
 #endif

diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
index b00e4b60bc55171bec1705242798332e25d526b8..83965b2f3a88164e9d1331290b1f9ef960d9ad72 100644 (file)
--- a/gcc/doc/tm.texi
+++ b/gcc/doc/tm.texi
@@ -753,6 +753,10 @@ Set target-dependent initial values of fields in @var{opts}.
 Set target-dependent default values for @option{--param} settings, using calls to @code{set_default_param_value}.
 @end deftypefn
 
+@deftypefn {Common Target Hook} bool TARGET_OPTION_VALIDATE_PARAM (int, @var{int})
+Validate target-dependent value for @option{--param} settings, using calls to @code{set_param_value}.
+@end deftypefn
+
 @defmac SWITCHABLE_TARGET
 Some targets need to switch between substantially different subtargets
 during compilation.  For example, the MIPS target has one subtarget for

diff --git a/gcc/doc/tm.texi.in b/gcc/doc/tm.texi.in
index e2b6f945d2980b57ba47080e362b9b10195a0394..e1966bd12f9dde107738613385866b0957d6bad0 100644 (file)
--- a/gcc/doc/tm.texi.in
+++ b/gcc/doc/tm.texi.in
@@ -729,6 +729,8 @@ options are changed via @code{#pragma GCC optimize} or by using the
 
 @hook TARGET_OPTION_DEFAULT_PARAMS
 
+@hook TARGET_OPTION_VALIDATE_PARAM
+
 @defmac SWITCHABLE_TARGET
 Some targets need to switch between substantially different subtargets
 during compilation.  For example, the MIPS target has one subtarget for

diff --git a/gcc/params.c b/gcc/params.c
index 623296ce49b6c8cf98da7be08a3fb01bc2c21a93..eb663be880a91dc0adce2a84c6bad7e06b4c72c3 100644 (file)
--- a/gcc/params.c
+++ b/gcc/params.c
@@ -209,7 +209,7 @@ set_param_value (const char *name, int value,
     error ("maximum value of parameter %qs is %u",
           compiler_params[i].option,
           compiler_params[i].max_value);
-  else
+  else if (targetm_common.option_validate_param (value, (int)i))
     set_param_value_internal ((compiler_param) i, value,
                              params, params_set, true);
 }