@@ -6655,17 +6655,7 @@ GenTree* Compiler::fgMorphField(GenTree* tree, MorphAddrContext* mac)
6655
6655
#endif
6656
6656
6657
6657
// We expect 'addr' to be an address at this point.
6658
- // But there are also cases where we can see a GT_LCL_FLD or a GT_LCL_VAR:
6659
- //
6660
- // [001076] ----G------- /--* FIELD long m_constArray
6661
- // [001072] ----G------- | \--* ADDR byref
6662
- // [001073] ----G------- | \--* FIELD struct blob
6663
- // [001074] ------------ | \--* ADDR byref
6664
- // [001075] ------------ | \--* LCL_VAR struct V18 loc11
6665
- //
6666
- //
6667
- assert((addr->TypeGet() == TYP_BYREF) || (addr->TypeGet() == TYP_I_IMPL) || (addr->OperGet() == GT_LCL_FLD) ||
6668
- (addr->OperGet() == GT_LCL_VAR));
6658
+ assert(addr->TypeGet() == TYP_BYREF || addr->TypeGet() == TYP_I_IMPL);
6669
6659
6670
6660
// Since we don't make a constant zero to attach the field sequence to, associate it with the "addr" node.
6671
6661
FieldSeqNode* fieldSeq =
@@ -6677,13 +6667,10 @@ GenTree* Compiler::fgMorphField(GenTree* tree, MorphAddrContext* mac)
6677
6667
GenTree* result = fgMorphSmpOp(tree, mac);
6678
6668
6679
6669
#ifdef DEBUG
6680
- if (fldOffset == 0 )
6670
+ if (verbose )
6681
6671
{
6682
- if (verbose)
6683
- {
6684
- printf("\nAfter calling fgMorphSmpOp (zero fldOffset case):\n");
6685
- gtDispTree(result);
6686
- }
6672
+ printf("\nFinal value of Compiler::fgMorphField after calling fgMorphSmpOp:\n");
6673
+ gtDispTree(result);
6687
6674
}
6688
6675
#endif
6689
6676
@@ -13517,7 +13504,7 @@ GenTree* Compiler::fgMorphSmpOp(GenTree* tree, MorphAddrContext* mac)
13517
13504
}
13518
13505
else
13519
13506
{
13520
- // Append 'fieldSeq' to the exsisting one
13507
+ // Append 'fieldSeq' to the existing one
13521
13508
temp->AsLclFld()->gtFieldSeq =
13522
13509
GetFieldSeqStore()->Append(temp->AsLclFld()->gtFieldSeq, fieldSeq);
13523
13510
}
@@ -18765,17 +18752,7 @@ class LocalAddressVisitor final : public GenTreeVisitor<LocalAddressVisitor>
18765
18752
void Compiler::fgAddFieldSeqForZeroOffset(GenTree* addr, FieldSeqNode* fieldSeqZero)
18766
18753
{
18767
18754
// We expect 'addr' to be an address at this point.
18768
- // But there are also cases where we can see a GT_LCL_FLD or a GT_LCL_VAR:
18769
- //
18770
- // [001076] ----G------- /--* FIELD long m_constArray
18771
- // [001072] ----G------- | \--* ADDR byref
18772
- // [001073] ----G------- | \--* FIELD struct blob
18773
- // [001074] ------------ | \--* ADDR byref
18774
- // [001075] ------------ | \--* LCL_VAR struct V18 loc11
18775
- //
18776
- //
18777
- assert(addr->TypeGet() == TYP_BYREF || addr->TypeGet() == TYP_I_IMPL || addr->OperGet() == GT_LCL_FLD ||
18778
- addr->OperGet() == GT_LCL_VAR);
18755
+ assert(addr->TypeGet() == TYP_BYREF || addr->TypeGet() == TYP_I_IMPL);
18779
18756
18780
18757
FieldSeqNode* fieldSeqUpdate = fieldSeqZero;
18781
18758
GenTree* fieldSeqNode = addr;
0 commit comments