Mercurial > hg > truffle
annotate src/cpu/x86/vm/stubRoutines_x86_64.hpp @ 15388:769fc3629f59
Add phase FlowSensitiveReductionPhase.
It is possible to remove GuardingPiNodes, CheckCastNodes, and FixedGuards during
HighTier under certain conditions (control-flow sensitive conditions).
The phase added in this commit (FlowSensitiveReductionPhase) does that,
and in addition replaces usages with "downcasting" PiNodes when possible
thus resulting in more precise object stamps (e.g., non-null).
Finally, usages of floating, side-effects free, expressions are also simplified
(as per control-flow sensitive conditions).
The newly added phase runs only during HighTier and can be deactivated
using Graal option FlowSensitiveReduction (it is active by default).
| author | Miguel Garcia <miguel.m.garcia@oracle.com> |
|---|---|
| date | Fri, 25 Apr 2014 16:50:52 +0200 |
| parents | 0f57ccdb9084 |
| children |
| rev | line source |
|---|---|
| 0 | 1 /* |
|
11080
b800986664f4
7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents:
6894
diff
changeset
|
2 * Copyright (c) 2003, 2013, Oracle and/or its affiliates. All rights reserved. |
| 0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
| 4 * | |
| 5 * This code is free software; you can redistribute it and/or modify it | |
| 6 * under the terms of the GNU General Public License version 2 only, as | |
| 7 * published by the Free Software Foundation. | |
| 8 * | |
| 9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
| 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 12 * version 2 for more details (a copy is included in the LICENSE file that | |
| 13 * accompanied this code). | |
| 14 * | |
| 15 * You should have received a copy of the GNU General Public License version | |
| 16 * 2 along with this work; if not, write to the Free Software Foundation, | |
| 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
| 18 * | |
|
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1299
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1299
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1299
diff
changeset
|
21 * questions. |
| 0 | 22 * |
| 23 */ | |
| 24 | |
| 1972 | 25 #ifndef CPU_X86_VM_STUBROUTINES_X86_64_HPP |
| 26 #define CPU_X86_VM_STUBROUTINES_X86_64_HPP | |
| 27 | |
| 0 | 28 // This file holds the platform specific parts of the StubRoutines |
| 29 // definition. See stubRoutines.hpp for a description on how to | |
| 30 // extend it. | |
| 31 | |
| 32 static bool returns_to_call_stub(address return_pc) { return return_pc == _call_stub_return_address; } | |
| 33 | |
|
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
337
diff
changeset
|
34 enum platform_dependent_constants { |
|
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
337
diff
changeset
|
35 code_size1 = 19000, // simply increase if too small (assembler will crash if too small) |
|
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
337
diff
changeset
|
36 code_size2 = 22000 // simply increase if too small (assembler will crash if too small) |
|
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
337
diff
changeset
|
37 }; |
|
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
337
diff
changeset
|
38 |
| 304 | 39 class x86 { |
| 0 | 40 friend class StubGenerator; |
| 41 | |
| 42 private: | |
| 43 static address _get_previous_fp_entry; | |
|
5903
da4be62fb889
7147740: add assertions to check stack alignment on VM entry from generated code (x64)
roland
parents:
3753
diff
changeset
|
44 static address _get_previous_sp_entry; |
| 0 | 45 |
| 46 static address _f2i_fixup; | |
| 47 static address _f2l_fixup; | |
| 48 static address _d2i_fixup; | |
| 49 static address _d2l_fixup; | |
| 50 | |
| 51 static address _float_sign_mask; | |
| 52 static address _float_sign_flip; | |
| 53 static address _double_sign_mask; | |
| 54 static address _double_sign_flip; | |
| 55 | |
| 56 public: | |
| 57 | |
| 58 static address get_previous_fp_entry() | |
| 59 { | |
| 60 return _get_previous_fp_entry; | |
| 61 } | |
| 62 | |
|
5903
da4be62fb889
7147740: add assertions to check stack alignment on VM entry from generated code (x64)
roland
parents:
3753
diff
changeset
|
63 static address get_previous_sp_entry() |
|
da4be62fb889
7147740: add assertions to check stack alignment on VM entry from generated code (x64)
roland
parents:
3753
diff
changeset
|
64 { |
|
da4be62fb889
7147740: add assertions to check stack alignment on VM entry from generated code (x64)
roland
parents:
3753
diff
changeset
|
65 return _get_previous_sp_entry; |
|
da4be62fb889
7147740: add assertions to check stack alignment on VM entry from generated code (x64)
roland
parents:
3753
diff
changeset
|
66 } |
|
da4be62fb889
7147740: add assertions to check stack alignment on VM entry from generated code (x64)
roland
parents:
3753
diff
changeset
|
67 |
| 0 | 68 static address f2i_fixup() |
| 69 { | |
| 70 return _f2i_fixup; | |
| 71 } | |
| 72 | |
| 73 static address f2l_fixup() | |
| 74 { | |
| 75 return _f2l_fixup; | |
| 76 } | |
| 77 | |
| 78 static address d2i_fixup() | |
| 79 { | |
| 80 return _d2i_fixup; | |
| 81 } | |
| 82 | |
| 83 static address d2l_fixup() | |
| 84 { | |
| 85 return _d2l_fixup; | |
| 86 } | |
| 87 | |
| 88 static address float_sign_mask() | |
| 89 { | |
| 90 return _float_sign_mask; | |
| 91 } | |
| 92 | |
| 93 static address float_sign_flip() | |
| 94 { | |
| 95 return _float_sign_flip; | |
| 96 } | |
| 97 | |
| 98 static address double_sign_mask() | |
| 99 { | |
| 100 return _double_sign_mask; | |
| 101 } | |
| 102 | |
| 103 static address double_sign_flip() | |
| 104 { | |
| 105 return _double_sign_flip; | |
| 106 } | |
| 107 | |
|
11080
b800986664f4
7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents:
6894
diff
changeset
|
108 # include "stubRoutines_x86.hpp" |
| 6894 | 109 |
| 0 | 110 }; |
| 1972 | 111 |
| 112 #endif // CPU_X86_VM_STUBROUTINES_X86_64_HPP |