Improve modelling of AsyncResumedDef store in value numbering

In VN we set the value of all call defs to unknown here:

Lines 14952 to 14962 in 72dac24

    
           // If the call generates any definitions, for example because it uses "return buffer", then VN the local 
        
           // as well. 
        
           auto visitDef = [=](const LocalDef& def) { 
        
               ValueNumPair storeValue; 
        
               storeValue.SetBoth(vnStore->VNForExpr(compCurBB, lvaGetDesc(def.Def->AsLclVarCommon())->TypeGet())); 
        
               fgValueNumberLocalStore(call, def.Def, def.Offset, def.Size, storeValue); 
        
               return GenTree::VisitResult::Continue; 
        
           }; 
        
           call->VisitLocalDefs(this, visitDef);

However, in two scenarios we do know the value of AsyncResumedDef:

If this is an always-suspending call, then the value will be 1 after
If this is dominated by an always-suspending call (i.e. resumed is already known to be constant 1) then the value will also be 1 after

We should be able to model this.

@JulieLeeMSFT

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.

JIT: Improve modelling of AsyncResumedDef store in value numbering

Navigation Menu

Repository navigation

Improve modelling of `AsyncResumedDef` store in value numbering #131576

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

	// If the call generates any definitions, for example because it uses "return buffer", then VN the local
	// as well.
	auto visitDef = [=](const LocalDef& def) {
	ValueNumPair storeValue;
	storeValue.SetBoth(vnStore->VNForExpr(compCurBB, lvaGetDesc(def.Def->AsLclVarCommon())->TypeGet()));

	fgValueNumberLocalStore(call, def.Def, def.Offset, def.Size, storeValue);
	return GenTree::VisitResult::Continue;
	};

	call->VisitLocalDefs(this, visitDef);

Improve modelling of AsyncResumedDef store in value numbering #131576

Description

Activity

dotnet-policy-service commented on Jul 30, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

Improve modelling of `AsyncResumedDef` store in value numbering #131576