Mercurial > hg > CbC > CbC_gcc
diff gcc/range.cc @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/gcc/range.cc Thu Feb 13 11:34:05 2020 +0900 @@ -0,0 +1,64 @@ +/* Misc range functions. + Copyright (C) 2017-2020 Free Software Foundation, Inc. + Contributed by Aldy Hernandez <aldyh@redhat.com>. + +This file is part of GCC. + +GCC is free software; you can redistribute it and/or modify it under +the terms of the GNU General Public License as published by the Free +Software Foundation; either version 3, or (at your option) any later +version. + +GCC is distributed in the hope that it will be useful, but WITHOUT ANY +WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + for more details. + +You should have received a copy of the GNU General Public License +along with GCC; see the file COPYING3. If not see +<http://www.gnu.org/licenses/>. */ + +#include "config.h" +#include "system.h" +#include "coretypes.h" +#include "backend.h" +#include "tree.h" +#include "gimple.h" +#include "gimple-pretty-print.h" +#include "fold-const.h" +#include "ssa.h" +#include "range.h" + +value_range +range_zero (tree type) +{ + return value_range (build_zero_cst (type), build_zero_cst (type)); +} + +value_range +range_nonzero (tree type) +{ + return value_range (build_zero_cst (type), build_zero_cst (type), + VR_ANTI_RANGE); +} + +value_range +range_positives (tree type) +{ + unsigned prec = TYPE_PRECISION (type); + signop sign = TYPE_SIGN (type); + return value_range (type, wi::zero (prec), wi::max_value (prec, sign)); +} + +value_range +range_negatives (tree type) +{ + unsigned prec = TYPE_PRECISION (type); + signop sign = TYPE_SIGN (type); + value_range r; + if (sign == UNSIGNED) + r.set_undefined (); + else + r = value_range (type, wi::min_value (prec, sign), wi::minus_one (prec)); + return r; +}