hotspot/src/share/vm/opto/phase.hpp
author roland
Mon, 11 Aug 2014 14:12:51 +0200
changeset 26166 4b49fd58bbd9
parent 24425 53764d2358f9
child 26913 9ad70cd32368
permissions -rw-r--r--
7173584: Implement arraycopy as a macro node Summary: delay the conversion of arraycopy to stub calls to macro expansion Reviewed-by: kvn, iveresov
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
22234
da823d78ad65 8029233: Update copyright year to match last edit in jdk8 hotspot repository for 2013
mikael
parents: 17383
diff changeset
     2
 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4450
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4450
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 4450
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    25
#ifndef SHARE_VM_OPTO_PHASE_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    26
#define SHARE_VM_OPTO_PHASE_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    27
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    28
#include "runtime/timer.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    29
26166
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
    30
class IfNode;
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
    31
class MergeMemNode;
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
    32
class Node;
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
    33
class PhaseGVN;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
//------------------------------Phase------------------------------------------
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
// Most optimizations are done in Phases.  Creating a phase does any long
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
// running analysis required, and caches the analysis in internal data
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
// structures.  Later the analysis is queried using transform() calls to
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
// guide transforming the program.  When the Phase is deleted, so is any
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
// cached analysis info.  This basic Phase class mostly contains timing and
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
// memory management code.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
class Phase : public StackObj {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
  enum PhaseNumber {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
    Compiler,                   // Top-level compiler phase
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
    Parser,                     // Parse bytecodes
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
    Remove_Useless,             // Remove useless nodes
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
    Optimistic,                 // Optimistic analysis phase
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
    GVN,                        // Pessimistic global value numbering phase
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
    Ins_Select,                 // Instruction selection phase
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
    CFG,                        // Build a CFG
1498
346bf226078e 6743900: frequency based block layout
rasbold
parents: 1
diff changeset
    52
    BlockLayout,                // Linear ordering of blocks
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
    Register_Allocation,        // Register allocation, duh
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
    LIVE,                       // Dragon-book LIVE range problem
4450
6d700b859b3e 6892658: C2 should optimize some stringbuilder patterns
never
parents: 3676
diff changeset
    55
    StringOpts,                 // StringBuilder related optimizations
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
    Interference_Graph,         // Building the IFG
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
    Coalesce,                   // Coalescing copies
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
    Ideal_Loop,                 // Find idealized trip-counted loops
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
    Macro_Expand,               // Expand macro nodes
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
    Peephole,                   // Apply peephole optimizations
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
    last_phase
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
protected:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
  enum PhaseNumber _pnum;       // Phase number (for stat gathering)
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
  static int _total_bytes_compiled;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  // accumulated timers
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
  static elapsedTimer _t_totalCompilation;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
  static elapsedTimer _t_methodCompilation;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
  static elapsedTimer _t_stubCompilation;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
// The next timers used for LogCompilation
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
  static elapsedTimer _t_parser;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
  static elapsedTimer _t_optimizer;
12158
f24f2560da32 7147744: CTW: assert(false) failed: infinite EA connection graph build
kvn
parents: 7397
diff changeset
    78
public:
f24f2560da32 7147744: CTW: assert(false) failed: infinite EA connection graph build
kvn
parents: 7397
diff changeset
    79
  // ConnectionGraph can't be Phase since it is used after EA done.
f24f2560da32 7147744: CTW: assert(false) failed: infinite EA connection graph build
kvn
parents: 7397
diff changeset
    80
  static elapsedTimer   _t_escapeAnalysis;
f24f2560da32 7147744: CTW: assert(false) failed: infinite EA connection graph build
kvn
parents: 7397
diff changeset
    81
  static elapsedTimer     _t_connectionGraph;
f24f2560da32 7147744: CTW: assert(false) failed: infinite EA connection graph build
kvn
parents: 7397
diff changeset
    82
protected:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
  static elapsedTimer   _t_idealLoop;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
  static elapsedTimer   _t_ccp;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
  static elapsedTimer _t_matcher;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
  static elapsedTimer _t_registerAllocation;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
  static elapsedTimer _t_output;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  static elapsedTimer _t_graphReshaping;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
  static elapsedTimer _t_scheduler;
1498
346bf226078e 6743900: frequency based block layout
rasbold
parents: 1
diff changeset
    92
  static elapsedTimer _t_blockOrdering;
12158
f24f2560da32 7147744: CTW: assert(false) failed: infinite EA connection graph build
kvn
parents: 7397
diff changeset
    93
  static elapsedTimer _t_macroEliminate;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  static elapsedTimer _t_macroExpand;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
  static elapsedTimer _t_peephole;
22844
90f76a40ed8a 8003854: PPC64 (part 115): Introduce PostallocExpand that expands nodes after register allocation
goetz
parents: 17383
diff changeset
    96
  static elapsedTimer _t_postalloc_expand;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
  static elapsedTimer _t_codeGeneration;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
  static elapsedTimer _t_registerMethod;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
  static elapsedTimer _t_temporaryTimer1;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
  static elapsedTimer _t_temporaryTimer2;
3676
3bac3e882cd3 6862956: PhaseIdealLoop should have a CFG verification mode
never
parents: 1623
diff changeset
   101
  static elapsedTimer _t_idealLoopVerify;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
// Subtimers for _t_optimizer
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  static elapsedTimer   _t_iterGVN;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  static elapsedTimer   _t_iterGVN2;
17383
3665c0901a0d 6934604: enable parts of EliminateAutoBox by default
kvn
parents: 12158
diff changeset
   106
  static elapsedTimer   _t_incrInline;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
// Subtimers for _t_registerAllocation
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  static elapsedTimer   _t_ctorChaitin;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
  static elapsedTimer   _t_buildIFGphysical;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
  static elapsedTimer   _t_computeLive;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
  static elapsedTimer   _t_regAllocSplit;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
  static elapsedTimer   _t_postAllocCopyRemoval;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
  static elapsedTimer   _t_fixupSpills;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
// Subtimers for _t_output
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
  static elapsedTimer   _t_instrSched;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
  static elapsedTimer   _t_buildOopMaps;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
#endif
26166
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
   120
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
   121
  // Generate a subtyping check.  Takes as input the subtype and supertype.
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
   122
  // Returns 2 values: sets the default control() to the true path and
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
   123
  // returns the false path.  Only reads from constant memory taken from the
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
   124
  // default memory; does not write anything.  It also doesn't take in an
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
   125
  // Object; if you wish to check an Object you need to load the Object's
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
   126
  // class prior to coming here.
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
   127
  // Used in GraphKit and PhaseMacroExpand
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
   128
  static Node* gen_subtype_check(Node* subklass, Node* superklass, Node** ctrl, MergeMemNode* mem, PhaseGVN* gvn);
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
   129
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
  Compile * C;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
  Phase( PhaseNumber pnum );
26166
4b49fd58bbd9 7173584: Implement arraycopy as a macro node
roland
parents: 24425
diff changeset
   133
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
  static void print_timers();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
};
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
   138
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
   139
#endif // SHARE_VM_OPTO_PHASE_HPP