]> git.saurik.com Git - apple/javascriptcore.git/blame_incremental - runtime/JSCJSValueInlines.h
JavaScriptCore-7601.1.46.3.tar.gz
[apple/javascriptcore.git] / runtime / JSCJSValueInlines.h
... / ...
CommitLineData
1/*
2 * Copyright (C) 2011, 2012 Apple Inc. All rights reserved.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
6 * are met:
7 * 1. Redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer.
9 * 2. Redistributions in binary form must reproduce the above copyright
10 * notice, this list of conditions and the following disclaimer in the
11 * documentation and/or other materials provided with the distribution.
12 *
13 * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
17 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
24 */
25
26#ifndef JSValueInlines_h
27#define JSValueInlines_h
28
29#include "ExceptionHelpers.h"
30#include "Identifier.h"
31#include "InternalFunction.h"
32#include "JSCJSValue.h"
33#include "JSCellInlines.h"
34#include "JSFunction.h"
35#include <wtf/text/StringImpl.h>
36
37namespace JSC {
38
39ALWAYS_INLINE int32_t JSValue::toInt32(ExecState* exec) const
40{
41 if (isInt32())
42 return asInt32();
43 return JSC::toInt32(toNumber(exec));
44}
45
46inline uint32_t JSValue::toUInt32(ExecState* exec) const
47{
48 // See comment on JSC::toUInt32, above.
49 return toInt32(exec);
50}
51
52inline bool JSValue::isUInt32() const
53{
54 return isInt32() && asInt32() >= 0;
55}
56
57inline uint32_t JSValue::asUInt32() const
58{
59 ASSERT(isUInt32());
60 return asInt32();
61}
62
63inline double JSValue::asNumber() const
64{
65 ASSERT(isNumber());
66 return isInt32() ? asInt32() : asDouble();
67}
68
69inline JSValue jsNaN()
70{
71 return JSValue(PNaN);
72}
73
74inline JSValue::JSValue(char i)
75{
76 *this = JSValue(static_cast<int32_t>(i));
77}
78
79inline JSValue::JSValue(unsigned char i)
80{
81 *this = JSValue(static_cast<int32_t>(i));
82}
83
84inline JSValue::JSValue(short i)
85{
86 *this = JSValue(static_cast<int32_t>(i));
87}
88
89inline JSValue::JSValue(unsigned short i)
90{
91 *this = JSValue(static_cast<int32_t>(i));
92}
93
94inline JSValue::JSValue(unsigned i)
95{
96 if (static_cast<int32_t>(i) < 0) {
97 *this = JSValue(EncodeAsDouble, static_cast<double>(i));
98 return;
99 }
100 *this = JSValue(static_cast<int32_t>(i));
101}
102
103inline JSValue::JSValue(long i)
104{
105 if (static_cast<int32_t>(i) != i) {
106 *this = JSValue(EncodeAsDouble, static_cast<double>(i));
107 return;
108 }
109 *this = JSValue(static_cast<int32_t>(i));
110}
111
112inline JSValue::JSValue(unsigned long i)
113{
114 if (static_cast<uint32_t>(i) != i) {
115 *this = JSValue(EncodeAsDouble, static_cast<double>(i));
116 return;
117 }
118 *this = JSValue(static_cast<uint32_t>(i));
119}
120
121inline JSValue::JSValue(long long i)
122{
123 if (static_cast<int32_t>(i) != i) {
124 *this = JSValue(EncodeAsDouble, static_cast<double>(i));
125 return;
126 }
127 *this = JSValue(static_cast<int32_t>(i));
128}
129
130inline JSValue::JSValue(unsigned long long i)
131{
132 if (static_cast<uint32_t>(i) != i) {
133 *this = JSValue(EncodeAsDouble, static_cast<double>(i));
134 return;
135 }
136 *this = JSValue(static_cast<uint32_t>(i));
137}
138
139inline JSValue::JSValue(double d)
140{
141 const int32_t asInt32 = static_cast<int32_t>(d);
142 if (asInt32 != d || (!asInt32 && std::signbit(d))) { // true for -0.0
143 *this = JSValue(EncodeAsDouble, d);
144 return;
145 }
146 *this = JSValue(static_cast<int32_t>(d));
147}
148
149inline EncodedJSValue JSValue::encode(JSValue value)
150{
151 return value.u.asInt64;
152}
153
154inline JSValue JSValue::decode(EncodedJSValue encodedJSValue)
155{
156 JSValue v;
157 v.u.asInt64 = encodedJSValue;
158 return v;
159}
160
161#if USE(JSVALUE32_64)
162inline JSValue::JSValue()
163{
164 u.asBits.tag = EmptyValueTag;
165 u.asBits.payload = 0;
166}
167
168inline JSValue::JSValue(JSNullTag)
169{
170 u.asBits.tag = NullTag;
171 u.asBits.payload = 0;
172}
173
174inline JSValue::JSValue(JSUndefinedTag)
175{
176 u.asBits.tag = UndefinedTag;
177 u.asBits.payload = 0;
178}
179
180inline JSValue::JSValue(JSTrueTag)
181{
182 u.asBits.tag = BooleanTag;
183 u.asBits.payload = 1;
184}
185
186inline JSValue::JSValue(JSFalseTag)
187{
188 u.asBits.tag = BooleanTag;
189 u.asBits.payload = 0;
190}
191
192inline JSValue::JSValue(HashTableDeletedValueTag)
193{
194 u.asBits.tag = DeletedValueTag;
195 u.asBits.payload = 0;
196}
197
198inline JSValue::JSValue(JSCell* ptr)
199{
200 if (ptr)
201 u.asBits.tag = CellTag;
202 else
203 u.asBits.tag = EmptyValueTag;
204 u.asBits.payload = reinterpret_cast<int32_t>(ptr);
205}
206
207inline JSValue::JSValue(const JSCell* ptr)
208{
209 if (ptr)
210 u.asBits.tag = CellTag;
211 else
212 u.asBits.tag = EmptyValueTag;
213 u.asBits.payload = reinterpret_cast<int32_t>(const_cast<JSCell*>(ptr));
214}
215
216inline JSValue::operator bool() const
217{
218 ASSERT(tag() != DeletedValueTag);
219 return tag() != EmptyValueTag;
220}
221
222inline bool JSValue::operator==(const JSValue& other) const
223{
224 return u.asInt64 == other.u.asInt64;
225}
226
227inline bool JSValue::operator!=(const JSValue& other) const
228{
229 return u.asInt64 != other.u.asInt64;
230}
231
232inline bool JSValue::isEmpty() const
233{
234 return tag() == EmptyValueTag;
235}
236
237inline bool JSValue::isUndefined() const
238{
239 return tag() == UndefinedTag;
240}
241
242inline bool JSValue::isNull() const
243{
244 return tag() == NullTag;
245}
246
247inline bool JSValue::isUndefinedOrNull() const
248{
249 return isUndefined() || isNull();
250}
251
252inline bool JSValue::isCell() const
253{
254 return tag() == CellTag;
255}
256
257inline bool JSValue::isInt32() const
258{
259 return tag() == Int32Tag;
260}
261
262inline bool JSValue::isDouble() const
263{
264 return tag() < LowestTag;
265}
266
267inline bool JSValue::isTrue() const
268{
269 return tag() == BooleanTag && payload();
270}
271
272inline bool JSValue::isFalse() const
273{
274 return tag() == BooleanTag && !payload();
275}
276
277inline uint32_t JSValue::tag() const
278{
279 return u.asBits.tag;
280}
281
282inline int32_t JSValue::payload() const
283{
284 return u.asBits.payload;
285}
286
287inline int32_t JSValue::asInt32() const
288{
289 ASSERT(isInt32());
290 return u.asBits.payload;
291}
292
293inline double JSValue::asDouble() const
294{
295 ASSERT(isDouble());
296 return u.asDouble;
297}
298
299ALWAYS_INLINE JSCell* JSValue::asCell() const
300{
301 ASSERT(isCell());
302 return reinterpret_cast<JSCell*>(u.asBits.payload);
303}
304
305ALWAYS_INLINE JSValue::JSValue(EncodeAsDoubleTag, double d)
306{
307 ASSERT(!isImpureNaN(d));
308 u.asDouble = d;
309}
310
311inline JSValue::JSValue(int i)
312{
313 u.asBits.tag = Int32Tag;
314 u.asBits.payload = i;
315}
316
317#if !ENABLE(JIT)
318inline JSValue::JSValue(int32_t tag, int32_t payload)
319{
320 u.asBits.tag = tag;
321 u.asBits.payload = payload;
322}
323#endif
324
325inline bool JSValue::isNumber() const
326{
327 return isInt32() || isDouble();
328}
329
330inline bool JSValue::isBoolean() const
331{
332 return tag() == BooleanTag;
333}
334
335inline bool JSValue::asBoolean() const
336{
337 ASSERT(isBoolean());
338 return payload();
339}
340
341#else // !USE(JSVALUE32_64) i.e. USE(JSVALUE64)
342
343// 0x0 can never occur naturally because it has a tag of 00, indicating a pointer value, but a payload of 0x0, which is in the (invalid) zero page.
344inline JSValue::JSValue()
345{
346 u.asInt64 = ValueEmpty;
347}
348
349// 0x4 can never occur naturally because it has a tag of 00, indicating a pointer value, but a payload of 0x4, which is in the (invalid) zero page.
350inline JSValue::JSValue(HashTableDeletedValueTag)
351{
352 u.asInt64 = ValueDeleted;
353}
354
355inline JSValue::JSValue(JSCell* ptr)
356{
357 u.asInt64 = reinterpret_cast<uintptr_t>(ptr);
358}
359
360inline JSValue::JSValue(const JSCell* ptr)
361{
362 u.asInt64 = reinterpret_cast<uintptr_t>(const_cast<JSCell*>(ptr));
363}
364
365inline JSValue::operator bool() const
366{
367 return u.asInt64;
368}
369
370inline bool JSValue::operator==(const JSValue& other) const
371{
372 return u.asInt64 == other.u.asInt64;
373}
374
375inline bool JSValue::operator!=(const JSValue& other) const
376{
377 return u.asInt64 != other.u.asInt64;
378}
379
380inline bool JSValue::isEmpty() const
381{
382 return u.asInt64 == ValueEmpty;
383}
384
385inline bool JSValue::isUndefined() const
386{
387 return asValue() == JSValue(JSUndefined);
388}
389
390inline bool JSValue::isNull() const
391{
392 return asValue() == JSValue(JSNull);
393}
394
395inline bool JSValue::isTrue() const
396{
397 return asValue() == JSValue(JSTrue);
398}
399
400inline bool JSValue::isFalse() const
401{
402 return asValue() == JSValue(JSFalse);
403}
404
405inline bool JSValue::asBoolean() const
406{
407 ASSERT(isBoolean());
408 return asValue() == JSValue(JSTrue);
409}
410
411inline int32_t JSValue::asInt32() const
412{
413 ASSERT(isInt32());
414 return static_cast<int32_t>(u.asInt64);
415}
416
417inline bool JSValue::isDouble() const
418{
419 return isNumber() && !isInt32();
420}
421
422inline JSValue::JSValue(JSNullTag)
423{
424 u.asInt64 = ValueNull;
425}
426
427inline JSValue::JSValue(JSUndefinedTag)
428{
429 u.asInt64 = ValueUndefined;
430}
431
432inline JSValue::JSValue(JSTrueTag)
433{
434 u.asInt64 = ValueTrue;
435}
436
437inline JSValue::JSValue(JSFalseTag)
438{
439 u.asInt64 = ValueFalse;
440}
441
442inline bool JSValue::isUndefinedOrNull() const
443{
444 // Undefined and null share the same value, bar the 'undefined' bit in the extended tag.
445 return (u.asInt64 & ~TagBitUndefined) == ValueNull;
446}
447
448inline bool JSValue::isBoolean() const
449{
450 return (u.asInt64 & ~1) == ValueFalse;
451}
452
453inline bool JSValue::isCell() const
454{
455 return !(u.asInt64 & TagMask);
456}
457
458inline bool JSValue::isInt32() const
459{
460 return (u.asInt64 & TagTypeNumber) == TagTypeNumber;
461}
462
463inline int64_t reinterpretDoubleToInt64(double value)
464{
465 return bitwise_cast<int64_t>(value);
466}
467inline double reinterpretInt64ToDouble(int64_t value)
468{
469 return bitwise_cast<double>(value);
470}
471
472ALWAYS_INLINE JSValue::JSValue(EncodeAsDoubleTag, double d)
473{
474 ASSERT(!isImpureNaN(d));
475 u.asInt64 = reinterpretDoubleToInt64(d) + DoubleEncodeOffset;
476}
477
478inline JSValue::JSValue(int i)
479{
480 u.asInt64 = TagTypeNumber | static_cast<uint32_t>(i);
481}
482
483inline double JSValue::asDouble() const
484{
485 ASSERT(isDouble());
486 return reinterpretInt64ToDouble(u.asInt64 - DoubleEncodeOffset);
487}
488
489inline bool JSValue::isNumber() const
490{
491 return u.asInt64 & TagTypeNumber;
492}
493
494ALWAYS_INLINE JSCell* JSValue::asCell() const
495{
496 ASSERT(isCell());
497 return u.ptr;
498}
499
500#endif // USE(JSVALUE64)
501
502inline int64_t tryConvertToInt52(double number)
503{
504 if (number != number)
505 return JSValue::notInt52;
506#if OS(WINDOWS) && CPU(X86)
507 // The VS Compiler for 32-bit builds generates a floating point error when attempting to cast
508 // from an infinity to a 64-bit integer. We leave this routine with the floating point error
509 // left in a register, causing undefined behavior in later floating point operations.
510 //
511 // To avoid this issue, we check for infinity here, and return false in that case.
512 if (std::isinf(number))
513 return JSValue::notInt52;
514#endif
515 int64_t asInt64 = static_cast<int64_t>(number);
516 if (asInt64 != number)
517 return JSValue::notInt52;
518 if (!asInt64 && std::signbit(number))
519 return JSValue::notInt52;
520 if (asInt64 >= (static_cast<int64_t>(1) << (JSValue::numberOfInt52Bits - 1)))
521 return JSValue::notInt52;
522 if (asInt64 < -(static_cast<int64_t>(1) << (JSValue::numberOfInt52Bits - 1)))
523 return JSValue::notInt52;
524 return asInt64;
525}
526
527inline bool isInt52(double number)
528{
529 return tryConvertToInt52(number) != JSValue::notInt52;
530}
531
532inline bool JSValue::isMachineInt() const
533{
534 if (isInt32())
535 return true;
536 if (!isNumber())
537 return false;
538 return isInt52(asDouble());
539}
540
541inline int64_t JSValue::asMachineInt() const
542{
543 ASSERT(isMachineInt());
544 if (isInt32())
545 return asInt32();
546 return static_cast<int64_t>(asDouble());
547}
548
549inline bool JSValue::isString() const
550{
551 return isCell() && asCell()->isString();
552}
553
554inline bool JSValue::isSymbol() const
555{
556 return isCell() && asCell()->isSymbol();
557}
558
559inline bool JSValue::isPrimitive() const
560{
561 return !isCell() || asCell()->isString() || asCell()->isSymbol();
562}
563
564inline bool JSValue::isGetterSetter() const
565{
566 return isCell() && asCell()->isGetterSetter();
567}
568
569inline bool JSValue::isCustomGetterSetter() const
570{
571 return isCell() && asCell()->isCustomGetterSetter();
572}
573
574inline bool JSValue::isObject() const
575{
576 return isCell() && asCell()->isObject();
577}
578
579inline bool JSValue::getString(ExecState* exec, String& s) const
580{
581 return isCell() && asCell()->getString(exec, s);
582}
583
584inline String JSValue::getString(ExecState* exec) const
585{
586 return isCell() ? asCell()->getString(exec) : String();
587}
588
589template <typename Base> String HandleConverter<Base, Unknown>::getString(ExecState* exec) const
590{
591 return jsValue().getString(exec);
592}
593
594inline JSObject* JSValue::getObject() const
595{
596 return isCell() ? asCell()->getObject() : 0;
597}
598
599ALWAYS_INLINE bool JSValue::getUInt32(uint32_t& v) const
600{
601 if (isInt32()) {
602 int32_t i = asInt32();
603 v = static_cast<uint32_t>(i);
604 return i >= 0;
605 }
606 if (isDouble()) {
607 double d = asDouble();
608 v = static_cast<uint32_t>(d);
609 return v == d;
610 }
611 return false;
612}
613
614ALWAYS_INLINE Identifier JSValue::toPropertyKey(ExecState* exec) const
615{
616 if (isString())
617 return asString(*this)->toIdentifier(exec);
618
619 JSValue primitive = toPrimitive(exec, PreferString);
620 if (primitive.isSymbol())
621 return Identifier::fromUid(asSymbol(primitive)->privateName());
622 return primitive.toString(exec)->toIdentifier(exec);
623}
624
625inline JSValue JSValue::toPrimitive(ExecState* exec, PreferredPrimitiveType preferredType) const
626{
627 return isCell() ? asCell()->toPrimitive(exec, preferredType) : asValue();
628}
629
630inline bool JSValue::getPrimitiveNumber(ExecState* exec, double& number, JSValue& value)
631{
632 if (isInt32()) {
633 number = asInt32();
634 value = *this;
635 return true;
636 }
637 if (isDouble()) {
638 number = asDouble();
639 value = *this;
640 return true;
641 }
642 if (isCell())
643 return asCell()->getPrimitiveNumber(exec, number, value);
644 if (isTrue()) {
645 number = 1.0;
646 value = *this;
647 return true;
648 }
649 if (isFalse() || isNull()) {
650 number = 0.0;
651 value = *this;
652 return true;
653 }
654 ASSERT(isUndefined());
655 number = PNaN;
656 value = *this;
657 return true;
658}
659
660ALWAYS_INLINE double JSValue::toNumber(ExecState* exec) const
661{
662 if (isInt32())
663 return asInt32();
664 if (isDouble())
665 return asDouble();
666 return toNumberSlowCase(exec);
667}
668
669inline JSObject* JSValue::toObject(ExecState* exec) const
670{
671 return isCell() ? asCell()->toObject(exec, exec->lexicalGlobalObject()) : toObjectSlowCase(exec, exec->lexicalGlobalObject());
672}
673
674inline JSObject* JSValue::toObject(ExecState* exec, JSGlobalObject* globalObject) const
675{
676 return isCell() ? asCell()->toObject(exec, globalObject) : toObjectSlowCase(exec, globalObject);
677}
678
679inline bool JSValue::isFunction() const
680{
681 return isCell() && (asCell()->inherits(JSFunction::info()) || asCell()->inherits(InternalFunction::info()));
682}
683
684// this method is here to be after the inline declaration of JSCell::inherits
685inline bool JSValue::inherits(const ClassInfo* classInfo) const
686{
687 return isCell() && asCell()->inherits(classInfo);
688}
689
690inline JSValue JSValue::toThis(ExecState* exec, ECMAMode ecmaMode) const
691{
692 return isCell() ? asCell()->methodTable(exec->vm())->toThis(asCell(), exec, ecmaMode) : toThisSlowCase(exec, ecmaMode);
693}
694
695ALWAYS_INLINE JSValue JSValue::get(ExecState* exec, PropertyName propertyName) const
696{
697 PropertySlot slot(asValue());
698 return get(exec, propertyName, slot);
699}
700
701ALWAYS_INLINE JSValue JSValue::get(ExecState* exec, PropertyName propertyName, PropertySlot& slot) const
702{
703 return getPropertySlot(exec, propertyName, slot) ?
704 slot.getValue(exec, propertyName) : jsUndefined();
705}
706
707ALWAYS_INLINE bool JSValue::getPropertySlot(ExecState* exec, PropertyName propertyName, PropertySlot& slot) const
708{
709 // If this is a primitive, we'll need to synthesize the prototype -
710 // and if it's a string there are special properties to check first.
711 JSObject* object;
712 if (UNLIKELY(!isObject())) {
713 if (isString() && asString(*this)->getStringPropertySlot(exec, propertyName, slot))
714 return true;
715 object = synthesizePrototype(exec);
716 } else
717 object = asObject(asCell());
718
719 return object->getPropertySlot(exec, propertyName, slot);
720}
721
722ALWAYS_INLINE JSValue JSValue::get(ExecState* exec, unsigned propertyName) const
723{
724 PropertySlot slot(asValue());
725 return get(exec, propertyName, slot);
726}
727
728ALWAYS_INLINE JSValue JSValue::get(ExecState* exec, unsigned propertyName, PropertySlot& slot) const
729{
730 // If this is a primitive, we'll need to synthesize the prototype -
731 // and if it's a string there are special properties to check first.
732 JSObject* object;
733 if (UNLIKELY(!isObject())) {
734 if (isString() && asString(*this)->getStringPropertySlot(exec, propertyName, slot))
735 return slot.getValue(exec, propertyName);
736 object = synthesizePrototype(exec);
737 } else
738 object = asObject(asCell());
739
740 if (object->getPropertySlot(exec, propertyName, slot))
741 return slot.getValue(exec, propertyName);
742 return jsUndefined();
743}
744
745inline void JSValue::put(ExecState* exec, PropertyName propertyName, JSValue value, PutPropertySlot& slot)
746{
747 if (UNLIKELY(!isCell())) {
748 putToPrimitive(exec, propertyName, value, slot);
749 return;
750 }
751 asCell()->methodTable(exec->vm())->put(asCell(), exec, propertyName, value, slot);
752}
753
754inline void JSValue::putByIndex(ExecState* exec, unsigned propertyName, JSValue value, bool shouldThrow)
755{
756 if (UNLIKELY(!isCell())) {
757 putToPrimitiveByIndex(exec, propertyName, value, shouldThrow);
758 return;
759 }
760 asCell()->methodTable(exec->vm())->putByIndex(asCell(), exec, propertyName, value, shouldThrow);
761}
762
763inline JSValue JSValue::structureOrUndefined() const
764{
765 if (isCell())
766 return JSValue(asCell()->structure());
767 return jsUndefined();
768}
769
770// ECMA 11.9.3
771inline bool JSValue::equal(ExecState* exec, JSValue v1, JSValue v2)
772{
773 if (v1.isInt32() && v2.isInt32())
774 return v1 == v2;
775
776 return equalSlowCase(exec, v1, v2);
777}
778
779ALWAYS_INLINE bool JSValue::equalSlowCaseInline(ExecState* exec, JSValue v1, JSValue v2)
780{
781 VM& vm = exec->vm();
782 do {
783 if (v1.isNumber() && v2.isNumber())
784 return v1.asNumber() == v2.asNumber();
785
786 bool s1 = v1.isString();
787 bool s2 = v2.isString();
788 if (s1 && s2)
789 return WTF::equal(*asString(v1)->value(exec).impl(), *asString(v2)->value(exec).impl());
790
791 if (v1.isUndefinedOrNull()) {
792 if (v2.isUndefinedOrNull())
793 return true;
794 if (!v2.isCell())
795 return false;
796 return v2.asCell()->structure(vm)->masqueradesAsUndefined(exec->lexicalGlobalObject());
797 }
798
799 if (v2.isUndefinedOrNull()) {
800 if (!v1.isCell())
801 return false;
802 return v1.asCell()->structure(vm)->masqueradesAsUndefined(exec->lexicalGlobalObject());
803 }
804
805 if (v1.isObject()) {
806 if (v2.isObject())
807 return v1 == v2;
808 JSValue p1 = v1.toPrimitive(exec);
809 if (exec->hadException())
810 return false;
811 v1 = p1;
812 if (v1.isInt32() && v2.isInt32())
813 return v1 == v2;
814 continue;
815 }
816
817 if (v2.isObject()) {
818 JSValue p2 = v2.toPrimitive(exec);
819 if (exec->hadException())
820 return false;
821 v2 = p2;
822 if (v1.isInt32() && v2.isInt32())
823 return v1 == v2;
824 continue;
825 }
826
827 bool sym1 = v1.isSymbol();
828 bool sym2 = v2.isSymbol();
829 if (sym1 || sym2) {
830 if (sym1 && sym2)
831 return asSymbol(v1)->privateName() == asSymbol(v2)->privateName();
832 return false;
833 }
834
835 if (s1 || s2) {
836 double d1 = v1.toNumber(exec);
837 double d2 = v2.toNumber(exec);
838 return d1 == d2;
839 }
840
841 if (v1.isBoolean()) {
842 if (v2.isNumber())
843 return static_cast<double>(v1.asBoolean()) == v2.asNumber();
844 } else if (v2.isBoolean()) {
845 if (v1.isNumber())
846 return v1.asNumber() == static_cast<double>(v2.asBoolean());
847 }
848
849 return v1 == v2;
850 } while (true);
851}
852
853// ECMA 11.9.3
854ALWAYS_INLINE bool JSValue::strictEqualSlowCaseInline(ExecState* exec, JSValue v1, JSValue v2)
855{
856 ASSERT(v1.isCell() && v2.isCell());
857
858 if (v1.asCell()->isString() && v2.asCell()->isString())
859 return WTF::equal(*asString(v1)->value(exec).impl(), *asString(v2)->value(exec).impl());
860 if (v1.asCell()->isSymbol() && v2.asCell()->isSymbol())
861 return asSymbol(v1)->privateName() == asSymbol(v2)->privateName();
862
863 return v1 == v2;
864}
865
866inline bool JSValue::strictEqual(ExecState* exec, JSValue v1, JSValue v2)
867{
868 if (v1.isInt32() && v2.isInt32())
869 return v1 == v2;
870
871 if (v1.isNumber() && v2.isNumber())
872 return v1.asNumber() == v2.asNumber();
873
874 if (!v1.isCell() || !v2.isCell())
875 return v1 == v2;
876
877 return strictEqualSlowCaseInline(exec, v1, v2);
878}
879
880inline int32_t JSValue::asInt32ForArithmetic() const
881{
882 if (isBoolean())
883 return asBoolean();
884 return asInt32();
885}
886
887inline TriState JSValue::pureStrictEqual(JSValue v1, JSValue v2)
888{
889 if (v1.isInt32() && v2.isInt32())
890 return triState(v1 == v2);
891
892 if (v1.isNumber() && v2.isNumber())
893 return triState(v1.asNumber() == v2.asNumber());
894
895 if (!v1.isCell() || !v2.isCell())
896 return triState(v1 == v2);
897
898 if (v1.asCell()->isString() && v2.asCell()->isString()) {
899 const StringImpl* v1String = asString(v1)->tryGetValueImpl();
900 const StringImpl* v2String = asString(v2)->tryGetValueImpl();
901 if (!v1String || !v2String)
902 return MixedTriState;
903 return triState(WTF::equal(*v1String, *v2String));
904 }
905
906 return triState(v1 == v2);
907}
908
909inline TriState JSValue::pureToBoolean() const
910{
911 if (isInt32())
912 return asInt32() ? TrueTriState : FalseTriState;
913 if (isDouble())
914 return isNotZeroAndOrdered(asDouble()) ? TrueTriState : FalseTriState; // false for NaN
915 if (isCell())
916 return asCell()->pureToBoolean();
917 return isTrue() ? TrueTriState : FalseTriState;
918}
919
920ALWAYS_INLINE bool JSValue::requireObjectCoercible(ExecState* exec) const
921{
922 if (!isUndefinedOrNull())
923 return true;
924 exec->vm().throwException(exec, createNotAnObjectError(exec, *this));
925 return false;
926}
927
928} // namespace JSC
929
930#endif // JSValueInlines_h
931