annotate src/cpu/x86/vm/register_definitions_x86.cpp @ 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 4ca6dc0799b6
children 89152779163c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
14909
4ca6dc0799b6 Backout jdk9 merge
Gilles Duboscq <duboscq@ssw.jku.at>
parents: 14223
diff changeset
2 * Copyright (c) 2002, 2010, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 427
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 427
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: 427
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1579
diff changeset
25 #include "precompiled.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1579
diff changeset
26 #include "asm/assembler.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1579
diff changeset
27 #include "asm/register.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1579
diff changeset
28 #include "register_x86.hpp"
12962
5ccbab1c69f3 8026251: New type profiling points: parameters to methods
roland
parents: 4759
diff changeset
29 #ifdef TARGET_ARCH_x86
5ccbab1c69f3 8026251: New type profiling points: parameters to methods
roland
parents: 4759
diff changeset
30 # include "interp_masm_x86.hpp"
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1579
diff changeset
31 #endif
0
a61af66fc99e Initial load
duke
parents:
diff changeset
32
a61af66fc99e Initial load
duke
parents:
diff changeset
33 REGISTER_DEFINITION(Register, noreg);
a61af66fc99e Initial load
duke
parents:
diff changeset
34 REGISTER_DEFINITION(Register, rax);
a61af66fc99e Initial load
duke
parents:
diff changeset
35 REGISTER_DEFINITION(Register, rcx);
a61af66fc99e Initial load
duke
parents:
diff changeset
36 REGISTER_DEFINITION(Register, rdx);
a61af66fc99e Initial load
duke
parents:
diff changeset
37 REGISTER_DEFINITION(Register, rbx);
a61af66fc99e Initial load
duke
parents:
diff changeset
38 REGISTER_DEFINITION(Register, rsp);
a61af66fc99e Initial load
duke
parents:
diff changeset
39 REGISTER_DEFINITION(Register, rbp);
a61af66fc99e Initial load
duke
parents:
diff changeset
40 REGISTER_DEFINITION(Register, rsi);
a61af66fc99e Initial load
duke
parents:
diff changeset
41 REGISTER_DEFINITION(Register, rdi);
a61af66fc99e Initial load
duke
parents:
diff changeset
42 #ifdef AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
43 REGISTER_DEFINITION(Register, r8);
a61af66fc99e Initial load
duke
parents:
diff changeset
44 REGISTER_DEFINITION(Register, r9);
a61af66fc99e Initial load
duke
parents:
diff changeset
45 REGISTER_DEFINITION(Register, r10);
a61af66fc99e Initial load
duke
parents:
diff changeset
46 REGISTER_DEFINITION(Register, r11);
a61af66fc99e Initial load
duke
parents:
diff changeset
47 REGISTER_DEFINITION(Register, r12);
a61af66fc99e Initial load
duke
parents:
diff changeset
48 REGISTER_DEFINITION(Register, r13);
a61af66fc99e Initial load
duke
parents:
diff changeset
49 REGISTER_DEFINITION(Register, r14);
a61af66fc99e Initial load
duke
parents:
diff changeset
50 REGISTER_DEFINITION(Register, r15);
a61af66fc99e Initial load
duke
parents:
diff changeset
51 #endif // AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
52
4759
127b3692c168 7116452: Add support for AVX instructions
kvn
parents: 1972
diff changeset
53 REGISTER_DEFINITION(XMMRegister, xnoreg);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
54 REGISTER_DEFINITION(XMMRegister, xmm0 );
a61af66fc99e Initial load
duke
parents:
diff changeset
55 REGISTER_DEFINITION(XMMRegister, xmm1 );
a61af66fc99e Initial load
duke
parents:
diff changeset
56 REGISTER_DEFINITION(XMMRegister, xmm2 );
a61af66fc99e Initial load
duke
parents:
diff changeset
57 REGISTER_DEFINITION(XMMRegister, xmm3 );
a61af66fc99e Initial load
duke
parents:
diff changeset
58 REGISTER_DEFINITION(XMMRegister, xmm4 );
a61af66fc99e Initial load
duke
parents:
diff changeset
59 REGISTER_DEFINITION(XMMRegister, xmm5 );
a61af66fc99e Initial load
duke
parents:
diff changeset
60 REGISTER_DEFINITION(XMMRegister, xmm6 );
a61af66fc99e Initial load
duke
parents:
diff changeset
61 REGISTER_DEFINITION(XMMRegister, xmm7 );
a61af66fc99e Initial load
duke
parents:
diff changeset
62 #ifdef AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
63 REGISTER_DEFINITION(XMMRegister, xmm8);
a61af66fc99e Initial load
duke
parents:
diff changeset
64 REGISTER_DEFINITION(XMMRegister, xmm9);
a61af66fc99e Initial load
duke
parents:
diff changeset
65 REGISTER_DEFINITION(XMMRegister, xmm10);
a61af66fc99e Initial load
duke
parents:
diff changeset
66 REGISTER_DEFINITION(XMMRegister, xmm11);
a61af66fc99e Initial load
duke
parents:
diff changeset
67 REGISTER_DEFINITION(XMMRegister, xmm12);
a61af66fc99e Initial load
duke
parents:
diff changeset
68 REGISTER_DEFINITION(XMMRegister, xmm13);
a61af66fc99e Initial load
duke
parents:
diff changeset
69 REGISTER_DEFINITION(XMMRegister, xmm14);
a61af66fc99e Initial load
duke
parents:
diff changeset
70 REGISTER_DEFINITION(XMMRegister, xmm15);
a61af66fc99e Initial load
duke
parents:
diff changeset
71
a61af66fc99e Initial load
duke
parents:
diff changeset
72 REGISTER_DEFINITION(Register, c_rarg0);
a61af66fc99e Initial load
duke
parents:
diff changeset
73 REGISTER_DEFINITION(Register, c_rarg1);
a61af66fc99e Initial load
duke
parents:
diff changeset
74 REGISTER_DEFINITION(Register, c_rarg2);
a61af66fc99e Initial load
duke
parents:
diff changeset
75 REGISTER_DEFINITION(Register, c_rarg3);
a61af66fc99e Initial load
duke
parents:
diff changeset
76
a61af66fc99e Initial load
duke
parents:
diff changeset
77 REGISTER_DEFINITION(XMMRegister, c_farg0);
a61af66fc99e Initial load
duke
parents:
diff changeset
78 REGISTER_DEFINITION(XMMRegister, c_farg1);
a61af66fc99e Initial load
duke
parents:
diff changeset
79 REGISTER_DEFINITION(XMMRegister, c_farg2);
a61af66fc99e Initial load
duke
parents:
diff changeset
80 REGISTER_DEFINITION(XMMRegister, c_farg3);
a61af66fc99e Initial load
duke
parents:
diff changeset
81
a61af66fc99e Initial load
duke
parents:
diff changeset
82 // Non windows OS's have a few more argument registers
a61af66fc99e Initial load
duke
parents:
diff changeset
83 #ifndef _WIN64
a61af66fc99e Initial load
duke
parents:
diff changeset
84 REGISTER_DEFINITION(Register, c_rarg4);
a61af66fc99e Initial load
duke
parents:
diff changeset
85 REGISTER_DEFINITION(Register, c_rarg5);
a61af66fc99e Initial load
duke
parents:
diff changeset
86
a61af66fc99e Initial load
duke
parents:
diff changeset
87 REGISTER_DEFINITION(XMMRegister, c_farg4);
a61af66fc99e Initial load
duke
parents:
diff changeset
88 REGISTER_DEFINITION(XMMRegister, c_farg5);
a61af66fc99e Initial load
duke
parents:
diff changeset
89 REGISTER_DEFINITION(XMMRegister, c_farg6);
a61af66fc99e Initial load
duke
parents:
diff changeset
90 REGISTER_DEFINITION(XMMRegister, c_farg7);
a61af66fc99e Initial load
duke
parents:
diff changeset
91 #endif /* _WIN64 */
a61af66fc99e Initial load
duke
parents:
diff changeset
92
a61af66fc99e Initial load
duke
parents:
diff changeset
93 REGISTER_DEFINITION(Register, j_rarg0);
a61af66fc99e Initial load
duke
parents:
diff changeset
94 REGISTER_DEFINITION(Register, j_rarg1);
a61af66fc99e Initial load
duke
parents:
diff changeset
95 REGISTER_DEFINITION(Register, j_rarg2);
a61af66fc99e Initial load
duke
parents:
diff changeset
96 REGISTER_DEFINITION(Register, j_rarg3);
a61af66fc99e Initial load
duke
parents:
diff changeset
97 REGISTER_DEFINITION(Register, j_rarg4);
a61af66fc99e Initial load
duke
parents:
diff changeset
98 REGISTER_DEFINITION(Register, j_rarg5);
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 REGISTER_DEFINITION(XMMRegister, j_farg0);
a61af66fc99e Initial load
duke
parents:
diff changeset
101 REGISTER_DEFINITION(XMMRegister, j_farg1);
a61af66fc99e Initial load
duke
parents:
diff changeset
102 REGISTER_DEFINITION(XMMRegister, j_farg2);
a61af66fc99e Initial load
duke
parents:
diff changeset
103 REGISTER_DEFINITION(XMMRegister, j_farg3);
a61af66fc99e Initial load
duke
parents:
diff changeset
104 REGISTER_DEFINITION(XMMRegister, j_farg4);
a61af66fc99e Initial load
duke
parents:
diff changeset
105 REGISTER_DEFINITION(XMMRegister, j_farg5);
a61af66fc99e Initial load
duke
parents:
diff changeset
106 REGISTER_DEFINITION(XMMRegister, j_farg6);
a61af66fc99e Initial load
duke
parents:
diff changeset
107 REGISTER_DEFINITION(XMMRegister, j_farg7);
a61af66fc99e Initial load
duke
parents:
diff changeset
108
a61af66fc99e Initial load
duke
parents:
diff changeset
109 REGISTER_DEFINITION(Register, rscratch1);
a61af66fc99e Initial load
duke
parents:
diff changeset
110 REGISTER_DEFINITION(Register, rscratch2);
a61af66fc99e Initial load
duke
parents:
diff changeset
111
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
112 REGISTER_DEFINITION(Register, r12_heapbase);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
113 REGISTER_DEFINITION(Register, r15_thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
114 #endif // AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
115
4759
127b3692c168 7116452: Add support for AVX instructions
kvn
parents: 1972
diff changeset
116 REGISTER_DEFINITION(MMXRegister, mnoreg );
0
a61af66fc99e Initial load
duke
parents:
diff changeset
117 REGISTER_DEFINITION(MMXRegister, mmx0 );
a61af66fc99e Initial load
duke
parents:
diff changeset
118 REGISTER_DEFINITION(MMXRegister, mmx1 );
a61af66fc99e Initial load
duke
parents:
diff changeset
119 REGISTER_DEFINITION(MMXRegister, mmx2 );
a61af66fc99e Initial load
duke
parents:
diff changeset
120 REGISTER_DEFINITION(MMXRegister, mmx3 );
a61af66fc99e Initial load
duke
parents:
diff changeset
121 REGISTER_DEFINITION(MMXRegister, mmx4 );
a61af66fc99e Initial load
duke
parents:
diff changeset
122 REGISTER_DEFINITION(MMXRegister, mmx5 );
a61af66fc99e Initial load
duke
parents:
diff changeset
123 REGISTER_DEFINITION(MMXRegister, mmx6 );
a61af66fc99e Initial load
duke
parents:
diff changeset
124 REGISTER_DEFINITION(MMXRegister, mmx7 );
1564
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 427
diff changeset
125
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 427
diff changeset
126 // JSR 292
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 427
diff changeset
127 REGISTER_DEFINITION(Register, rbp_mh_SP_save);