OSDN Git Service

2008-05-03 Kenneth Zadeck <zadeck@naturalbridge.com>
[pf3gnuchains/gcc-fork.git] / gcc / params.def
index a777efa..ac7bf4f 100644 (file)
@@ -1,12 +1,13 @@
 /* params.def - Run-time parameters.
-   Copyright (C) 2001, 2002, 2004, 2005 Free Software Foundation, Inc.
+   Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007 
+   Free Software Foundation, Inc.
    Written by Mark Mitchell <mark@codesourcery.com>.
 
 This file is part of GCC.
 
 GCC is free software; you can redistribute it and/or modify it under
 the terms of the GNU General Public License as published by the Free
-Software Foundation; either version 2, or (at your option) any later
+Software Foundation; either version 3, or (at your option) any later
 version.
 
 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
@@ -15,11 +16,8 @@ FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 for more details.
 
 You should have received a copy of the GNU General Public License
-along with GCC; see the file COPYING.  If not, write to the Free
-Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
-02110-1301, USA.
-
-*/
+along with GCC; see the file COPYING3.  If not see
+<http://www.gnu.org/licenses/>.  */
 
 /* This file contains definitions for language-independent
    parameters.  The DEFPARAM macro takes 6 arguments:
@@ -47,7 +45,14 @@ DEFPARAM (PARAM_SALIAS_MAX_IMPLICIT_FIELDS,
          "salias-max-implicit-fields",
          "The maximum number of fields in a structure variable without direct structure accesses that GCC will attempt to track separately",
          5, 0, 0)
-   
+
+/* The maximum number of array elements structure aliasing will decompose
+   an array for.  The default is 4.  */
+DEFPARAM (PARAM_SALIAS_MAX_ARRAY_ELEMENTS,
+         "salias-max-array-elements",
+         "The maximum number of elements in an array for wich we track its elements separately",
+         4, 0, 0)
+
 /* The maximum structure size at which the scalar replacement of
    aggregates (SRA) pass will perform block copies.  The default
    value, 0, implies that GCC will select the most appropriate size
@@ -78,6 +83,16 @@ DEFPARAM (PARAM_SRA_FIELD_STRUCTURE_RATIO,
          "The threshold ratio between instantiated fields and the total structure size",
          75, 0, 100)
 
+/* The threshold ratio between current and hottest structure counts.
+   We say that if the ratio of the current structure count, 
+   calculated by profiling, to the hottest structure count 
+   in the program is less than this parameter, then structure
+   reorganization is not applied. The default is 10%.  */
+DEFPARAM (PARAM_STRUCT_REORG_COLD_STRUCT_RATIO,
+         "struct-reorg-cold-struct-ratio",
+         "The threshold ratio between current and hottest structure counts",
+         10, 0, 100)
+
 /* The single function inlining limit. This is the maximum size
    of a function counted in internal gcc instructions (not in
    real machine instructions) that is eligible for inlining
@@ -136,11 +151,15 @@ DEFPARAM (PARAM_MIN_INLINE_RECURSIVE_PROBABILITY,
    optimization to avoid register pressure.  */
 DEFPARAM (PARAM_MAX_VARIABLE_EXPANSIONS,
          "max-variable-expansions-in-unroller",
-         "If -fvariable-expansion-in-unroller is used, the maximum number of \
-           times that an individual variable will be expanded \
-           during loop unrolling",
+         "If -fvariable-expansion-in-unroller is used, the maximum number of times that an individual variable will be expanded during loop unrolling",
           1, 0, 0)
      
+/* Limit loop autovectorization to loops with large enough iteration count.  */
+DEFPARAM (PARAM_MIN_VECT_LOOP_BOUND,
+         "min-vect-loop-bound",
+         "If -ftree-vectorize is used, the minimal loop bound of a loop to be considered for vectorization",
+         1, 1, 0)
+
 /* The maximum number of instructions to consider when looking for an
    instruction to fill a delay slot.  If more than this arbitrary
    number of instructions is searched, the time savings from filling
@@ -181,14 +200,26 @@ DEFPARAM(PARAM_LARGE_FUNCTION_GROWTH,
         "large-function-growth",
         "Maximal growth due to inlining of large function (in percent)",
         100, 0, 0)
+DEFPARAM(PARAM_LARGE_UNIT_INSNS,
+        "large-unit-insns",
+        "The size of translation unit to be considered large",
+        10000, 0, 0)
 DEFPARAM(PARAM_INLINE_UNIT_GROWTH,
         "inline-unit-growth",
         "how much can given compilation unit grow because of the inlining (in percent)",
-        50, 0, 0)
+        30, 0, 0)
 DEFPARAM(PARAM_INLINE_CALL_COST,
         "inline-call-cost",
         "expense of call operation relative to ordinary arithmetic operations",
-        16, 0, 0)
+        12, 0, 0)
+DEFPARAM(PARAM_LARGE_STACK_FRAME,
+        "large-stack-frame",
+        "The size of stack frame to be considered large",
+        256, 0, 0)
+DEFPARAM(PARAM_STACK_FRAME_GROWTH,
+        "large-stack-frame-growth",
+        "Maximal stack frame growth due to inlining (in percent)",
+        1000, 0, 0)
 
 /* The GCSE optimization will be disabled if it would require
    significantly more memory than this value.  */
