Add StSuperFldStrict and profiled version because strictness is not preserved in some backend calls to StSuperFld

boingoing · boingoing · commit 781d5ed0f4e4 · 2019-06-24T12:35:50.000-07:00
diff --git a/lib/Backend/BackwardPass.cpp b/lib/Backend/BackwardPass.cpp
@@ -3442,6 +3442,7 @@ BackwardPass::ProcessBlock(BasicBlock * block)
                 case Js::OpCode::StSlotBoxTemp:
                 case Js::OpCode::StSlotChkUndecl:
                 case Js::OpCode::StSuperFld:
+                case Js::OpCode::StSuperFldStrict:
                 case Js::OpCode::ProfiledStElemI_A:
                 case Js::OpCode::ProfiledStElemI_A_Strict:
                 case Js::OpCode::ProfiledStFld:
@@ -3450,6 +3451,7 @@ BackwardPass::ProcessBlock(BasicBlock * block)
                 case Js::OpCode::ProfiledStRootFld:
                 case Js::OpCode::ProfiledStRootFldStrict:
                 case Js::OpCode::ProfiledStSuperFld:
+                case Js::OpCode::ProfiledStSuperFldStrict:
                     // Unfortunately, being fed into a store means that we could have aliasing, and the
                     // consequence is that it may be re-read and then dereferenced. Note that we can do
                     // this case if we poison any array symbol that we store to on the way out, but the
diff --git a/lib/Backend/GlobOpt.cpp b/lib/Backend/GlobOpt.cpp
@@ -13636,6 +13636,7 @@ GlobOpt::CheckJsArrayKills(IR::Instr *const instr)
         case Js::OpCode::StFld:
         case Js::OpCode::StFldStrict:
         case Js::OpCode::StSuperFld:
