anti-ranges of signed variables

kugan kugan.vivekanandarajah@linaro.org
Mon Nov 14 03:38:00 GMT 2016


>
> I think we should change the get_range_info to:
>
> diff --git a/gcc/tree-ssanames.c b/gcc/tree-ssanames.c
> index 913d142..f33b9c0 100644
> --- a/gcc/tree-ssanames.c
> +++ b/gcc/tree-ssanames.c
> @@ -371,7 +371,7 @@ get_range_info (const_tree name, wide_int *min,
> wide_int *max)
>
>     *min = ri->get_min ();
>     *max = ri->get_max ();
> -  return SSA_NAME_RANGE_TYPE (name);
> +  return SSA_NAME_RANGE_TYPE (name) ? VR_ANTI_RANGE : VR_RANGE;
>   }
>
OK, this is what SSA_NAME_RANGE_TYPE in tree.h is doing.
#define SSA_NAME_RANGE_TYPE(N) \
     (SSA_NAME_ANTI_RANGE_P (N) ? VR_ANTI_RANGE : VR_RANGE)

So, we shouldn't do it again. Sorry about the noise.

Kugan



More information about the Gcc mailing list