@@ -283,12 +314,13 @@ DEFPARAM(PARAM_MAX_ITERATIONS_TO_TRACK,
        "max-iterations-to-track",
        "Bound on the number of iterations the brute force # of iterations analysis algorithm evaluates",
        1000, 0, 0)
+/* A cutoff to avoid costly computations of the number of iterations in
+   the doloop transformation.  */
+DEFPARAM(PARAM_MAX_ITERATIONS_COMPUTATION_COST,
+       "max-iterations-computation-cost",
+       "Bound on the cost of an expression to compute the number of iterations",
+       10, 0, 0)
 
-DEFPARAM(PARAM_MAX_SMS_LOOP_NUMBER,
-        "max-sms-loop-number",
-        "Maximum number of loops to perform swing modulo scheduling on (mainly for debugging)",
-        -1, -1, -1)
-  
 /* This parameter is used to tune SMS MAX II calculations.  */
 DEFPARAM(PARAM_SMS_MAX_II_FACTOR,
         "sms-max-ii-factor",
@@ -296,8 +328,7 @@ DEFPARAM(PARAM_SMS_MAX_II_FACTOR,
         100, 0, 0)
 DEFPARAM(PARAM_SMS_DFA_HISTORY,
         "sms-dfa-history",
-        "The number of cycles the swing modulo scheduler considers when \
-         checking conflicts using DFA",
+        "The number of cycles the swing modulo scheduler considers when checking conflicts using DFA",
         0, 0, 0)
 DEFPARAM(PARAM_SMS_LOOP_AVERAGE_COUNT_THRESHOLD,
         "sms-loop-average-count-threshold",
@@ -312,6 +343,32 @@ DEFPARAM(HOT_BB_FREQUENCY_FRACTION,
         "hot-bb-frequency-fraction",
         "Select fraction of the maximal frequency of executions of basic block in function given basic block needs to have to be considered hot",
         1000, 0, 0)
+
+DEFPARAM (PARAM_ALIGN_THRESHOLD,
+         "align-threshold",
+         "Select fraction of the maximal frequency of executions of basic block in function given basic block get alignment",
+         100, 0, 0)
+
+DEFPARAM (PARAM_ALIGN_LOOP_ITERATIONS,
+         "align-loop-iterations",
+         "Loops iterating at least selected number of iterations will get loop alignement.",
+         4, 0, 0)
+
+/* For guessed profiles, the loops having unknown number of iterations
+   are predicted to iterate relatively few (10) times at average.
+   For functions containing one loop with large known number of iterations
+   and other loops having unbounded loops we would end up predicting all
+   the other loops cold that is not usually the case.  So we need to artificially
+   flatten the profile.  
+
+   We need to cut the maximal predicted iterations to large enough iterations
+   so the loop appears important, but safely within HOT_BB_COUNT_FRACTION
+   range.  */
+
+DEFPARAM(PARAM_MAX_PREDICTED_ITERATIONS,
+        "max-predicted-iterations",
+        "The maximum number of loop iterations we predict statically",
+        100, 0, 0)
 DEFPARAM(TRACER_DYNAMIC_COVERAGE_FEEDBACK,
         "tracer-dynamic-coverage-feedback",
         "The percentage of function, weighted by execution frequency, that must be covered by trace formation. Used when profile feedback is available",
@@ -349,6 +406,12 @@ DEFPARAM(PARAM_MIN_CROSSJUMP_INSNS,
      "The minimum number of matching instructions to consider for crossjumping",
      5, 0, 0)
 
+/* The maximum number expansion factor when copying basic blocks.  */
+DEFPARAM(PARAM_MAX_GROW_COPY_BB_INSNS,
+     "max-grow-copy-bb-insns",
+     "The maximum expansion factor when copying basic blocks",
+     8, 0, 0)
+
 /* The maximum number of insns to duplicate when unfactoring computed gotos.  */
 DEFPARAM(PARAM_MAX_GOTO_DUPLICATION_INSNS,
      "max-goto-duplication-insns",
@@ -360,6 +423,10 @@ DEFPARAM(PARAM_MAX_CSE_PATH_LENGTH,
         "max-cse-path-length",
         "The maximum length of path considered in cse",
         10, 0, 0)
+DEFPARAM(PARAM_MAX_CSE_INSNS,
+        "max-cse-insns",
+        "The maximum instructions CSE process before flushing",
+        1000, 0, 0)
 
 /* The cost of expression in loop invariant motion that is considered
    expensive.  */
@@ -398,12 +465,50 @@ DEFPARAM(PARAM_SCEV_MAX_EXPR_SIZE,
         "Bound on size of expressions used in the scalar evolutions analyzer",
         20, 0, 0)
 
-/* The product of the next two is used to decide whether or not to
-   use .GLOBAL_VAR.  See tree-dfa.c.  */
-DEFPARAM(PARAM_GLOBAL_VAR_THRESHOLD,
-       "global-var-threshold",
-       "Given N calls and V call-clobbered vars in a function.  Use .GLOBAL_VAR if NxV is larger than this limit",
-       500000, 0, 0)
+DEFPARAM(PARAM_OMEGA_MAX_VARS,
+        "omega-max-vars",
+        "Bound on the number of variables in Omega constraint systems",
+        128, 0, 0)
+
+DEFPARAM(PARAM_OMEGA_MAX_GEQS,
+        "omega-max-geqs",
+        "Bound on the number of inequalities in Omega constraint systems",
+        256, 0, 0)
+
+DEFPARAM(PARAM_OMEGA_MAX_EQS,
+        "omega-max-eqs",
+        "Bound on the number of equalities in Omega constraint systems",
+        128, 0, 0)
+
+DEFPARAM(PARAM_OMEGA_MAX_WILD_CARDS,
+        "omega-max-wild-cards",
+        "Bound on the number of wild cards in Omega constraint systems",
+        18, 0, 0)
+
+DEFPARAM(PARAM_OMEGA_HASH_TABLE_SIZE,
+        "omega-hash-table-size",
+        "Bound on the size of the hash table in Omega constraint systems",
+        550, 0, 0)
+
+DEFPARAM(PARAM_OMEGA_MAX_KEYS,
+        "omega-max-keys",
+        "Bound on the number of keys in Omega constraint systems",
+        500, 0, 0)
+
+DEFPARAM(PARAM_OMEGA_ELIMINATE_REDUNDANT_CONSTRAINTS,
+        "omega-eliminate-redundant-constraints",
+        "When set to 1, use expensive methods to eliminate all redundant constraints",
+        0, 0, 1)
+
+DEFPARAM(PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS,
+         "vect-max-version-for-alignment-checks",
+         "Bound on number of runtime checks inserted by the vectorizer's loop versioning for alignment check",
+         6, 0, 0)
+
+DEFPARAM(PARAM_VECT_MAX_VERSION_FOR_ALIAS_CHECKS,
+         "vect-max-version-for-alias-checks",
+         "Bound on number of runtime checks inserted by the vectorizer's loop versioning for alias check",
+         10, 0, 0)
 
 DEFPARAM(PARAM_MAX_CSELIB_MEMORY_LOCATIONS,
         "max-cselib-memory-locations",
@@ -438,8 +543,13 @@ DEFPARAM(PARAM_MAX_RELOAD_SEARCH_INSNS,
 
 DEFPARAM(PARAM_MAX_ALIASED_VOPS,
          "max-aliased-vops",
-        "The maximum number of virtual operands allowed to represent aliases before triggering alias grouping",
-        500, 0, 0)
+        "The maximum number of virtual operators that a function is allowed to have before triggering memory partitioning heuristics",
+        100, 0, 0)
+
+DEFPARAM(PARAM_AVG_ALIASED_VOPS,
+        "avg-aliased-vops",
+        "The average number of virtual operators that memory statements are allowed to have before triggering memory partitioning heuristics",
+        1, 0, 0)
 
 DEFPARAM(PARAM_MAX_SCHED_REGION_BLOCKS,
         "max-sched-region-blocks",
@@ -456,6 +566,21 @@ DEFPARAM(PARAM_MIN_SPEC_PROB,
          "The minimum probability of reaching a source block for interblock speculative scheduling",
          40, 0, 0)
 
+DEFPARAM(PARAM_MAX_SCHED_EXTEND_REGIONS_ITERS,
+         "max-sched-extend-regions-iters",
+         "The maximum number of iterations through CFG to extend regions",
+         0, 0, 0)
+
+DEFPARAM(PARAM_MAX_SCHED_INSN_CONFLICT_DELAY,
+         "max-sched-insn-conflict-delay",
+         "The maximum conflict delay for an insn to be considered for speculative motion",
+         3, 1, 10)
+
+DEFPARAM(PARAM_SCHED_SPEC_PROB_CUTOFF,
+         "sched-spec-prob-cutoff",
+         "The minimal probability of speculation success (in percents), so that speculative insn will be scheduled.",
+         40, 0, 100)
+
 DEFPARAM(PARAM_MAX_LAST_VALUE_RTL,
         "max-last-value-rtl",
         "The maximum number of RTL nodes that can be recorded as combiner's last value",
@@ -498,7 +623,110 @@ DEFPARAM (PARAM_SSP_BUFFER_SIZE,
          "The lower bound for a buffer to be considered for stack smashing protection",
          8, 1, 0)
 
+/* When we thread through a block we have to make copies of the
+   statements within the block.  Clearly for large blocks the code
+   duplication is bad.
+
+   PARAM_MAX_JUMP_THREAD_DUPLICATION_STMTS specifies the maximum number
+   of statements and PHI nodes allowed in a block which is going to
+   be duplicated for thread jumping purposes.
+
+   Some simple analysis showed that more than 99% of the jump
+   threading opportunities are for blocks with less than 15
+   statements.  So we can get the benefits of jump threading
+   without excessive code bloat for pathological cases with the
+   throttle set at 15 statements.  */
+DEFPARAM (PARAM_MAX_JUMP_THREAD_DUPLICATION_STMTS,
+         "max-jump-thread-duplication-stmts",
+          "Maximum number of statements allowed in a block that needs to be duplicated when threading jumps",
+         15, 0, 0)
+
+/* This is the maximum number of fields a variable may have before the pointer analysis machinery
+   will stop trying to treat it in a field-sensitive manner.  
+   There are programs out there with thousands of fields per structure, and handling them
+   field-sensitively is not worth the cost.  */
+DEFPARAM (PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE,
+          "max-fields-for-field-sensitive",
+         "Maximum number of fields in a structure before pointer analysis treats the structure as a single variable",
+         0, 0, 0)
+
+DEFPARAM(PARAM_MAX_SCHED_READY_INSNS,
+        "max-sched-ready-insns",
+        "The maximum number of instructions ready to be issued to be considered by the scheduler during the first scheduling pass",
+        100, 0, 0)
+
+/* Prefetching and cache-optimizations related parameters.  Default values are
+   usually set by machine description.  */
+
+/* The number of insns executed before prefetch is completed.  */
+
+DEFPARAM (PARAM_PREFETCH_LATENCY,
+        "prefetch-latency",
+        "The number of insns executed before prefetch is completed",
+        200, 0, 0)
+
+/* The number of prefetches that can run at the same time.  */
+
+DEFPARAM (PARAM_SIMULTANEOUS_PREFETCHES,
+         "simultaneous-prefetches",
+         "The number of prefetches that can run at the same time",
+         3, 0, 0)
+
+/* The size of L1 cache in kB.  */
+
+DEFPARAM (PARAM_L1_CACHE_SIZE,
+         "l1-cache-size",
+         "The size of L1 cache",
+         64, 0, 0)
+
+/* The size of L1 cache line in bytes.  */
+
+DEFPARAM (PARAM_L1_CACHE_LINE_SIZE,
+         "l1-cache-line-size",
+         "The size of L1 cache line",
+         32, 0, 0)
+
+/* The size of L2 cache in kB.  */
+
+DEFPARAM (PARAM_L2_CACHE_SIZE,
+         "l2-cache-size",
+         "The size of L2 cache",
+         512, 0, 0)
+
+/* Whether we should use canonical types rather than deep "structural"
+   type checking.  Setting this value to 1 (the default) improves
+   compilation performance in the C++ and Objective-C++ front end;
+   this value should only be set to zero to work around bugs in the
+   canonical type system by disabling it.  */
+
+DEFPARAM (PARAM_USE_CANONICAL_TYPES,
+         "use-canonical-types",
+         "Whether to use canonical types",
+         1, 0, 1)
+
+DEFPARAM (PARAM_MAX_PARTIAL_ANTIC_LENGTH,
+         "max-partial-antic-length",
+         "Maximum length of partial antic set when performing tree pre optimization",
+         100, 0, 0)
+
+/* The following is used as a stop-gap limit for cases where really huge
+   SCCs blow up memory and compile-time use too much.  If we hit this limit,
+   SCCVN and such FRE and PRE will be not done at all for the current
+   function.  */
+
+DEFPARAM (PARAM_SCCVN_MAX_SCC_SIZE,
+         "sccvn-max-scc-size",
+         "Maximum size of a SCC before SCCVN stops processing a function",
+         10000, 10, 0)
+
+
+DEFPARAM (PARAM_DF_DOUBLE_QUEUE_THRESHOLD_FACTOR,
+         "df-double-queue-threshold-factor",
+         "Multiplier used for determining the double-queueing threshold",
+         2, 0, 0)
+
 /*
 Local variables:
 mode:c
-End: */
+End:
+*/