1276 Commits

Author SHA1 Message Date
Goetz Lindenmaier
f0c12f35cb 8141137: C2 fails rematerializing nodes using flag registers
Don't rem. if input stretches several live ranges. If rem., don't add SpillCopy on RegFlags edge.

Reviewed-by: kvn, vlivanov
2015-11-02 15:52:37 +01:00
Roland Westrelin
c18a26c573 8142386: Octane crashes with assert(is_Load())
Unsafe access to an array is wrongly marked as mismatched

Reviewed-by: vlivanov, thartmann
2015-11-17 12:00:16 +01:00
Nils Eliasson
c2892b5dce Merge 2015-11-16 20:56:18 +01:00
Hui Shi
854b8d1ff1 8139758: [REDO] Elide more final field's write memory barrier with escape analysis result
Membar for all final field initializations eliminated if possible

Reviewed-by: roland, vlivanov
2015-11-16 16:14:15 +01:00
Roland Westrelin
a59fb9d9c1 Merge 2015-11-16 11:58:31 +00:00
Roland Westrelin
baaa8f79ed 8042997: Make intrinsic some or all check index/range methods
Objects.checkIndex() intrinsic

Reviewed-by: vlivanov, shade
2015-11-16 09:55:25 +01:00
Tobias Hartmann
c9b5f58d7f 8142500: missing null checks in IfNode::has_only_uncommon_traps
IfNode::has_only_uncommon_traps needs to null-check the callers.

Reviewed-by: kvn, roland, rbackman
2015-11-16 08:03:24 +01:00
Nils Eliasson
2f9e32256d Merge 2015-11-13 13:31:48 +01:00
Christian Thalinger
6896030b96 8140424: don't prefix developer and notproduct flag variables with CONST_ in product builds
Reviewed-by: goetz, stefank
2015-11-11 16:32:17 -10:00
Aleksey Shipilev
ac09d8a135 8140650: Method::is_accessor should cover getters and setters for all types
Reviewed-by: vlivanov, coleenp, sgehwolf
2015-11-11 01:27:36 +03:00
Vladimir Kozlov
6ed8c23581 8141624: Limit calculation of pre loop during super word optimization is wrong
Reviewed-by: vlivanov, kvn
2015-11-10 21:36:35 -08:00
Roland Westrelin
fa6545ccc1 8137168: Replace IfNode with a new RangeCheckNode for range checks
New RangeCheckNode to enable optimization of explicit library level range checks

Reviewed-by: kvn, thartmann
2015-11-09 11:28:31 +01:00
Michael C Berg
e86e38619e 8140779: Code generation fixes for avx512
Assembler refactoring. Abstract away instruction attributes.

Reviewed-by: kvn, roland, iveresov
2015-11-09 11:26:41 -08:00
Roland Westrelin
45b3ce816a 8140309: [REDO] failed: no mismatched stores, except on raw memory: StoreB StoreI
Mismatched stores on same slice possible with Unsafe.Put*Unaligned methods

Reviewed-by: kvn, thartmann
2015-10-28 10:20:33 +01:00
Tobias Hartmann
7e827560be Merge 2015-11-06 08:45:13 +00:00
Tobias Hartmann
af2e00ae90 8140574: C2 must re-execute checks after deoptimizing from merged uncommon traps
Before merging uncommon traps we have to check for proper bci domination and compatible JVMStates to guarantee correct re-execution of the checks.

Reviewed-by: kvn, roland
2015-11-06 09:36:47 +01:00
Roland Westrelin
f8abd0e843 8136820: Generate better code for some Unsafe addressing patterns
Reshape address computation to move invariant part out of loops

Reviewed-by: kvn
2015-09-17 16:53:42 +02:00
Roland Westrelin
92af9b015c 8136926: phi == NULL assert in PhaseIdealLoop::try_move_store_after_loop
Multiple phis on same slice are possible in a loop

Reviewed-by: kvn, mcberg
2015-09-22 15:25:34 +02:00
Hui Shi
0f4b248b18 8136596: Remove aarch64: MemBarRelease when final field's allocation is NoEscape or ArgEscape
Elide MemBar when AllocateNode _is_non_escaping

Reviewed-by: kvn, roland
2015-09-21 10:51:33 +02:00
Nils Eliasson
5ca8983920 8135068: Extract method matchers from CompilerOracle
Ecapsulate code to enable reuse

Reviewed-by: roland, kvn
2015-09-18 10:11:11 +02:00
Tobias Hartmann
f298249547 8134739: compiler/loopopts/superword/TestVectorizationWithInvariant crashes in loop opts
Bail out of superword optimization if loop was removed (i.e., if zero-trip Opaque1Node was removed).

Reviewed-by: kvn, roland
2015-09-17 08:08:47 +02:00
Michael Berg
d49d1ea740 8134802: LCM register pressure scheduling
Calculate register pressure in a block to help instructions scheduling.

Reviewed-by: kvn, dlong
2015-09-16 13:16:17 -07:00
Vladimir Kozlov
a402bebf6e Merge 2015-09-16 20:33:16 +02:00
Vladimir Kozlov
44a4201adc 8136406: Remove ZapDeadCompiledLocals code
Dead code elimination.

Reviewed-by: roland, twisti
2015-09-15 11:04:11 -07:00
Roland Westrelin
c55d212196 8136461: PhaseIdealLoop::try_move_store_before_loop() may bypass early loop exit
PhaseIdealLoop::try_move_store_before_loop() needs to check for early loop exit before candidate Stores

