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 | 4 |
5 #include "vm/bootstrap_natives.h" | 5 #include "vm/bootstrap_natives.h" |
6 | 6 |
7 #include "vm/bigint_operations.h" | 7 #include "vm/bigint_operations.h" |
8 #include "vm/dart_entry.h" | 8 #include "vm/dart_entry.h" |
9 #include "vm/exceptions.h" | 9 #include "vm/exceptions.h" |
10 #include "vm/native_entry.h" | 10 #include "vm/native_entry.h" |
(...skipping 16 matching lines...) Expand all Loading... |
27 return Smi::New(mint.value()); | 27 return Smi::New(mint.value()); |
28 } else { | 28 } else { |
29 return value.raw(); | 29 return value.raw(); |
30 } | 30 } |
31 } | 31 } |
32 ASSERT(value.IsBigint()); | 32 ASSERT(value.IsBigint()); |
33 Bigint& big_value = Bigint::Handle(); | 33 Bigint& big_value = Bigint::Handle(); |
34 big_value ^= value.raw(); | 34 big_value ^= value.raw(); |
35 if (BigintOperations::FitsIntoSmi(big_value)) { | 35 if (BigintOperations::FitsIntoSmi(big_value)) { |
36 return BigintOperations::ToSmi(big_value); | 36 return BigintOperations::ToSmi(big_value); |
37 } else if (BigintOperations::FitsIntoInt64(big_value)) { | 37 } else if (BigintOperations::FitsIntoMint(big_value)) { |
38 return Mint::New(BigintOperations::ToInt64(big_value)); | 38 return Mint::New(BigintOperations::ToMint(big_value)); |
39 } else { | 39 } else { |
40 return big_value.raw(); | 40 return big_value.raw(); |
41 } | 41 } |
42 } | 42 } |
43 | 43 |
44 | 44 |
45 // Returns value in form of a RawBigint. | 45 // Returns value in form of a RawBigint. |
46 static RawBigint* AsBigint(const Integer& value) { | 46 static RawBigint* AsBigint(const Integer& value) { |
47 ASSERT(!value.IsNull()); | 47 ASSERT(!value.IsNull()); |
48 if (value.IsSmi()) { | 48 if (value.IsSmi()) { |
(...skipping 49 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
98 switch (kind) { | 98 switch (kind) { |
99 case Token::kBIT_AND: | 99 case Token::kBIT_AND: |
100 return Integer::New(a & b); | 100 return Integer::New(a & b); |
101 case Token::kBIT_OR: | 101 case Token::kBIT_OR: |
102 return Integer::New(a | b); | 102 return Integer::New(a | b); |
103 case Token::kBIT_XOR: | 103 case Token::kBIT_XOR: |
104 return Integer::New(a ^ b); | 104 return Integer::New(a ^ b); |
105 default: | 105 default: |
106 UNIMPLEMENTED(); | 106 UNIMPLEMENTED(); |
107 } | 107 } |
108 } else if (op1_int.IsSmi()) { | |
109 return IntegerBitOperation(kind, op2_int, op1_int); | |
110 } else if (op2_int.IsSmi()) { | |
111 Bigint& op1 = Bigint::Handle(AsBigint(op1_int)); | |
112 Smi& op2 = Smi::Handle(); | |
113 op2 ^= op2_int.raw(); | |
114 switch (kind) { | |
115 case Token::kBIT_AND: | |
116 return BigintOperations::BitAndWithSmi(op1, op2); | |
117 case Token::kBIT_OR: | |
118 return BigintOperations::BitOrWithSmi(op1, op2); | |
119 case Token::kBIT_XOR: | |
120 return BigintOperations::BitXorWithSmi(op1, op2); | |
121 default: | |
122 UNIMPLEMENTED(); | |
123 } | |
124 } else { | 108 } else { |
125 Bigint& op1 = Bigint::Handle(AsBigint(op1_int)); | 109 Bigint& op1 = Bigint::Handle(AsBigint(op1_int)); |
126 Bigint& op2 = Bigint::Handle(AsBigint(op2_int)); | 110 Bigint& op2 = Bigint::Handle(AsBigint(op2_int)); |
127 switch (kind) { | 111 switch (kind) { |
128 case Token::kBIT_AND: | 112 case Token::kBIT_AND: |
129 return BigintOperations::BitAnd(op1, op2); | 113 return BigintOperations::BitAnd(op1, op2); |
130 case Token::kBIT_OR: | 114 case Token::kBIT_OR: |
131 return BigintOperations::BitOr(op1, op2); | 115 return BigintOperations::BitOr(op1, op2); |
132 case Token::kBIT_XOR: | 116 case Token::kBIT_XOR: |
133 return BigintOperations::BitXor(op1, op2); | 117 return BigintOperations::BitXor(op1, op2); |
134 default: | 118 default: |
135 UNIMPLEMENTED(); | 119 UNIMPLEMENTED(); |
136 } | 120 } |
137 } | 121 } |
138 return Integer::null(); | 122 return Integer::null(); |
139 } | 123 } |
140 | 124 |
141 | 125 |
142 // Returns false if integer is in wrong representation, e.g., as is a Bigint | 126 // Returns false if integer is in wrong representation, e.g., as is a Bigint |
143 // when it could have been a Smi. | 127 // when it could have been a Smi. |
144 static bool CheckInteger(const Integer& i) { | 128 static bool CheckInteger(const Integer& i) { |
145 if (i.IsBigint()) { | 129 if (i.IsBigint()) { |
146 Bigint& bigint = Bigint::Handle(); | 130 Bigint& bigint = Bigint::Handle(); |
147 bigint ^= i.raw(); | 131 bigint ^= i.raw(); |
148 return !BigintOperations::FitsIntoSmi(bigint) && | 132 return !BigintOperations::FitsIntoSmi(bigint) && |
149 !BigintOperations::FitsIntoInt64(bigint); | 133 !BigintOperations::FitsIntoMint(bigint); |
150 } | 134 } |
151 if (i.IsMint()) { | 135 if (i.IsMint()) { |
152 Mint& mint = Mint::Handle(); | 136 Mint& mint = Mint::Handle(); |
153 mint ^= i.raw(); | 137 mint ^= i.raw(); |
154 return !Smi::IsValid64(mint.value()); | 138 return !Smi::IsValid64(mint.value()); |
155 } | 139 } |
156 return true; | 140 return true; |
157 } | 141 } |
158 | 142 |
159 | 143 |
(...skipping 418 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
578 | 562 |
579 DEFINE_NATIVE_ENTRY(Bigint_bitNegate, 1) { | 563 DEFINE_NATIVE_ENTRY(Bigint_bitNegate, 1) { |
580 const Bigint& value = Bigint::CheckedHandle(arguments->At(0)); | 564 const Bigint& value = Bigint::CheckedHandle(arguments->At(0)); |
581 const Bigint& result = Bigint::Handle(BigintOperations::BitNot(value)); | 565 const Bigint& result = Bigint::Handle(BigintOperations::BitNot(value)); |
582 ASSERT(CheckInteger(value)); | 566 ASSERT(CheckInteger(value)); |
583 ASSERT(CheckInteger(result)); | 567 ASSERT(CheckInteger(result)); |
584 arguments->SetReturn(Integer::Handle(AsInteger(result))); | 568 arguments->SetReturn(Integer::Handle(AsInteger(result))); |
585 } | 569 } |
586 | 570 |
587 } // namespace dart | 571 } // namespace dart |
OLD | NEW |