Mercurial > hg > truffle
comparison graal/com.oracle.truffle.sl/src/com/oracle/truffle/sl/SLTypes.java @ 7503:31da1716950f
Updated truffle-sl for the changed operation code generation.
author | Christian Humer <christian.humer@gmail.com> |
---|---|
date | Fri, 18 Jan 2013 13:29:14 +0100 |
parents | |
children | 5e3d1a68664e |
comparison
equal
deleted
inserted
replaced
7502:6343a09b2ec1 | 7503:31da1716950f |
---|---|
1 /* | |
2 * Copyright (c) 2012, 2012, Oracle and/or its affiliates. All rights reserved. | |
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 * | |
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA | |
20 * or visit www.oracle.com if you need additional information or have any | |
21 * questions. | |
22 */ | |
23 package com.oracle.truffle.sl; | |
24 | |
25 import java.math.*; | |
26 | |
27 import com.oracle.truffle.api.codegen.*; | |
28 | |
29 @TypeSystem({int.class, BigInteger.class, boolean.class, String.class}) | |
30 public class SLTypes { | |
31 | |
32 @TypeCheck | |
33 public boolean isInteger(Object value) { | |
34 return value instanceof Integer || (value instanceof BigInteger && ((BigInteger) value).bitLength() < Integer.SIZE); | |
35 } | |
36 | |
37 @TypeCast | |
38 public int asInteger(Object value) { | |
39 assert isInteger(value); | |
40 if (value instanceof Integer) { | |
41 return (int) value; | |
42 } else { | |
43 int result = ((BigInteger) value).intValue(); | |
44 assert BigInteger.valueOf(result).equals(value) : "Loosing precision"; | |
45 return result; | |
46 } | |
47 } | |
48 | |
49 @TypeCheck | |
50 public boolean isBigInteger(Object value) { | |
51 return value instanceof Integer || value instanceof BigInteger; | |
52 } | |
53 | |
54 @TypeCast | |
55 public BigInteger asBigInteger(Object value) { | |
56 if (value instanceof Integer) { | |
57 return BigInteger.valueOf((int) value); | |
58 } else { | |
59 return (BigInteger) value; | |
60 } | |
61 } | |
62 | |
63 @TypeCast | |
64 public BigInteger asBigInteger(int value) { | |
65 return BigInteger.valueOf(value); | |
66 } | |
67 | |
68 @TypeCheck | |
69 public boolean isBigInteger(@SuppressWarnings("unused") int value) { | |
70 return true; | |
71 } | |
72 } | |
73 |