From: Brian Sullivan Date: Thu, 20 Sep 2018 20:29:34 +0000 (-0700) Subject: Added methods VNLiberalNormalValue and VNConservativeNormalValue X-Git-Tag: submit/tizen/20210909.063632~11030^2~3841^2~1 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=f34c573bec7ce8ce26c9b09c1e79909410013b83;p=platform%2Fupstream%2Fdotnet%2Fruntime.git Added methods VNLiberalNormalValue and VNConservativeNormalValue Commit migrated from https://github.com/dotnet/coreclr/commit/854764f4837180046513449cd111349f0d82d8a5 --- diff --git a/src/coreclr/src/jit/rangecheck.cpp b/src/coreclr/src/jit/rangecheck.cpp index 95a007c..7f9020e 100644 --- a/src/coreclr/src/jit/rangecheck.cpp +++ b/src/coreclr/src/jit/rangecheck.cpp @@ -75,7 +75,7 @@ bool RangeCheck::BetweenBounds(Range& range, int lower, GenTree* upper) ValueNumStore* vnStore = m_pCompiler->vnStore; // Get the VN for the upper limit. - ValueNum uLimitVN = vnStore->VNNormalValue(upper->gtVNPair, VNK_Conservative); + ValueNum uLimitVN = vnStore->VNConservativeNormalValue(upper->gtVNPair); #ifdef DEBUG JITDUMP(FMT_VN " upper bound is: ", uLimitVN); @@ -208,8 +208,8 @@ void RangeCheck::OptimizeRangeCheck(BasicBlock* block, GenTree* stmt, GenTree* t GenTree* treeIndex = bndsChk->gtIndex; // Take care of constant index first, like a[2], for example. - ValueNum idxVn = m_pCompiler->vnStore->VNNormalValue(treeIndex->gtVNPair, VNK_Conservative); - ValueNum arrLenVn = m_pCompiler->vnStore->VNNormalValue(bndsChk->gtArrLen->gtVNPair, VNK_Conservative); + ValueNum idxVn = m_pCompiler->vnStore->VNConservativeNormalValue(treeIndex->gtVNPair); + ValueNum arrLenVn = m_pCompiler->vnStore->VNConservativeNormalValue(bndsChk->gtArrLen->gtVNPair); int arrSize = 0; if (m_pCompiler->vnStore->IsVNConstant(arrLenVn)) @@ -541,7 +541,7 @@ void RangeCheck::MergeEdgeAssertions(GenTreeLclVarCommon* lcl, ASSERT_VALARG_TP genTreeOps cmpOper = GT_NONE; LclSsaVarDsc* ssaData = m_pCompiler->lvaTable[lcl->gtLclNum].GetPerSsaData(lcl->gtSsaNum); - ValueNum normalLclVN = m_pCompiler->vnStore->VNNormalValue(ssaData->m_vnPair, VNK_Conservative); + ValueNum normalLclVN = m_pCompiler->vnStore->VNConservativeNormalValue(ssaData->m_vnPair); // Current assertion is of the form (i < len - cns) != 0 if (curAssertion->IsCheckedBoundArithBound()) @@ -626,7 +626,7 @@ void RangeCheck::MergeEdgeAssertions(GenTreeLclVarCommon* lcl, ASSERT_VALARG_TP } #endif - ValueNum arrLenVN = m_pCompiler->vnStore->VNNormalValue(m_pCurBndsChk->gtArrLen->gtVNPair, VNK_Conservative); + ValueNum arrLenVN = m_pCompiler->vnStore->VNConservativeNormalValue(m_pCurBndsChk->gtArrLen->gtVNPair); if (m_pCompiler->vnStore->IsVNConstant(arrLenVN)) { @@ -744,7 +744,7 @@ void RangeCheck::MergeEdgeAssertions(GenTreeLclVarCommon* lcl, ASSERT_VALARG_TP void RangeCheck::MergeAssertion(BasicBlock* block, GenTree* op, Range* pRange DEBUGARG(int indent)) { JITDUMP("Merging assertions from pred edges of " FMT_BB " for op [%06d] " FMT_VN "\n", block->bbNum, - Compiler::dspTreeID(op), m_pCompiler->vnStore->VNNormalValue(op->gtVNPair, VNK_Conservative)); + Compiler::dspTreeID(op), m_pCompiler->vnStore->VNConservativeNormalValue(op->gtVNPair)); ASSERT_TP assertions = BitVecOps::UninitVal(); // If we have a phi arg, we can get to the block from it and use its assertion out. @@ -1059,7 +1059,7 @@ Range RangeCheck::ComputeRange(BasicBlock* block, GenTree* expr, bool monotonic bool newlyAdded = !m_pSearchPath->Set(expr, block); Range range = Limit(Limit::keUndef); - ValueNum vn = m_pCompiler->vnStore->VNNormalValue(expr->gtVNPair, VNK_Conservative); + ValueNum vn = m_pCompiler->vnStore->VNConservativeNormalValue(expr->gtVNPair); // If newly added in the current search path, then reduce the budget. if (newlyAdded) { diff --git a/src/coreclr/src/jit/valuenum.cpp b/src/coreclr/src/jit/valuenum.cpp index 8b6d9c5..74ff493 100644 --- a/src/coreclr/src/jit/valuenum.cpp +++ b/src/coreclr/src/jit/valuenum.cpp @@ -3666,7 +3666,7 @@ ValueNum ValueNumStore::ExtendPtrVN(GenTree* opA, FieldSeqNode* fldSeq) #ifdef DEBUG // For PtrToLoc, lib == cons. VNFuncApp consFuncApp; - assert(GetVNFunc(VNNormalValue(opA->gtVNPair, VNK_Conservative), &consFuncApp) && consFuncApp.Equals(funcApp)); + assert(GetVNFunc(VNConservativeNormalValue(opA->gtVNPair), &consFuncApp) && consFuncApp.Equals(funcApp)); #endif ValueNum fldSeqVN = VNForFieldSeq(fldSeq); res = VNForFunc(TYP_BYREF, VNF_PtrToLoc, funcApp.m_args[0], FieldSeqVNAppend(funcApp.m_args[1], fldSeqVN)); @@ -6368,8 +6368,7 @@ void Compiler::fgValueNumberBlockAssignment(GenTree* tree) rhsVNPair = vnStore->VNPairApplySelectors(rhsVNPair, rhsFldSeq, indType); } } - else if (vnStore->GetVNFunc(vnStore->VNNormalValue(srcAddr->gtVNPair, VNK_Liberal), - &srcAddrFuncApp)) + else if (vnStore->GetVNFunc(vnStore->VNLiberalNormalValue(srcAddr->gtVNPair), &srcAddrFuncApp)) { if (srcAddrFuncApp.m_func == VNF_PtrToStatic) { @@ -7232,14 +7231,14 @@ void Compiler::fgValueNumberTree(GenTree* tree) if (obj != nullptr) { // construct the ValueNumber for 'fldMap at obj' - normVal = vnStore->VNNormalValue(obj->gtVNPair, VNK_Liberal); + normVal = vnStore->VNLiberalNormalValue(obj->gtVNPair); valAtAddr = vnStore->VNForMapSelect(VNK_Liberal, firstFieldType, fldMapVN, normVal); } else // (staticOffset != nullptr) { // construct the ValueNumber for 'fldMap at staticOffset' - normVal = vnStore->VNNormalValue(staticOffset->gtVNPair, VNK_Liberal); + normVal = vnStore->VNLiberalNormalValue(staticOffset->gtVNPair); valAtAddr = vnStore->VNForMapSelect(VNK_Liberal, firstFieldType, fldMapVN, normVal); } @@ -7502,7 +7501,7 @@ void Compiler::fgValueNumberTree(GenTree* tree) // We take the "VNNormalValue"s here, because if either has exceptional outcomes, they will be captured // as part of the value of the composite "addr" operation... - ValueNum arrVN = vnStore->VNNormalValue(arr->gtVNPair, VNK_Liberal); + ValueNum arrVN = vnStore->VNLiberalNormalValue(arr->gtVNPair); inxVN = vnStore->VNNormalValue(inxVN); // Additionally, relabel the address with a PtrToArrElem value number. @@ -7636,13 +7635,13 @@ void Compiler::fgValueNumberTree(GenTree* tree) if (obj != nullptr) { // construct the ValueNumber for 'fldMap at obj' - ValueNum objNormVal = vnStore->VNNormalValue(obj->gtVNPair, VNK_Liberal); + ValueNum objNormVal = vnStore->VNLiberalNormalValue(obj->gtVNPair); valAtAddr = vnStore->VNForMapSelect(VNK_Liberal, firstFieldType, fldMapVN, objNormVal); } else if (staticOffset != nullptr) { // construct the ValueNumber for 'fldMap at staticOffset' - ValueNum offsetNormVal = vnStore->VNNormalValue(staticOffset->gtVNPair, VNK_Liberal); + ValueNum offsetNormVal = vnStore->VNLiberalNormalValue(staticOffset->gtVNPair); valAtAddr = vnStore->VNForMapSelect(VNK_Liberal, firstFieldType, fldMapVN, offsetNormVal); } diff --git a/src/coreclr/src/jit/valuenum.h b/src/coreclr/src/jit/valuenum.h index b66f0d2..cc21168 100644 --- a/src/coreclr/src/jit/valuenum.h +++ b/src/coreclr/src/jit/valuenum.h @@ -421,6 +421,20 @@ public: // The Normal value is the value number of the expression when no exceptions occurred ValueNum VNNormalValue(ValueNumPair vnp, ValueNumKind vnk); + // Given a "vnp", get the NormalValuew for the VNK_Liberal part of that ValueNum + // The Normal value is the value number of the expression when no exceptions occurred + inline ValueNum VNLiberalNormalValue(ValueNumPair vnp) + { + return VNNormalValue(vnp, VNK_Liberal); + } + + // Given a "vnp", get the NormalValuew for the VNK_Conservative part of that ValueNum + // The Normal value is the value number of the expression when no exceptions occurred + inline ValueNum VNConservativeNormalValue(ValueNumPair vnp) + { + return VNNormalValue(vnp, VNK_Conservative); + } + // Given a "vnp", get the Normal values for both the liberal and conservative parts of "vnp" // The Normal value is the value number of the expression when no exceptions occurred ValueNumPair VNPNormalPair(ValueNumPair vnp);