#include "Identifier.h"
#include "CallFrame.h"
+#include "JSObject.h"
+#include "NumericStrings.h"
+#include "ScopeChain.h"
#include <new> // for placement new
#include <string.h> // for strlen
#include <wtf/Assertions.h>
#include <wtf/FastMalloc.h>
#include <wtf/HashSet.h>
+#include <wtf/text/StringHash.h>
using WTF::ThreadSpecific;
namespace JSC {
-typedef HashMap<const char*, RefPtr<UString::Rep>, PtrHash<const char*> > LiteralIdentifierTable;
-
-class IdentifierTable : public FastAllocBase {
-public:
- ~IdentifierTable()
- {
- HashSet<UString::Rep*>::iterator end = m_table.end();
- for (HashSet<UString::Rep*>::iterator iter = m_table.begin(); iter != end; ++iter)
- (*iter)->setIsIdentifier(false);
- }
-
- std::pair<HashSet<UString::Rep*>::iterator, bool> add(UString::Rep* value)
- {
- std::pair<HashSet<UString::Rep*>::iterator, bool> result = m_table.add(value);
- (*result.first)->setIsIdentifier(true);
- return result;
- }
-
- template<typename U, typename V>
- std::pair<HashSet<UString::Rep*>::iterator, bool> add(U value)
- {
- std::pair<HashSet<UString::Rep*>::iterator, bool> result = m_table.add<U, V>(value);
- (*result.first)->setIsIdentifier(true);
- return result;
- }
-
- void remove(UString::Rep* r) { m_table.remove(r); }
-
- LiteralIdentifierTable& literalTable() { return m_literalTable; }
-
-private:
- HashSet<UString::Rep*> m_table;
- LiteralIdentifierTable m_literalTable;
-};
-
IdentifierTable* createIdentifierTable()
{
return new IdentifierTable;
delete table;
}
-bool Identifier::equal(const UString::Rep* r, const char* s)
-{
- int length = r->size();
- const UChar* d = r->data();
- for (int i = 0; i != length; ++i)
- if (d[i] != (unsigned char)s[i])
- return false;
- return s[length] == 0;
-}
-
-bool Identifier::equal(const UString::Rep* r, const UChar* s, int length)
-{
- if (r->size() != length)
- return false;
- const UChar* d = r->data();
- for (int i = 0; i != length; ++i)
- if (d[i] != s[i])
- return false;
- return true;
-}
-
-struct CStringTranslator {
- static unsigned hash(const char* c)
+struct IdentifierCStringTranslator {
+ static unsigned hash(const LChar* c)
{
- return UString::Rep::computeHash(c);
+ return StringHasher::computeHash<LChar>(c);
}
- static bool equal(UString::Rep* r, const char* s)
+ static bool equal(StringImpl* r, const LChar* s)
{
return Identifier::equal(r, s);
}
- static void translate(UString::Rep*& location, const char* c, unsigned hash)
+ static void translate(StringImpl*& location, const LChar* c, unsigned hash)
{
- size_t length = strlen(c);
- UChar* d;
- UString::Rep* r = UString::Rep::createUninitialized(length, d).releaseRef();
+ size_t length = strlen(reinterpret_cast<const char*>(c));
+ LChar* d;
+ StringImpl* r = StringImpl::createUninitialized(length, d).leakRef();
for (size_t i = 0; i != length; i++)
- d[i] = static_cast<unsigned char>(c[i]); // use unsigned char to zero-extend instead of sign-extend
+ d[i] = c[i];
r->setHash(hash);
location = r;
}
};
-PassRefPtr<UString::Rep> Identifier::add(JSGlobalData* globalData, const char* c)
-{
- if (!c) {
- UString::Rep::null().hash();
- return &UString::Rep::null();
+struct IdentifierLCharFromUCharTranslator {
+ static unsigned hash(const CharBuffer<UChar>& buf)
+ {
+ return StringHasher::computeHash<UChar>(buf.s, buf.length);
+ }
+
+ static bool equal(StringImpl* str, const CharBuffer<UChar>& buf)
+ {
+ return Identifier::equal(str, buf.s, buf.length);
}
- if (!c[0]) {
- UString::Rep::empty().hash();
- return &UString::Rep::empty();
+
+ static void translate(StringImpl*& location, const CharBuffer<UChar>& buf, unsigned hash)
+ {
+ LChar* d;
+ StringImpl* r = StringImpl::createUninitialized(buf.length, d).leakRef();
+ for (unsigned i = 0; i != buf.length; i++) {
+ UChar c = buf.s[i];
+ ASSERT(c <= 0xff);
+ d[i] = c;
+ }
+ r->setHash(hash);
+ location = r;
}
+};
+
+PassRefPtr<StringImpl> Identifier::add(JSGlobalData* globalData, const char* c)
+{
+ if (!c)
+ return 0;
+ if (!c[0])
+ return StringImpl::empty();
if (!c[1])
- return add(globalData, globalData->smallStrings.singleCharacterStringRep(static_cast<unsigned char>(c[0])));
+ return add(globalData, globalData->smallStrings.singleCharacterStringRep(c[0]));
IdentifierTable& identifierTable = *globalData->identifierTable;
LiteralIdentifierTable& literalIdentifierTable = identifierTable.literalTable();
if (iter != literalIdentifierTable.end())
return iter->second;
- pair<HashSet<UString::Rep*>::iterator, bool> addResult = identifierTable.add<const char*, CStringTranslator>(c);
+ HashSet<StringImpl*>::AddResult addResult = identifierTable.add<const LChar*, IdentifierCStringTranslator>(reinterpret_cast<const LChar*>(c));
// If the string is newly-translated, then we need to adopt it.
// The boolean in the pair tells us if that is so.
- RefPtr<UString::Rep> addedString = addResult.second ? adoptRef(*addResult.first) : *addResult.first;
+ RefPtr<StringImpl> addedString = addResult.isNewEntry ? adoptRef(*addResult.iterator) : *addResult.iterator;
literalIdentifierTable.add(c, addedString.get());
return addedString.release();
}
-PassRefPtr<UString::Rep> Identifier::add(ExecState* exec, const char* c)
+PassRefPtr<StringImpl> Identifier::add(ExecState* exec, const char* c)
{
return add(&exec->globalData(), c);
}
-struct UCharBuffer {
- const UChar* s;
- unsigned int length;
-};
-
-struct UCharBufferTranslator {
- static unsigned hash(const UCharBuffer& buf)
- {
- return UString::Rep::computeHash(buf.s, buf.length);
- }
-
- static bool equal(UString::Rep* str, const UCharBuffer& buf)
- {
- return Identifier::equal(str, buf.s, buf.length);
- }
-
- static void translate(UString::Rep*& location, const UCharBuffer& buf, unsigned hash)
- {
- UChar* d;
- UString::Rep* r = UString::Rep::createUninitialized(buf.length, d).releaseRef();
- for (unsigned i = 0; i != buf.length; i++)
- d[i] = buf.s[i];
- r->setHash(hash);
- location = r;
- }
-};
-
-PassRefPtr<UString::Rep> Identifier::add(JSGlobalData* globalData, const UChar* s, int length)
+PassRefPtr<StringImpl> Identifier::add8(JSGlobalData* globalData, const UChar* s, int length)
{
if (length == 1) {
UChar c = s[0];
- if (c <= 0xFF)
+ ASSERT(c <= 0xff);
+ if (canUseSingleCharacterString(c))
return add(globalData, globalData->smallStrings.singleCharacterStringRep(c));
}
- if (!length) {
- UString::Rep::empty().hash();
- return &UString::Rep::empty();
- }
- UCharBuffer buf = {s, length};
- pair<HashSet<UString::Rep*>::iterator, bool> addResult = globalData->identifierTable->add<UCharBuffer, UCharBufferTranslator>(buf);
-
+
+ if (!length)
+ return StringImpl::empty();
+ CharBuffer<UChar> buf = {s, length};
+ HashSet<StringImpl*>::AddResult addResult = globalData->identifierTable->add<CharBuffer<UChar>, IdentifierLCharFromUCharTranslator >(buf);
+
// If the string is newly-translated, then we need to adopt it.
// The boolean in the pair tells us if that is so.
- return addResult.second ? adoptRef(*addResult.first) : *addResult.first;
+ return addResult.isNewEntry ? adoptRef(*addResult.iterator) : *addResult.iterator;
+}
+
+template <typename CharType>
+ALWAYS_INLINE uint32_t Identifier::toUInt32FromCharacters(const CharType* characters, unsigned length, bool& ok)
+{
+ // Get the first character, turning it into a digit.
+ uint32_t value = characters[0] - '0';
+ if (value > 9)
+ return 0;
+
+ // Check for leading zeros. If the first characher is 0, then the
+ // length of the string must be one - e.g. "042" is not equal to "42".
+ if (!value && length > 1)
+ return 0;
+
+ while (--length) {
+ // Multiply value by 10, checking for overflow out of 32 bits.
+ if (value > 0xFFFFFFFFU / 10)
+ return 0;
+ value *= 10;
+
+ // Get the next character, turning it into a digit.
+ uint32_t newValue = *(++characters) - '0';
+ if (newValue > 9)
+ return 0;
+
+ // Add in the old value, checking for overflow out of 32 bits.
+ newValue += value;
+ if (newValue < value)
+ return 0;
+ value = newValue;
+ }
+
+ ok = true;
+ return value;
}
-PassRefPtr<UString::Rep> Identifier::add(ExecState* exec, const UChar* s, int length)
+uint32_t Identifier::toUInt32(const UString& string, bool& ok)
{
- return add(&exec->globalData(), s, length);
+ ok = false;
+
+ unsigned length = string.length();
+
+ // An empty string is not a number.
+ if (!length)
+ return 0;
+
+ if (string.is8Bit())
+ return toUInt32FromCharacters(string.characters8(), length, ok);
+ return toUInt32FromCharacters(string.characters16(), length, ok);
}
-PassRefPtr<UString::Rep> Identifier::addSlowCase(JSGlobalData* globalData, UString::Rep* r)
+PassRefPtr<StringImpl> Identifier::addSlowCase(JSGlobalData* globalData, StringImpl* r)
{
ASSERT(!r->isIdentifier());
- if (r->size() == 1) {
- UChar c = r->data()[0];
- if (c <= 0xFF)
+ // The empty & null strings are static singletons, and static strings are handled
+ // in ::add() in the header, so we should never get here with a zero length string.
+ ASSERT(r->length());
+
+ if (r->length() == 1) {
+ UChar c = (*r)[0];
+ if (c <= maxSingleCharacterString)
r = globalData->smallStrings.singleCharacterStringRep(c);
- if (r->isIdentifier()) {
-#ifndef NDEBUG
- checkSameIdentifierTable(globalData, r);
-#endif
+ if (r->isIdentifier())
return r;
- }
}
- if (!r->size()) {
- UString::Rep::empty().hash();
- return &UString::Rep::empty();
- }
- return *globalData->identifierTable->add(r).first;
+
+ return *globalData->identifierTable->add(r).iterator;
}
-PassRefPtr<UString::Rep> Identifier::addSlowCase(ExecState* exec, UString::Rep* r)
+PassRefPtr<StringImpl> Identifier::addSlowCase(ExecState* exec, StringImpl* r)
{
return addSlowCase(&exec->globalData(), r);
}
-void Identifier::remove(UString::Rep* r)
+Identifier Identifier::from(ExecState* exec, unsigned value)
{
- currentIdentifierTable()->remove(r);
+ return Identifier(exec, exec->globalData().numericStrings.add(value));
}
-#ifndef NDEBUG
-
-void Identifier::checkSameIdentifierTable(ExecState* exec, UString::Rep*)
+Identifier Identifier::from(ExecState* exec, int value)
{
- ASSERT_UNUSED(exec, exec->globalData().identifierTable == currentIdentifierTable());
+ return Identifier(exec, exec->globalData().numericStrings.add(value));
}
-void Identifier::checkSameIdentifierTable(JSGlobalData* globalData, UString::Rep*)
+Identifier Identifier::from(ExecState* exec, double value)
{
- ASSERT_UNUSED(globalData, globalData->identifierTable == currentIdentifierTable());
+ return Identifier(exec, exec->globalData().numericStrings.add(value));
}
-#else
-
-void Identifier::checkSameIdentifierTable(ExecState*, UString::Rep*)
+Identifier Identifier::from(JSGlobalData* globalData, unsigned value)
{
+ return Identifier(globalData, globalData->numericStrings.add(value));
}
-void Identifier::checkSameIdentifierTable(JSGlobalData*, UString::Rep*)
+Identifier Identifier::from(JSGlobalData* globalData, int value)
{
+ return Identifier(globalData, globalData->numericStrings.add(value));
}
-#endif
-
-ThreadSpecific<ThreadIdentifierTableData>* g_identifierTableSpecific = 0;
-ThreadIdentifierTableData* g_identifierTableMain = 0;
+Identifier Identifier::from(JSGlobalData* globalData, double value)
+{
+ return Identifier(globalData, globalData->numericStrings.add(value));
+}
-#if ENABLE(JSC_MULTIPLE_THREADS)
+#ifndef NDEBUG
-pthread_once_t createIdentifierTableSpecificOnce = PTHREAD_ONCE_INIT;
-static void createIdentifierTableSpecificCallback()
+void Identifier::checkCurrentIdentifierTable(JSGlobalData* globalData)
{
- ASSERT(!g_identifierTableSpecific);
- g_identifierTableSpecific = new ThreadSpecific<ThreadIdentifierTableData>();
- ASSERT(!g_identifierTableMain);
- g_identifierTableMain = new ThreadIdentifierTableData();
+ // Check the identifier table accessible through the threadspecific matches the
+ // globalData's identifier table.
+ ASSERT_UNUSED(globalData, globalData->identifierTable == wtfThreadData().currentIdentifierTable());
}
-void createIdentifierTableSpecific()
+
+void Identifier::checkCurrentIdentifierTable(ExecState* exec)
{
- pthread_once(&createIdentifierTableSpecificOnce, createIdentifierTableSpecificCallback);
- ASSERT(g_identifierTableSpecific);
- ASSERT(g_identifierTableMain);
+ checkCurrentIdentifierTable(&exec->globalData());
}
-#else
+#else
-void createIdentifierTableSpecific()
-{
- ASSERT(!g_identifierTableSpecific);
- g_identifierTableSpecific = new ThreadSpecific<ThreadIdentifierTableData>();
- ASSERT(!g_identifierTableMain);
- g_identifierTableMain = new ThreadIdentifierTableData();
-}
+// These only exists so that our exports are the same for debug and release builds.
+// This would be an ASSERT_NOT_REACHED(), but we're in NDEBUG only code here!
+NO_RETURN_DUE_TO_CRASH void Identifier::checkCurrentIdentifierTable(JSGlobalData*) { CRASH(); }
+NO_RETURN_DUE_TO_CRASH void Identifier::checkCurrentIdentifierTable(ExecState*) { CRASH(); }
#endif
projects / apple / javascriptcore.git / blobdiff