gcc/generic-match-head.c

   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
  41 /* Routine to determine if the types T1 and T2 are effectively
  42    the same for GENERIC.  If T1 or T2 is not a type, the test
  43    applies to their TREE_TYPE.  */
  44
  45 static inline bool
  46 types_match (tree t1, tree t2)
  47 {
  48   if (!TYPE_P (t1))
  49     t1 = TREE_TYPE (t1);
  50   if (!TYPE_P (t2))
  51     t2 = TREE_TYPE (t2);
  52
  53   return TYPE_MAIN_VARIANT (t1) == TYPE_MAIN_VARIANT (t2);
  54 }
  55
  56 /* Return if T has a single use.  For GENERIC, we assume this is
  57    always true.  */
  58
  59 static inline bool
  60 single_use (tree t ATTRIBUTE_UNUSED)
  61 {
  62   return true;
  63 }
  64
  65 /* Return true if math operations should be canonicalized,
  66    e.g. sqrt(sqrt(x)) -> pow(x, 0.25).  */
  67
  68 static inline bool
  69 canonicalize_math_p ()
  70 {
  71   return true;
  72 }
  73
  74 /* Return true if math operations that are beneficial only after
  75    vectorization should be canonicalized.  */
  76
  77 static inline bool
  78 canonicalize_math_after_vectorization_p ()
  79 {
  80   return false;
  81 }
  82
  83 /* Return true if successive divisions can be optimized.
  84    Defer to GIMPLE opts.  */
  85
  86 static inline bool
  87 optimize_successive_divisions_p (tree, tree)
  88 {
  89   return false;
  90 }