mirror of git://gcc.gnu.org/git/gcc.git
One last tweak before we move onto the new world/branch.
From-SVN: r259404
This commit is contained in:
parent
62a2e85772
commit
15c5f3f502
|
|
@ -308,11 +308,17 @@ builtin_memref::extend_offset_range (tree offset)
|
||||||
if (TREE_CODE (offset) == SSA_NAME)
|
if (TREE_CODE (offset) == SSA_NAME)
|
||||||
{
|
{
|
||||||
wide_int min, max;
|
wide_int min, max;
|
||||||
if (get_range_info (offset, &min, &max))
|
value_range_type rng = get_range_info_as_value_range (offset, &min, &max);
|
||||||
|
if (rng == VR_RANGE)
|
||||||
{
|
{
|
||||||
offrange[0] += offset_int::from (min, SIGNED);
|
offrange[0] += offset_int::from (min, SIGNED);
|
||||||
offrange[1] += offset_int::from (max, SIGNED);
|
offrange[1] += offset_int::from (max, SIGNED);
|
||||||
}
|
}
|
||||||
|
else if (rng == VR_ANTI_RANGE)
|
||||||
|
{
|
||||||
|
offrange[0] += offset_int::from (max + 1, SIGNED);
|
||||||
|
offrange[1] += offset_int::from (min - 1, SIGNED);
|
||||||
|
}
|
||||||
else
|
else
|
||||||
{
|
{
|
||||||
gimple *stmt = SSA_NAME_DEF_STMT (offset);
|
gimple *stmt = SSA_NAME_DEF_STMT (offset);
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue