LCOV - code coverage report
Current view: top level - gcc - tree-ssa-loop.c (source / functions) Hit Total Coverage
Test: gcc.info Lines: 203 218 93.1 %
Date: 2020-04-04 11:58:09 Functions: 32 33 97.0 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 0 0 -

           Branch data     Line data    Source code
       1                 :            : /* Loop optimizations over tree-ssa.
       2                 :            :    Copyright (C) 2003-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
       7                 :            : under the terms of the GNU General Public License as published by the
       8                 :            : Free Software Foundation; either version 3, or (at your option) any
       9                 :            : later version.
      10                 :            : 
      11                 :            : GCC is distributed in the hope that it will be useful, but WITHOUT
      12                 :            : ANY 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 "tree.h"
      25                 :            : #include "gimple.h"
      26                 :            : #include "tree-pass.h"
      27                 :            : #include "memmodel.h"
      28                 :            : #include "tm_p.h"
      29                 :            : #include "fold-const.h"
      30                 :            : #include "gimple-iterator.h"
      31                 :            : #include "tree-ssa-loop-ivopts.h"
      32                 :            : #include "tree-ssa-loop-manip.h"
      33                 :            : #include "tree-ssa-loop-niter.h"
      34                 :            : #include "tree-ssa-loop.h"
      35                 :            : #include "cfgloop.h"
      36                 :            : #include "tree-inline.h"
      37                 :            : #include "tree-scalar-evolution.h"
      38                 :            : #include "tree-vectorizer.h"
      39                 :            : #include "omp-general.h"
      40                 :            : #include "diagnostic-core.h"
      41                 :            : #include "stringpool.h"
      42                 :            : #include "attribs.h"
      43                 :            : 
      44                 :            : 
      45                 :            : /* A pass making sure loops are fixed up.  */
      46                 :            : 
      47                 :            : namespace {
      48                 :            : 
      49                 :            : const pass_data pass_data_fix_loops =
      50                 :            : {
      51                 :            :   GIMPLE_PASS, /* type */
      52                 :            :   "fix_loops", /* name */
      53                 :            :   OPTGROUP_LOOP, /* optinfo_flags */
      54                 :            :   TV_TREE_LOOP, /* tv_id */
      55                 :            :   PROP_cfg, /* properties_required */
      56                 :            :   0, /* properties_provided */
      57                 :            :   0, /* properties_destroyed */
      58                 :            :   0, /* todo_flags_start */
      59                 :            :   0, /* todo_flags_finish */
      60                 :            : };
      61                 :            : 
      62                 :            : class pass_fix_loops : public gimple_opt_pass
      63                 :            : {
      64                 :            : public:
      65                 :     200773 :   pass_fix_loops (gcc::context *ctxt)
      66                 :     401546 :     : gimple_opt_pass (pass_data_fix_loops, ctxt)
      67                 :            :   {}
      68                 :            : 
      69                 :            :   /* opt_pass methods: */
      70                 :     686787 :   virtual bool gate (function *) { return flag_tree_loop_optimize; }
      71                 :            : 
      72                 :            :   virtual unsigned int execute (function *fn);
      73                 :            : }; // class pass_fix_loops
      74                 :            : 
      75                 :            : unsigned int
      76                 :     686731 : pass_fix_loops::execute (function *)
      77                 :            : {
      78                 :     686731 :   if (loops_state_satisfies_p (LOOPS_NEED_FIXUP))
      79                 :            :     {
      80                 :          0 :       calculate_dominance_info (CDI_DOMINATORS);
      81                 :          0 :       fix_loop_structure (NULL);
      82                 :            :     }
      83                 :     686731 :   return 0;
      84                 :            : }
      85                 :            : 
      86                 :            : } // anon namespace
      87                 :            : 
      88                 :            : gimple_opt_pass *
      89                 :     200773 : make_pass_fix_loops (gcc::context *ctxt)
      90                 :            : {
      91                 :     200773 :   return new pass_fix_loops (ctxt);
      92                 :            : }
      93                 :            : 
      94                 :            : 
      95                 :            : /* Gate for loop pass group.  The group is controlled by -ftree-loop-optimize
      96                 :            :    but we also avoid running it when the IL doesn't contain any loop.  */
      97                 :            : 
      98                 :            : static bool
      99                 :    1373570 : gate_loop (function *fn)
     100                 :            : {
     101                 :          0 :   if (!flag_tree_loop_optimize)
     102                 :            :     return false;
     103                 :            : 
     104                 :            :   /* For -fdump-passes which runs before loop discovery print the
     105                 :            :      state of -ftree-loop-optimize.  */
     106                 :    1373500 :   if (!loops_for_fn (fn))
     107                 :            :     return true;
     108                 :            : 
     109                 :    2746990 :   return number_of_loops (fn) > 1;
     110                 :            : }
     111                 :            : 
     112                 :            : /* The loop superpass.  */
     113                 :            : 
     114                 :            : namespace {
     115                 :            : 
     116                 :            : const pass_data pass_data_tree_loop =
     117                 :            : {
     118                 :            :   GIMPLE_PASS, /* type */
     119                 :            :   "loop", /* name */
     120                 :            :   OPTGROUP_LOOP, /* optinfo_flags */
     121                 :            :   TV_TREE_LOOP, /* tv_id */
     122                 :            :   PROP_cfg, /* properties_required */
     123                 :            :   0, /* properties_provided */
     124                 :            :   0, /* properties_destroyed */
     125                 :            :   0, /* todo_flags_start */
     126                 :            :   0, /* todo_flags_finish */
     127                 :            : };
     128                 :            : 
     129                 :            : class pass_tree_loop : public gimple_opt_pass
     130                 :            : {
     131                 :            : public:
     132                 :     200773 :   pass_tree_loop (gcc::context *ctxt)
     133                 :     401546 :     : gimple_opt_pass (pass_data_tree_loop, ctxt)
     134                 :            :   {}
     135                 :            : 
     136                 :            :   /* opt_pass methods: */
     137                 :     686787 :   virtual bool gate (function *fn) { return gate_loop (fn); }
     138                 :            : 
     139                 :            : }; // class pass_tree_loop
     140                 :            : 
     141                 :            : } // anon namespace
     142                 :            : 
     143                 :            : gimple_opt_pass *
     144                 :     200773 : make_pass_tree_loop (gcc::context *ctxt)
     145                 :            : {
     146                 :     200773 :   return new pass_tree_loop (ctxt);
     147                 :            : }
     148                 :            : 
     149                 :            : /* Gate for oacc kernels pass group.  */
     150                 :            : 
     151                 :            : static bool
     152                 :       9671 : gate_oacc_kernels (function *fn)
     153                 :            : {
     154                 :       9671 :   if (!flag_openacc)
     155                 :            :     return false;
     156                 :            : 
     157                 :       9669 :   if (!lookup_attribute ("oacc kernels", DECL_ATTRIBUTES (fn->decl)))
     158                 :            :     return false;
     159                 :            : 
     160                 :       1103 :   class loop *loop;
     161                 :       1667 :   FOR_EACH_LOOP (loop, 0)
     162                 :       1432 :     if (loop->in_oacc_kernels_region)
     163                 :       1736 :       return true;
     164                 :            : 
     165                 :        235 :   return false;
     166                 :            : }
     167                 :            : 
     168                 :            : /* The oacc kernels superpass.  */
     169                 :            : 
     170                 :            : namespace {
     171                 :            : 
     172                 :            : const pass_data pass_data_oacc_kernels =
     173                 :            : {
     174                 :            :   GIMPLE_PASS, /* type */
     175                 :            :   "oacc_kernels", /* name */
     176                 :            :   OPTGROUP_LOOP, /* optinfo_flags */
     177                 :            :   TV_TREE_LOOP, /* tv_id */
     178                 :            :   PROP_cfg, /* properties_required */
     179                 :            :   0, /* properties_provided */
     180                 :            :   0, /* properties_destroyed */
     181                 :            :   0, /* todo_flags_start */
     182                 :            :   0, /* todo_flags_finish */
     183                 :            : };
     184                 :            : 
     185                 :            : class pass_oacc_kernels : public gimple_opt_pass
     186                 :            : {
     187                 :            : public:
     188                 :     200773 :   pass_oacc_kernels (gcc::context *ctxt)
     189                 :     401546 :     : gimple_opt_pass (pass_data_oacc_kernels, ctxt)
     190                 :            :   {}
     191                 :            : 
     192                 :            :   /* opt_pass methods: */
     193                 :       9671 :   virtual bool gate (function *fn) { return gate_oacc_kernels (fn); }
     194                 :            : 
     195                 :            : }; // class pass_oacc_kernels
     196                 :            : 
     197                 :            : } // anon namespace
     198                 :            : 
     199                 :            : gimple_opt_pass *
     200                 :     200773 : make_pass_oacc_kernels (gcc::context *ctxt)
     201                 :            : {
     202                 :     200773 :   return new pass_oacc_kernels (ctxt);
     203                 :            : }
     204                 :            : 
     205                 :            : /* The ipa oacc superpass.  */
     206                 :            : 
     207                 :            : namespace {
     208                 :            : 
     209                 :            : const pass_data pass_data_ipa_oacc =
     210                 :            : {
     211                 :            :   SIMPLE_IPA_PASS, /* type */
     212                 :            :   "ipa_oacc", /* name */
     213                 :            :   OPTGROUP_LOOP, /* optinfo_flags */
     214                 :            :   TV_TREE_LOOP, /* tv_id */
     215                 :            :   PROP_cfg, /* properties_required */
     216                 :            :   0, /* properties_provided */
     217                 :            :   0, /* properties_destroyed */
     218                 :            :   0, /* todo_flags_start */
     219                 :            :   0, /* todo_flags_finish */
     220                 :            : };
     221                 :            : 
     222                 :            : class pass_ipa_oacc : public simple_ipa_opt_pass
     223                 :            : {
     224                 :            : public:
     225                 :     200773 :   pass_ipa_oacc (gcc::context *ctxt)
     226                 :     401546 :     : simple_ipa_opt_pass (pass_data_ipa_oacc, ctxt)
     227                 :            :   {}
     228                 :            : 
     229                 :            :   /* opt_pass methods: */
     230                 :     163439 :   virtual bool gate (function *)
     231                 :            :   {
     232                 :     163439 :     return (optimize
     233                 :     109694 :             && flag_openacc
     234                 :            :             /* Don't bother doing anything if the program has errors.  */
     235                 :     165068 :             && !seen_error ());
     236                 :            :   }
     237                 :            : 
     238                 :            : }; // class pass_ipa_oacc
     239                 :            : 
     240                 :            : } // anon namespace
     241                 :            : 
     242                 :            : simple_ipa_opt_pass *
     243                 :     200773 : make_pass_ipa_oacc (gcc::context *ctxt)
     244                 :            : {
     245                 :     200773 :   return new pass_ipa_oacc (ctxt);
     246                 :            : }
     247                 :            : 
     248                 :            : /* The ipa oacc kernels pass.  */
     249                 :            : 
     250                 :            : namespace {
     251                 :            : 
     252                 :            : const pass_data pass_data_ipa_oacc_kernels =
     253                 :            : {
     254                 :            :   SIMPLE_IPA_PASS, /* type */
     255                 :            :   "ipa_oacc_kernels", /* name */
     256                 :            :   OPTGROUP_LOOP, /* optinfo_flags */
     257                 :            :   TV_TREE_LOOP, /* tv_id */
     258                 :            :   PROP_cfg, /* properties_required */
     259                 :            :   0, /* properties_provided */
     260                 :            :   0, /* properties_destroyed */
     261                 :            :   0, /* todo_flags_start */
     262                 :            :   0, /* todo_flags_finish */
     263                 :            : };
     264                 :            : 
     265                 :            : class pass_ipa_oacc_kernels : public simple_ipa_opt_pass
     266                 :            : {
     267                 :            : public:
     268                 :     200773 :   pass_ipa_oacc_kernels (gcc::context *ctxt)
     269                 :     401546 :     : simple_ipa_opt_pass (pass_data_ipa_oacc_kernels, ctxt)
     270                 :            :   {}
     271                 :            : 
     272                 :            : }; // class pass_ipa_oacc_kernels
     273                 :            : 
     274                 :            : } // anon namespace
     275                 :            : 
     276                 :            : simple_ipa_opt_pass *
     277                 :     200773 : make_pass_ipa_oacc_kernels (gcc::context *ctxt)
     278                 :            : {
     279                 :     200773 :   return new pass_ipa_oacc_kernels (ctxt);
     280                 :            : }
     281                 :            : 
     282                 :            : /* The no-loop superpass.  */
     283                 :            : 
     284                 :            : namespace {
     285                 :            : 
     286                 :            : const pass_data pass_data_tree_no_loop =
     287                 :            : {
     288                 :            :   GIMPLE_PASS, /* type */
     289                 :            :   "no_loop", /* name */
     290                 :            :   OPTGROUP_NONE, /* optinfo_flags */
     291                 :            :   TV_TREE_NOLOOP, /* tv_id */
     292                 :            :   PROP_cfg, /* properties_required */
     293                 :            :   0, /* properties_provided */
     294                 :            :   0, /* properties_destroyed */
     295                 :            :   0, /* todo_flags_start */
     296                 :            :   0, /* todo_flags_finish */
     297                 :            : };
     298                 :            : 
     299                 :            : class pass_tree_no_loop : public gimple_opt_pass
     300                 :            : {
     301                 :            : public:
     302                 :     200773 :   pass_tree_no_loop (gcc::context *ctxt)
     303                 :     401546 :     : gimple_opt_pass (pass_data_tree_no_loop, ctxt)
     304                 :            :   {}
     305                 :            : 
     306                 :            :   /* opt_pass methods: */
     307                 :     686787 :   virtual bool gate (function *fn) { return !gate_loop (fn); }
     308                 :            : 
     309                 :            : }; // class pass_tree_no_loop
     310                 :            : 
     311                 :            : } // anon namespace
     312                 :            : 
     313                 :            : gimple_opt_pass *
     314                 :     200773 : make_pass_tree_no_loop (gcc::context *ctxt)
     315                 :            : {
     316                 :     200773 :   return new pass_tree_no_loop (ctxt);
     317                 :            : }
     318                 :            : 
     319                 :            : 
     320                 :            : /* Loop optimizer initialization.  */
     321                 :            : 
     322                 :            : namespace {
     323                 :            : 
     324                 :            : const pass_data pass_data_tree_loop_init =
     325                 :            : {
     326                 :            :   GIMPLE_PASS, /* type */
     327                 :            :   "loopinit", /* name */
     328                 :            :   OPTGROUP_LOOP, /* optinfo_flags */
     329                 :            :   TV_NONE, /* tv_id */
     330                 :            :   PROP_cfg, /* properties_required */
     331                 :            :   0, /* properties_provided */
     332                 :            :   0, /* properties_destroyed */
     333                 :            :   TODO_update_address_taken, /* todo_flags_start */
     334                 :            :   0, /* todo_flags_finish */
     335                 :            : };
     336                 :            : 
     337                 :            : class pass_tree_loop_init : public gimple_opt_pass
     338                 :            : {
     339                 :            : public:
     340                 :     200773 :   pass_tree_loop_init (gcc::context *ctxt)
     341                 :     401546 :     : gimple_opt_pass (pass_data_tree_loop_init, ctxt)
     342                 :            :   {}
     343                 :            : 
     344                 :            :   /* opt_pass methods: */
     345                 :            :   virtual unsigned int execute (function *);
     346                 :            : 
     347                 :            : }; // class pass_tree_loop_init
     348                 :            : 
     349                 :            : unsigned int
     350                 :     157674 : pass_tree_loop_init::execute (function *fun ATTRIBUTE_UNUSED)
     351                 :            : {
     352                 :            :   /* When processing a loop in the loop pipeline, we should be able to assert
     353                 :            :      that:
     354                 :            :        (loops_state_satisfies_p (LOOPS_NORMAL | LOOPS_HAVE_RECORDED_EXITS
     355                 :            :                                               | LOOP_CLOSED_SSA)
     356                 :            :         && scev_initialized_p ())
     357                 :            :   */
     358                 :     157674 :   loop_optimizer_init (LOOPS_NORMAL
     359                 :            :                        | LOOPS_HAVE_RECORDED_EXITS);
     360                 :     157674 :   rewrite_into_loop_closed_ssa (NULL, TODO_update_ssa);
     361                 :     157674 :   scev_initialize ();
     362                 :            : 
     363                 :     157674 :   return 0;
     364                 :            : }
     365                 :            : 
     366                 :            : } // anon namespace
     367                 :            : 
     368                 :            : gimple_opt_pass *
     369                 :     200773 : make_pass_tree_loop_init (gcc::context *ctxt)
     370                 :            : {
     371                 :     200773 :   return new pass_tree_loop_init (ctxt);
     372                 :            : }
     373                 :            : 
     374                 :            : /* Loop autovectorization.  */
     375                 :            : 
     376                 :            : namespace {
     377                 :            : 
     378                 :            : const pass_data pass_data_vectorize =
     379                 :            : {
     380                 :            :   GIMPLE_PASS, /* type */
     381                 :            :   "vect", /* name */
     382                 :            :   OPTGROUP_LOOP | OPTGROUP_VEC, /* optinfo_flags */
     383                 :            :   TV_TREE_VECTORIZATION, /* tv_id */
     384                 :            :   ( PROP_cfg | PROP_ssa ), /* properties_required */
     385                 :            :   0, /* properties_provided */
     386                 :            :   0, /* properties_destroyed */
     387                 :            :   0, /* todo_flags_start */
     388                 :            :   0, /* todo_flags_finish */
     389                 :            : };
     390                 :            : 
     391                 :            : class pass_vectorize : public gimple_opt_pass
     392                 :            : {
     393                 :            : public:
     394                 :     200773 :   pass_vectorize (gcc::context *ctxt)
     395                 :     401546 :     : gimple_opt_pass (pass_data_vectorize, ctxt)
     396                 :            :   {}
     397                 :            : 
     398                 :            :   /* opt_pass methods: */
     399                 :     157676 :   virtual bool gate (function *fun)
     400                 :            :     {
     401                 :     157676 :       return flag_tree_loop_vectorize || fun->has_force_vectorize_loops;
     402                 :            :     }
     403                 :            : 
     404                 :            :   virtual unsigned int execute (function *);
     405                 :            : 
     406                 :            : }; // class pass_vectorize
     407                 :            : 
     408                 :            : unsigned int
     409                 :      33953 : pass_vectorize::execute (function *fun)
     410                 :            : {
     411                 :      67906 :   if (number_of_loops (fun) <= 1)
     412                 :            :     return 0;
     413                 :            : 
     414                 :      33953 :   return vectorize_loops ();
     415                 :            : }
     416                 :            : 
     417                 :            : } // anon namespace
     418                 :            : 
     419                 :            : gimple_opt_pass *
     420                 :     200773 : make_pass_vectorize (gcc::context *ctxt)
     421                 :            : {
     422                 :     200773 :   return new pass_vectorize (ctxt);
     423                 :            : }
     424                 :            : 
     425                 :            : /* Propagation of constants using scev.  */
     426                 :            : 
     427                 :            : namespace {
     428                 :            : 
     429                 :            : const pass_data pass_data_scev_cprop =
     430                 :            : {
     431                 :            :   GIMPLE_PASS, /* type */
     432                 :            :   "sccp", /* name */
     433                 :            :   OPTGROUP_LOOP, /* optinfo_flags */
     434                 :            :   TV_SCEV_CONST, /* tv_id */
     435                 :            :   ( PROP_cfg | PROP_ssa ), /* properties_required */
     436                 :            :   0, /* properties_provided */
     437                 :            :   0, /* properties_destroyed */
     438                 :            :   0, /* todo_flags_start */
     439                 :            :   0, /* todo_flags_finish */
     440                 :            : };
     441                 :            : 
     442                 :            : class pass_scev_cprop : public gimple_opt_pass
     443                 :            : {
     444                 :            : public:
     445                 :     200773 :   pass_scev_cprop (gcc::context *ctxt)
     446                 :     401546 :     : gimple_opt_pass (pass_data_scev_cprop, ctxt)
     447                 :            :   {}
     448                 :            : 
     449                 :            :   /* opt_pass methods: */
     450                 :     157676 :   virtual bool gate (function *) { return flag_tree_scev_cprop; }
     451                 :            :   virtual unsigned int execute (function *);
     452                 :            : 
     453                 :            : }; // class pass_scev_cprop
     454                 :            : 
     455                 :            : unsigned
     456                 :     157509 : pass_scev_cprop::execute (function *)
     457                 :            : {
     458                 :     157509 :   class loop *loop;
     459                 :     157509 :   bool any = false;
     460                 :            : 
     461                 :            :   /* Perform final value replacement in loops, in case the replacement
     462                 :            :      expressions are cheap.  */
     463                 :     536524 :   FOR_EACH_LOOP (loop, LI_FROM_INNERMOST)
     464                 :     379015 :     any |= final_value_replacement_loop (loop);
     465                 :            : 
     466                 :     157509 :   return any ? TODO_cleanup_cfg | TODO_update_ssa_only_virtuals : 0;
     467                 :            : }
     468                 :            : 
     469                 :            : } // anon namespace
     470                 :            : 
     471                 :            : gimple_opt_pass *
     472                 :     200773 : make_pass_scev_cprop (gcc::context *ctxt)
     473                 :            : {
     474                 :     200773 :   return new pass_scev_cprop (ctxt);
     475                 :            : }
     476                 :            : 
     477                 :            : /* Induction variable optimizations.  */
     478                 :            : 
     479                 :            : namespace {
     480                 :            : 
     481                 :            : const pass_data pass_data_iv_optimize =
     482                 :            : {
     483                 :            :   GIMPLE_PASS, /* type */
     484                 :            :   "ivopts", /* name */
     485                 :            :   OPTGROUP_LOOP, /* optinfo_flags */
     486                 :            :   TV_TREE_LOOP_IVOPTS, /* tv_id */
     487                 :            :   ( PROP_cfg | PROP_ssa ), /* properties_required */
     488                 :            :   0, /* properties_provided */
     489                 :            :   0, /* properties_destroyed */
     490                 :            :   0, /* todo_flags_start */
     491                 :            :   TODO_update_ssa, /* todo_flags_finish */
     492                 :            : };
     493                 :            : 
     494                 :            : class pass_iv_optimize : public gimple_opt_pass
     495                 :            : {
     496                 :            : public:
     497                 :     200773 :   pass_iv_optimize (gcc::context *ctxt)
     498                 :     401546 :     : gimple_opt_pass (pass_data_iv_optimize, ctxt)
     499                 :            :   {}
     500                 :            : 
     501                 :            :   /* opt_pass methods: */
     502                 :     157676 :   virtual bool gate (function *) { return flag_ivopts != 0; }
     503                 :            :   virtual unsigned int execute (function *);
     504                 :            : 
     505                 :            : }; // class pass_iv_optimize
     506                 :            : 
     507                 :            : unsigned int
     508                 :     157655 : pass_iv_optimize::execute (function *fun)
     509                 :            : {
     510                 :     315310 :   if (number_of_loops (fun) <= 1)
     511                 :            :     return 0;
     512                 :            : 
     513                 :     157655 :   tree_ssa_iv_optimize ();
     514                 :     157655 :   return 0;
     515                 :            : }
     516                 :            : 
     517                 :            : } // anon namespace
     518                 :            : 
     519                 :            : gimple_opt_pass *
     520                 :     200773 : make_pass_iv_optimize (gcc::context *ctxt)
     521                 :            : {
     522                 :     200773 :   return new pass_iv_optimize (ctxt);
     523                 :            : }
     524                 :            : 
     525                 :            : /* Loop optimizer finalization.  */
     526                 :            : 
     527                 :            : static unsigned int
     528                 :     157674 : tree_ssa_loop_done (void)
     529                 :            : {
     530                 :     157674 :   free_numbers_of_iterations_estimates (cfun);
     531                 :     157674 :   scev_finalize ();
     532                 :     157674 :   loop_optimizer_finalize ();
     533                 :     157674 :   return 0;
     534                 :            : }
     535                 :            : 
     536                 :            : namespace {
     537                 :            : 
     538                 :            : const pass_data pass_data_tree_loop_done =
     539                 :            : {
     540                 :            :   GIMPLE_PASS, /* type */
     541                 :            :   "loopdone", /* name */
     542                 :            :   OPTGROUP_LOOP, /* optinfo_flags */
     543                 :            :   TV_NONE, /* tv_id */
     544                 :            :   PROP_cfg, /* properties_required */
     545                 :            :   0, /* properties_provided */
     546                 :            :   0, /* properties_destroyed */
     547                 :            :   0, /* todo_flags_start */
     548                 :            :   TODO_cleanup_cfg, /* todo_flags_finish */
     549                 :            : };
     550                 :            : 
     551                 :            : class pass_tree_loop_done : public gimple_opt_pass
     552                 :            : {
     553                 :            : public:
     554                 :     200773 :   pass_tree_loop_done (gcc::context *ctxt)
     555                 :     401546 :     : gimple_opt_pass (pass_data_tree_loop_done, ctxt)
     556                 :            :   {}
     557                 :            : 
     558                 :            :   /* opt_pass methods: */
     559                 :     157674 :   virtual unsigned int execute (function *) { return tree_ssa_loop_done (); }
     560                 :            : 
     561                 :            : }; // class pass_tree_loop_done
     562                 :            : 
     563                 :            : } // anon namespace
     564                 :            : 
     565                 :            : gimple_opt_pass *
     566                 :     200773 : make_pass_tree_loop_done (gcc::context *ctxt)
     567                 :            : {
     568                 :     200773 :   return new pass_tree_loop_done (ctxt);
     569                 :            : }
     570                 :            : 
     571                 :            : /* Calls CBCK for each index in memory reference ADDR_P.  There are two
     572                 :            :    kinds situations handled; in each of these cases, the memory reference
     573                 :            :    and DATA are passed to the callback:
     574                 :            : 
     575                 :            :    Access to an array: ARRAY_{RANGE_}REF (base, index).  In this case we also
     576                 :            :    pass the pointer to the index to the callback.
     577                 :            : 
     578                 :            :    Pointer dereference: INDIRECT_REF (addr).  In this case we also pass the
     579                 :            :    pointer to addr to the callback.
     580                 :            : 
     581                 :            :    If the callback returns false, the whole search stops and false is returned.
     582                 :            :    Otherwise the function returns true after traversing through the whole
     583                 :            :    reference *ADDR_P.  */
     584                 :            : 
     585                 :            : bool
     586                 :   27396900 : for_each_index (tree *addr_p, bool (*cbck) (tree, tree *, void *), void *data)
     587                 :            : {
     588                 :   50562800 :   tree *nxt, *idx;
     589                 :            : 
     590                 :   50562800 :   for (; ; addr_p = nxt)
     591                 :            :     {
     592                 :   50562800 :       switch (TREE_CODE (*addr_p))
     593                 :            :         {
     594                 :    1145120 :         case SSA_NAME:
     595                 :    1145120 :           return cbck (*addr_p, addr_p, data);
     596                 :            : 
     597                 :   14853200 :         case MEM_REF:
     598                 :   14853200 :           nxt = &TREE_OPERAND (*addr_p, 0);
     599                 :   14853200 :           return cbck (*addr_p, nxt, data);
     600                 :            : 
     601                 :    2150630 :         case BIT_FIELD_REF:
     602                 :    2150630 :         case VIEW_CONVERT_EXPR:
     603                 :    2150630 :         case REALPART_EXPR:
     604                 :    2150630 :         case IMAGPART_EXPR:
     605                 :    2150630 :           nxt = &TREE_OPERAND (*addr_p, 0);
     606                 :    2150630 :           break;
     607                 :            : 
     608                 :   14457800 :         case COMPONENT_REF:
     609                 :            :           /* If the component has varying offset, it behaves like index
     610                 :            :              as well.  */
     611                 :   14457800 :           idx = &TREE_OPERAND (*addr_p, 2);
     612                 :   14457800 :           if (*idx
     613                 :   14457800 :               && !cbck (*addr_p, idx, data))
     614                 :            :             return false;
     615                 :            : 
     616                 :   14457800 :           nxt = &TREE_OPERAND (*addr_p, 0);
     617                 :   14457800 :           break;
     618                 :            : 
     619                 :    6867570 :         case ARRAY_REF:
     620                 :    6867570 :         case ARRAY_RANGE_REF:
     621                 :    6867570 :           nxt = &TREE_OPERAND (*addr_p, 0);
     622                 :    6867570 :           if (!cbck (*addr_p, &TREE_OPERAND (*addr_p, 1), data))
     623                 :            :             return false;
     624                 :            :           break;
     625                 :            : 
     626                 :            :         case CONSTRUCTOR:
     627                 :            :           return true;
     628                 :            : 
     629                 :         42 :         case ADDR_EXPR:
     630                 :         42 :           gcc_assert (is_gimple_min_invariant (*addr_p));
     631                 :            :           return true;
     632                 :            : 
     633                 :    2077500 :         case TARGET_MEM_REF:
     634                 :    2077500 :           idx = &TMR_BASE (*addr_p);
     635                 :    2077500 :           if (*idx
     636                 :    2077500 :               && !cbck (*addr_p, idx, data))
     637                 :            :             return false;
     638                 :    1889360 :           idx = &TMR_INDEX (*addr_p);
     639                 :    1889360 :           if (*idx
     640                 :    1889360 :               && !cbck (*addr_p, idx, data))
     641                 :            :             return false;
     642                 :    1807060 :           idx = &TMR_INDEX2 (*addr_p);
     643                 :    1807060 :           if (*idx
     644                 :    1807060 :               && !cbck (*addr_p, idx, data))
     645                 :          1 :             return false;
     646                 :            :           return true;
     647                 :            : 
     648                 :    9010990 :         default:
     649                 :    9010990 :           if (DECL_P (*addr_p)
     650                 :        119 :               || CONSTANT_CLASS_P (*addr_p))
     651                 :            :             return true;
     652                 :          0 :           gcc_unreachable ();
     653                 :            :         }
     654                 :            :     }
     655                 :            : }
     656                 :            : 
     657                 :            : 
     658                 :            : /* The name and the length of the currently generated variable
     659                 :            :    for lsm.  */
     660                 :            : #define MAX_LSM_NAME_LENGTH 40
     661                 :            : static char lsm_tmp_name[MAX_LSM_NAME_LENGTH + 1];
     662                 :            : static int lsm_tmp_name_length;
     663                 :            : 
     664                 :            : /* Adds S to lsm_tmp_name.  */
     665                 :            : 
     666                 :            : static void
     667                 :     107407 : lsm_tmp_name_add (const char *s)
     668                 :            : {
     669                 :     107407 :   int l = strlen (s) + lsm_tmp_name_length;
     670                 :     107407 :   if (l > MAX_LSM_NAME_LENGTH)
     671                 :            :     return;
     672                 :            : 
     673                 :     107342 :   strcpy (lsm_tmp_name + lsm_tmp_name_length, s);
     674                 :     107342 :   lsm_tmp_name_length = l;
     675                 :            : }
     676                 :            : 
     677                 :            : /* Stores the name for temporary variable that replaces REF to
     678                 :            :    lsm_tmp_name.  */
     679                 :            : 
     680                 :            : static void
     681                 :      59585 : gen_lsm_tmp_name (tree ref)
     682                 :            : {
     683                 :      64571 :   const char *name;
     684                 :            : 
     685                 :      64571 :   switch (TREE_CODE (ref))
     686                 :            :     {
     687                 :       9007 :     case MEM_REF:
     688                 :       9007 :     case TARGET_MEM_REF:
     689                 :       9007 :       gen_lsm_tmp_name (TREE_OPERAND (ref, 0));
     690                 :       9007 :       lsm_tmp_name_add ("_");
     691                 :       9007 :       break;
     692                 :            : 
     693                 :       4986 :     case ADDR_EXPR:
     694                 :       4986 :       gen_lsm_tmp_name (TREE_OPERAND (ref, 0));
     695                 :       4986 :       break;
     696                 :            : 
     697                 :          0 :     case BIT_FIELD_REF:
     698                 :          0 :     case VIEW_CONVERT_EXPR:
     699                 :          0 :     case ARRAY_RANGE_REF:
     700                 :          0 :       gen_lsm_tmp_name (TREE_OPERAND (ref, 0));
     701                 :          0 :       break;
     702                 :            : 
     703                 :         28 :     case REALPART_EXPR:
     704                 :         28 :       gen_lsm_tmp_name (TREE_OPERAND (ref, 0));
     705                 :         28 :       lsm_tmp_name_add ("_RE");
     706                 :         28 :       break;
     707                 :            : 
     708                 :         34 :     case IMAGPART_EXPR:
     709                 :         34 :       gen_lsm_tmp_name (TREE_OPERAND (ref, 0));
     710                 :         34 :       lsm_tmp_name_add ("_IM");
     711                 :         34 :       break;
     712                 :            : 
     713                 :       4925 :     case COMPONENT_REF:
     714                 :       4925 :       gen_lsm_tmp_name (TREE_OPERAND (ref, 0));
     715                 :       4925 :       lsm_tmp_name_add ("_");
     716                 :       4925 :       name = get_name (TREE_OPERAND (ref, 1));
     717                 :       4925 :       if (!name)
     718                 :         10 :         name = "F";
     719                 :       4925 :       lsm_tmp_name_add (name);
     720                 :       4925 :       break;
     721                 :            : 
     722                 :      13069 :     case ARRAY_REF:
     723                 :      13069 :       gen_lsm_tmp_name (TREE_OPERAND (ref, 0));
     724                 :      13069 :       lsm_tmp_name_add ("_I");
     725                 :      13069 :       break;
     726                 :            : 
     727                 :      32514 :     case SSA_NAME:
     728                 :      32514 :     case VAR_DECL:
     729                 :      32514 :     case PARM_DECL:
     730                 :      32514 :     case FUNCTION_DECL:
     731                 :      32514 :     case LABEL_DECL:
     732                 :      32514 :       name = get_name (ref);
     733                 :      32514 :       if (!name)
     734                 :       7076 :         name = "D";
     735                 :      32514 :       lsm_tmp_name_add (name);
     736                 :      32514 :       break;
     737                 :            : 
     738                 :          0 :     case STRING_CST:
     739                 :          0 :       lsm_tmp_name_add ("S");
     740                 :          0 :       break;
     741                 :            : 
     742                 :          0 :     case RESULT_DECL:
     743                 :          0 :       lsm_tmp_name_add ("R");
     744                 :          0 :       break;
     745                 :            : 
     746                 :            :     case INTEGER_CST:
     747                 :            :     default:
     748                 :            :       /* Nothing.  */
     749                 :            :       break;
     750                 :            :     }
     751                 :      59585 : }
     752                 :            : 
     753                 :            : /* Determines name for temporary variable that replaces REF.
     754                 :            :    The name is accumulated into the lsm_tmp_name variable.
     755                 :            :    N is added to the name of the temporary.  */
     756                 :            : 
     757                 :            : char *
     758                 :      32522 : get_lsm_tmp_name (tree ref, unsigned n, const char *suffix)
     759                 :            : {
     760                 :      32522 :   char ns[2];
     761                 :            : 
     762                 :      32522 :   lsm_tmp_name_length = 0;
     763                 :      32522 :   gen_lsm_tmp_name (ref);
     764                 :      32522 :   lsm_tmp_name_add ("_lsm");
     765                 :      32522 :   if (n < 10)
     766                 :            :     {
     767                 :       2746 :       ns[0] = '0' + n;
     768                 :       2746 :       ns[1] = 0;
     769                 :       2746 :       lsm_tmp_name_add (ns);
     770                 :            :     }
     771                 :      32522 :   if (suffix != NULL)
     772                 :       7637 :     lsm_tmp_name_add (suffix);
     773                 :      32522 :   return lsm_tmp_name;
     774                 :            : }
     775                 :            : 
     776                 :            : /* Computes an estimated number of insns in LOOP, weighted by WEIGHTS.  */
     777                 :            : 
     778                 :            : unsigned
     779                 :      37990 : tree_num_loop_insns (class loop *loop, eni_weights *weights)
     780                 :            : {
     781                 :      37990 :   basic_block *body = get_loop_body (loop);
     782                 :      37990 :   gimple_stmt_iterator gsi;
     783                 :      37990 :   unsigned size = 0, i;
     784                 :            : 
     785                 :     173063 :   for (i = 0; i < loop->num_nodes; i++)
     786                 :     822767 :     for (gsi = gsi_start_bb (body[i]); !gsi_end_p (gsi); gsi_next (&gsi))
     787                 :     552621 :       size += estimate_num_insns (gsi_stmt (gsi), weights);
     788                 :      37990 :   free (body);
     789                 :            : 
     790                 :      37990 :   return size;
     791                 :            : }
     792                 :            : 
     793                 :            : 
     794                 :            : 

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.