[Ada] Adapt body of formal sets and maps for SPARK
[official-gcc.git] / gcc / tree-vector-builder.cc
bloba09d667378005ab69c0e737d2244cc4880501355
1 /* A class for building vector tree constants.
2 Copyright (C) 2017-2022 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 #include "config.h"
21 #include "system.h"
22 #include "coretypes.h"
23 #include "tree.h"
24 #include "fold-const.h"
25 #include "tree-vector-builder.h"
27 /* Return a vector element with the value BASE + FACTOR * STEP. */
29 tree
30 tree_vector_builder::apply_step (tree base, unsigned int factor,
31 const wide_int &step) const
33 return wide_int_to_tree (TREE_TYPE (base),
34 wi::to_wide (base) + factor * step);
37 /* Return a VECTOR_CST for the current constant. */
39 tree
40 tree_vector_builder::build ()
42 finalize ();
43 gcc_assert (pow2p_hwi (npatterns ()));
44 tree v = make_vector (exact_log2 (npatterns ()), nelts_per_pattern ());
45 TREE_TYPE (v) = m_type;
46 memcpy (VECTOR_CST_ENCODED_ELTS (v), address (),
47 encoded_nelts () * sizeof (tree));
48 return v;