Diff
Modified: trunk/LayoutTests/ChangeLog (197548 => 197549)
--- trunk/LayoutTests/ChangeLog 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/LayoutTests/ChangeLog 2016-03-04 06:36:24 UTC (rev 197549)
@@ -1,5 +1,19 @@
2016-03-03 Filip Pizlo <fpi...@apple.com>
+ DFG/FTL should inline accesses to RegExpObject::m_lastIndex
+ https://bugs.webkit.org/show_bug.cgi?id=155003
+
+ Reviewed by Benjamin Poulain.
+
+ * js/regress/regexp-last-index-expected.txt: Added.
+ * js/regress/regexp-last-index.html: Added.
+ * js/regress/regexp-set-last-index-expected.txt: Added.
+ * js/regress/regexp-set-last-index.html: Added.
+ * js/regress/script-tests/regexp-last-index.js: Added.
+ * js/regress/script-tests/regexp-set-last-index.js: Added.
+
+2016-03-03 Filip Pizlo <fpi...@apple.com>
+
Unreviewed, remove test with flaky timeout that doesn't test anything anymore. This test
was relevant back when arguments got torn off; something that we don't do anymore. It
uses a loop that waits for the top-tier compiler to compile it. We don't write tests
Added: trunk/LayoutTests/js/regress/regexp-last-index-expected.txt (0 => 197549)
--- trunk/LayoutTests/js/regress/regexp-last-index-expected.txt (rev 0)
+++ trunk/LayoutTests/js/regress/regexp-last-index-expected.txt 2016-03-04 06:36:24 UTC (rev 197549)
@@ -0,0 +1,10 @@
+JSRegress/regexp-last-index
+
+On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".
+
+
+PASS no exception thrown
+PASS successfullyParsed is true
+
+TEST COMPLETE
+
Added: trunk/LayoutTests/js/regress/regexp-last-index.html (0 => 197549)
--- trunk/LayoutTests/js/regress/regexp-last-index.html (rev 0)
+++ trunk/LayoutTests/js/regress/regexp-last-index.html 2016-03-04 06:36:24 UTC (rev 197549)
@@ -0,0 +1,12 @@
+<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
+<html>
+<head>
+<script src=""
+</head>
+<body>
+<script src=""
+<script src=""
+<script src=""
+<script src=""
+</body>
+</html>
Added: trunk/LayoutTests/js/regress/regexp-set-last-index-expected.txt (0 => 197549)
--- trunk/LayoutTests/js/regress/regexp-set-last-index-expected.txt (rev 0)
+++ trunk/LayoutTests/js/regress/regexp-set-last-index-expected.txt 2016-03-04 06:36:24 UTC (rev 197549)
@@ -0,0 +1,10 @@
+JSRegress/regexp-set-last-index
+
+On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".
+
+
+PASS no exception thrown
+PASS successfullyParsed is true
+
+TEST COMPLETE
+
Added: trunk/LayoutTests/js/regress/regexp-set-last-index.html (0 => 197549)
--- trunk/LayoutTests/js/regress/regexp-set-last-index.html (rev 0)
+++ trunk/LayoutTests/js/regress/regexp-set-last-index.html 2016-03-04 06:36:24 UTC (rev 197549)
@@ -0,0 +1,12 @@
+<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
+<html>
+<head>
+<script src=""
+</head>
+<body>
+<script src=""
+<script src=""
+<script src=""
+<script src=""
+</body>
+</html>
Added: trunk/LayoutTests/js/regress/script-tests/regexp-last-index.js (0 => 197549)
--- trunk/LayoutTests/js/regress/script-tests/regexp-last-index.js (rev 0)
+++ trunk/LayoutTests/js/regress/script-tests/regexp-last-index.js 2016-03-04 06:36:24 UTC (rev 197549)
@@ -0,0 +1,10 @@
+(function() {
+ var re = /foo/g;
+ re.exec("bar foo bar");
+ var result = 0;
+ var n = 10000000;
+ for (var i = 0; i < n; ++i)
+ result += re.lastIndex;
+ if (result != 7 * n)
+ throw "Error: bad result: " + result;
+})();
Added: trunk/LayoutTests/js/regress/script-tests/regexp-set-last-index.js (0 => 197549)
--- trunk/LayoutTests/js/regress/script-tests/regexp-set-last-index.js (rev 0)
+++ trunk/LayoutTests/js/regress/script-tests/regexp-set-last-index.js 2016-03-04 06:36:24 UTC (rev 197549)
@@ -0,0 +1,9 @@
+(function() {
+ var re = /foo/g;
+ var n = 10000000;
+ for (var i = 0; i < n; ++i)
+ re.lastIndex = 5;
+ re.exec("foo bar foo");
+ if (re.lastIndex != "foo bar foo".length)
+ throw "Error: bad value of lastIndx: " + re.lastIndex;
+})();
Modified: trunk/Source/_javascript_Core/ChangeLog (197548 => 197549)
--- trunk/Source/_javascript_Core/ChangeLog 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/ChangeLog 2016-03-04 06:36:24 UTC (rev 197549)
@@ -1,3 +1,62 @@
+2016-03-03 Filip Pizlo <fpi...@apple.com>
+
+ DFG/FTL should inline accesses to RegExpObject::m_lastIndex
+ https://bugs.webkit.org/show_bug.cgi?id=155003
+
+ Reviewed by Benjamin Poulain.
+
+ The Octane/regexp benchmark sets RegExps' lastIndex a lot. I could imagine this being
+ something that people want to do. Right now, I'm not convinced that making the RegExp object
+ be more plain-JS would be a good idea considering that pretty much all uses of it will
+ require some special compiler magic. Also, it's good that this patch teaches the compiler
+ how to reason about lastIndex since some of my other plans for regexp involve having the
+ compiler treat more regexp stuff as intrinsic.
+
+ This is a smaller Octane/regexp speed-up than I hoped - maybe around 1%. It's an enormous
+ speed-up on the microbenchmarks attached to this patch.
+
+ * dfg/DFGAbstractHeap.h:
+ * dfg/DFGAbstractInterpreterInlines.h:
+ (JSC::DFG::AbstractInterpreter<AbstractStateType>::executeEffects):
+ * dfg/DFGClobberize.h:
+ (JSC::DFG::clobberize):
+ * dfg/DFGDoesGC.cpp:
+ (JSC::DFG::doesGC):
+ * dfg/DFGFixupPhase.cpp:
+ (JSC::DFG::FixupPhase::fixupNode):
+ * dfg/DFGHeapLocation.h:
+ * dfg/DFGNodeType.h:
+ * dfg/DFGPredictionPropagationPhase.cpp:
+ (JSC::DFG::PredictionPropagationPhase::propagate):
+ * dfg/DFGSafeToExecute.h:
+ (JSC::DFG::safeToExecute):
+ * dfg/DFGSpeculativeJIT.cpp:
+ (JSC::DFG::SpeculativeJIT::compilePutAccessorByVal):
+ (JSC::DFG::SpeculativeJIT::compileGetRegExpObjectLastIndex):
+ (JSC::DFG::SpeculativeJIT::compileSetRegExpObjectLastIndex):
+ * dfg/DFGSpeculativeJIT.h:
+ * dfg/DFGSpeculativeJIT32_64.cpp:
+ (JSC::DFG::SpeculativeJIT::compile):
+ * dfg/DFGSpeculativeJIT64.cpp:
+ (JSC::DFG::SpeculativeJIT::compile):
+ * dfg/DFGStoreBarrierInsertionPhase.cpp:
+ * ftl/FTLAbstractHeapRepository.cpp:
+ * ftl/FTLAbstractHeapRepository.h:
+ * ftl/FTLCapabilities.cpp:
+ (JSC::FTL::canCompile):
+ * ftl/FTLLowerDFGToB3.cpp:
+ (JSC::FTL::DFG::LowerDFGToB3::compileNode):
+ (JSC::FTL::DFG::LowerDFGToB3::compileStringReplace):
+ (JSC::FTL::DFG::LowerDFGToB3::compileGetRegExpObjectLastIndex):
+ (JSC::FTL::DFG::LowerDFGToB3::compileSetRegExpObjectLastIndex):
+ (JSC::FTL::DFG::LowerDFGToB3::didOverflowStack):
+ (JSC::FTL::DFG::LowerDFGToB3::lowObject):
+ (JSC::FTL::DFG::LowerDFGToB3::lowRegExpObject):
+ (JSC::FTL::DFG::LowerDFGToB3::lowString):
+ * runtime/RegExpObject.h:
+ (JSC::RegExpObject::createStructure):
+ (JSC::RegExpObject::offsetOfLastIndex):
+
2016-03-03 Chris Dumez <cdu...@apple.com>
Regression(r196770): Unable to use HipChat Mac app
Modified: trunk/Source/_javascript_Core/dfg/DFGAbstractHeap.h (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGAbstractHeap.h 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGAbstractHeap.h 2016-03-04 06:36:24 UTC (rev 197549)
@@ -1,5 +1,5 @@
/*
- * Copyright (C) 2013-2015 Apple Inc. All rights reserved.
+ * Copyright (C) 2013-2016 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
@@ -58,6 +58,7 @@
macro(JSCell_typeInfoType) \
macro(JSObject_butterfly) \
macro(JSPropertyNameEnumerator_cachedPropertyNames) \
+ macro(RegExpObject_lastIndex) \
macro(NamedProperties) \
macro(IndexedInt32Properties) \
macro(IndexedDoubleProperties) \
Modified: trunk/Source/_javascript_Core/dfg/DFGAbstractInterpreterInlines.h (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGAbstractInterpreterInlines.h 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGAbstractInterpreterInlines.h 2016-03-04 06:36:24 UTC (rev 197549)
@@ -1882,6 +1882,13 @@
case PutClosureVar:
break;
+
+ case GetRegExpObjectLastIndex:
+ forNode(node).makeHeapTop();
+ break;
+
+ case SetRegExpObjectLastIndex:
+ break;
case GetFromArguments:
forNode(node).makeHeapTop();
Modified: trunk/Source/_javascript_Core/dfg/DFGClobberize.h (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGClobberize.h 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGClobberize.h 2016-03-04 06:36:24 UTC (rev 197549)
@@ -908,6 +908,16 @@
write(AbstractHeap(ScopeProperties, node->scopeOffset().offset()));
def(HeapLocation(ClosureVariableLoc, AbstractHeap(ScopeProperties, node->scopeOffset().offset()), node->child1()), LazyNode(node->child2().node()));
return;
+
+ case GetRegExpObjectLastIndex:
+ read(RegExpObject_lastIndex);
+ def(HeapLocation(RegExpObjectLastIndexLoc, RegExpObject_lastIndex, node->child1()), LazyNode(node));
+ return;
+
+ case SetRegExpObjectLastIndex:
+ write(RegExpObject_lastIndex);
+ def(HeapLocation(RegExpObjectLastIndexLoc, RegExpObject_lastIndex, node->child1()), LazyNode(node->child2().node()));
+ return;
case GetFromArguments: {
AbstractHeap heap(DirectArgumentsProperties, node->capturedArgumentsOffset().offset());
Modified: trunk/Source/_javascript_Core/dfg/DFGDoesGC.cpp (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGDoesGC.cpp 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGDoesGC.cpp 2016-03-04 06:36:24 UTC (rev 197549)
@@ -113,6 +113,8 @@
case SkipScope:
case GetClosureVar:
case PutClosureVar:
+ case GetRegExpObjectLastIndex:
+ case SetRegExpObjectLastIndex:
case GetGlobalVar:
case GetGlobalLexicalVariable:
case PutGlobalVariable:
Modified: trunk/Source/_javascript_Core/dfg/DFGFixupPhase.cpp (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGFixupPhase.cpp 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGFixupPhase.cpp 2016-03-04 06:36:24 UTC (rev 197549)
@@ -1072,11 +1072,21 @@
&& !m_graph.hasExitSite(node->origin.semantic, BadCache)
&& !m_graph.hasExitSite(node->origin.semantic, BadIndexingType)
&& !m_graph.hasExitSite(node->origin.semantic, ExoticObjectMode)) {
+
auto uid = m_graph.identifiers()[node->identifierNumber()];
+
if (uid == vm().propertyNames->length.impl()) {
attemptToMakeGetArrayLength(node);
break;
}
+
+ if (uid == vm().propertyNames->lastIndex.impl()
+ && node->child1()->shouldSpeculateRegExpObject()) {
+ node->setOp(GetRegExpObjectLastIndex);
+ node->clearFlags(NodeMustGenerate);
+ fixEdge<RegExpObjectUse>(node->child1());
+ break;
+ }
}
if (node->child1()->shouldSpeculateCell())
@@ -1087,6 +1097,23 @@
case PutById:
case PutByIdFlush:
case PutByIdDirect: {
+ if (node->child1()->shouldSpeculateCellOrOther()
+ && !m_graph.hasExitSite(node->origin.semantic, BadType)
+ && !m_graph.hasExitSite(node->origin.semantic, BadCache)
+ && !m_graph.hasExitSite(node->origin.semantic, BadIndexingType)
+ && !m_graph.hasExitSite(node->origin.semantic, ExoticObjectMode)) {
+
+ auto uid = m_graph.identifiers()[node->identifierNumber()];
+
+ if (uid == vm().propertyNames->lastIndex.impl()
+ && node->child1()->shouldSpeculateRegExpObject()) {
+ node->setOp(SetRegExpObjectLastIndex);
+ fixEdge<RegExpObjectUse>(node->child1());
+ speculateForBarrier(node->child2());
+ break;
+ }
+ }
+
fixEdge<CellUse>(node->child1());
break;
}
@@ -1267,6 +1294,8 @@
case KillStack:
case GetStack:
case StoreBarrier:
+ case GetRegExpObjectLastIndex:
+ case SetRegExpObjectLastIndex:
// These are just nodes that we don't currently expect to see during fixup.
// If we ever wanted to insert them prior to fixup, then we just have to create
// fixup rules for them.
Modified: trunk/Source/_javascript_Core/dfg/DFGHeapLocation.cpp (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGHeapLocation.cpp 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGHeapLocation.cpp 2016-03-04 06:36:24 UTC (rev 197549)
@@ -1,5 +1,5 @@
/*
- * Copyright (C) 2014, 2015 Apple Inc. All rights reserved.
+ * Copyright (C) 2014-2016 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
@@ -147,6 +147,10 @@
case StructureLoc:
out.print("StructureLoc");
return;
+
+ case RegExpObjectLastIndexLoc:
+ out.print("RegExpObjectLastIndexLoc");
+ return;
}
RELEASE_ASSERT_NOT_REACHED();
Modified: trunk/Source/_javascript_Core/dfg/DFGHeapLocation.h (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGHeapLocation.h 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGHeapLocation.h 2016-03-04 06:36:24 UTC (rev 197549)
@@ -1,5 +1,5 @@
/*
- * Copyright (C) 2014, 2015 Apple Inc. All rights reserved.
+ * Copyright (C) 2014-2016 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
@@ -54,6 +54,7 @@
IsFunctionLoc,
IsObjectOrNullLoc,
NamedPropertyLoc,
+ RegExpObjectLastIndexLoc,
SetterLoc,
StructureLoc,
TypedArrayByteOffsetLoc,
Modified: trunk/Source/_javascript_Core/dfg/DFGNodeType.h (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGNodeType.h 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGNodeType.h 2016-03-04 06:36:24 UTC (rev 197549)
@@ -219,6 +219,8 @@
macro(PutGlobalVariable, NodeMustGenerate) \
macro(NotifyWrite, NodeMustGenerate) \
macro(VarInjectionWatchpoint, NodeMustGenerate) \
+ macro(GetRegExpObjectLastIndex, NodeResultJS) \
+ macro(SetRegExpObjectLastIndex, NodeMustGenerate) \
macro(CheckCell, NodeMustGenerate) \
macro(CheckNotEmpty, NodeMustGenerate) \
macro(CheckBadCell, NodeMustGenerate) \
Modified: trunk/Source/_javascript_Core/dfg/DFGPredictionPropagationPhase.cpp (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGPredictionPropagationPhase.cpp 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGPredictionPropagationPhase.cpp 2016-03-04 06:36:24 UTC (rev 197549)
@@ -665,7 +665,9 @@
case PutStack:
case KillStack:
case StoreBarrier:
- case GetStack: {
+ case GetStack:
+ case GetRegExpObjectLastIndex:
+ case SetRegExpObjectLastIndex: {
// This node should never be visible at this stage of compilation. It is
// inserted by fixup(), which follows this phase.
DFG_CRASH(m_graph, node, "Unexpected node during prediction propagation");
Modified: trunk/Source/_javascript_Core/dfg/DFGSafeToExecute.h (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGSafeToExecute.h 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGSafeToExecute.h 2016-03-04 06:36:24 UTC (rev 197549)
@@ -332,6 +332,8 @@
case ForwardVarargs:
case CopyRest:
case StringReplace:
+ case GetRegExpObjectLastIndex:
+ case SetRegExpObjectLastIndex:
return true;
case BottomValue:
Modified: trunk/Source/_javascript_Core/dfg/DFGSpeculativeJIT.cpp (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGSpeculativeJIT.cpp 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGSpeculativeJIT.cpp 2016-03-04 06:36:24 UTC (rev 197549)
@@ -7518,6 +7518,33 @@
noResult(node);
}
+void SpeculativeJIT::compileGetRegExpObjectLastIndex(Node* node)
+{
+ SpeculateCellOperand regExp(this, node->child1());
+ JSValueRegsTemporary result(this);
+ GPRReg regExpGPR = regExp.gpr();
+ JSValueRegs resultRegs = result.regs();
+ speculateRegExpObject(node->child1(), regExpGPR);
+ m_jit.loadValue(JITCompiler::Address(regExpGPR, RegExpObject::offsetOfLastIndex()), resultRegs);
+ jsValueResult(resultRegs, node);
+}
+
+void SpeculativeJIT::compileSetRegExpObjectLastIndex(Node* node)
+{
+ SpeculateCellOperand regExp(this, node->child1());
+ JSValueOperand value(this, node->child2());
+ GPRReg regExpGPR = regExp.gpr();
+ JSValueRegs valueRegs = value.jsValueRegs();
+ speculateRegExpObject(node->child1(), regExpGPR);
+ speculationCheck(
+ ExoticObjectMode, JSValueRegs(), nullptr,
+ m_jit.branchTest8(
+ JITCompiler::Zero,
+ JITCompiler::Address(regExpGPR, RegExpObject::offsetOfLastIndexIsWritable())));
+ m_jit.storeValue(valueRegs, JITCompiler::Address(regExpGPR, RegExpObject::offsetOfLastIndex()));
+ noResult(node);
+}
+
} } // namespace JSC::DFG
#endif
Modified: trunk/Source/_javascript_Core/dfg/DFGSpeculativeJIT.h (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGSpeculativeJIT.h 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGSpeculativeJIT.h 2016-03-04 06:36:24 UTC (rev 197549)
@@ -2333,6 +2333,8 @@
void compilePutAccessorById(Node*);
void compilePutGetterSetterById(Node*);
void compilePutAccessorByVal(Node*);
+ void compileGetRegExpObjectLastIndex(Node*);
+ void compileSetRegExpObjectLastIndex(Node*);
void moveTrueTo(GPRReg);
void moveFalseTo(GPRReg);
Modified: trunk/Source/_javascript_Core/dfg/DFGSpeculativeJIT32_64.cpp (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGSpeculativeJIT32_64.cpp 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGSpeculativeJIT32_64.cpp 2016-03-04 06:36:24 UTC (rev 197549)
@@ -2970,7 +2970,17 @@
cellResult(resultPayload.gpr(), node);
break;
}
+
+ case GetRegExpObjectLastIndex: {
+ compileGetRegExpObjectLastIndex(node);
+ break;
+ }
+ case SetRegExpObjectLastIndex: {
+ compileSetRegExpObjectLastIndex(node);
+ break;
+ }
+
case ArrayPush: {
ASSERT(node->arrayMode().isJSArray());
Modified: trunk/Source/_javascript_Core/dfg/DFGSpeculativeJIT64.cpp (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGSpeculativeJIT64.cpp 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGSpeculativeJIT64.cpp 2016-03-04 06:36:24 UTC (rev 197549)
@@ -3088,6 +3088,16 @@
break;
}
+ case GetRegExpObjectLastIndex: {
+ compileGetRegExpObjectLastIndex(node);
+ break;
+ }
+
+ case SetRegExpObjectLastIndex: {
+ compileSetRegExpObjectLastIndex(node);
+ break;
+ }
+
case ArrayPush: {
ASSERT(node->arrayMode().isJSArray());
Modified: trunk/Source/_javascript_Core/dfg/DFGStoreBarrierInsertionPhase.cpp (197548 => 197549)
--- trunk/Source/_javascript_Core/dfg/DFGStoreBarrierInsertionPhase.cpp 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/dfg/DFGStoreBarrierInsertionPhase.cpp 2016-03-04 06:36:24 UTC (rev 197549)
@@ -1,5 +1,5 @@
/*
- * Copyright (C) 2015 Apple Inc. All rights reserved.
+ * Copyright (C) 2015-2016 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
@@ -260,6 +260,7 @@
case PutClosureVar:
case PutToArguments:
+ case SetRegExpObjectLastIndex:
case MultiPutByOffset: {
considerBarrier(m_node->child1(), m_node->child2());
break;
Modified: trunk/Source/_javascript_Core/ftl/FTLAbstractHeapRepository.cpp (197548 => 197549)
--- trunk/Source/_javascript_Core/ftl/FTLAbstractHeapRepository.cpp 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/ftl/FTLAbstractHeapRepository.cpp 2016-03-04 06:36:24 UTC (rev 197549)
@@ -39,6 +39,7 @@
#include "JSPropertyNameEnumerator.h"
#include "JSScope.h"
#include "JSCInlines.h"
+#include "RegExpObject.h"
#include "ScopedArguments.h"
#include "ScopedArgumentsTable.h"
Modified: trunk/Source/_javascript_Core/ftl/FTLAbstractHeapRepository.h (197548 => 197549)
--- trunk/Source/_javascript_Core/ftl/FTLAbstractHeapRepository.h 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/ftl/FTLAbstractHeapRepository.h 2016-03-04 06:36:24 UTC (rev 197549)
@@ -77,6 +77,8 @@
macro(JSSymbolTableObject_symbolTable, JSSymbolTableObject::offsetOfSymbolTable()) \
macro(JSWrapperObject_internalValue, JSWrapperObject::internalValueOffset()) \
macro(MarkedAllocator_freeListHead, MarkedAllocator::offsetOfFreeListHead()) \
+ macro(RegExpObject_lastIndex, RegExpObject::offsetOfLastIndex()) \
+ macro(RegExpObject_lastIndexIsWritable, RegExpObject::offsetOfLastIndexIsWritable()) \
macro(ScopedArguments_overrodeThings, ScopedArguments::offsetOfOverrodeThings()) \
macro(ScopedArguments_scope, ScopedArguments::offsetOfScope()) \
macro(ScopedArguments_table, ScopedArguments::offsetOfTable()) \
Modified: trunk/Source/_javascript_Core/ftl/FTLCapabilities.cpp (197548 => 197549)
--- trunk/Source/_javascript_Core/ftl/FTLCapabilities.cpp 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/ftl/FTLCapabilities.cpp 2016-03-04 06:36:24 UTC (rev 197549)
@@ -224,6 +224,8 @@
case RegExpTest:
case NewRegexp:
case StringReplace:
+ case GetRegExpObjectLastIndex:
+ case SetRegExpObjectLastIndex:
// These are OK.
break;
Modified: trunk/Source/_javascript_Core/ftl/FTLLowerDFGToB3.cpp (197548 => 197549)
--- trunk/Source/_javascript_Core/ftl/FTLLowerDFGToB3.cpp 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/ftl/FTLLowerDFGToB3.cpp 2016-03-04 06:36:24 UTC (rev 197549)
@@ -926,6 +926,12 @@
case StringReplace:
compileStringReplace();
break;
+ case GetRegExpObjectLastIndex:
+ compileGetRegExpObjectLastIndex();
+ break;
+ case SetRegExpObjectLastIndex:
+ compileSetRegExpObjectLastIndex();
+ break;
case PhantomLocal:
case LoopHint:
@@ -6489,8 +6495,7 @@
if (JSString* replace = m_node->child3()->dynamicCastConstant<JSString*>()) {
if (!replace->length()) {
LValue string = lowString(m_node->child1());
- LValue regExp = lowCell(m_node->child2());
- speculateRegExpObject(m_node->child2(), regExp);
+ LValue regExp = lowRegExpObject(m_node->child2());
LValue result = vmCall(
Int64, m_out.operation(operationStringProtoFuncReplaceRegExpEmptyStr),
@@ -6502,8 +6507,7 @@
}
LValue string = lowString(m_node->child1());
- LValue regExp = lowCell(m_node->child2());
- speculateRegExpObject(m_node->child2(), regExp);
+ LValue regExp = lowRegExpObject(m_node->child2());
LValue replace = lowString(m_node->child3());
LValue result = vmCall(
@@ -6522,6 +6526,23 @@
setJSValue(result);
}
+ void compileGetRegExpObjectLastIndex()
+ {
+ setJSValue(m_out.load64(lowRegExpObject(m_node->child1()), m_heaps.RegExpObject_lastIndex));
+ }
+
+ void compileSetRegExpObjectLastIndex()
+ {
+ LValue regExp = lowRegExpObject(m_node->child1());
+ LValue value = lowJSValue(m_node->child2());
+
+ speculate(
+ ExoticObjectMode, noValue(), nullptr,
+ m_out.isZero32(m_out.load8ZeroExt32(regExp, m_heaps.RegExpObject_lastIndexIsWritable)));
+
+ m_out.store64(value, regExp, m_heaps.RegExpObject_lastIndex);
+ }
+
LValue didOverflowStack()
{
// This does a very simple leaf function analysis. The invariant of FTL call
@@ -8925,6 +8946,13 @@
speculateObject(edge, result);
return result;
}
+
+ LValue lowRegExpObject(Edge edge)
+ {
+ LValue result = lowCell(edge);
+ speculateRegExpObject(edge, result);
+ return result;
+ }
LValue lowString(Edge edge, OperandSpeculationMode mode = AutomaticOperandSpeculation)
{
Modified: trunk/Source/_javascript_Core/runtime/RegExpObject.h (197548 => 197549)
--- trunk/Source/_javascript_Core/runtime/RegExpObject.h 2016-03-04 06:00:02 UTC (rev 197548)
+++ trunk/Source/_javascript_Core/runtime/RegExpObject.h 2016-03-04 06:36:24 UTC (rev 197549)
@@ -74,6 +74,16 @@
return Structure::create(vm, globalObject, prototype, TypeInfo(RegExpObjectType, StructureFlags), info());
}
+ static ptrdiff_t offsetOfLastIndex()
+ {
+ return OBJECT_OFFSETOF(RegExpObject, m_lastIndex);
+ }
+
+ static ptrdiff_t offsetOfLastIndexIsWritable()
+ {
+ return OBJECT_OFFSETOF(RegExpObject, m_lastIndexIsWritable);
+ }
+
protected:
JS_EXPORT_PRIVATE RegExpObject(VM&, Structure*, RegExp*);
JS_EXPORT_PRIVATE void finishCreation(VM&);