LCOV - code coverage report
Current view: top level - gcc - ipa-icf-gimple.c (source / functions) Hit Total Coverage
Test: gcc.info Lines: 352 391 90.0 %
Date: 2020-05-30 12:51:24 Functions: 24 25 96.0 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 0 0 -

           Branch data     Line data    Source code
       1                 :            : /* Interprocedural Identical Code Folding pass
       2                 :            :    Copyright (C) 2014-2020 Free Software Foundation, Inc.
       3                 :            : 
       4                 :            :    Contributed by Jan Hubicka <hubicka@ucw.cz> and Martin Liska <mliska@suse.cz>
       5                 :            : 
       6                 :            : This file is part of GCC.
       7                 :            : 
       8                 :            : GCC is free software; you can redistribute it and/or modify it under
       9                 :            : the terms of the GNU General Public License as published by the Free
      10                 :            : Software Foundation; either version 3, or (at your option) any later
      11                 :            : version.
      12                 :            : 
      13                 :            : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
      14                 :            : WARRANTY; without even the implied warranty of MERCHANTABILITY or
      15                 :            : FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
      16                 :            : for more details.
      17                 :            : 
      18                 :            : You should have received a copy of the GNU General Public License
      19                 :            : along with GCC; see the file COPYING3.  If not see
      20                 :            : <http://www.gnu.org/licenses/>.  */
      21                 :            : 
      22                 :            : #include "config.h"
      23                 :            : #include "system.h"
      24                 :            : #include "coretypes.h"
      25                 :            : #include "backend.h"
      26                 :            : #include "rtl.h"
      27                 :            : #include "tree.h"
      28                 :            : #include "gimple.h"
      29                 :            : #include "tree-pass.h"
      30                 :            : #include "ssa.h"
      31                 :            : #include "cgraph.h"
      32                 :            : #include "data-streamer.h"
      33                 :            : #include "gimple-pretty-print.h"
      34                 :            : #include "fold-const.h"
      35                 :            : #include "gimple-iterator.h"
      36                 :            : #include "ipa-utils.h"
      37                 :            : #include "tree-eh.h"
      38                 :            : #include "builtins.h"
      39                 :            : #include "cfgloop.h"
      40                 :            : #include "attribs.h"
      41                 :            : 
      42                 :            : #include "ipa-icf-gimple.h"
      43                 :            : 
      44                 :            : namespace ipa_icf_gimple {
      45                 :            : 
      46                 :            : /* Initialize internal structures for a given SOURCE_FUNC_DECL and
      47                 :            :    TARGET_FUNC_DECL. Strict polymorphic comparison is processed if
      48                 :            :    an option COMPARE_POLYMORPHIC is true. For special cases, one can
      49                 :            :    set IGNORE_LABELS to skip label comparison.
      50                 :            :    Similarly, IGNORE_SOURCE_DECLS and IGNORE_TARGET_DECLS are sets
      51                 :            :    of declarations that can be skipped.  */
      52                 :            : 
      53                 :     270461 : func_checker::func_checker (tree source_func_decl, tree target_func_decl,
      54                 :            :                             bool ignore_labels,
      55                 :            :                             hash_set<symtab_node *> *ignored_source_nodes,
      56                 :     270461 :                             hash_set<symtab_node *> *ignored_target_nodes)
      57                 :            :   : m_source_func_decl (source_func_decl), m_target_func_decl (target_func_decl),
      58                 :            :     m_ignored_source_nodes (ignored_source_nodes),
      59                 :            :     m_ignored_target_nodes (ignored_target_nodes),
      60                 :     270461 :     m_ignore_labels (ignore_labels)
      61                 :            : {
      62                 :     270461 :   function *source_func = DECL_STRUCT_FUNCTION (source_func_decl);
      63                 :     270461 :   function *target_func = DECL_STRUCT_FUNCTION (target_func_decl);
      64                 :            : 
      65                 :     270461 :   unsigned ssa_source = SSANAMES (source_func)->length ();
      66                 :     270461 :   unsigned ssa_target = SSANAMES (target_func)->length ();
      67                 :            : 
      68                 :     270461 :   m_source_ssa_names.create (ssa_source);
      69                 :     270461 :   m_target_ssa_names.create (ssa_target);
      70                 :            : 
      71                 :    2787510 :   for (unsigned i = 0; i < ssa_source; i++)
      72                 :    2517050 :     m_source_ssa_names.safe_push (-1);
      73                 :            : 
      74                 :    2787390 :   for (unsigned i = 0; i < ssa_target; i++)
      75                 :    2516930 :     m_target_ssa_names.safe_push (-1);
      76                 :     270461 : }
      77                 :            : 
      78                 :            : /* Memory release routine.  */
      79                 :            : 
      80                 :     726145 : func_checker::~func_checker ()
      81                 :            : {
      82                 :     455684 :   m_source_ssa_names.release();
      83                 :     726145 :   m_target_ssa_names.release();
      84                 :     726145 : }
      85                 :            : 
      86                 :            : /* Verifies that trees T1 and T2 are equivalent from perspective of ICF.  */
      87                 :            : 
      88                 :            : bool
      89                 :    1960320 : func_checker::compare_ssa_name (const_tree t1, const_tree t2)
      90                 :            : {
      91                 :    1960320 :   gcc_assert (TREE_CODE (t1) == SSA_NAME);
      92                 :    1960320 :   gcc_assert (TREE_CODE (t2) == SSA_NAME);
      93                 :            : 
      94                 :    1960320 :   unsigned i1 = SSA_NAME_VERSION (t1);
      95                 :    1960320 :   unsigned i2 = SSA_NAME_VERSION (t2);
      96                 :            : 
      97                 :    1960320 :   if (m_source_ssa_names[i1] == -1)
      98                 :     818370 :     m_source_ssa_names[i1] = i2;
      99                 :    1141940 :   else if (m_source_ssa_names[i1] != (int) i2)
     100                 :            :     return false;
     101                 :            : 
     102                 :    1960040 :   if(m_target_ssa_names[i2] == -1)
     103                 :     818246 :     m_target_ssa_names[i2] = i1;
     104                 :    1141790 :   else if (m_target_ssa_names[i2] != (int) i1)
     105                 :            :     return false;
     106                 :            : 
     107                 :    1959910 :   if (SSA_NAME_IS_DEFAULT_DEF (t1))
     108                 :            :     {
     109                 :     344332 :       tree b1 = SSA_NAME_VAR (t1);
     110                 :     344332 :       tree b2 = SSA_NAME_VAR (t2);
     111                 :            : 
     112                 :     344332 :       return compare_operand (b1, b2);
     113                 :            :     }
     114                 :            : 
     115                 :            :   return true;
     116                 :            : }
     117                 :            : 
     118                 :            : /* Verification function for edges E1 and E2.  */
     119                 :            : 
     120                 :            : bool
     121                 :     428736 : func_checker::compare_edge (edge e1, edge e2)
     122                 :            : {
     123                 :     428736 :   if (e1->flags != e2->flags)
     124                 :            :     return false;
     125                 :            : 
     126                 :     428736 :   bool existed_p;
     127                 :            : 
     128                 :     428736 :   edge &slot = m_edge_map.get_or_insert (e1, &existed_p);
     129                 :     428736 :   if (existed_p)
     130                 :     187097 :     return return_with_debug (slot == e2);
     131                 :            :   else
     132                 :     241639 :     slot = e2;
     133                 :            : 
     134                 :            :   /* TODO: filter edge probabilities for profile feedback match.  */
     135                 :            : 
     136                 :     241639 :   return true;
     137                 :            : }
     138                 :            : 
     139                 :            : /* Verification function for declaration trees T1 and T2 that
     140                 :            :    come from functions FUNC1 and FUNC2.  */
     141                 :            : 
     142                 :            : bool
     143                 :     752717 : func_checker::compare_decl (const_tree t1, const_tree t2)
     144                 :            : {
     145                 :     752717 :   if (!auto_var_in_fn_p (t1, m_source_func_decl)
     146                 :     752717 :       || !auto_var_in_fn_p (t2, m_target_func_decl))
     147                 :          1 :     return return_with_debug (t1 == t2);
     148                 :            : 
     149                 :     752716 :   tree_code t = TREE_CODE (t1);
     150                 :       6472 :   if ((t == VAR_DECL || t == PARM_DECL || t == RESULT_DECL)
     151                 :    2103810 :       && DECL_BY_REFERENCE (t1) != DECL_BY_REFERENCE (t2))
     152                 :          0 :     return return_false_with_msg ("DECL_BY_REFERENCE flags are different");
     153                 :            : 
     154                 :     752716 :   if (!compatible_types_p (TREE_TYPE (t1), TREE_TYPE (t2)))
     155                 :         44 :     return return_false ();
     156                 :            : 
     157                 :     752672 :   bool existed_p;
     158                 :     752672 :   const_tree &slot = m_decl_map.get_or_insert (t1, &existed_p);
     159                 :     752672 :   if (existed_p)
     160                 :     412692 :     return return_with_debug (slot == t2);
     161                 :            :   else
     162                 :     339980 :     slot = t2;
     163                 :            : 
     164                 :     339980 :   return true;
     165                 :            : }
     166                 :            : 
     167                 :            : /* Return true if T1 and T2 are same for purposes of ipa-polymorphic-call
     168                 :            :    analysis.  COMPARE_PTR indicates if types of pointers needs to be
     169                 :            :    considered.  */
     170                 :            : 
     171                 :            : bool
     172                 :      24804 : func_checker::compatible_polymorphic_types_p (tree t1, tree t2,
     173                 :            :                                               bool compare_ptr)
     174                 :            : {
     175                 :      24804 :   gcc_assert (TREE_CODE (t1) != FUNCTION_TYPE && TREE_CODE (t1) != METHOD_TYPE);
     176                 :            : 
     177                 :            :   /* Pointer types generally give no information.  */
     178                 :      24804 :   if (POINTER_TYPE_P (t1))
     179                 :            :     {
     180                 :          0 :       if (!compare_ptr)
     181                 :            :         return true;
     182                 :          0 :       return func_checker::compatible_polymorphic_types_p (TREE_TYPE (t1),
     183                 :          0 :                                                            TREE_TYPE (t2),
     184                 :          0 :                                                            false);
     185                 :            :     }
     186                 :            : 
     187                 :            :   /* If types contain a polymorphic types, match them.  */
     188                 :      24804 :   bool c1 = contains_polymorphic_type_p (t1);
     189                 :      24804 :   bool c2 = contains_polymorphic_type_p (t2);
     190                 :      24804 :   if (!c1 && !c2)
     191                 :            :     return true;
     192                 :       9525 :   if (!c1 || !c2)
     193                 :         27 :     return return_false_with_msg ("one type is not polymorphic");
     194                 :       9498 :   if (!types_must_be_same_for_odr (t1, t2))
     195                 :       8691 :     return return_false_with_msg ("types are not same for ODR");
     196                 :            :   return true;
     197                 :            : }
     198                 :            : 
     199                 :            : /* Return true if types are compatible from perspective of ICF.  */
     200                 :            : bool
     201                 :    4863560 : func_checker::compatible_types_p (tree t1, tree t2)
     202                 :            : {
     203                 :    4863560 :   if (TREE_CODE (t1) != TREE_CODE (t2))
     204                 :     100605 :     return return_false_with_msg ("different tree types");
     205                 :            : 
     206                 :    4762950 :   if (TYPE_RESTRICT (t1) != TYPE_RESTRICT (t2))
     207                 :         28 :     return return_false_with_msg ("restrict flags are different");
     208                 :            : 
     209                 :    4762920 :   if (!types_compatible_p (t1, t2))
     210                 :     683095 :     return return_false_with_msg ("types are not compatible");
     211                 :            : 
     212                 :            :   return true;
     213                 :            : }
     214                 :            : 
     215                 :            : /* Function compare for equality given trees T1 and T2 which
     216                 :            :    can be either a constant or a declaration type.  */
     217                 :            : 
     218                 :            : void
     219                 :  139114000 : func_checker::hash_operand (const_tree arg, inchash::hash &hstate,
     220                 :            :                             unsigned int flags)
     221                 :            : {
     222                 :  139114000 :   if (arg == NULL_TREE)
     223                 :            :     {
     224                 :   22009700 :       hstate.merge_hash (0);
     225                 :   22009700 :       return;
     226                 :            :     }
     227                 :            : 
     228                 :  117104000 :   switch (TREE_CODE (arg))
     229                 :            :     {
     230                 :            :     case FUNCTION_DECL:
     231                 :            :     case VAR_DECL:
     232                 :            :     case LABEL_DECL:
     233                 :            :     case PARM_DECL:
     234                 :            :     case RESULT_DECL:
     235                 :            :     case CONST_DECL:
     236                 :            :     case SSA_NAME:
     237                 :            :       return;
     238                 :   14510800 :     case FIELD_DECL:
     239                 :   14510800 :       inchash::add_expr (DECL_FIELD_OFFSET (arg), hstate, flags);
     240                 :   14510800 :       inchash::add_expr (DECL_FIELD_BIT_OFFSET (arg), hstate, flags);
     241                 :   14510800 :       return;
     242                 :   53292100 :     default:
     243                 :   53292100 :       break;
     244                 :            :     }
     245                 :            : 
     246                 :   53292100 :   return operand_compare::hash_operand (arg, hstate, flags);
     247                 :            : }
     248                 :            : 
     249                 :            : bool
     250                 :    8052610 : func_checker::operand_equal_p (const_tree t1, const_tree t2,
     251                 :            :                                unsigned int flags)
     252                 :            : {
     253                 :    8052610 :   bool r;
     254                 :    8052610 :   if (verify_hash_value (t1, t2, flags, &r))
     255                 :    3232910 :     return r;
     256                 :            : 
     257                 :    4819700 :   if (t1 == t2)
     258                 :            :     return true;
     259                 :    3682620 :   else if (!t1 || !t2)
     260                 :            :     return false;
     261                 :            : 
     262                 :    3682620 :   if (TREE_CODE (t1) != TREE_CODE (t2))
     263                 :       6809 :     return return_false ();
     264                 :            : 
     265                 :    3675810 :   switch (TREE_CODE (t1))
     266                 :            :     {
     267                 :            :     case FUNCTION_DECL:
     268                 :            :       /* All function decls are in the symbol table and known to match
     269                 :            :          before we start comparing bodies.  */
     270                 :            :       return true;
     271                 :      80415 :     case VAR_DECL:
     272                 :      80415 :       return return_with_debug (compare_variable_decl (t1, t2));
     273                 :      91874 :     case LABEL_DECL:
     274                 :      91874 :       {
     275                 :      91874 :         int *bb1 = m_label_bb_map.get (t1);
     276                 :      91874 :         int *bb2 = m_label_bb_map.get (t2);
     277                 :            :         /* Labels can point to another function (non-local GOTOs).  */
     278                 :      91879 :         return return_with_debug (bb1 != NULL && bb2 != NULL && *bb1 == *bb2);
     279                 :            :       }
     280                 :            : 
     281                 :     352492 :     case PARM_DECL:
     282                 :     352492 :     case RESULT_DECL:
     283                 :     352492 :     case CONST_DECL:
     284                 :     352492 :       return compare_decl (t1, t2);
     285                 :    1960320 :     case SSA_NAME:
     286                 :    1960320 :       return compare_ssa_name (t1, t2);
     287                 :    1176750 :     default:
     288                 :    1176750 :       break;
     289                 :            :     }
     290                 :            : 
     291                 :    1176750 :   return operand_compare::operand_equal_p (t1, t2, flags);
     292                 :            : }
     293                 :            : 
     294                 :            : /* Function responsible for comparison of various operands T1 and T2.
     295                 :            :    If these components, from functions FUNC1 and FUNC2, are equal, true
     296                 :            :    is returned.  */
     297                 :            : 
     298                 :            : bool
     299                 :    3901550 : func_checker::compare_operand (tree t1, tree t2)
     300                 :            : {
     301                 :    3901550 :   if (!t1 && !t2)
     302                 :            :     return true;
     303                 :    3220010 :   else if (!t1 || !t2)
     304                 :            :     return false;
     305                 :    3220010 :   if (operand_equal_p (t1, t2, OEP_MATCH_SIDE_EFFECTS))
     306                 :            :     return true;
     307                 :      58838 :   return return_false_with_msg ("operand_equal_p failed");
     308                 :            : }
     309                 :            : 
     310                 :            : bool
     311                 :        906 : func_checker::compare_asm_inputs_outputs (tree t1, tree t2)
     312                 :            : {
     313                 :        906 :   gcc_assert (TREE_CODE (t1) == TREE_LIST);
     314                 :        906 :   gcc_assert (TREE_CODE (t2) == TREE_LIST);
     315                 :            : 
     316                 :       1772 :   for (; t1; t1 = TREE_CHAIN (t1))
     317                 :            :     {
     318                 :        906 :       if (!t2)
     319                 :            :         return false;
     320                 :            : 
     321                 :        906 :       if (!compare_operand (TREE_VALUE (t1), TREE_VALUE (t2)))
     322                 :         15 :         return return_false ();
     323                 :            : 
     324                 :        891 :       tree p1 = TREE_PURPOSE (t1);
     325                 :        891 :       tree p2 = TREE_PURPOSE (t2);
     326                 :            : 
     327                 :        891 :       gcc_assert (TREE_CODE (p1) == TREE_LIST);
     328                 :        891 :       gcc_assert (TREE_CODE (p2) == TREE_LIST);
     329                 :            : 
     330                 :        891 :       if (strcmp (TREE_STRING_POINTER (TREE_VALUE (p1)),
     331                 :        891 :                   TREE_STRING_POINTER (TREE_VALUE (p2))) != 0)
     332                 :         25 :         return return_false ();
     333                 :            : 
     334                 :        866 :       t2 = TREE_CHAIN (t2);
     335                 :            :     }
     336                 :            : 
     337                 :        866 :   if (t2)
     338                 :          0 :     return return_false ();
     339                 :            : 
     340                 :            :   return true;
     341                 :            : }
     342                 :            : 
     343                 :            : /* Verifies that trees T1 and T2 do correspond.  */
     344                 :            : 
     345                 :            : bool
     346                 :     615531 : func_checker::compare_variable_decl (const_tree t1, const_tree t2)
     347                 :            : {
     348                 :     615531 :   bool ret = false;
     349                 :            : 
     350                 :     615531 :   if (t1 == t2)
     351                 :            :     return true;
     352                 :            : 
     353                 :     160922 :   if (DECL_ALIGN (t1) != DECL_ALIGN (t2))
     354                 :         13 :     return return_false_with_msg ("alignments are different");
     355                 :            : 
     356                 :      80448 :   if (DECL_HARD_REGISTER (t1) != DECL_HARD_REGISTER (t2))
     357                 :          0 :     return return_false_with_msg ("DECL_HARD_REGISTER are different");
     358                 :            : 
     359                 :      80448 :   if (DECL_HARD_REGISTER (t1)
     360                 :      80503 :       && DECL_ASSEMBLER_NAME_RAW (t1) != DECL_ASSEMBLER_NAME_RAW (t2))
     361                 :          9 :     return return_false_with_msg ("HARD REGISTERS are different");
     362                 :            : 
     363                 :            :   /* Symbol table variables are known to match before we start comparing
     364                 :            :      bodies.  */
     365                 :      80439 :   if (decl_in_symtab_p (t1))
     366                 :         36 :     return decl_in_symtab_p (t2);
     367                 :      80403 :   ret = compare_decl (t1, t2);
     368                 :            : 
     369                 :      80403 :   return return_with_debug (ret);
     370                 :            : }
     371                 :            : 
     372                 :            : /* Compare loop information for basic blocks BB1 and BB2.  */
     373                 :            : 
     374                 :            : bool
     375                 :     535122 : func_checker::compare_loops (basic_block bb1, basic_block bb2)
     376                 :            : {
     377                 :     535122 :   if ((bb1->loop_father == NULL) != (bb2->loop_father == NULL))
     378                 :          0 :     return return_false ();
     379                 :            : 
     380                 :     535122 :   class loop *l1 = bb1->loop_father;
     381                 :     535122 :   class loop *l2 = bb2->loop_father;
     382                 :     535122 :   if (l1 == NULL)
     383                 :            :     return true;
     384                 :            : 
     385                 :     535122 :   if ((bb1 == l1->header) != (bb2 == l2->header))
     386                 :          0 :     return return_false_with_msg ("header");
     387                 :     535122 :   if ((bb1 == l1->latch) != (bb2 == l2->latch))
     388                 :          0 :     return return_false_with_msg ("latch");
     389                 :     535122 :   if (l1->simdlen != l2->simdlen)
     390                 :          5 :     return return_false_with_msg ("simdlen");
     391                 :     535117 :   if (l1->safelen != l2->safelen)
     392                 :          1 :     return return_false_with_msg ("safelen");
     393                 :     535116 :   if (l1->can_be_parallel != l2->can_be_parallel)
     394                 :          0 :     return return_false_with_msg ("can_be_parallel");
     395                 :     535116 :   if (l1->dont_vectorize != l2->dont_vectorize)
     396                 :          0 :     return return_false_with_msg ("dont_vectorize");
     397                 :     535116 :   if (l1->force_vectorize != l2->force_vectorize)
     398                 :          0 :     return return_false_with_msg ("force_vectorize");
     399                 :     535116 :   if (l1->finite_p != l2->finite_p)
     400                 :          0 :     return return_false_with_msg ("finite_p");
     401                 :     535116 :   if (l1->unroll != l2->unroll)
     402                 :          0 :     return return_false_with_msg ("unroll");
     403                 :     535116 :   if (!compare_variable_decl (l1->simduid, l2->simduid))
     404                 :          0 :     return return_false_with_msg ("simduid");
     405                 :            : 
     406                 :            :   return true;
     407                 :            : }
     408                 :            : 
     409                 :            : /* Function visits all gimple labels and creates corresponding
     410                 :            :    mapping between basic blocks and labels.  */
     411                 :            : 
     412                 :            : void
     413                 :    2849810 : func_checker::parse_labels (sem_bb *bb)
     414                 :            : {
     415                 :   18377400 :   for (gimple_stmt_iterator gsi = gsi_start_bb (bb->bb); !gsi_end_p (gsi);
     416                 :   12677800 :        gsi_next (&gsi))
     417                 :            :     {
     418                 :   12677800 :       gimple *stmt = gsi_stmt (gsi);
     419                 :            : 
     420                 :   13061900 :       if (glabel *label_stmt = dyn_cast <glabel *> (stmt))
     421                 :            :         {
     422                 :     384148 :           const_tree t = gimple_label_label (label_stmt);
     423                 :     384148 :           gcc_assert (TREE_CODE (t) == LABEL_DECL);
     424                 :            : 
     425                 :     384148 :           m_label_bb_map.put (t, bb->bb->index);
     426                 :            :         }
     427                 :            :     }
     428                 :    2849810 : }
     429                 :            : 
     430                 :            : /* Basic block equivalence comparison function that returns true if
     431                 :            :    basic blocks BB1 and BB2 (from functions FUNC1 and FUNC2) correspond.
     432                 :            : 
     433                 :            :    In general, a collection of equivalence dictionaries is built for types
     434                 :            :    like SSA names, declarations (VAR_DECL, PARM_DECL, ..). This infrastructure
     435                 :            :    is utilized by every statement-by-statement comparison function.  */
     436                 :            : 
     437                 :            : bool
     438                 :     728678 : func_checker::compare_bb (sem_bb *bb1, sem_bb *bb2)
     439                 :            : {
     440                 :     728678 :   gimple_stmt_iterator gsi1, gsi2;
     441                 :     728678 :   gimple *s1, *s2;
     442                 :            : 
     443                 :     728678 :   gsi1 = gsi_start_nondebug_bb (bb1->bb);
     444                 :     728678 :   gsi2 = gsi_start_nondebug_bb (bb2->bb);
     445                 :            : 
     446                 :    2083960 :   while (!gsi_end_p (gsi1))
     447                 :            :     {
     448                 :    1548840 :       if (gsi_end_p (gsi2))
     449                 :          0 :         return return_false ();
     450                 :            : 
     451                 :    1548840 :       s1 = gsi_stmt (gsi1);
     452                 :    1548840 :       s2 = gsi_stmt (gsi2);
     453                 :            : 
     454                 :    1548840 :       int eh1 = lookup_stmt_eh_lp_fn
     455                 :    1548840 :                 (DECL_STRUCT_FUNCTION (m_source_func_decl), s1);
     456                 :    1548840 :       int eh2 = lookup_stmt_eh_lp_fn
     457                 :    1548840 :                 (DECL_STRUCT_FUNCTION (m_target_func_decl), s2);
     458                 :            : 
     459                 :    1548840 :       if (eh1 != eh2)
     460                 :          3 :         return return_false_with_msg ("EH regions are different");
     461                 :            : 
     462                 :    1548840 :       if (gimple_code (s1) != gimple_code (s2))
     463                 :          0 :         return return_false_with_msg ("gimple codes are different");
     464                 :            : 
     465                 :    1548840 :       switch (gimple_code (s1))
     466                 :            :         {
     467                 :     431878 :         case GIMPLE_CALL:
     468                 :     431878 :           if (!compare_gimple_call (as_a <gcall *> (s1),
     469                 :            :                                     as_a <gcall *> (s2)))
     470                 :      47814 :             return return_different_stmts (s1, s2, "GIMPLE_CALL");
     471                 :            :           break;
     472                 :     682886 :         case GIMPLE_ASSIGN:
     473                 :     682886 :           if (!compare_gimple_assign (s1, s2))
     474                 :      60350 :             return return_different_stmts (s1, s2, "GIMPLE_ASSIGN");
     475                 :            :           break;
     476                 :     207447 :         case GIMPLE_COND:
     477                 :     207447 :           if (!compare_gimple_cond (s1, s2))
     478                 :       3136 :             return return_different_stmts (s1, s2, "GIMPLE_COND");
     479                 :            :           break;
     480                 :        121 :         case GIMPLE_SWITCH:
     481                 :        242 :           if (!compare_gimple_switch (as_a <gswitch *> (s1),
     482                 :        121 :                                       as_a <gswitch *> (s2)))
     483                 :         36 :             return return_different_stmts (s1, s2, "GIMPLE_SWITCH");
     484                 :            :           break;
     485                 :            :         case GIMPLE_DEBUG:
     486                 :            :           break;
     487                 :        196 :         case GIMPLE_EH_DISPATCH:
     488                 :        196 :           if (gimple_eh_dispatch_region (as_a <geh_dispatch *> (s1))
     489                 :        196 :               != gimple_eh_dispatch_region (as_a <geh_dispatch *> (s2)))
     490                 :          0 :             return return_different_stmts (s1, s2, "GIMPLE_EH_DISPATCH");
     491                 :            :           break;
     492                 :       2814 :         case GIMPLE_RESX:
     493                 :       5628 :           if (!compare_gimple_resx (as_a <gresx *> (s1),
     494                 :       2814 :                                     as_a <gresx *> (s2)))
     495                 :          0 :             return return_different_stmts (s1, s2, "GIMPLE_RESX");
     496                 :            :           break;
     497                 :      86385 :         case GIMPLE_LABEL:
     498                 :     172770 :           if (!compare_gimple_label (as_a <glabel *> (s1),
     499                 :      86385 :                                      as_a <glabel *> (s2)))
     500                 :      82136 :             return return_different_stmts (s1, s2, "GIMPLE_LABEL");
     501                 :            :           break;
     502                 :     131438 :         case GIMPLE_RETURN:
     503                 :     262876 :           if (!compare_gimple_return (as_a <greturn *> (s1),
     504                 :     131438 :                                       as_a <greturn *> (s2)))
     505                 :         27 :             return return_different_stmts (s1, s2, "GIMPLE_RETURN");
     506                 :            :           break;
     507                 :          0 :         case GIMPLE_GOTO:
     508                 :          0 :           if (!compare_gimple_goto (s1, s2))
     509                 :          0 :             return return_different_stmts (s1, s2, "GIMPLE_GOTO");
     510                 :            :           break;
     511                 :       5423 :         case GIMPLE_ASM:
     512                 :      10846 :           if (!compare_gimple_asm (as_a <gasm *> (s1),
     513                 :       5423 :                                    as_a <gasm *> (s2)))
     514                 :         54 :             return return_different_stmts (s1, s2, "GIMPLE_ASM");
     515                 :            :           break;
     516                 :            :         case GIMPLE_PREDICT:
     517                 :            :         case GIMPLE_NOP:
     518                 :            :           break;
     519                 :          0 :         default:
     520                 :          0 :           return return_false_with_msg ("Unknown GIMPLE code reached");
     521                 :            :         }
     522                 :            : 
     523                 :    1721940 :       gsi_next_nondebug (&gsi1);
     524                 :    3796960 :       gsi_next_nondebug (&gsi2);
     525                 :            :     }
     526                 :            : 
     527                 :     535122 :   if (!gsi_end_p (gsi2))
     528                 :          0 :     return return_false ();
     529                 :            : 
     530                 :     535122 :   if (!compare_loops (bb1->bb, bb2->bb))
     531                 :          6 :     return return_false ();
     532                 :            : 
     533                 :            :   return true;
     534                 :            : }
     535                 :            : 
     536                 :            : /* Verifies for given GIMPLEs S1 and S2 that
     537                 :            :    call statements are semantically equivalent.  */
     538                 :            : 
     539                 :            : bool
     540                 :     431878 : func_checker::compare_gimple_call (gcall *s1, gcall *s2)
     541                 :            : {
     542                 :     431878 :   unsigned i;
     543                 :     431878 :   tree t1, t2;
     544                 :            : 
     545                 :     431878 :   if (gimple_call_num_args (s1) != gimple_call_num_args (s2))
     546                 :            :     return false;
     547                 :            : 
     548                 :     431874 :   t1 = gimple_call_fn (s1);
     549                 :     431874 :   t2 = gimple_call_fn (s2);
     550                 :     431874 :   if (!compare_operand (t1, t2))
     551                 :        117 :     return return_false ();
     552                 :            : 
     553                 :            :   /* Compare flags.  */
     554                 :     431757 :   if (gimple_call_internal_p (s1) != gimple_call_internal_p (s2)
     555                 :     431757 :       || gimple_call_ctrl_altering_p (s1) != gimple_call_ctrl_altering_p (s2)
     556                 :     431752 :       || gimple_call_tail_p (s1) != gimple_call_tail_p (s2)
     557                 :     431752 :       || gimple_call_return_slot_opt_p (s1) != gimple_call_return_slot_opt_p (s2)
     558                 :     431752 :       || gimple_call_from_thunk_p (s1) != gimple_call_from_thunk_p (s2)
     559                 :     431752 :       || gimple_call_va_arg_pack_p (s1) != gimple_call_va_arg_pack_p (s2)
     560                 :     863509 :       || gimple_call_alloca_for_var_p (s1) != gimple_call_alloca_for_var_p (s2))
     561                 :            :     return false;
     562                 :            : 
     563                 :     431752 :   if (gimple_call_internal_p (s1)
     564                 :     431752 :       && gimple_call_internal_fn (s1) != gimple_call_internal_fn (s2))
     565                 :            :     return false;
     566                 :            : 
     567                 :     392494 :   tree fntype1 = gimple_call_fntype (s1);
     568                 :     392494 :   tree fntype2 = gimple_call_fntype (s2);
     569                 :     392494 :   if ((fntype1 && !fntype2)
     570                 :     392494 :       || (!fntype1 && fntype2)
     571                 :     392494 :       || (fntype1 && !types_compatible_p (fntype1, fntype2)))
     572                 :       1090 :     return return_false_with_msg ("call function types are not compatible");
     573                 :            : 
     574                 :     391404 :   if (fntype1 && fntype2 && comp_type_attributes (fntype1, fntype2) != 1)
     575                 :          0 :     return return_false_with_msg ("different fntype attributes");
     576                 :            : 
     577                 :     391404 :   tree chain1 = gimple_call_chain (s1);
     578                 :     391404 :   tree chain2 = gimple_call_chain (s2);
     579                 :     391404 :   if ((chain1 && !chain2)
     580                 :     391404 :       || (!chain1 && chain2)
     581                 :     391404 :       || !compare_operand (chain1, chain2))
     582                 :          0 :     return return_false_with_msg ("static call chains are different");
     583                 :            : 
     584                 :            :   /* Checking of argument.  */
     585                 :     804330 :   for (i = 0; i < gimple_call_num_args (s1); ++i)
     586                 :            :     {
     587                 :     420260 :       t1 = gimple_call_arg (s1, i);
     588                 :     420260 :       t2 = gimple_call_arg (s2, i);
     589                 :            : 
     590                 :     420260 :       if (!compare_operand (t1, t2))
     591                 :       7334 :         return return_false_with_msg ("GIMPLE call operands are different");
     592                 :            :     }
     593                 :            : 
     594                 :            :   /* Return value checking.  */
     595                 :     384070 :   t1 = gimple_get_lhs (s1);
     596                 :     384070 :   t2 = gimple_get_lhs (s2);
     597                 :            : 
     598                 :     384070 :   return compare_operand (t1, t2);
     599                 :            : }
     600                 :            : 
     601                 :            : 
     602                 :            : /* Verifies for given GIMPLEs S1 and S2 that
     603                 :            :    assignment statements are semantically equivalent.  */
     604                 :            : 
     605                 :            : bool
     606                 :     682886 : func_checker::compare_gimple_assign (gimple *s1, gimple *s2)
     607                 :            : {
     608                 :     682886 :   tree arg1, arg2;
     609                 :     682886 :   tree_code code1, code2;
     610                 :     682886 :   unsigned i;
     611                 :            : 
     612                 :     682886 :   code1 = gimple_expr_code (s1);
     613                 :     682886 :   code2 = gimple_expr_code (s2);
     614                 :            : 
     615                 :     682886 :   if (code1 != code2)
     616                 :            :     return false;
     617                 :            : 
     618                 :     682795 :   code1 = gimple_assign_rhs_code (s1);
     619                 :     682795 :   code2 = gimple_assign_rhs_code (s2);
     620                 :            : 
     621                 :     682795 :   if (code1 != code2)
     622                 :            :     return false;
     623                 :            : 
     624                 :    2046580 :   for (i = 0; i < gimple_num_ops (s1); i++)
     625                 :            :     {
     626                 :    1424050 :       arg1 = gimple_op (s1, i);
     627                 :    1424050 :       arg2 = gimple_op (s2, i);
     628                 :            : 
     629                 :            :       /* Compare types for LHS.  */
     630                 :    1424050 :       if (i == 0)
     631                 :            :         {
     632                 :     682795 :           if (!compatible_types_p (TREE_TYPE (arg1), TREE_TYPE (arg2)))
     633                 :      11178 :             return return_false_with_msg ("GIMPLE NOP LHS type mismatch");
     634                 :            :         }
     635                 :            : 
     636                 :    1412870 :       if (!compare_operand (arg1, arg2))
     637                 :      49081 :         return return_false_with_msg ("GIMPLE assignment operands "
     638                 :            :                                       "are different");
     639                 :            :     }
     640                 :            : 
     641                 :            : 
     642                 :            :   return true;
     643                 :            : }
     644                 :            : 
     645                 :            : /* Verifies for given GIMPLEs S1 and S2 that
     646                 :            :    condition statements are semantically equivalent.  */
     647                 :            : 
     648                 :            : bool
     649                 :     207447 : func_checker::compare_gimple_cond (gimple *s1, gimple *s2)
     650                 :            : {
     651                 :     207447 :   tree t1, t2;
     652                 :     207447 :   tree_code code1, code2;
     653                 :            : 
     654                 :     207447 :   code1 = gimple_expr_code (s1);
     655                 :     207447 :   code2 = gimple_expr_code (s2);
     656                 :            : 
     657                 :     207447 :   if (code1 != code2)
     658                 :            :     return false;
     659                 :            : 
     660                 :     204411 :   t1 = gimple_cond_lhs (s1);
     661                 :     204411 :   t2 = gimple_cond_lhs (s2);
     662                 :            : 
     663                 :     204411 :   if (!compare_operand (t1, t2))
     664                 :            :     return false;
     665                 :            : 
     666                 :     204311 :   t1 = gimple_cond_rhs (s1);
     667                 :     204311 :   t2 = gimple_cond_rhs (s2);
     668                 :            : 
     669                 :     204311 :   return compare_operand (t1, t2);
     670                 :            : }
     671                 :            : 
     672                 :            : /* Verifies for given GIMPLE_LABEL stmts S1 and S2 that
     673                 :            :    label statements are semantically equivalent.  */
     674                 :            : 
     675                 :            : bool
     676                 :      86385 : func_checker::compare_gimple_label (const glabel *g1, const glabel *g2)
     677                 :            : {
     678                 :      86385 :   if (m_ignore_labels)
     679                 :            :     return true;
     680                 :            : 
     681                 :      86385 :   tree t1 = gimple_label_label (g1);
     682                 :      86385 :   tree t2 = gimple_label_label (g2);
     683                 :            : 
     684                 :      90634 :   if (FORCED_LABEL (t1) || FORCED_LABEL (t2))
     685                 :      82136 :     return return_false_with_msg ("FORCED_LABEL");
     686                 :            : 
     687                 :            :   /* As the pass build BB to label mapping, no further check is needed.  */
     688                 :            :   return true;
     689                 :            : }
     690                 :            : 
     691                 :            : /* Verifies for given GIMPLE_SWITCH stmts S1 and S2 that
     692                 :            :    switch statements are semantically equivalent.  */
     693                 :            : 
     694                 :            : bool
     695                 :        121 : func_checker::compare_gimple_switch (const gswitch *g1, const gswitch *g2)
     696                 :            : {
     697                 :        121 :   unsigned lsize1, lsize2, i;
     698                 :            : 
     699                 :        121 :   lsize1 = gimple_switch_num_labels (g1);
     700                 :        121 :   lsize2 = gimple_switch_num_labels (g2);
     701                 :            : 
     702                 :        121 :   if (lsize1 != lsize2)
     703                 :            :     return false;
     704                 :            : 
     705                 :        114 :   tree t1 = gimple_switch_index (g1);
     706                 :        114 :   tree t2 = gimple_switch_index (g2);
     707                 :            : 
     708                 :        114 :   if (!compare_operand (t1, t2))
     709                 :            :     return false;
     710                 :            : 
     711                 :        503 :   for (i = 0; i < lsize1; i++)
     712                 :            :     {
     713                 :        418 :       tree label1 = gimple_switch_label (g1, i);
     714                 :        418 :       tree label2 = gimple_switch_label (g2, i);
     715                 :            : 
     716                 :            :       /* Label LOW and HIGH comparison.  */
     717                 :        418 :       tree low1 = CASE_LOW (label1);
     718                 :        418 :       tree low2 = CASE_LOW (label2);
     719                 :            : 
     720                 :        418 :       if (!tree_int_cst_equal (low1, low2))
     721                 :         29 :         return return_false_with_msg ("case low values are different");
     722                 :            : 
     723                 :        389 :       tree high1 = CASE_HIGH (label1);
     724                 :        389 :       tree high2 = CASE_HIGH (label2);
     725                 :            : 
     726                 :        389 :       if (!tree_int_cst_equal (high1, high2))
     727                 :          0 :         return return_false_with_msg ("case high values are different");
     728                 :            : 
     729                 :        389 :       if (TREE_CODE (label1) == CASE_LABEL_EXPR
     730                 :        389 :           && TREE_CODE (label2) == CASE_LABEL_EXPR)
     731                 :            :         {
     732                 :        389 :           label1 = CASE_LABEL (label1);
     733                 :        389 :           label2 = CASE_LABEL (label2);
     734                 :            : 
     735                 :        389 :           if (!compare_operand (label1, label2))
     736                 :          0 :             return return_false_with_msg ("switch label_exprs are different");
     737                 :            :         }
     738                 :          0 :       else if (!tree_int_cst_equal (label1, label2))
     739                 :          0 :         return return_false_with_msg ("switch labels are different");
     740                 :            :     }
     741                 :            : 
     742                 :            :   return true;
     743                 :            : }
     744                 :            : 
     745                 :            : /* Verifies for given GIMPLE_RETURN stmts S1 and S2 that
     746                 :            :    return statements are semantically equivalent.  */
     747                 :            : 
     748                 :            : bool
     749                 :     131438 : func_checker::compare_gimple_return (const greturn *g1, const greturn *g2)
     750                 :            : {
     751                 :     131438 :   tree t1, t2;
     752                 :            : 
     753                 :     131438 :   t1 = gimple_return_retval (g1);
     754                 :     131438 :   t2 = gimple_return_retval (g2);
     755                 :            : 
     756                 :            :   /* Void return type.  */
     757                 :     131438 :   if (t1 == NULL && t2 == NULL)
     758                 :            :     return true;
     759                 :            :   else
     760                 :      66241 :     return compare_operand (t1, t2);
     761                 :            : }
     762                 :            : 
     763                 :            : /* Verifies for given GIMPLEs S1 and S2 that
     764                 :            :    goto statements are semantically equivalent.  */
     765                 :            : 
     766                 :            : bool
     767                 :          0 : func_checker::compare_gimple_goto (gimple *g1, gimple *g2)
     768                 :            : {
     769                 :          0 :   tree dest1, dest2;
     770                 :            : 
     771                 :          0 :   dest1 = gimple_goto_dest (g1);
     772                 :          0 :   dest2 = gimple_goto_dest (g2);
     773                 :            : 
     774                 :          0 :   if (TREE_CODE (dest1) != TREE_CODE (dest2) || TREE_CODE (dest1) != SSA_NAME)
     775                 :            :     return false;
     776                 :            : 
     777                 :          0 :   return compare_operand (dest1, dest2);
     778                 :            : }
     779                 :            : 
     780                 :            : /* Verifies for given GIMPLE_RESX stmts S1 and S2 that
     781                 :            :    resx statements are semantically equivalent.  */
     782                 :            : 
     783                 :            : bool
     784                 :       2814 : func_checker::compare_gimple_resx (const gresx *g1, const gresx *g2)
     785                 :            : {
     786                 :       2814 :   return gimple_resx_region (g1) == gimple_resx_region (g2);
     787                 :            : }
     788                 :            : 
     789                 :            : /* Verifies for given GIMPLEs S1 and S2 that ASM statements are equivalent.
     790                 :            :    For the beginning, the pass only supports equality for
     791                 :            :    '__asm__ __volatile__ ("", "", "", "memory")'.  */
     792                 :            : 
     793                 :            : bool
     794                 :       5423 : func_checker::compare_gimple_asm (const gasm *g1, const gasm *g2)
     795                 :            : {
     796                 :       5423 :   if (gimple_asm_volatile_p (g1) != gimple_asm_volatile_p (g2))
     797                 :            :     return false;
     798                 :            : 
     799                 :       5423 :   if (gimple_asm_input_p (g1) != gimple_asm_input_p (g2))
     800                 :            :     return false;
     801                 :            : 
     802                 :       5423 :   if (gimple_asm_inline_p (g1) != gimple_asm_inline_p (g2))
     803                 :            :     return false;
     804                 :            : 
     805                 :       5423 :   if (gimple_asm_ninputs (g1) != gimple_asm_ninputs (g2))
     806                 :            :     return false;
     807                 :            : 
     808                 :       5417 :   if (gimple_asm_noutputs (g1) != gimple_asm_noutputs (g2))
     809                 :            :     return false;
     810                 :            : 
     811                 :            :   /* We do not suppport goto ASM statement comparison.  */
     812                 :       5416 :   if (gimple_asm_nlabels (g1) || gimple_asm_nlabels (g2))
     813                 :            :     return false;
     814                 :            : 
     815                 :       5414 :   if (gimple_asm_nclobbers (g1) != gimple_asm_nclobbers (g2))
     816                 :            :     return false;
     817                 :            : 
     818                 :       5414 :   if (strcmp (gimple_asm_string (g1), gimple_asm_string (g2)) != 0)
     819                 :          5 :     return return_false_with_msg ("ASM strings are different");
     820                 :            : 
     821                 :       5799 :   for (unsigned i = 0; i < gimple_asm_ninputs (g1); i++)
     822                 :            :     {
     823                 :        429 :       tree input1 = gimple_asm_input_op (g1, i);
     824                 :        429 :       tree input2 = gimple_asm_input_op (g2, i);
     825                 :            : 
     826                 :        429 :       if (!compare_asm_inputs_outputs (input1, input2))
     827                 :         39 :         return return_false_with_msg ("ASM input is different");
     828                 :            :     }
     829                 :            : 
     830                 :       5846 :   for (unsigned i = 0; i < gimple_asm_noutputs (g1); i++)
     831                 :            :     {
     832                 :        477 :       tree output1 = gimple_asm_output_op (g1, i);
     833                 :        477 :       tree output2 = gimple_asm_output_op (g2, i);
     834                 :            : 
     835                 :        477 :       if (!compare_asm_inputs_outputs (output1, output2))
     836                 :          1 :         return return_false_with_msg ("ASM output is different");
     837                 :            :     }
     838                 :            : 
     839                 :      18274 :   for (unsigned i = 0; i < gimple_asm_nclobbers (g1); i++)
     840                 :            :     {
     841                 :      12905 :       tree clobber1 = gimple_asm_clobber_op (g1, i);
     842                 :      12905 :       tree clobber2 = gimple_asm_clobber_op (g2, i);
     843                 :            : 
     844                 :      12905 :       if (!operand_equal_p (TREE_VALUE (clobber1), TREE_VALUE (clobber2),
     845                 :      12905 :                             OEP_ONLY_CONST))
     846                 :          0 :         return return_false_with_msg ("ASM clobber is different");
     847                 :            :     }
     848                 :            : 
     849                 :            :   return true;
     850                 :            : }
     851                 :            : 
     852                 :            : } // ipa_icf_gimple namespace

Generated by: LCOV version 1.0

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto --enable-host-shared. GCC test suite is run with the built compiler.