OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 // Class for intrinsifying functions. | 4 // Class for intrinsifying functions. |
5 | 5 |
6 #ifndef VM_INTRINSIFIER_H_ | 6 #ifndef VM_INTRINSIFIER_H_ |
7 #define VM_INTRINSIFIER_H_ | 7 #define VM_INTRINSIFIER_H_ |
8 | 8 |
9 #include "vm/allocation.h" | 9 #include "vm/allocation.h" |
10 | 10 |
11 namespace dart { | 11 namespace dart { |
12 | 12 |
13 // List of intrinsics: | 13 // List of intrinsics: |
14 // (class-name, function-name, intrinsification method, fingerprint). | 14 // (class-name, function-name, intrinsification method, fingerprint). |
15 // | 15 // |
16 // When adding a new function for intrinsification add a 0 as fingerprint, | 16 // When adding a new function for intrinsification add a 0 as fingerprint, |
17 // build and run to get the correct fingerprint from the mismatch error. | 17 // build and run to get the correct fingerprint from the mismatch error. |
18 #define INTRINSIC_LIST(V) \ | 18 #define INTRINSIC_LIST(V) \ |
19 V(_IntegerImplementation, _addFromInteger, Integer_addFromInteger, 726019207)\ | 19 V(_IntegerImplementation, _addFromInteger, Integer_addFromInteger, 726019207)\ |
20 V(_IntegerImplementation, +, Integer_add, 1821133110) \ | 20 V(_IntegerImplementation, +, Integer_add, 959303888) \ |
21 V(_IntegerImplementation, _subFromInteger, Integer_subFromInteger, 726019207)\ | 21 V(_IntegerImplementation, _subFromInteger, Integer_subFromInteger, 726019207)\ |
22 V(_IntegerImplementation, -, Integer_sub, 2091907336) \ | 22 V(_IntegerImplementation, -, Integer_sub, 483122878) \ |
23 V(_IntegerImplementation, _mulFromInteger, Integer_mulFromInteger, 726019207)\ | 23 V(_IntegerImplementation, _mulFromInteger, Integer_mulFromInteger, 726019207)\ |
24 V(_IntegerImplementation, *, Integer_mul, 146702919) \ | 24 V(_IntegerImplementation, *, Integer_mul, 1043837343) \ |
25 V(_IntegerImplementation, %, Integer_modulo, 578878541) \ | 25 V(_IntegerImplementation, %, Integer_modulo, 2027609817) \ |
26 V(_IntegerImplementation, ~/, Integer_truncDivide, 1806780482) \ | 26 V(_IntegerImplementation, ~/, Integer_truncDivide, 958840900) \ |
27 V(_IntegerImplementation, unary-, Integer_negate, 1705538272) \ | 27 V(_IntegerImplementation, unary-, Integer_negate, 678480358) \ |
28 V(_IntegerImplementation, _bitAndFromInteger, \ | 28 V(_IntegerImplementation, _bitAndFromInteger, \ |
29 Integer_bitAndFromInteger, 726019207) \ | 29 Integer_bitAndFromInteger, 726019207) \ |
30 V(_IntegerImplementation, &, Integer_bitAnd, 927461461) \ | 30 V(_IntegerImplementation, &, Integer_bitAnd, 1692486097) \ |
31 V(_IntegerImplementation, _bitOrFromInteger, \ | 31 V(_IntegerImplementation, _bitOrFromInteger, \ |
32 Integer_bitOrFromInteger, 726019207) \ | 32 Integer_bitOrFromInteger, 726019207) \ |
33 V(_IntegerImplementation, |, Integer_bitOr, 2056857508) \ | 33 V(_IntegerImplementation, |, Integer_bitOr, 66350242) \ |
34 V(_IntegerImplementation, _bitXorFromInteger, \ | 34 V(_IntegerImplementation, _bitXorFromInteger, \ |
35 Integer_bitXorFromInteger, 726019207) \ | 35 Integer_bitXorFromInteger, 726019207) \ |
36 V(_IntegerImplementation, ^, Integer_bitXor, 837002595) \ | 36 V(_IntegerImplementation, ^, Integer_bitXor, 1620294403) \ |
37 V(_IntegerImplementation, \ | 37 V(_IntegerImplementation, \ |
38 _greaterThanFromInteger, \ | 38 _greaterThanFromInteger, \ |
39 Integer_greaterThanFromInt, 79222670) \ | 39 Integer_greaterThanFromInt, 79222670) \ |
40 V(_IntegerImplementation, >, Integer_greaterThan, 2126978373) \ | 40 V(_IntegerImplementation, >, Integer_greaterThan, 1800453857) \ |
41 V(_IntegerImplementation, ==, Integer_equal, 507939054) \ | 41 V(_IntegerImplementation, ==, Integer_equal, 1540405784) \ |
42 V(_IntegerImplementation, _equalToInteger, Integer_equalToInteger, 79222670) \ | 42 V(_IntegerImplementation, _equalToInteger, Integer_equalToInteger, 79222670) \ |
43 V(_IntegerImplementation, <, Integer_lessThan, 1277579871) \ | 43 V(_IntegerImplementation, <, Integer_lessThan, 1426685575) \ |
44 V(_IntegerImplementation, <=, Integer_lessEqualThan, 806519877) \ | 44 V(_IntegerImplementation, <=, Integer_lessEqualThan, 1065121761) \ |
45 V(_IntegerImplementation, >=, Integer_greaterEqualThan, 807443398) \ | 45 V(_IntegerImplementation, >=, Integer_greaterEqualThan, 1065151552) \ |
46 V(_IntegerImplementation, <<, Integer_shl, 1246348641) \ | 46 V(_IntegerImplementation, <<, Integer_shl, 386573125) \ |
47 V(_IntegerImplementation, >>, Integer_sar, 1937635847) \ | 47 V(_IntegerImplementation, >>, Integer_sar, 1170883039) \ |
48 V(_Smi, ~, Smi_bitNegate, 882629793) \ | 48 V(_Smi, ~, Smi_bitNegate, 882629793) \ |
49 V(_Double, >, Double_greaterThan, 1471126121) \ | 49 V(_Double, >, Double_greaterThan, 2056391997) \ |
50 V(_Double, >=, Double_greaterEqualThan, 1664965640) \ | 50 V(_Double, >=, Double_greaterEqualThan, 1300634558) \ |
51 V(_Double, <, Double_lessThan, 148927649) \ | 51 V(_Double, <, Double_lessThan, 1598098437) \ |
52 V(_Double, <=, Double_lessEqualThan, 1664042119) \ | 52 V(_Double, <=, Double_lessEqualThan, 1300604767) \ |
53 V(_Double, ==, Double_equal, 900686217) \ | 53 V(_Double, ==, Double_equal, 1206706717) \ |
54 V(_Double, +, Double_add, 786489945) \ | 54 V(_Double, +, Double_add, 1965033293) \ |
55 V(_Double, -, Double_sub, 1074937651) \ | 55 V(_Double, -, Double_sub, 1212327731) \ |
56 V(_Double, *, Double_mul, 1515140403) \ | 56 V(_Double, *, Double_mul, 395243827) \ |
57 V(_Double, /, Double_div, 1481616340) \ | 57 V(_Double, /, Double_div, 809804402) \ |
58 V(_Double, get:isNaN, Double_getIsNaN, 54462366) \ | 58 V(_Double, get:isNaN, Double_getIsNaN, 54462366) \ |
59 V(_Double, get:isNegative, Double_getIsNegative, 54462366) \ | 59 V(_Double, get:isNegative, Double_getIsNegative, 54462366) \ |
60 V(_Double, _mulFromInteger, Double_mulFromInteger, 1668662807) \ | 60 V(_Double, _mulFromInteger, Double_mulFromInteger, 815838159) \ |
61 V(_Double, .fromInteger, Double_fromInteger, 842078193) \ | 61 V(_Double, .fromInteger, Double_fromInteger, 842078193) \ |
62 V(_Double, toInt, Double_toInt, 362666636) \ | 62 V(_Double, toInt, Double_toInt, 362666636) \ |
63 V(_ObjectArray, ., ObjectArray_Allocate, 577949617) \ | 63 V(_ObjectArray, ., ObjectArray_Allocate, 577949617) \ |
64 V(_ObjectArray, get:length, Array_getLength, 405297088) \ | 64 V(_ObjectArray, get:length, Array_getLength, 405297088) \ |
65 V(_ObjectArray, [], Array_getIndexed, 71937385) \ | 65 V(_ObjectArray, [], Array_getIndexed, 71937385) \ |
66 V(_ObjectArray, []=, Array_setIndexed, 255863719) \ | 66 V(_ObjectArray, []=, Array_setIndexed, 255863719) \ |
67 V(_GrowableObjectArray, .fromObjectArray, GArray_Allocate, 989879928) \ | 67 V(_GrowableObjectArray, .fromObjectArray, GArray_Allocate, 989879928) \ |
68 V(_GrowableObjectArray, get:length, GrowableArray_getLength, 725548050) \ | 68 V(_GrowableObjectArray, get:length, GrowableArray_getLength, 725548050) \ |
69 V(_GrowableObjectArray, get:_capacity, GrowableArray_getCapacity, 725548050) \ | 69 V(_GrowableObjectArray, get:_capacity, GrowableArray_getCapacity, 725548050) \ |
70 V(_GrowableObjectArray, [], GrowableArray_getIndexed, 581838973) \ | 70 V(_GrowableObjectArray, [], GrowableArray_getIndexed, 581838973) \ |
71 V(_GrowableObjectArray, []=, GrowableArray_setIndexed, 1048007636) \ | 71 V(_GrowableObjectArray, []=, GrowableArray_setIndexed, 1048007636) \ |
72 V(_GrowableObjectArray, _setLength, GrowableArray_setLength, 796709584) \ | 72 V(_GrowableObjectArray, _setLength, GrowableArray_setLength, 796709584) \ |
73 V(_GrowableObjectArray, _setData, GrowableArray_setData, 477312179) \ | 73 V(_GrowableObjectArray, _setData, GrowableArray_setData, 477312179) \ |
74 V(_GrowableObjectArray, add, GrowableArray_add, 1596460660) \ | 74 V(_GrowableObjectArray, add, GrowableArray_add, 1367698386) \ |
75 V(_ImmutableArray, [], ImmutableArray_getIndexed, 486821199) \ | 75 V(_ImmutableArray, [], ImmutableArray_getIndexed, 486821199) \ |
76 V(_ImmutableArray, get:length, ImmutableArray_getLength, 433698233) \ | 76 V(_ImmutableArray, get:length, ImmutableArray_getLength, 433698233) \ |
77 V(::, sqrt, Math_sqrt, 2232519) \ | 77 V(::, sqrt, Math_sqrt, 1662640002) \ |
78 V(::, sin, Math_sin, 837187616) \ | 78 V(::, sin, Math_sin, 1273932041) \ |
79 V(::, cos, Math_cos, 548880317) \ | 79 V(::, cos, Math_cos, 1749547468) \ |
80 V(Object, ==, Object_equal, 1511145014) \ | 80 V(Object, ==, Object_equal, 2126956595) \ |
81 V(_FixedSizeArrayIterator, get:hasNext, \ | 81 V(_FixedSizeArrayIterator, get:hasNext, \ |
82 FixedSizeArrayIterator_getHasNext, 1819226215) \ | 82 FixedSizeArrayIterator_getHasNext, 682147711) \ |
83 V(_FixedSizeArrayIterator, next, FixedSizeArrayIterator_next, 1147008464) \ | 83 V(_FixedSizeArrayIterator, next, FixedSizeArrayIterator_next, 1283926262) \ |
84 V(_StringBase, get:hashCode, String_getHashCode, 320803993) \ | 84 V(_StringBase, get:hashCode, String_getHashCode, 320803993) \ |
85 V(_StringBase, get:isEmpty, String_getIsEmpty, 583130725) \ | 85 V(_StringBase, get:isEmpty, String_getIsEmpty, 711547329) \ |
86 V(_StringBase, get:length, String_getLength, 320803993) \ | 86 V(_StringBase, get:length, String_getLength, 320803993) \ |
87 V(_StringBase, charCodeAt, String_charCodeAt, 984449525) \ | 87 V(_StringBase, charCodeAt, String_charCodeAt, 984449525) \ |
88 V(_ByteArrayBase, get:length, ByteArrayBase_getLength, 1828280001) \ | 88 V(_ByteArrayBase, get:length, ByteArrayBase_getLength, 1098081765) \ |
89 V(_Int8Array, [], Int8Array_getIndexed, 1499790324) \ | 89 V(_Int8Array, [], Int8Array_getIndexed, 1295306322) \ |
90 V(_Int8Array, []=, Int8Array_setIndexed, 1469038436) \ | 90 V(_Int8Array, []=, Int8Array_setIndexed, 1709956322) \ |
91 V(_Uint8Array, [], Uint8Array_getIndexed, 748420218) \ | 91 V(_Uint8Array, [], Uint8Array_getIndexed, 578331916) \ |
92 V(_Uint8Array, []=, Uint8Array_setIndexed, 1619321522) \ | 92 V(_Uint8Array, []=, Uint8Array_setIndexed, 121509844) \ |
93 V(_Int16Array, [], Int16Array_getIndexed, 1203257976) \ | 93 V(_Int16Array, [], Int16Array_getIndexed, 870098766) \ |
94 V(_Uint16Array, [], Uint16Array_getIndexed, 1549909675) \ | 94 V(_Uint16Array, [], Uint16Array_getIndexed, 1019828411) \ |
95 V(_Int32Array, [], Int32Array_getIndexed, 1849422378) \ | 95 V(_Int32Array, [], Int32Array_getIndexed, 1999321436) \ |
96 V(_Uint32Array, [], Uint32Array_getIndexed, 586613266) \ | 96 V(_Uint32Array, [], Uint32Array_getIndexed, 1750764660) \ |
97 V(_Int64Array, [], Int64Array_getIndexed, 619332438) \ | 97 V(_Int64Array, [], Int64Array_getIndexed, 504894128) \ |
98 V(_Uint64Array, [], Uint64Array_getIndexed, 969448467) \ | 98 V(_Uint64Array, [], Uint64Array_getIndexed, 31272531) \ |
99 V(_Float32Array, [], Float32Array_getIndexed, 280103602) \ | 99 V(_Float32Array, [], Float32Array_getIndexed, 147582932) \ |
100 V(_Float32Array, []=, Float32Array_setIndexed, 1270729544) \ | 100 V(_Float32Array, []=, Float32Array_setIndexed, 664454270) \ |
101 V(_Float64Array, [], Float64Array_getIndexed, 476393480) \ | 101 V(_Float64Array, [], Float64Array_getIndexed, 638830526) \ |
102 V(_Float64Array, []=, Float64Array_setIndexed, 283625119) \ | 102 V(_Float64Array, []=, Float64Array_setIndexed, 1948811847) \ |
103 V(_ExternalUint8Array, [], ExternalUint8Array_getIndexed, 1892679907) \ | 103 V(_ExternalUint8Array, [], ExternalUint8Array_getIndexed, 753790851) \ |
104 | 104 |
105 // Forward declarations. | 105 // Forward declarations. |
106 class Assembler; | 106 class Assembler; |
107 class Function; | 107 class Function; |
108 | 108 |
109 class Intrinsifier : public AllStatic { | 109 class Intrinsifier : public AllStatic { |
110 public: | 110 public: |
111 // Try to intrinsify 'function'. Returns true if the function intrinsified | 111 // Try to intrinsify 'function'. Returns true if the function intrinsified |
112 // completely and the code does not need to be generated (i.e., no slow | 112 // completely and the code does not need to be generated (i.e., no slow |
113 // path possible). | 113 // path possible). |
114 static bool Intrinsify(const Function& function, Assembler* assembler); | 114 static bool Intrinsify(const Function& function, Assembler* assembler); |
115 static bool CanIntrinsify(const Function& function); | 115 static bool CanIntrinsify(const Function& function); |
116 | 116 |
117 private: | 117 private: |
118 #define DECLARE_FUNCTION(test_class_name, test_function_name, destination, fp) \ | 118 #define DECLARE_FUNCTION(test_class_name, test_function_name, destination, fp) \ |
119 static bool destination(Assembler* assembler); | 119 static bool destination(Assembler* assembler); |
120 | 120 |
121 INTRINSIC_LIST(DECLARE_FUNCTION) | 121 INTRINSIC_LIST(DECLARE_FUNCTION) |
122 #undef DECLARE_FUNCTION | 122 #undef DECLARE_FUNCTION |
123 }; | 123 }; |
124 | 124 |
125 } // namespace dart | 125 } // namespace dart |
126 | 126 |
127 #endif // VM_INTRINSIFIER_H_ | 127 #endif // VM_INTRINSIFIER_H_ |
OLD | NEW |