annotate gcc/rtx-vector-builder.c @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 /* A class for building vector rtx constants.
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
2 Copyright (C) 2017-2020 Free Software Foundation, Inc.
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4 This file is part of GCC.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 GCC is free software; you can redistribute it and/or modify it under
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 the terms of the GNU General Public License as published by the Free
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 Software Foundation; either version 3, or (at your option) any later
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 version.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 for more details.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 You should have received a copy of the GNU General Public License
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 along with GCC; see the file COPYING3. If not see
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 <http://www.gnu.org/licenses/>. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 #include "config.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21 #include "system.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22 #include "coretypes.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23 #include "tm.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24 #include "rtl.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25 #include "rtx-vector-builder.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27 /* Return a CONST_VECTOR for the current constant. V is an existing
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28 rtvec that contains all the elements. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30 rtx
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31 rtx_vector_builder::build (rtvec v)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
32 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
33 finalize ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
34
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
35 rtx x = find_cached_value ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
36 if (x)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
37 return x;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
38
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
39 x = gen_rtx_raw_CONST_VECTOR (m_mode, v);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
40 CONST_VECTOR_NPATTERNS (x) = npatterns ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
41 CONST_VECTOR_NELTS_PER_PATTERN (x) = nelts_per_pattern ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
42 return x;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
43 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
44
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
45 /* Return a vector element with the value BASE + FACTOR * STEP. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
46
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
47 rtx
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
48 rtx_vector_builder::apply_step (rtx base, unsigned int factor,
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
49 const wide_int &step) const
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
50 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
51 scalar_int_mode int_mode = as_a <scalar_int_mode> (GET_MODE_INNER (m_mode));
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
52 return immed_wide_int_const (wi::add (rtx_mode_t (base, int_mode),
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
53 factor * step),
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
54 int_mode);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
55 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
56
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
57 /* Return a CONST_VECTOR for the current constant. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
58
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
59 rtx
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
60 rtx_vector_builder::build ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
61 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
62 finalize ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
63
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
64 rtx x = find_cached_value ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
65 if (x)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
66 return x;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
67
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
68 unsigned int nelts;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
69 if (!GET_MODE_NUNITS (m_mode).is_constant (&nelts))
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
70 nelts = encoded_nelts ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
71 rtvec v = rtvec_alloc (nelts);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
72 for (unsigned int i = 0; i < nelts; ++i)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
73 RTVEC_ELT (v, i) = elt (i);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
74 x = gen_rtx_raw_CONST_VECTOR (m_mode, v);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
75 CONST_VECTOR_NPATTERNS (x) = npatterns ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
76 CONST_VECTOR_NELTS_PER_PATTERN (x) = nelts_per_pattern ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
77 return x;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
78 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
79
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
80 /* Check whether there is a global cached value for the vector.
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
81 Return it if so, otherwise return null. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
82
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
83 rtx
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
84 rtx_vector_builder::find_cached_value ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
85 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
86 if (encoded_nelts () != 1)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
87 return NULL_RTX;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
88
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
89 rtx elt = (*this)[0];
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
90
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
91 if (GET_MODE_CLASS (m_mode) == MODE_VECTOR_BOOL)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
92 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
93 if (elt == const1_rtx || elt == constm1_rtx)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
94 return CONST1_RTX (m_mode);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
95 else if (elt == const0_rtx)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
96 return CONST0_RTX (m_mode);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
97 else
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
98 gcc_unreachable ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
99 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
100
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
101 /* We can be called before the global vector constants are set up,
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
102 but in that case we'll just return null. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
103 scalar_mode inner_mode = GET_MODE_INNER (m_mode);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
104 if (elt == CONST0_RTX (inner_mode))
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
105 return CONST0_RTX (m_mode);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
106 else if (elt == CONST1_RTX (inner_mode))
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
107 return CONST1_RTX (m_mode);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
108 else if (elt == CONSTM1_RTX (inner_mode))
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
109 return CONSTM1_RTX (m_mode);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
110
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
111 return NULL_RTX;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
112 }