1 /* Preamble and helpers for the autogenerated generic-match.c file.
2 Copyright (C) 2014-2020 Free Software Foundation, Inc.
3
4 This file is part of GCC.
5
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.
10
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.
15
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/>. */
19
20 #include "config.h"
21 #include "system.h"
22 #include "coretypes.h"
23 #include "backend.h"
24 #include "target.h"
25 #include "rtl.h"
26 #include "tree.h"
27 #include "gimple.h"
28 #include "ssa.h"
29 #include "cgraph.h"
30 #include "vec-perm-indices.h"
31 #include "fold-const.h"
32 #include "fold-const-call.h"
33 #include "stor-layout.h"
34 #include "tree-dfa.h"
35 #include "builtins.h"
36 #include "case-cfn-macros.h"
37 #include "gimplify.h"
38 #include "optabs-tree.h"
39 #include "dbgcnt.h"
40 #include "tm.h"
41 #include "tree-pass.h"
42
43 /* Routine to determine if the types T1 and T2 are effectively
44 the same for GENERIC. If T1 or T2 is not a type, the test
45 applies to their TREE_TYPE. */
46
47 static inline bool
types_match(tree t1,tree t2)48 types_match (tree t1, tree t2)
49 {
50 if (!TYPE_P (t1))
51 t1 = TREE_TYPE (t1);
52 if (!TYPE_P (t2))
53 t2 = TREE_TYPE (t2);
54
55 return TYPE_MAIN_VARIANT (t1) == TYPE_MAIN_VARIANT (t2);
56 }
57
58 /* Return if T has a single use. For GENERIC, we assume this is
59 always true. */
60
61 static inline bool
single_use(tree t ATTRIBUTE_UNUSED)62 single_use (tree t ATTRIBUTE_UNUSED)
63 {
64 return true;
65 }
66
67 /* Return true if math operations should be canonicalized,
68 e.g. sqrt(sqrt(x)) -> pow(x, 0.25). */
69
70 static inline bool
canonicalize_math_p()71 canonicalize_math_p ()
72 {
73 return !cfun || (cfun->curr_properties & PROP_gimple_opt_math) == 0;
74 }
75
76 /* Return true if math operations that are beneficial only after
77 vectorization should be canonicalized. */
78
79 static inline bool
canonicalize_math_after_vectorization_p()80 canonicalize_math_after_vectorization_p ()
81 {
82 return false;
83 }
84
85 /* Return true if successive divisions can be optimized.
86 Defer to GIMPLE opts. */
87
88 static inline bool
optimize_successive_divisions_p(tree,tree)89 optimize_successive_divisions_p (tree, tree)
90 {
91 return false;
92 }
93