OLD | NEW |
1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, 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 library builtin_operator; | 4 library builtin_operator; |
5 // This is shared by the CPS and Tree IRs. | 5 // This is shared by the CPS and Tree IRs. |
6 // Both cps_ir_nodes and tree_ir_nodes import and re-export this file. | 6 // Both cps_ir_nodes and tree_ir_nodes import and re-export this file. |
7 | 7 |
8 /// An operator supported natively in the CPS and Tree IRs using the | 8 /// An operator supported natively in the CPS and Tree IRs using the |
9 /// `ApplyBuiltinOperator` instructions. | 9 /// `ApplyBuiltinOperator` instructions. |
10 /// | 10 /// |
(...skipping 85 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
96 /// | 96 /// |
97 /// Compiles to `Math.floor(x) === x` | 97 /// Compiles to `Math.floor(x) === x` |
98 IsFloor, | 98 IsFloor, |
99 | 99 |
100 /// Returns true if the argument is an integer. | 100 /// Returns true if the argument is an integer. |
101 /// | 101 /// |
102 /// The argument must be repeated 3 times. | 102 /// The argument must be repeated 3 times. |
103 /// | 103 /// |
104 /// Compiles to `typeof x === 'number' && Math.floor(x) === x` | 104 /// Compiles to `typeof x === 'number' && Math.floor(x) === x` |
105 IsNumberAndFloor, | 105 IsNumberAndFloor, |
106 | |
107 /// Returns true if the argument is a fixed length Array. | |
108 /// | |
109 /// Uses one argument. | |
110 /// | |
111 /// Precondition: Argument is a JavaScript Array. | |
112 IsFixedLengthJSArray, | |
113 | |
114 // TODO(sra): Remove this and replace with IsFalsy(IsFixedLengthJSArray(x)). | |
115 IsExtendableJSArray, | |
116 | |
117 /// Returns true if the argument is an unmodifiable Array. | |
118 /// | |
119 /// Uses one argument. | |
120 /// | |
121 /// Precondition: Argument is a JavaScript Array. | |
122 IsUnmodifiableJSArray, | |
123 | |
124 // TODO(sra): Remove this and replace with IsFalsy(IsUnmodifiableArray(x)). | |
125 IsModifiableJSArray, | |
126 | |
127 | |
128 /// Compiles to | |
129 /// | |
130 /// typeof x === 'object' && x !== null && x.constructor === Array | |
131 /// | |
132 /// TODO(sra): Break into individual tests. | |
133 IsJSArray, | |
134 ISJSArrayNotNull, | |
135 IsJSArrayObject, | |
136 IsJSArrayConstructor, | |
137 } | 106 } |
138 | 107 |
139 /// A method supported natively in the CPS and Tree IRs using the | 108 /// A method supported natively in the CPS and Tree IRs using the |
140 /// `ApplyBuiltinMethod` instructions. | 109 /// `ApplyBuiltinMethod` instructions. |
141 /// | 110 /// |
142 /// These methods all operate on a distinguished 'object' argument, and | 111 /// These methods all operate on a distinguished 'object' argument, and |
143 /// take zero or more additional arguments. | 112 /// take zero or more additional arguments. |
144 /// | 113 /// |
145 /// These methods may mutate and depend on the state of the object argument, | 114 /// These methods may mutate and depend on the state of the object argument, |
146 /// but may not depend on or mutate any other state. An exception is thrown | 115 /// but may not depend on or mutate any other state. An exception is thrown |
147 /// if the object is null, but otherwise they cannot throw or diverge. | 116 /// if the object is null, but otherwise they cannot throw or diverge. |
148 enum BuiltinMethod { | 117 enum BuiltinMethod { |
149 /// Add an item to a native list. | 118 /// Add an item to a native list. |
150 /// | 119 /// |
151 /// Takes any number of arguments, each argument will be added to the | 120 /// Takes any number of arguments, each argument will be added to the |
152 /// list on the order given (as per the JS `push` method). | 121 /// list on the order given (as per the JS `push` method). |
153 /// | 122 /// |
154 /// Compiles to `object.push(x1, ..., xN)`. | 123 /// Compiles to `object.push(x1, ..., xN)`. |
155 Push, | 124 Push, |
156 | 125 |
157 /// Remove and return the last item from a native list. | 126 /// Remove and return the last item from a native list. |
158 /// | 127 /// |
159 /// Takes no arguments. | 128 /// Takes no arguments. |
160 /// | 129 /// |
161 /// Compiles to `object.pop()`. | 130 /// Compiles to `object.pop()`. |
162 Pop, | 131 Pop, |
163 } | 132 } |
OLD | NEW |