1 /*
2 * Copyright (c) 1999, 2007, Oracle and/or its affiliates. All rights reserved.
3 * Copyright 2009 Red Hat, Inc.
4 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5 *
6 * This code is free software; you can redistribute it and/or modify it
7 * under the terms of the GNU General Public License version 2 only, as
8 * published by the Free Software Foundation.
9 *
10 * This code is distributed in the hope that it will be useful, but WITHOUT
11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
13 * version 2 for more details (a copy is included in the LICENSE file that
14 * accompanied this code).
15 *
16 * You should have received a copy of the GNU General Public License version
17 * 2 along with this work; if not, write to the Free Software Foundation,
18 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
19 *
20 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
21 * or visit www.oracle.com if you need additional information or have any
22 * questions.
23 *
24 */
25
26 #include "incls/_precompiled.incl"
27 #include "incls/_sharkIntrinsics.cpp.incl"
28
29 using namespace llvm;
30
31 bool SharkIntrinsics::is_intrinsic(ciMethod *target) {
32 switch (target->intrinsic_id()) {
33 case vmIntrinsics::_none:
34 return false;
35
36 // java.lang.Math
37 case vmIntrinsics::_min:
38 case vmIntrinsics::_max:
39 case vmIntrinsics::_dabs:
40 case vmIntrinsics::_dsin:
41 case vmIntrinsics::_dcos:
42 case vmIntrinsics::_dtan:
43 case vmIntrinsics::_datan2:
44 case vmIntrinsics::_dsqrt:
45 case vmIntrinsics::_dlog:
46 case vmIntrinsics::_dlog10:
47 case vmIntrinsics::_dpow:
48 case vmIntrinsics::_dexp:
49 return true;
50
51 // java.lang.Object
52 case vmIntrinsics::_getClass:
53 return true;
54
55 // java.lang.System
56 case vmIntrinsics::_currentTimeMillis:
57 return true;
58
59 // java.lang.Thread
60 case vmIntrinsics::_currentThread:
61 return true;
62
63 // sun.misc.Unsafe
64 case vmIntrinsics::_compareAndSwapInt:
65 return true;
66
67 default:
68 if (SharkPerformanceWarnings) {
69 warning(
70 "unhandled intrinsic vmIntrinsic::%s",
71 vmIntrinsics::name_at(target->intrinsic_id()));
72 }
73 }
74 return false;
75 }
76
77 void SharkIntrinsics::inline_intrinsic(ciMethod *target, SharkState *state) {
78 SharkIntrinsics intrinsic(state, target);
79 intrinsic.do_intrinsic();
80 }
81
82 void SharkIntrinsics::do_intrinsic() {
83 switch (target()->intrinsic_id()) {
84 // java.lang.Math
85 case vmIntrinsics::_min:
86 do_Math_minmax(llvm::ICmpInst::ICMP_SLE);
87 break;
88 case vmIntrinsics::_max:
89 do_Math_minmax(llvm::ICmpInst::ICMP_SGE);
90 break;
91 case vmIntrinsics::_dabs:
92 do_Math_1to1(builder()->fabs());
93 break;
94 case vmIntrinsics::_dsin:
95 do_Math_1to1(builder()->sin());
96 break;
97 case vmIntrinsics::_dcos:
98 do_Math_1to1(builder()->cos());
99 break;
100 case vmIntrinsics::_dtan:
101 do_Math_1to1(builder()->tan());
102 break;
103 case vmIntrinsics::_datan2:
104 do_Math_2to1(builder()->atan2());
105 break;
106 case vmIntrinsics::_dsqrt:
107 do_Math_1to1(builder()->sqrt());
108 break;
109 case vmIntrinsics::_dlog:
110 do_Math_1to1(builder()->log());
111 break;
112 case vmIntrinsics::_dlog10:
113 do_Math_1to1(builder()->log10());
114 break;
115 case vmIntrinsics::_dpow:
116 do_Math_2to1(builder()->pow());
117 break;
118 case vmIntrinsics::_dexp:
119 do_Math_1to1(builder()->exp());
120 break;
121
122 // java.lang.Object
123 case vmIntrinsics::_getClass:
124 do_Object_getClass();
125 break;
126
127 // java.lang.System
128 case vmIntrinsics::_currentTimeMillis:
129 do_System_currentTimeMillis();
130 break;
131
132 // java.lang.Thread
133 case vmIntrinsics::_currentThread:
134 do_Thread_currentThread();
135 break;
136
137 // sun.misc.Unsafe
138 case vmIntrinsics::_compareAndSwapInt:
139 do_Unsafe_compareAndSwapInt();
140 break;
141
142 default:
143 ShouldNotReachHere();
144 }
145 }
146
147 void SharkIntrinsics::do_Math_minmax(ICmpInst::Predicate p) {
148 // Pop the arguments
149 SharkValue *sb = state()->pop();
150 SharkValue *sa = state()->pop();
151 Value *a = sa->jint_value();
152 Value *b = sb->jint_value();
153
154 // Perform the test
155 BasicBlock *ip = builder()->GetBlockInsertionPoint();
156 BasicBlock *return_a = builder()->CreateBlock(ip, "return_a");
157 BasicBlock *return_b = builder()->CreateBlock(ip, "return_b");
158 BasicBlock *done = builder()->CreateBlock(ip, "done");
159
160 builder()->CreateCondBr(builder()->CreateICmp(p, a, b), return_a, return_b);
161
162 builder()->SetInsertPoint(return_a);
163 builder()->CreateBr(done);
164
165 builder()->SetInsertPoint(return_b);
166 builder()->CreateBr(done);
167
168 builder()->SetInsertPoint(done);
169 PHINode *phi = builder()->CreatePHI(a->getType(), "result");
170 phi->addIncoming(a, return_a);
171 phi->addIncoming(b, return_b);
172
173 // Push the result
174 state()->push(
175 SharkValue::create_jint(
176 phi,
177 sa->zero_checked() && sb->zero_checked()));
178 }
179
180 void SharkIntrinsics::do_Math_1to1(Value *function) {
181 SharkValue *empty = state()->pop();
182 assert(empty == NULL, "should be");
183 state()->push(
184 SharkValue::create_jdouble(
185 builder()->CreateCall(
186 function, state()->pop()->jdouble_value())));
187 state()->push(NULL);
188 }
189
190 void SharkIntrinsics::do_Math_2to1(Value *function) {
191 SharkValue *empty = state()->pop();
192 assert(empty == NULL, "should be");
193 Value *y = state()->pop()->jdouble_value();
194 empty = state()->pop();
195 assert(empty == NULL, "should be");
196 Value *x = state()->pop()->jdouble_value();
197
198 state()->push(
199 SharkValue::create_jdouble(
200 builder()->CreateCall2(function, x, y)));
201 state()->push(NULL);
202 }
203
204 void SharkIntrinsics::do_Object_getClass() {
205 Value *klass = builder()->CreateValueOfStructEntry(
206 state()->pop()->jobject_value(),
207 in_ByteSize(oopDesc::klass_offset_in_bytes()),
208 SharkType::oop_type(),
209 "klass");
210
211 Value *klass_part = builder()->CreateAddressOfStructEntry(
212 klass,
213 in_ByteSize(klassOopDesc::klass_part_offset_in_bytes()),
214 SharkType::klass_type(),
215 "klass_part");
216
217 state()->push(
218 SharkValue::create_jobject(
219 builder()->CreateValueOfStructEntry(
220 klass_part,
221 in_ByteSize(Klass::java_mirror_offset_in_bytes()),
222 SharkType::oop_type(),
223 "java_mirror"),
224 true));
225 }
226
227 void SharkIntrinsics::do_System_currentTimeMillis() {
228 state()->push(
229 SharkValue::create_jlong(
230 builder()->CreateCall(builder()->current_time_millis()),
231 false));
232 state()->push(NULL);
233 }
234
235 void SharkIntrinsics::do_Thread_currentThread() {
236 state()->push(
237 SharkValue::create_jobject(
238 builder()->CreateValueOfStructEntry(
239 thread(), JavaThread::threadObj_offset(),
240 SharkType::oop_type(),
241 "threadObj"),
242 true));
243 }
244
245 void SharkIntrinsics::do_Unsafe_compareAndSwapInt() {
246 // Pop the arguments
247 Value *x = state()->pop()->jint_value();
248 Value *e = state()->pop()->jint_value();
249 SharkValue *empty = state()->pop();
250 assert(empty == NULL, "should be");
251 Value *offset = state()->pop()->jlong_value();
252 Value *object = state()->pop()->jobject_value();
253 Value *unsafe = state()->pop()->jobject_value();
254
255 // Convert the offset
256 offset = builder()->CreateCall(
257 builder()->unsafe_field_offset_to_byte_offset(),
258 offset);
259
260 // Locate the field
261 Value *addr = builder()->CreateIntToPtr(
262 builder()->CreateAdd(
263 builder()->CreatePtrToInt(object, SharkType::intptr_type()),
264 builder()->CreateIntCast(offset, SharkType::intptr_type(), true)),
265 PointerType::getUnqual(SharkType::jint_type()),
266 "addr");
267
268 // Perform the operation
269 Value *result = builder()->CreateCmpxchgInt(x, addr, e);
270
271 // Push the result
272 state()->push(
273 SharkValue::create_jint(
274 builder()->CreateIntCast(
275 builder()->CreateICmpEQ(result, e), SharkType::jint_type(), true),
276 false));
277 }