Reviewed-by: kvn
2015-09-15 13:08:43 +02:00
Roland Westrelin
404fc5caa8 8134974: 8130847 broken with loop predicates
Pinned eliminated arraycopy loads in uncommon trap path for loop predicates may need to be moved

Reviewed-by: kvn
2015-09-08 19:19:08 +02:00
Roland Westrelin
8dd169a71f 8135069: C2 replaces range checks by unsigned comparison with -1
I < 0 || i > -1 wrongly folded as i >u -1

Reviewed-by: kvn
2015-09-11 16:56:56 +02:00
Tobias Hartmann
6479241f4a 8135252: IdealLoopTree::dump_head() prints negative trip count
IdealLoopTree::dump_head() should not cast float to int.

Reviewed-by: kvn
2015-09-14 10:00:26 +02:00
Igor Veresov
e88940fae6 Merge 2015-09-10 17:56:43 -07:00
Michael Berg
e75f5a5cde 8135028: support for vectorizing double precision sqrt
Reviewed-by: kvn, twisti
2015-09-09 10:34:17 -07:00
Jesper Wilhelmsson
1736e104a1 Merge 2015-09-08 16:10:37 +02:00
Vladimir Ivanov
0fcb9ffe75 8065151: Support IdealGraphVisualizer in optimized build
Reviewed-by: kvn
2015-09-06 10:13:18 +03:00
Nils Eliasson
559bf7ef6e 8135067: Preparatory refactorings for compiler control
Extract CompileTask and clean up

Reviewed-by: roland
2015-09-04 12:47:57 +02:00
Ahmed Khawaja
d7b8032741 8132081: C2 support for Adler32 on SPARC
Add C2 instrinsic support for Adler32 checksum on SPARC.

Reviewed-by: kvn
2015-09-03 15:03:12 -07:00
Dmitry Samersoff
6ed285af0a Merge 2015-08-31 21:46:33 +03:00
Roland Westrelin
ed9e8b9ff2 8134031: Incorrect JIT compilation of complex code with inlining and escape analysis
Bad rewiring of memory edges when we split unique types during EA

Reviewed-by: kvn
2015-08-31 17:20:08 +02:00
Roland Westrelin
7ef7c96fde 8134468: Lucene test failures with 32 bit JDK 9b78, Server compiler
Test that checks whether an array load falls into the range of an arraycopy is incorrect on 32bits

Reviewed-by: iveresov, kvn
2015-09-02 10:00:27 +02:00
Aleksey Shipilev
7c7692856a 8134758: Final String field values should be trusted as stable
Reviewed-by: kvn, thartmann
2015-09-01 19:48:10 +03:00
Aleksey Shipilev
e3007b79ad 8076758: new StringBuilder().append(String).toString() should be recognized by OptimizeStringConcat
Reviewed-by: kvn, thartmann
2015-09-01 12:57:41 +03:00
Roland Westrelin
9dcbe322e0 8134288: compiler/runtime/6859338/Test6859338.java crashes in PhaseIdealLoop::try_move_store_after_loop
Store nodes may not have a control if used to update profiling

Reviewed-by: kvn
2015-08-26 12:43:15 +02:00
Roland Westrelin
8942ef410f 8134321: tools/pack200/Pack200Test.java crashes in the VM PIT jdk9 b79
Code that capture field values of eliminated allocation at a safepoint when there's an arraycopy behind a Phi is broken

Reviewed-by: kvn
2015-08-26 09:49:37 +02:00
Kim Barrett
7706e36194 8072817: CardTableExtension kind() should be BarrierSet::CardTableExtension
Use BarrierSet::CardTableForRS where needed, and update concrete bs tags.

Reviewed-by: jwilhelm, jmasa
2015-08-18 17:48:35 -04:00
Roland Westrelin
b7b1b2778c 8131969: jit/FloatingPoint/gen_math/Loops05 assert(2 <= size && size <= 16) failed: update low bits table
Assert in register allocation code when vector Phi for a loop is processed because code assumes all inputs already processed

Reviewed-by: kvn
2015-08-18 16:10:34 +02:00
Zoltan Majo
0d7ee212ea 8133625: src/share/vm/opto/compile.hpp:96: error: integer constant is too large for ‘long’ type
Wrap constant causing the failure into into CONST64(). Update comments.

Reviewed-by: kvn
2015-08-19 11:59:00 +02:00
Roland Westrelin
96b004cd82 8080289: Intermediate writes in a loop not eliminated by optimizer
Move Stores out of loop (after or before) when possible

Reviewed-by: kvn, vlivanov
2015-07-29 17:25:04 +02:00
Roland Westrelin
df82d96834 8133599: Unsafe.getAndSetObject() is no longer intrinsified by c2
Off by 1 error in c2 intrinsic filtering logic

Reviewed-by: dlong, kvn, shade
2015-08-14 00:28:45 +02:00
Roland Westrelin
0baf2f7e8a 8130847: Cloned object's fields observed as null after C2 escape analysis
Eliminated instance/array written to by an array copy variant must be correctly initialized when reallocated at a deopt

Reviewed-by: kvn, vlivanov
2015-08-15 02:54:18 +02:00
Aleksey Shipilev
63a173e2c4 8019968: Reference CAS induces GC store barrier even on failure
Reviewed-by: kvn, adinn, roland
2015-08-12 09:58:39 +03:00
Vlad Ureche
645a55a98f 8011858: Use Compile::live_nodes() instead of Compile::unique() in appropriate places
Reviewed-by: kvn, vlivanov
2015-08-10 10:39:19 -07:00
Roland Westrelin
02ae6d2a31 Merge 2015-08-04 13:41:09 +02:00