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 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 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 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 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 89 optimize_successive_divisions_p (tree, tree) 90 { 91 return false; 92 } 93