+        case Js::OpCode::StSuperFldStrict:
         {
             Assert(instr->GetDst());
 
diff --git a/lib/Backend/GlobOptExpr.cpp b/lib/Backend/GlobOptExpr.cpp
@@ -828,6 +828,7 @@ GlobOpt::ProcessArrayValueKills(IR::Instr *instr)
     case Js::OpCode::StFldStrict:
     case Js::OpCode::StRootFldStrict:
     case Js::OpCode::StSuperFld:
+    case Js::OpCode::StSuperFldStrict:
     case Js::OpCode::StSlot:
     case Js::OpCode::StSlotChkUndecl:
     case Js::OpCode::DeleteFld:
diff --git a/lib/Backend/GlobOptFields.cpp b/lib/Backend/GlobOptFields.cpp
@@ -429,6 +429,7 @@ GlobOpt::ProcessFieldKills(IR::Instr *instr, BVSparse<JitArenaAllocator> *bv, bo
     case Js::OpCode::StSlot:
     case Js::OpCode::StSlotChkUndecl:
     case Js::OpCode::StSuperFld:
+    case Js::OpCode::StSuperFldStrict:
         Assert(dstOpnd != nullptr);
         sym = dstOpnd->AsSymOpnd()->m_sym;
         if (inGlobOpt)
diff --git a/lib/Backend/IR.cpp b/lib/Backend/IR.cpp
@@ -1036,7 +1036,8 @@ bool IR::Instr::IsStFldVariant() const
         this->m_opcode == Js::OpCode::StLocalFld ||
         this->m_opcode == Js::OpCode::StRootFld ||
         this->m_opcode == Js::OpCode::StRootFldStrict ||
-        this->m_opcode == Js::OpCode::StSuperFld;
+        this->m_opcode == Js::OpCode::StSuperFld ||
+        this->m_opcode == Js::OpCode::StSuperFldStrict;
 }
 
 bool IR::Instr::IsStElemVariant() const
diff --git a/lib/Backend/IRBuilder.cpp b/lib/Backend/IRBuilder.cpp
@@ -4763,10 +4763,12 @@ IRBuilder::BuildElementC2(Js::OpCode newOpcode, uint32 offset, Js::RegSlot insta
         break;
 
     case Js::OpCode::ProfiledStSuperFld:
+    case Js::OpCode::ProfiledStSuperFldStrict:
         Js::OpCodeUtil::ConvertNonCallOpToNonProfiled(newOpcode);
         // fall-through
 
     case Js::OpCode::StSuperFld:
+    case Js::OpCode::StSuperFldStrict:
     {
         propertyId = m_func->GetJITFunctionBody()->GetPropertyIdFromCacheId(propertyIdIndex);
         fieldSymOpnd = this->BuildFieldOpnd(newOpcode, instanceSlot, propertyId, (Js::PropertyIdIndexType) - 1, PropertyKindData, propertyIdIndex);
diff --git a/lib/Backend/JnHelperMethodList.h b/lib/Backend/JnHelperMethodList.h
@@ -413,6 +413,7 @@ HELPERCALLCHK(ProfiledLdRootFld, Js::ProfilingHelpers::ProfiledLdRootFld_Jit, 0)
 HELPERCALLCHK(ProfiledLdRootMethodFld, Js::ProfilingHelpers::ProfiledLdRootMethodFld_Jit, 0)
 HELPERCALLCHK(ProfiledStFld, Js::ProfilingHelpers::ProfiledStFld_Jit, 0)
 HELPERCALLCHK(ProfiledStSuperFld, Js::ProfilingHelpers::ProfiledStSuperFld_Jit, 0)
+HELPERCALLCHK(ProfiledStSuperFld_Strict, Js::ProfilingHelpers::ProfiledStSuperFld_Strict_Jit, 0)
 HELPERCALLCHK(ProfiledStFld_Strict, Js::ProfilingHelpers::ProfiledStFld_Strict_Jit, 0)
 HELPERCALLCHK(ProfiledStRootFld, Js::ProfilingHelpers::ProfiledStRootFld_Jit, 0)
 HELPERCALLCHK(ProfiledStRootFld_Strict, Js::ProfilingHelpers::ProfiledStRootFld_Strict_Jit, 0)
diff --git a/lib/Backend/Lower.cpp b/lib/Backend/Lower.cpp
@@ -159,7 +159,6 @@ Lowerer::LowerRange(IR::Instr *instrStart, IR::Instr *instrEnd, bool defaultDoFa
 {
     bool noMathFastPath;
     bool noFieldFastPath;
-    bool isStrictMode = this->m_func->GetJITFunctionBody()->IsStrictMode();
     noFieldFastPath = !defaultDoFastPath;
     noMathFastPath = !defaultDoFastPath;
 
@@ -538,7 +537,12 @@ Lowerer::LowerRange(IR::Instr *instrStart, IR::Instr *instrEnd, bool defaultDoFa
 
         case Js::OpCode::StSuperFld:
             instrPrev = GenerateCompleteStFld(instr, !noFieldFastPath, IR::HelperOp_PatchPutValueWithThisPtrNoLocalFastPath, IR::HelperOp_PatchPutValueWithThisPtrNoLocalFastPathPolymorphic,
-                IR::HelperOp_PatchPutValueWithThisPtr, IR::HelperOp_PatchPutValueWithThisPtrPolymorphic, true, isStrictMode ? Js::PropertyOperation_StrictMode : Js::PropertyOperation_None);
+                IR::HelperOp_PatchPutValueWithThisPtr, IR::HelperOp_PatchPutValueWithThisPtrPolymorphic, true, Js::PropertyOperation_None);
+            break;
+
+        case Js::OpCode::StSuperFldStrict:
+            instrPrev = GenerateCompleteStFld(instr, !noFieldFastPath, IR::HelperOp_PatchPutValueWithThisPtrNoLocalFastPath, IR::HelperOp_PatchPutValueWithThisPtrNoLocalFastPathPolymorphic,
+                IR::HelperOp_PatchPutValueWithThisPtr, IR::HelperOp_PatchPutValueWithThisPtrPolymorphic, true, Js::PropertyOperation_StrictMode);
             break;
 
         case Js::OpCode::StRootFld:
@@ -7132,7 +7136,7 @@ Lowerer::LowerProfiledStFld(IR::JitProfilingInstr *stFldInstr, Js::PropertyOpera
 
     m_lowererMD.LoadHelperArgument(stFldInstr, IR::Opnd::CreateFramePointerOpnd(m_func));
 
-    if (stFldInstr->m_opcode == Js::OpCode::StSuperFld)
+    if (stFldInstr->m_opcode == Js::OpCode::StSuperFld || stFldInstr->m_opcode == Js::OpCode::StSuperFldStrict)
     {
         m_lowererMD.LoadHelperArgument(stFldInstr, stFldInstr->UnlinkSrc2());
     }
@@ -7159,6 +7163,10 @@ Lowerer::LowerProfiledStFld(IR::JitProfilingInstr *stFldInstr, Js::PropertyOpera
         helper = IR::HelperProfiledStSuperFld;
         break;
 
+    case Js::OpCode::StSuperFldStrict:
+        helper = IR::HelperProfiledStSuperFld_Strict;
+        break;
+
     default:
         helper =
             flags & Js::PropertyOperation_Root
@@ -7224,7 +7232,7 @@ Lowerer::LowerStFld(
     }
 
     IR::Opnd *src = stFldInstr->UnlinkSrc1();
-    if (stFldInstr->m_opcode == Js::OpCode::StSuperFld)
+    if (stFldInstr->m_opcode == Js::OpCode::StSuperFld || stFldInstr->m_opcode == Js::OpCode::StSuperFldStrict)
     {
         m_lowererMD.LoadHelperArgument(stFldInstr, stFldInstr->UnlinkSrc2());
     }
diff --git a/lib/Runtime/ByteCode/ByteCodeDumper.cpp b/lib/Runtime/ByteCode/ByteCodeDumper.cpp
@@ -767,12 +767,14 @@ namespace Js
                 break;
             }
             case OpCode::StSuperFld:
+            case OpCode::StSuperFldStrict:
             {
                 Output::Print(_u(" R%d.%s(this=R%d) = R%d #%d"), data->Instance, pPropertyName->GetBuffer(),
                     data->Value2, data->Value, data->PropertyIdIndex);
                 break;
             }
             case OpCode::ProfiledStSuperFld:
+            case OpCode::ProfiledStSuperFldStrict:
             {
                 Output::Print(_u(" R%d.%s(this=R%d) = R%d #%d"), data->Instance, pPropertyName->GetBuffer(),
                     data->Value2, data->Value, data->PropertyIdIndex);
diff --git a/lib/Runtime/ByteCode/ByteCodeEmitter.cpp b/lib/Runtime/ByteCode/ByteCodeEmitter.cpp
@@ -7006,7 +7006,8 @@ void EmitAssignment(
             Js::RegSlot tmpReg = byteCodeGenerator->EmitLdObjProto(Js::OpCode::LdHomeObjProto, lhs->AsParseNodeBin()->pnode1->location, funcInfo);
             funcInfo->ReleaseLoc(lhs->AsParseNodeSuperReference()->pnodeThis);
             uint cacheId = funcInfo->FindOrAddInlineCacheId(tmpReg, propertyId, false, true);
-            byteCodeGenerator->Writer()->PatchablePropertyWithThisPtr(Js::OpCode::StSuperFld, rhsLocation, tmpReg, lhs->AsParseNodeSuperReference()->pnodeThis->location, cacheId);
+            Js::OpCode stFldOpCode = funcInfo->GetIsStrictMode() ? Js::OpCode::StSuperFldStrict : Js::OpCode::StSuperFld;
+            byteCodeGenerator->Writer()->PatchablePropertyWithThisPtr(stFldOpCode, rhsLocation, tmpReg, lhs->AsParseNodeSuperReference()->pnodeThis->location, cacheId);
         }
         else
         {
diff --git a/lib/Runtime/ByteCode/ByteCodeWriter.cpp b/lib/Runtime/ByteCode/ByteCodeWriter.cpp
@@ -2155,6 +2155,7 @@ namespace Js
             }
             break;
         case OpCode::StSuperFld:
+        case OpCode::StSuperFldStrict:
             if (DoDynamicProfileOpcode(ProfileBasedFldFastPathPhase) ||
                 DoDynamicProfileOpcode(InlinePhase) ||
                 DoDynamicProfileOpcode(ObjTypeSpecPhase))
diff --git a/lib/Runtime/ByteCode/OpCodes.h b/lib/Runtime/ByteCode/OpCodes.h
@@ -424,6 +424,7 @@ MACRO_BACKEND_ONLY(     LdMethodFldPolyInlineMiss, ElementCP, OpSideEffect|OpOpn
 MACRO_WMS_PROFILED_OP_ROOT(LdRootMethodFld,   ElementRootCP,  OpSideEffect|OpOpndHasImplicitCall|OpFastFldInstr|OpPostOpDbgBailOut)   // Load call target from ScriptObject instance's direct field (access to let/const on root object)
 MACRO_WMS_PROFILED_OP(  StFld,                ElementCP,      OpSideEffect|OpOpndHasImplicitCall|OpFastFldInstr|OpPostOpDbgBailOut)   // Store into ScriptObject instance's direct field
 MACRO_EXTEND_WMS_AND_PROFILED_OP(StSuperFld,  ElementC2,      OpSideEffect|OpOpndHasImplicitCall|OpFastFldInstr|OpPostOpDbgBailOut)   // Store into ScriptObject super instance's direct field
+MACRO_EXTEND_WMS_AND_PROFILED_OP(StSuperFldStrict, ElementC2, OpSideEffect|OpOpndHasImplicitCall|OpFastFldInstr|OpPostOpDbgBailOut)   // Store into ScriptObject super instance's direct field (strict mode, super.x = ...)
 MACRO_WMS_PROFILED_OP_ROOT(StRootFld,         ElementRootCP,  OpSideEffect|OpOpndHasImplicitCall|OpFastFldInstr|OpPostOpDbgBailOut)   // Store into ScriptObject instance's direct field (access to let/const on root object)
 MACRO_WMS_PROFILED_OP(  StLocalFld,           ElementP,       OpSideEffect|OpOpndHasImplicitCall|OpFastFldInstr|OpPostOpDbgBailOut)   // Store into local activation object
 MACRO_WMS_PROFILED_OP(  StFldStrict,          ElementCP,      OpSideEffect|OpOpndHasImplicitCall|OpFastFldInstr|OpPostOpDbgBailOut)   // Store into ScriptObject instance's direct field (strict mode, a.x = ...)
diff --git a/lib/Runtime/Language/InterpreterHandler.inl b/lib/Runtime/Language/InterpreterHandler.inl
@@ -184,9 +184,11 @@ EXDEF3_WMS(CUSTOM_L_Value,          DeleteLocalFld,             OP_DeleteLocalFl
   DEF3_WMS(CUSTOM,                  StFld,                      OP_SetProperty, ElementCP)
   DEF3_WMS(CUSTOM,                  StLocalFld,                 OP_SetLocalProperty, ElementP)
 EXDEF3_WMS(CUSTOM_L_Value,          StSuperFld,                 OP_SetSuperProperty, ElementC2)
+EXDEF3_WMS(CUSTOM_L_Value,          StSuperFldStrict,           OP_SetSuperPropertyStrict, ElementC2)
   DEF3_WMS(CUSTOM,                  ProfiledStFld,              PROFILEDOP(OP_ProfiledSetProperty, OP_SetProperty), ElementCP)
   DEF3_WMS(CUSTOM,                  ProfiledStLocalFld,         PROFILEDOP(OP_ProfiledSetLocalProperty, OP_SetLocalProperty), ElementP)
 EXDEF3_WMS(CUSTOM_L_Value,          ProfiledStSuperFld,         PROFILEDOP(OP_ProfiledSetSuperProperty, OP_SetSuperProperty), ElementC2)
+EXDEF3_WMS(CUSTOM_L_Value,          ProfiledStSuperFldStrict,   PROFILEDOP(OP_ProfiledSetSuperPropertyStrict, OP_SetSuperPropertyStrict), ElementC2)
   DEF3_WMS(CUSTOM,                  StRootFld,                  OP_SetRootProperty, ElementRootCP)
   DEF3_WMS(CUSTOM,                  ProfiledStRootFld,          PROFILEDOP(OP_ProfiledSetRootProperty, OP_SetRootProperty), ElementRootCP)
   DEF3_WMS(CUSTOM,                  StFldStrict,                OP_SetPropertyStrict, ElementCP)
diff --git a/lib/Runtime/Language/InterpreterStackFrame.cpp b/lib/Runtime/Language/InterpreterStackFrame.cpp
@@ -4636,8 +4636,7 @@ namespace Js
             GetInlineCache(playout->PropertyIdIndex),
             playout->PropertyIdIndex,
             GetReg(playout->Value),
-            m_functionBody->GetIsStrictMode() ?
-            (PropertyOperationFlags)(flags | PropertyOperation_StrictMode) : flags,
+            flags,
             GetJavascriptFunction(),
             thisInstance);
     }
@@ -4661,6 +4660,12 @@ namespace Js
         DoSetSuperProperty(playout, GetReg(playout->Instance), PropertyOperation_None);
     }
 
+    template <class T>
+    void InterpreterStackFrame::OP_SetSuperPropertyStrict(unaligned T* playout)
+    {
+        DoSetSuperProperty(playout, GetReg(playout->Instance), PropertyOperation_StrictMode);
+    }
+
     template <class T>
     void InterpreterStackFrame::OP_ProfiledSetProperty(unaligned T* playout)
     {
@@ -4679,6 +4684,12 @@ namespace Js
         ProfiledSetSuperProperty<T, false>(playout, GetReg(playout->Instance), GetReg(playout->Value2), PropertyOperation_None);
     }
 
+    template <class T>
+    void InterpreterStackFrame::OP_ProfiledSetSuperPropertyStrict(unaligned T* playout)
+    {
+        ProfiledSetSuperProperty<T, false>(playout, GetReg(playout->Instance), GetReg(playout->Value2), PropertyOperation_StrictMode);
+    }
+
     template <class T>
     void InterpreterStackFrame::OP_SetRootProperty(unaligned T* playout)
     {
diff --git a/lib/Runtime/Language/InterpreterStackFrame.h b/lib/Runtime/Language/InterpreterStackFrame.h
@@ -563,9 +563,11 @@ namespace Js
         template <class T> void OP_SetProperty(unaligned T* playout);
         template <class T> void OP_SetLocalProperty(unaligned T* playout);
         template <class T> void OP_SetSuperProperty(unaligned T* playout);
+        template <class T> void OP_SetSuperPropertyStrict(unaligned T* playout);
         template <class T> void OP_ProfiledSetProperty(unaligned T* playout);
         template <class T> void OP_ProfiledSetLocalProperty(unaligned T* playout);
         template <class T> void OP_ProfiledSetSuperProperty(unaligned T* playout);
+        template <class T> void OP_ProfiledSetSuperPropertyStrict(unaligned T* playout);
         template <class T> void OP_SetRootProperty(unaligned T* playout);
         template <class T> void OP_ProfiledSetRootProperty(unaligned T* playout);
         template <class T> void OP_SetPropertyStrict(unaligned T* playout);
diff --git a/lib/Runtime/Language/ProfilingHelpers.cpp b/lib/Runtime/Language/ProfilingHelpers.cpp
@@ -1122,6 +1122,29 @@ using namespace Js;
         JIT_HELPER_END(ProfiledStSuperFld);
     }
 
+    void ProfilingHelpers::ProfiledStSuperFld_Strict_Jit(
+        const Var instance,
+        const PropertyId propertyId,
+        const InlineCacheIndex inlineCacheIndex,
+        const Var value,
+        void* const framePointer,
+        const Var thisInstance)
+    {
+        JIT_HELPER_REENTRANT_HEADER(ProfiledStSuperFld_Strict);
+        ScriptFunction* const scriptFunction =
+            UnsafeVarTo<ScriptFunction>(JavascriptCallStackLayout::FromFramePointer(framePointer)->functionObject);
+        ProfiledStFld<false>(
+            instance,
+            propertyId,
+            GetInlineCache(scriptFunction, inlineCacheIndex),
+            inlineCacheIndex,
+            value,
+            PropertyOperation_StrictMode,
+            scriptFunction,
+            thisInstance);
+        JIT_HELPER_END(ProfiledStSuperFld_Strict);
+    }
+
     void ProfilingHelpers::ProfiledStFld_Strict_Jit(
         const Var instance,
         const PropertyId propertyId,
diff --git a/lib/Runtime/Language/ProfilingHelpers.h b/lib/Runtime/Language/ProfilingHelpers.h
@@ -48,6 +48,7 @@ namespace Js
     public:
         static void ProfiledStFld_Jit(const Var instance, const PropertyId propertyId, const InlineCacheIndex inlineCacheIndex, const Var value, void *const framePointer);
         static void ProfiledStSuperFld_Jit(const Var instance, const PropertyId propertyId, const InlineCacheIndex inlineCacheIndex, const Var value, void *const framePointer, const Var thisInstance);
+        static void ProfiledStSuperFld_Strict_Jit(const Var instance, const PropertyId propertyId, const InlineCacheIndex inlineCacheIndex, const Var value, void* const framePointer, const Var thisInstance);
         static void ProfiledStFld_Strict_Jit(const Var instance, const PropertyId propertyId, const InlineCacheIndex inlineCacheIndex, const Var value, void *const framePointer);
         static void ProfiledStRootFld_Jit(const Var instance, const PropertyId propertyId, const InlineCacheIndex inlineCacheIndex, const Var value, void *const framePointer);
         static void ProfiledStRootFld_Strict_Jit(const Var instance, const PropertyId propertyId, const InlineCacheIndex inlineCacheIndex, const Var value, void *const framePointer);

Original file line number	Diff line number	Diff line change
`@@ -13636,6 +13636,7 @@ GlobOpt::CheckJsArrayKills(IR::Instr *const instr)`
`13636`	`13636`	`case Js::OpCode::StFld:`
`13637`	`13637`	`case Js::OpCode::StFldStrict:`
`13638`	`13638`	`case Js::OpCode::StSuperFld:`
	`13639`	`+ case Js::OpCode::StSuperFldStrict:`
`13639`	`13640`	`{`
`13640`	`13641`	`Assert(instr->GetDst());`
`13641`	`13642`
Original file line number	Diff line number	Diff line change
`@@ -1036,7 +1036,8 @@ bool IR::Instr::IsStFldVariant() const`
`1036`	`1036`	`this->m_opcode == Js::OpCode::StLocalFld \|\|`
`1037`	`1037`	`this->m_opcode == Js::OpCode::StRootFld \|\|`
`1038`	`1038`	`this->m_opcode == Js::OpCode::StRootFldStrict \|\|`
`1039`		`- this->m_opcode == Js::OpCode::StSuperFld;`
	`1039`	`+ this->m_opcode == Js::OpCode::StSuperFld \|\|`
	`1040`	`+ this->m_opcode == Js::OpCode::StSuperFldStrict;`
`1040`	`1041`	`}`
`1041`	`1042`
`1042`	`1043`	`bool IR::Instr::IsStElemVariant() const`
Original file line number	Diff line number	Diff line change
`@@ -767,12 +767,14 @@ namespace Js`
`767`	`767`	`break;`
`768`	`768`	`}`
`769`	`769`	`case OpCode::StSuperFld:`
	`770`	`+ case OpCode::StSuperFldStrict:`
`770`	`771`	`{`
`771`	`772`	`Output::Print(_u(" R%d.%s(this=R%d) = R%d #%d"), data->Instance, pPropertyName->GetBuffer(),`
`772`	`773`	`data->Value2, data->Value, data->PropertyIdIndex);`
`773`	`774`	`break;`
`774`	`775`	`}`
`775`	`776`	`case OpCode::ProfiledStSuperFld:`
	`777`	`+ case OpCode::ProfiledStSuperFldStrict:`
`776`	`778`	`{`
`777`	`779`	`Output::Print(_u(" R%d.%s(this=R%d) = R%d #%d"), data->Instance, pPropertyName->GetBuffer(),`
`778`	`780`	`data->Value2, data->Value, data->PropertyIdIndex);`
Original file line number	Diff line number	Diff line change
`@@ -7006,7 +7006,8 @@ void EmitAssignment(`
`7006`	`7006`	`Js::RegSlot tmpReg = byteCodeGenerator->EmitLdObjProto(Js::OpCode::LdHomeObjProto, lhs->AsParseNodeBin()->pnode1->location, funcInfo);`
`7007`	`7007`	`funcInfo->ReleaseLoc(lhs->AsParseNodeSuperReference()->pnodeThis);`
`7008`	`7008`	`uint cacheId = funcInfo->FindOrAddInlineCacheId(tmpReg, propertyId, false, true);`
`7009`		`- byteCodeGenerator->Writer()->PatchablePropertyWithThisPtr(Js::OpCode::StSuperFld, rhsLocation, tmpReg, lhs->AsParseNodeSuperReference()->pnodeThis->location, cacheId);`
	`7009`	`+ Js::OpCode stFldOpCode = funcInfo->GetIsStrictMode() ? Js::OpCode::StSuperFldStrict : Js::OpCode::StSuperFld;`
	`7010`	`+ byteCodeGenerator->Writer()->PatchablePropertyWithThisPtr(stFldOpCode, rhsLocation, tmpReg, lhs->AsParseNodeSuperReference()->pnodeThis->location, cacheId);`
`7010`	`7011`	`}`
`7011`	`7012`	`else`
`7012`	`7013`	`{`