• file
• revisions
• annotate
• diff
• comparison
• raw

src/share/vm/opto/c2_globals.hpp@0e35fa8ebccd (annotated)

src/share/vm/opto/c2_globals.hpp

Tue, 03 Aug 2010 15:55:03 -0700

author

kvn

date

Tue, 03 Aug 2010 15:55:03 -0700

changeset 2040

0e35fa8ebccd

parent 1907

c18cbe5936b8

child 2085

f55c4f82ab9d

permissions

-rw-r--r--

6973963: SEGV in ciBlock::start_bci() with EA
Summary: Added more checks into ResourceObj and growableArray to verify correctness of allocation type.
Reviewed-by: never, coleenp, dholmes

duke@435	1	/*
trims@1907	2	* Copyright (c) 2000, 2009, Oracle and/or its affiliates. All rights reserved.
duke@435	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435	4	*
duke@435	5	* This code is free software; you can redistribute it and/or modify it
duke@435	6	* under the terms of the GNU General Public License version 2 only, as
duke@435	7	* published by the Free Software Foundation.
duke@435	8	*
duke@435	9	* This code is distributed in the hope that it will be useful, but WITHOUT
duke@435	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435	12	* version 2 for more details (a copy is included in the LICENSE file that
duke@435	13	* accompanied this code).
duke@435	14	*
duke@435	15	* You should have received a copy of the GNU General Public License version
duke@435	16	* 2 along with this work; if not, write to the Free Software Foundation,
duke@435	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435	18	*
trims@1907	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907	20	* or visit www.oracle.com if you need additional information or have any
trims@1907	21	* questions.
duke@435	22	*
duke@435	23	*/
duke@435	24
duke@435	25	//
duke@435	26	// Defines all globals flags used by the server compiler.
duke@435	27	//
duke@435	28
never@1515	29	#define C2_FLAGS(develop, develop_pd, product, product_pd, diagnostic, experimental, notproduct) \
duke@435	30	\
duke@435	31	notproduct(intx, CompileZapFirst, 0, \
duke@435	32	"If +ZapDeadCompiledLocals, " \
duke@435	33	"skip this many before compiling in zap calls") \
duke@435	34	\
duke@435	35	notproduct(intx, CompileZapLast, -1, \
duke@435	36	"If +ZapDeadCompiledLocals, " \
duke@435	37	"compile this many after skipping (incl. skip count, -1 = all)") \
duke@435	38	\
duke@435	39	notproduct(intx, ZapDeadCompiledLocalsFirst, 0, \
duke@435	40	"If +ZapDeadCompiledLocals, " \
duke@435	41	"skip this many before really doing it") \
duke@435	42	\
duke@435	43	notproduct(intx, ZapDeadCompiledLocalsLast, -1, \
duke@435	44	"If +ZapDeadCompiledLocals, " \
duke@435	45	"do this many after skipping (incl. skip count, -1 = all)") \
duke@435	46	\
duke@435	47	develop(intx, OptoPrologueNops, 0, \
duke@435	48	"Insert this many extra nop instructions " \
duke@435	49	"in the prologue of every nmethod") \
duke@435	50	\
duke@435	51	product_pd(intx, InteriorEntryAlignment, \
duke@435	52	"Code alignment for interior entry points " \
duke@435	53	"in generated code (in bytes)") \
duke@435	54	\
duke@435	55	product(intx, MaxLoopPad, (OptoLoopAlignment-1), \
duke@435	56	"Align a loop if padding size in bytes is less or equal to this value") \
duke@435	57	\
duke@435	58	product(intx, NumberOfLoopInstrToAlign, 4, \
duke@435	59	"Number of first instructions in a loop to align") \
duke@435	60	\
duke@435	61	notproduct(intx, IndexSetWatch, 0, \
duke@435	62	"Trace all operations on this IndexSet (-1 means all, 0 none)") \
duke@435	63	\
duke@435	64	develop(intx, OptoNodeListSize, 4, \
duke@435	65	"Starting allocation size of Node_List data structures") \
duke@435	66	\
duke@435	67	develop(intx, OptoBlockListSize, 8, \
duke@435	68	"Starting allocation size of Block_List data structures") \
duke@435	69	\
duke@435	70	develop(intx, OptoPeepholeAt, -1, \
duke@435	71	"Apply peephole optimizations to this peephole rule") \
duke@435	72	\
duke@435	73	notproduct(bool, PrintIdeal, false, \
duke@435	74	"Print ideal graph before code generation") \
duke@435	75	\
duke@435	76	notproduct(bool, PrintOpto, false, \
duke@435	77	"Print compiler2 attempts") \
duke@435	78	\
duke@435	79	notproduct(bool, PrintOptoInlining, false, \
duke@435	80	"Print compiler2 inlining decisions") \
duke@435	81	\
duke@435	82	notproduct(bool, VerifyOpto, false, \
duke@435	83	"Apply more time consuming verification during compilation") \
duke@435	84	\
duke@435	85	notproduct(bool, VerifyOptoOopOffsets, false, \
duke@435	86	"Check types of base addresses in field references") \
duke@435	87	\
duke@435	88	develop(bool, IdealizedNumerics, false, \
duke@435	89	"Check performance difference allowing FP " \
duke@435	90	"associativity and commutativity...") \
duke@435	91	\
duke@435	92	develop(bool, OptoBreakpoint, false, \
duke@435	93	"insert breakpoint at method entry") \
duke@435	94	\
duke@435	95	notproduct(bool, OptoBreakpointOSR, false, \
duke@435	96	"insert breakpoint at osr method entry") \
duke@435	97	\
duke@435	98	notproduct(intx, BreakAtNode, 0, \
duke@435	99	"Break at construction of this Node (either _idx or _debug_idx)") \
duke@435	100	\
duke@435	101	notproduct(bool, OptoBreakpointC2R, false, \
duke@435	102	"insert breakpoint at runtime stub entry") \
duke@435	103	\
duke@435	104	notproduct(bool, OptoNoExecute, false, \
duke@435	105	"Attempt to parse and compile but do not execute generated code") \
duke@435	106	\
duke@435	107	notproduct(bool, PrintOptoStatistics, false, \
duke@435	108	"Print New compiler statistics") \
duke@435	109	\
duke@435	110	notproduct(bool, PrintOptoAssembly, false, \
duke@435	111	"Print New compiler assembly output") \
duke@435	112	\
duke@435	113	develop_pd(bool, OptoPeephole, \
duke@435	114	"Apply peephole optimizations after register allocation") \
duke@435	115	\
duke@435	116	develop(bool, OptoRemoveUseless, true, \
duke@435	117	"Remove useless nodes after parsing") \
duke@435	118	\
duke@435	119	notproduct(bool, PrintFrameConverterAssembly, false, \
duke@435	120	"Print New compiler assembly output for frame converters") \
duke@435	121	\
duke@435	122	notproduct(bool, PrintParseStatistics, false, \
duke@435	123	"Print nodes, transforms and new values made per bytecode parsed")\
duke@435	124	\
duke@435	125	notproduct(bool, PrintOptoPeephole, false, \
duke@435	126	"Print New compiler peephole replacements") \
duke@435	127	\
duke@435	128	develop(bool, PrintCFGBlockFreq, false, \
duke@435	129	"Print CFG block freqencies") \
duke@435	130	\
duke@435	131	develop(bool, TraceOptoParse, false, \
duke@435	132	"Trace bytecode parse and control-flow merge") \
duke@435	133	\
duke@435	134	product_pd(intx, LoopUnrollLimit, \
duke@435	135	"Unroll loop bodies with node count less than this") \
duke@435	136	\
duke@435	137	product(intx, LoopUnrollMin, 4, \
duke@435	138	"Minimum number of unroll loop bodies before checking progress" \
duke@435	139	"of rounds of unroll,optimize,..") \
duke@435	140	\
duke@435	141	develop(intx, UnrollLimitForProfileCheck, 1, \
duke@435	142	"Don't use profile_trip_cnt() to restrict unrolling until " \
duke@435	143	"unrolling would push the number of unrolled iterations above " \
duke@435	144	"UnrollLimitForProfileCheck. A higher value allows more " \
duke@435	145	"unrolling. Zero acts as a very large value." ) \
duke@435	146	\
duke@435	147	product(intx, MultiArrayExpandLimit, 6, \
duke@435	148	"Maximum number of individual allocations in an inline-expanded " \
duke@435	149	"multianewarray instruction") \
duke@435	150	\
duke@435	151	notproduct(bool, TraceProfileTripCount, false, \
duke@435	152	"Trace profile loop trip count information") \
duke@435	153	\
cfang@1607	154	product(bool, UseLoopPredicate, true, \
cfang@1607	155	"Generate a predicate to select fast/slow loop versions") \
cfang@1607	156	\
cfang@1607	157	develop(bool, TraceLoopPredicate, false, \
cfang@1607	158	"Trace generation of loop predicates") \
cfang@1607	159	\
duke@435	160	develop(bool, OptoCoalesce, true, \
duke@435	161	"Use Conservative Copy Coalescing in the Register Allocator") \
duke@435	162	\
duke@435	163	develop(bool, UseUniqueSubclasses, true, \
duke@435	164	"Narrow an abstract reference to the unique concrete subclass") \
duke@435	165	\
duke@435	166	develop(bool, UseExactTypes, true, \
duke@435	167	"Use exact types to eliminate array store checks and v-calls") \
duke@435	168	\
duke@435	169	product(intx, TrackedInitializationLimit, 50, \
duke@435	170	"When initializing fields, track up to this many words") \
duke@435	171	\
duke@435	172	product(bool, ReduceFieldZeroing, true, \
duke@435	173	"When initializing fields, try to avoid needless zeroing") \
duke@435	174	\
duke@435	175	product(bool, ReduceInitialCardMarks, true, \
duke@435	176	"When initializing fields, try to avoid needless card marks") \
duke@435	177	\
duke@435	178	product(bool, ReduceBulkZeroing, true, \
duke@435	179	"When bulk-initializing, try to avoid needless zeroing") \
duke@435	180	\
duke@435	181	develop_pd(intx, RegisterCostAreaRatio, \
duke@435	182	"Spill selection in reg allocator: scale area by (X/64K) before " \
duke@435	183	"adding cost") \
duke@435	184	\
duke@435	185	develop_pd(bool, UseCISCSpill, \
duke@435	186	"Use ADLC supplied cisc instructions during allocation") \
duke@435	187	\
duke@435	188	notproduct(bool, VerifyGraphEdges , false, \
duke@435	189	"Verify Bi-directional Edges") \
duke@435	190	\
duke@435	191	notproduct(bool, VerifyDUIterators, true, \
duke@435	192	"Verify the safety of all iterations of Bi-directional Edges") \
duke@435	193	\
duke@435	194	notproduct(bool, VerifyHashTableKeys, true, \
duke@435	195	"Verify the immutability of keys in the VN hash tables") \
duke@435	196	\
kvn@985	197	notproduct(bool, VerifyRegisterAllocator , false, \
kvn@985	198	"Verify Register Allocator") \
kvn@985	199	\
duke@435	200	develop_pd(intx, FLOATPRESSURE, \
duke@435	201	"Number of float LRG's that constitute high register pressure") \
duke@435	202	\
duke@435	203	develop_pd(intx, INTPRESSURE, \
duke@435	204	"Number of integer LRG's that constitute high register pressure") \
duke@435	205	\
duke@435	206	notproduct(bool, TraceOptoPipelining, false, \
duke@435	207	"Trace pipelining information") \
duke@435	208	\
duke@435	209	notproduct(bool, TraceOptoOutput, false, \
duke@435	210	"Trace pipelining information") \
duke@435	211	\
duke@435	212	product_pd(bool, OptoScheduling, \
duke@435	213	"Instruction Scheduling after register allocation") \
duke@435	214	\
duke@435	215	product(bool, PartialPeelLoop, true, \
duke@435	216	"Partial peel (rotate) loops") \
duke@435	217	\
duke@435	218	product(intx, PartialPeelNewPhiDelta, 0, \
duke@435	219	"Additional phis that can be created by partial peeling") \
duke@435	220	\
duke@435	221	notproduct(bool, TracePartialPeeling, false, \
duke@435	222	"Trace partial peeling (loop rotation) information") \
duke@435	223	\
duke@435	224	product(bool, PartialPeelAtUnsignedTests, true, \
duke@435	225	"Partial peel at unsigned tests if no signed test exists") \
duke@435	226	\
duke@435	227	product(bool, ReassociateInvariants, true, \
duke@435	228	"Enable reassociation of expressions with loop invariants.") \
duke@435	229	\
duke@435	230	product(bool, LoopUnswitching, true, \
duke@435	231	"Enable loop unswitching (a form of invariant test hoisting)") \
duke@435	232	\
duke@435	233	notproduct(bool, TraceLoopUnswitching, false, \
duke@435	234	"Trace loop unswitching") \
duke@435	235	\
duke@435	236	product(bool, UseSuperWord, true, \
duke@435	237	"Transform scalar operations into superword operations") \
duke@435	238	\
duke@435	239	develop(bool, SuperWordRTDepCheck, false, \
duke@435	240	"Enable runtime dependency checks.") \
duke@435	241	\
duke@435	242	product(bool, TraceSuperWord, false, \
duke@435	243	"Trace superword transforms") \
duke@435	244	\
duke@435	245	product_pd(bool, OptoBundling, \
duke@435	246	"Generate nops to fill i-cache lines") \
duke@435	247	\
duke@435	248	product_pd(intx, ConditionalMoveLimit, \
duke@435	249	"Limit of ops to make speculative when using CMOVE") \
duke@435	250	\
duke@435	251	/* Set BranchOnRegister == false. See 4965987. */ \
duke@435	252	product(bool, BranchOnRegister, false, \
duke@435	253	"Use Sparc V9 branch-on-register opcodes") \
duke@435	254	\
duke@435	255	develop(bool, SparcV9RegsHiBitsZero, true, \
duke@435	256	"Assume Sparc V9 I&L registers on V8+ systems are zero-extended") \
duke@435	257	\
duke@435	258	develop(intx, PrintIdealGraphLevel, 0, \
duke@435	259	"Print ideal graph to XML file / network interface. " \
duke@435	260	"By default attempts to connect to the visualizer on a socket.") \
duke@435	261	\
duke@435	262	develop(intx, PrintIdealGraphPort, 4444, \
duke@435	263	"Ideal graph printer to network port") \
duke@435	264	\
kvn@869	265	notproduct(ccstr, PrintIdealGraphAddress, "127.0.0.1", \
duke@435	266	"IP address to connect to visualizer") \
duke@435	267	\
kvn@869	268	notproduct(ccstr, PrintIdealGraphFile, NULL, \
duke@435	269	"File to dump ideal graph to. If set overrides the " \
duke@435	270	"use of the network") \
duke@435	271	\
duke@435	272	product(bool, UseOldInlining, true, \
duke@435	273	"Enable the 1.3 inlining strategy") \
duke@435	274	\
duke@435	275	product(bool, UseBimorphicInlining, true, \
duke@435	276	"Profiling based inlining for two receivers") \
duke@435	277	\
duke@435	278	product(bool, UseOnlyInlinedBimorphic, true, \
duke@435	279	"Don't use BimorphicInlining if can't inline a second method") \
duke@435	280	\
duke@435	281	product(bool, InsertMemBarAfterArraycopy, true, \
duke@435	282	"Insert memory barrier after arraycopy call") \
duke@435	283	\
kvn@2040	284	develop(bool, SubsumeLoads, true, \
kvn@2040	285	"Attempt to compile while subsuming loads into machine instructions.") \
kvn@2040	286	\
kvn@2040	287	develop(bool, StressRecompilation, false, \
kvn@2040	288	"Recompile each compiled method without subsuming loads or escape analysis.") \
kvn@2040	289	\
duke@435	290	/* controls for tier 1 compilations */ \
duke@435	291	\
duke@435	292	develop(bool, Tier1CountInvocations, true, \
duke@435	293	"Generate code, during tier 1, to update invocation counter") \
duke@435	294	\
duke@435	295	product(intx, Tier1Inline, false, \
duke@435	296	"enable inlining during tier 1") \
duke@435	297	\
duke@435	298	product(intx, Tier1MaxInlineSize, 8, \
duke@435	299	"maximum bytecode size of a method to be inlined, during tier 1") \
duke@435	300	\
duke@435	301	product(intx, Tier1FreqInlineSize, 35, \
duke@435	302	"max bytecode size of a frequent method to be inlined, tier 1") \
duke@435	303	\
duke@435	304	develop(intx, ImplicitNullCheckThreshold, 3, \
duke@435	305	"Don't do implicit null checks if NPE's in a method exceeds limit") \
duke@435	306	\
duke@435	307	/* controls for loop optimization */ \
duke@435	308	product(intx, Tier1LoopOptsCount, 0, \
duke@435	309	"Set level of loop optimization for tier 1 compiles") \
duke@435	310	\
duke@435	311	product(intx, LoopOptsCount, 43, \
duke@435	312	"Set level of loop optimization for tier 1 compiles") \
duke@435	313	\
duke@435	314	/* controls for heat-based inlining */ \
duke@435	315	\
duke@435	316	develop(intx, NodeCountInliningCutoff, 18000, \
duke@435	317	"If parser node generation exceeds limit stop inlining") \
duke@435	318	\
duke@435	319	develop(intx, NodeCountInliningStep, 1000, \
duke@435	320	"Target size of warm calls inlined between optimization passes") \
duke@435	321	\
duke@435	322	develop(bool, InlineWarmCalls, false, \
duke@435	323	"Use a heat-based priority queue to govern inlining") \
duke@435	324	\
duke@435	325	develop(intx, HotCallCountThreshold, 999999, \
duke@435	326	"large numbers of calls (per method invocation) force hotness") \
duke@435	327	\
duke@435	328	develop(intx, HotCallProfitThreshold, 999999, \
duke@435	329	"highly profitable inlining opportunities force hotness") \
duke@435	330	\
duke@435	331	develop(intx, HotCallTrivialWork, -1, \
duke@435	332	"trivial execution time (no larger than this) forces hotness") \
duke@435	333	\
duke@435	334	develop(intx, HotCallTrivialSize, -1, \
duke@435	335	"trivial methods (no larger than this) force calls to be hot") \
duke@435	336	\
duke@435	337	develop(intx, WarmCallMinCount, -1, \
duke@435	338	"number of calls (per method invocation) to enable inlining") \
duke@435	339	\
duke@435	340	develop(intx, WarmCallMinProfit, -1, \
duke@435	341	"number of calls (per method invocation) to enable inlining") \
duke@435	342	\
duke@435	343	develop(intx, WarmCallMaxWork, 999999, \
duke@435	344	"execution time of the largest inlinable method") \
duke@435	345	\
duke@435	346	develop(intx, WarmCallMaxSize, 999999, \
duke@435	347	"size of the largest inlinable method") \
duke@435	348	\
duke@435	349	product(intx, MaxNodeLimit, 65000, \
duke@435	350	"Maximum number of nodes") \
duke@435	351	\
duke@435	352	product(intx, NodeLimitFudgeFactor, 1000, \
duke@435	353	"Fudge Factor for certain optimizations") \
duke@435	354	\
duke@435	355	product(bool, UseJumpTables, true, \
duke@435	356	"Use JumpTables instead of a binary search tree for switches") \
duke@435	357	\
duke@435	358	product(bool, UseDivMod, true, \
duke@435	359	"Use combined DivMod instruction if available") \
duke@435	360	\
duke@435	361	product(intx, MinJumpTableSize, 18, \
duke@435	362	"Minimum number of targets in a generated jump table") \
duke@435	363	\
duke@435	364	product(intx, MaxJumpTableSize, 65000, \
duke@435	365	"Maximum number of targets in a generated jump table") \
duke@435	366	\
duke@435	367	product(intx, MaxJumpTableSparseness, 5, \
duke@435	368	"Maximum sparseness for jumptables") \
duke@435	369	\
duke@435	370	product(bool, EliminateLocks, true, \
duke@435	371	"Coarsen locks when possible") \
duke@435	372	\
duke@435	373	notproduct(bool, PrintLockStatistics, false, \
duke@435	374	"Print precise statistics on the dynamic lock usage") \
duke@435	375	\
duke@435	376	diagnostic(bool, PrintPreciseBiasedLockingStatistics, false, \
duke@435	377	"Print per-lock-site statistics of biased locking in JVM") \
duke@435	378	\
duke@435	379	notproduct(bool, PrintEliminateLocks, false, \
duke@435	380	"Print out when locks are eliminated") \
duke@435	381	\
never@452	382	diagnostic(bool, EliminateAutoBox, false, \
never@452	383	"Private flag to control optimizations for autobox elimination") \
never@452	384	\
never@452	385	product(intx, AutoBoxCacheMax, 128, \
never@452	386	"Sets max value cached by the java.lang.Integer autobox cache") \
never@452	387	\
kvn@1365	388	product(bool, DoEscapeAnalysis, true, \
duke@435	389	"Perform escape analysis") \
duke@435	390	\
duke@435	391	notproduct(bool, PrintEscapeAnalysis, false, \
duke@435	392	"Print the results of escape analysis") \
duke@435	393	\
duke@435	394	product(bool, EliminateAllocations, true, \
duke@435	395	"Use escape analysis to eliminate allocations") \
duke@435	396	\
kvn@500	397	notproduct(bool, PrintEliminateAllocations, false, \
kvn@500	398	"Print out when allocations are eliminated") \
kvn@500	399	\
kvn@500	400	product(intx, EliminateAllocationArraySizeLimit, 64, \
kvn@500	401	"Array size (number of elements) limit for scalar replacement") \
kvn@500	402	\
kvn@1108	403	product(bool, UseOptoBiasInlining, true, \
kvn@855	404	"Generate biased locking code in C2 ideal graph") \
kvn@855	405	\
cfang@1516	406	product(bool, OptimizeStringConcat, false, \
never@1515	407	"Optimize the construction of Strings by StringBuilder") \
never@1515	408	\
never@1515	409	notproduct(bool, PrintOptimizeStringConcat, false, \
never@1515	410	"Print information about transformations performed on Strings") \
never@1515	411	\
kvn@688	412	product(intx, ValueSearchLimit, 1000, \
kvn@688	413	"Recursion limit in PhaseMacroExpand::value_from_mem_phi") \
kvn@688	414	\
duke@435	415	product(intx, MaxLabelRootDepth, 1100, \
duke@435	416	"Maximum times call Label_Root to prevent stack overflow") \
kvn@590	417	\
kvn@590	418	diagnostic(intx, DominatorSearchLimit, 1000, \
kvn@590	419	"Iterations limit in Node::dominates") \
rasbold@853	420	\
rasbold@853	421	product(bool, BlockLayoutByFrequency, true, \
rasbold@853	422	"Use edge frequencies to drive block ordering") \
rasbold@853	423	\
rasbold@853	424	product(intx, BlockLayoutMinDiamondPercentage, 20, \
rasbold@853	425	"Miniumum %% of a successor (predecessor) for which block layout "\
rasbold@853	426	"a will allow a fork (join) in a single chain") \
rasbold@853	427	\
kvn@1108	428	product(bool, BlockLayoutRotateLoops, true, \
rasbold@853	429	"Allow back branches to be fall throughs in the block layour") \
duke@435	430
never@1515	431	C2_FLAGS(DECLARE_DEVELOPER_FLAG, DECLARE_PD_DEVELOPER_FLAG, DECLARE_PRODUCT_FLAG, DECLARE_PD_PRODUCT_FLAG, DECLARE_DIAGNOSTIC_FLAG, DECLARE_EXPERIMENTAL_FLAG, DECLARE_NOTPRODUCT_FLAG)