mirror of https://github.com/icsharpcode/ILSpy.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
958 lines
37 KiB
958 lines
37 KiB
// Copyright (c) 2017 Daniel Grunwald |
|
// |
|
// Permission is hereby granted, free of charge, to any person obtaining a copy of this |
|
// software and associated documentation files (the "Software"), to deal in the Software |
|
// without restriction, including without limitation the rights to use, copy, modify, merge, |
|
// publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons |
|
// to whom the Software is furnished to do so, subject to the following conditions: |
|
// |
|
// The above copyright notice and this permission notice shall be included in all copies or |
|
// substantial portions of the Software. |
|
// |
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, |
|
// INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR |
|
// PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE |
|
// FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR |
|
// OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
|
// DEALINGS IN THE SOFTWARE. |
|
|
|
using ICSharpCode.Decompiler.CSharp; |
|
using ICSharpCode.Decompiler.IL.Transforms; |
|
using ICSharpCode.Decompiler.TypeSystem; |
|
using ICSharpCode.Decompiler.Util; |
|
using System; |
|
using System.Collections.Generic; |
|
using System.Diagnostics; |
|
using System.Linq; |
|
using System.Reflection.Metadata; |
|
|
|
namespace ICSharpCode.Decompiler.IL.ControlFlow |
|
{ |
|
/// <summary> |
|
/// Decompiler step for C# 5 async/await. |
|
/// </summary> |
|
class AsyncAwaitDecompiler : IILTransform |
|
{ |
|
public static bool IsCompilerGeneratedStateMachine(TypeDefinitionHandle type, MetadataReader metadata) |
|
{ |
|
TypeDefinition td; |
|
if (type.IsNil || !type.IsCompilerGenerated(metadata) || (td = metadata.GetTypeDefinition(type)).GetDeclaringType().IsNil) |
|
return false; |
|
foreach (var i in td.GetInterfaceImplementations()) { |
|
var tr = metadata.GetInterfaceImplementation(i).Interface.GetFullTypeName(metadata); |
|
if (!tr.IsNested && tr.TopLevelTypeName.Namespace == "System.Runtime.CompilerServices" && tr.TopLevelTypeName.Name == "IAsyncStateMachine") |
|
return true; |
|
} |
|
return false; |
|
} |
|
|
|
public static bool IsCompilerGeneratedMainMethod(Metadata.PEFile module, MethodDefinitionHandle method) |
|
{ |
|
var metadata = module.Metadata; |
|
var definition = metadata.GetMethodDefinition(method); |
|
var entrypoint = System.Reflection.Metadata.Ecma335.MetadataTokens.MethodDefinitionHandle(module.Reader.PEHeaders.CorHeader.EntryPointTokenOrRelativeVirtualAddress); |
|
return method == entrypoint && metadata.GetString(definition.Name).Equals("<Main>", StringComparison.Ordinal); |
|
} |
|
|
|
enum AsyncMethodType |
|
{ |
|
Void, |
|
Task, |
|
TaskOfT |
|
} |
|
|
|
ILTransformContext context; |
|
MetadataReader metadata; |
|
|
|
// These fields are set by MatchTaskCreationPattern() |
|
IType taskType; // return type of the async method |
|
IType underlyingReturnType; // return type of the method (only the "T" for Task{T}) |
|
AsyncMethodType methodType; |
|
ITypeDefinition stateMachineType; |
|
ITypeDefinition builderType; |
|
IField builderField; |
|
IField stateField; |
|
int initialState; |
|
Dictionary<IField, ILVariable> fieldToParameterMap = new Dictionary<IField, ILVariable>(); |
|
Dictionary<ILVariable, ILVariable> cachedFieldToParameterMap = new Dictionary<ILVariable, ILVariable>(); |
|
|
|
// These fields are set by AnalyzeMoveNext(): |
|
ILFunction moveNextFunction; |
|
ILVariable cachedStateVar; // variable in MoveNext that caches the stateField. |
|
TryCatch mainTryCatch; |
|
Block setResultAndExitBlock; // block that is jumped to for return statements |
|
int finalState; // final state after the setResultAndExitBlock |
|
ILVariable resultVar; // the variable that gets returned by the setResultAndExitBlock |
|
ILVariable doFinallyBodies; |
|
|
|
// These fields are set by AnalyzeStateMachine(): |
|
int smallestAwaiterVarIndex; |
|
HashSet<Leave> moveNextLeaves = new HashSet<Leave>(); |
|
|
|
// For each block containing an 'await', stores the awaiter variable, and the field storing the awaiter |
|
// across the yield point. |
|
Dictionary<Block, (ILVariable awaiterVar, IField awaiterField)> awaitBlocks = new Dictionary<Block, (ILVariable awaiterVar, IField awaiterField)>(); |
|
|
|
public void Run(ILFunction function, ILTransformContext context) |
|
{ |
|
if (!context.Settings.AsyncAwait) |
|
return; // abort if async/await decompilation is disabled |
|
this.context = context; |
|
this.metadata = context.TypeSystem.GetMetadata(); |
|
fieldToParameterMap.Clear(); |
|
cachedFieldToParameterMap.Clear(); |
|
awaitBlocks.Clear(); |
|
moveNextLeaves.Clear(); |
|
if (!MatchTaskCreationPattern(function)) |
|
return; |
|
try { |
|
AnalyzeMoveNext(); |
|
ValidateCatchBlock(); |
|
} catch (SymbolicAnalysisFailedException) { |
|
return; |
|
} |
|
|
|
InlineBodyOfMoveNext(function); |
|
function.CheckInvariant(ILPhase.InAsyncAwait); |
|
CleanUpBodyOfMoveNext(function); |
|
function.CheckInvariant(ILPhase.InAsyncAwait); |
|
|
|
AnalyzeStateMachine(function); |
|
DetectAwaitPattern(function); |
|
CleanDoFinallyBodies(function); |
|
|
|
context.Step("Translate fields to local accesses", function); |
|
MarkGeneratedVariables(function); |
|
YieldReturnDecompiler.TranslateFieldsToLocalAccess(function, function, fieldToParameterMap); |
|
TranslateCachedFieldsToLocals(); |
|
|
|
FinalizeInlineMoveNext(function); |
|
((BlockContainer)function.Body).ExpectedResultType = underlyingReturnType.GetStackType(); |
|
|
|
// Re-run control flow simplification over the newly constructed set of gotos, |
|
// and inlining because TranslateFieldsToLocalAccess() might have opened up new inlining opportunities. |
|
function.RunTransforms(CSharpDecompiler.EarlyILTransforms(), context); |
|
|
|
AwaitInCatchTransform.Run(function, context); |
|
AwaitInFinallyTransform.Run(function, context); |
|
} |
|
|
|
private void CleanUpBodyOfMoveNext(ILFunction function) |
|
{ |
|
context.StepStartGroup("CleanUpBodyOfMoveNext", function); |
|
// Copy-propagate stack slots holding an 'ldloca': |
|
foreach (var stloc in function.Descendants.OfType<StLoc>().Where(s => s.Variable.Kind == VariableKind.StackSlot && s.Variable.IsSingleDefinition && s.Value is LdLoca).ToList()) { |
|
CopyPropagation.Propagate(stloc, context); |
|
} |
|
|
|
// Simplify stobj(ldloca) -> stloc |
|
foreach (var stobj in function.Descendants.OfType<StObj>()) { |
|
EarlyExpressionTransforms.StObjToStLoc(stobj, context); |
|
} |
|
|
|
// Copy-propagate temporaries holding a copy of 'this'. |
|
foreach (var stloc in function.Descendants.OfType<StLoc>().Where(s => s.Variable.IsSingleDefinition && s.Value.MatchLdThis()).ToList()) { |
|
CopyPropagation.Propagate(stloc, context); |
|
} |
|
new RemoveDeadVariableInit().Run(function, context); |
|
// Run inlining, but don't remove dead variables (they might get revived by TranslateFieldsToLocalAccess) |
|
foreach (var block in function.Descendants.OfType<Block>()) { |
|
ILInlining.InlineAllInBlock(function, block, context); |
|
} |
|
context.StepEndGroup(); |
|
} |
|
|
|
#region MatchTaskCreationPattern |
|
bool MatchTaskCreationPattern(ILFunction function) |
|
{ |
|
if (!(function.Body is BlockContainer blockContainer)) |
|
return false; |
|
if (blockContainer.Blocks.Count != 1) |
|
return false; |
|
var body = blockContainer.EntryPoint.Instructions; |
|
if (body.Count < 5) |
|
return false; |
|
/* Example: |
|
V_0 is an instance of the compiler-generated struct/class, |
|
V_1 is an instance of the builder struct/class |
|
Block IL_0000 (incoming: 1) { |
|
stobj System.Runtime.CompilerServices.AsyncVoidMethodBuilder(ldflda [Field ICSharpCode.Decompiler.Tests.TestCases.Pretty.Async+<AwaitYield>d__3.<>t__builder](ldloca V_0), call Create()) |
|
stobj System.Int32(ldflda [Field ICSharpCode.Decompiler.Tests.TestCases.Pretty.Async+<AwaitYield>d__3.<>1__state](ldloca V_0), ldc.i4 -1) |
|
stloc V_1(ldobj System.Runtime.CompilerServices.AsyncVoidMethodBuilder(ldflda [Field ICSharpCode.Decompiler.Tests.TestCases.Pretty.Async+<AwaitYield>d__3.<>t__builder](ldloc V_0))) |
|
call Start(ldloca V_1, ldloca V_0) |
|
leave IL_0000 (or ret for non-void async methods) |
|
} |
|
*/ |
|
|
|
// Check the second-to-last instruction (the start call) first, as we can get the most information from that |
|
if (!(body[body.Count - 2] is Call startCall)) |
|
return false; |
|
if (startCall.Method.Name != "Start") |
|
return false; |
|
taskType = function.Method.ReturnType; |
|
builderType = startCall.Method.DeclaringTypeDefinition; |
|
const string ns = "System.Runtime.CompilerServices"; |
|
if (taskType.IsKnownType(KnownTypeCode.Void)) { |
|
methodType = AsyncMethodType.Void; |
|
underlyingReturnType = taskType; |
|
if (builderType?.FullTypeName != new TopLevelTypeName(ns, "AsyncVoidMethodBuilder")) |
|
return false; |
|
} else if (taskType.IsKnownType(KnownTypeCode.Task)) { |
|
methodType = AsyncMethodType.Task; |
|
underlyingReturnType = context.TypeSystem.Compilation.FindType(KnownTypeCode.Void); |
|
if (builderType?.FullTypeName != new TopLevelTypeName(ns, "AsyncTaskMethodBuilder", 0)) |
|
return false; |
|
} else if (taskType.IsKnownType(KnownTypeCode.TaskOfT)) { |
|
methodType = AsyncMethodType.TaskOfT; |
|
underlyingReturnType = TaskType.UnpackTask(context.TypeSystem.Compilation, taskType); |
|
if (builderType?.FullTypeName != new TopLevelTypeName(ns, "AsyncTaskMethodBuilder", 1)) |
|
return false; |
|
} else { |
|
return false; // TODO: generalized async return type |
|
} |
|
if (startCall.Arguments.Count != 2) |
|
return false; |
|
if (!startCall.Arguments[0].MatchLdLocRef(out ILVariable builderVar)) |
|
return false; |
|
if (!startCall.Arguments[1].MatchLdLoca(out ILVariable stateMachineVar)) |
|
return false; |
|
stateMachineType = stateMachineVar.Type.GetDefinition(); |
|
if (stateMachineType == null) |
|
return false; |
|
|
|
// Check third-to-last instruction (copy of builder) |
|
// stloc builder(ldfld StateMachine::<>t__builder(ldloc stateMachine)) |
|
if (!body[body.Count - 3].MatchStLoc(builderVar, out var loadBuilderExpr)) |
|
return false; |
|
if (!loadBuilderExpr.MatchLdFld(out var loadStateMachineForBuilderExpr, out builderField)) |
|
return false; |
|
builderField = (IField)builderField.MemberDefinition; |
|
if (!(loadStateMachineForBuilderExpr.MatchLdLocRef(stateMachineVar) || loadStateMachineForBuilderExpr.MatchLdLoc(stateMachineVar))) |
|
return false; |
|
|
|
// Check the last instruction (ret) |
|
if (methodType == AsyncMethodType.Void) { |
|
if (!body.Last().MatchLeave(blockContainer)) |
|
return false; |
|
} else { |
|
// ret(call(AsyncTaskMethodBuilder::get_Task, ldflda(StateMachine::<>t__builder, ldloca(stateMachine)))) |
|
if (!body.Last().MatchReturn(out var returnValue)) |
|
return false; |
|
if (!MatchCall(returnValue, "get_Task", out var getTaskArgs) || getTaskArgs.Count != 1) |
|
return false; |
|
ILInstruction target; |
|
IField builderField2; |
|
if (builderType.IsReferenceType == true) { |
|
if (!getTaskArgs[0].MatchLdFld(out target, out builderField2)) |
|
return false; |
|
} else { |
|
if (!getTaskArgs[0].MatchLdFlda(out target, out builderField2)) |
|
return false; |
|
} |
|
if (builderField2.MemberDefinition != builderField) |
|
return false; |
|
if (!target.MatchLdLocRef(stateMachineVar)) |
|
return false; |
|
} |
|
|
|
// Check the last field assignment - this should be the state field |
|
// stfld <>1__state(ldloca stateField, ldc.i4 -1) |
|
if (!MatchStFld(body[body.Count - 4], stateMachineVar, out stateField, out var initialStateExpr)) |
|
return false; |
|
if (!initialStateExpr.MatchLdcI4(out initialState)) |
|
return false; |
|
if (initialState != -1) |
|
return false; |
|
|
|
// Check the second-to-last field assignment - this should be the builder field |
|
// stfld StateMachine.builder(ldloca stateMachine, call Create()) |
|
if (!MatchStFld(body[body.Count - 5], stateMachineVar, out var builderField3, out var builderInitialization)) |
|
return false; |
|
if (builderField3 != builderField) |
|
return false; |
|
if (!(builderInitialization is Call createCall)) |
|
return false; |
|
if (createCall.Method.Name != "Create" || createCall.Arguments.Count != 0) |
|
return false; |
|
|
|
int pos = 0; |
|
if (stateMachineType.Kind == TypeKind.Class) { |
|
// If state machine is a class, the first instruction creates an instance: |
|
// stloc stateMachine(newobj StateMachine.ctor()) |
|
if (!body[pos].MatchStLoc(stateMachineVar, out var init)) |
|
return false; |
|
if (!(init is NewObj newobj && newobj.Arguments.Count == 0 && newobj.Method.DeclaringTypeDefinition == stateMachineType)) |
|
return false; |
|
pos++; |
|
} |
|
for (; pos < body.Count - 5; pos++) { |
|
// stfld StateMachine.field(ldloca stateMachine, ldvar(param)) |
|
if (!MatchStFld(body[pos], stateMachineVar, out var field, out var fieldInit)) |
|
return false; |
|
if (!fieldInit.MatchLdLoc(out var v)) |
|
return false; |
|
if (v.Kind != VariableKind.Parameter) |
|
return false; |
|
fieldToParameterMap[field] = v; |
|
} |
|
|
|
return true; |
|
} |
|
|
|
/// <summary> |
|
/// Matches a (potentially virtual) instance method call. |
|
/// </summary> |
|
static bool MatchCall(ILInstruction inst, string name, out InstructionCollection<ILInstruction> args) |
|
{ |
|
if (inst is CallInstruction call && (call.OpCode == OpCode.Call || call.OpCode == OpCode.CallVirt) |
|
&& call.Method.Name == name && !call.Method.IsStatic) |
|
{ |
|
args = call.Arguments; |
|
return args.Count > 0; |
|
} |
|
args = null; |
|
return false; |
|
} |
|
|
|
/// <summary> |
|
/// Matches a store to the state machine. |
|
/// </summary> |
|
static bool MatchStFld(ILInstruction stfld, ILVariable stateMachineVar, out IField field, out ILInstruction value) |
|
{ |
|
if (!stfld.MatchStFld(out var target, out field, out value)) |
|
return false; |
|
field = field.MemberDefinition as IField; |
|
return field != null && target.MatchLdLocRef(stateMachineVar); |
|
} |
|
#endregion |
|
|
|
#region AnalyzeMoveNext |
|
/// <summary> |
|
/// First peek into MoveNext(); analyzes everything outside the big try-catch. |
|
/// </summary> |
|
void AnalyzeMoveNext() |
|
{ |
|
if (stateMachineType.MetadataToken.IsNil) |
|
throw new SymbolicAnalysisFailedException(); |
|
var moveNextMethod = metadata.GetTypeDefinition((TypeDefinitionHandle)stateMachineType.MetadataToken).GetMethods().FirstOrDefault(f => metadata.GetString(metadata.GetMethodDefinition(f).Name)== "MoveNext"); |
|
if (moveNextMethod == null) |
|
throw new SymbolicAnalysisFailedException(); |
|
moveNextFunction = YieldReturnDecompiler.CreateILAst(moveNextMethod, context); |
|
if (!(moveNextFunction.Body is BlockContainer blockContainer)) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (blockContainer.Blocks.Count != 2) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (blockContainer.EntryPoint.IncomingEdgeCount != 1) |
|
throw new SymbolicAnalysisFailedException(); |
|
int pos = 0; |
|
if (blockContainer.EntryPoint.Instructions[0].MatchStLoc(out cachedStateVar, out var cachedStateInit)) { |
|
// stloc(cachedState, ldfld(valuetype StateMachineStruct::<>1__state, ldloc(this))) |
|
if (!cachedStateInit.MatchLdFld(out var target, out var loadedField)) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (!target.MatchLdThis()) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (loadedField.MemberDefinition != stateField) |
|
throw new SymbolicAnalysisFailedException(); |
|
++pos; |
|
} |
|
while (blockContainer.EntryPoint.Instructions[pos] is StLoc stloc) { |
|
// stloc V_1(ldfld <>4__this(ldloc this)) |
|
if (!stloc.Variable.IsSingleDefinition) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (!stloc.Value.MatchLdFld(out var target, out var field)) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (!target.MatchLdThis()) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (!fieldToParameterMap.TryGetValue((IField)field.MemberDefinition, out var param)) |
|
throw new SymbolicAnalysisFailedException(); |
|
cachedFieldToParameterMap[stloc.Variable] = param; |
|
pos++; |
|
} |
|
mainTryCatch = blockContainer.EntryPoint.Instructions[pos] as TryCatch; |
|
if (mainTryCatch == null) |
|
throw new SymbolicAnalysisFailedException(); |
|
// CatchHandler will be validated in ValidateCatchBlock() |
|
|
|
if (((BlockContainer)mainTryCatch.TryBlock).EntryPoint.Instructions[0] is StLoc initDoFinallyBodies |
|
&& initDoFinallyBodies.Variable.Kind == VariableKind.Local |
|
&& initDoFinallyBodies.Variable.Type.IsKnownType(KnownTypeCode.Boolean) |
|
&& initDoFinallyBodies.Value.MatchLdcI4(1)) |
|
{ |
|
doFinallyBodies = initDoFinallyBodies.Variable; |
|
} |
|
|
|
setResultAndExitBlock = blockContainer.Blocks[1]; |
|
// stobj System.Int32(ldflda [Field ICSharpCode.Decompiler.Tests.TestCases.Pretty.Async+<SimpleBoolTaskMethod>d__7.<>1__state](ldloc this), ldc.i4 -2) |
|
// call SetResult(ldflda [Field ICSharpCode.Decompiler.Tests.TestCases.Pretty.Async+<SimpleBoolTaskMethod>d__7.<>t__builder](ldloc this), ldloc result) |
|
// leave IL_0000 |
|
if (setResultAndExitBlock.Instructions.Count != 3) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (!MatchStateAssignment(setResultAndExitBlock.Instructions[0], out finalState)) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (!MatchCall(setResultAndExitBlock.Instructions[1], "SetResult", out var args)) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (!IsBuilderFieldOnThis(args[0])) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (methodType == AsyncMethodType.TaskOfT) { |
|
if (args.Count != 2) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (!args[1].MatchLdLoc(out resultVar)) |
|
throw new SymbolicAnalysisFailedException(); |
|
} else { |
|
resultVar = null; |
|
if (args.Count != 1) |
|
throw new SymbolicAnalysisFailedException(); |
|
} |
|
if (!setResultAndExitBlock.Instructions[2].MatchLeave(blockContainer)) |
|
throw new SymbolicAnalysisFailedException(); |
|
} |
|
|
|
void ValidateCatchBlock() |
|
{ |
|
// catch E_143 : System.Exception if (ldc.i4 1) BlockContainer { |
|
// Block IL_008f (incoming: 1) { |
|
// stloc exception(ldloc E_143) |
|
// stfld <>1__state(ldloc this, ldc.i4 -2) |
|
// call SetException(ldfld <>t__builder(ldloc this), ldloc exception) |
|
// leave IL_0000 |
|
// } |
|
// } |
|
if (mainTryCatch?.Handlers.Count != 1) |
|
throw new SymbolicAnalysisFailedException(); |
|
var handler = mainTryCatch.Handlers[0]; |
|
if (!handler.Variable.Type.IsKnownType(KnownTypeCode.Exception)) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (!handler.Filter.MatchLdcI4(1)) |
|
throw new SymbolicAnalysisFailedException(); |
|
var catchBlock = YieldReturnDecompiler.SingleBlock(handler.Body); |
|
if (catchBlock?.Instructions.Count != 4) |
|
throw new SymbolicAnalysisFailedException(); |
|
// stloc exception(ldloc E_143) |
|
if (!(catchBlock.Instructions[0] is StLoc stloc)) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (!stloc.Value.MatchLdLoc(handler.Variable)) |
|
throw new SymbolicAnalysisFailedException(); |
|
// stfld <>1__state(ldloc this, ldc.i4 -2) |
|
if (!MatchStateAssignment(catchBlock.Instructions[1], out int newState) || newState != finalState) |
|
throw new SymbolicAnalysisFailedException(); |
|
// call SetException(ldfld <>t__builder(ldloc this), ldloc exception) |
|
if (!MatchCall(catchBlock.Instructions[2], "SetException", out var args)) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (args.Count != 2) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (!IsBuilderFieldOnThis(args[0])) |
|
throw new SymbolicAnalysisFailedException(); |
|
if (!args[1].MatchLdLoc(stloc.Variable)) |
|
throw new SymbolicAnalysisFailedException(); |
|
// leave IL_0000 |
|
if (!catchBlock.Instructions[3].MatchLeave((BlockContainer)moveNextFunction.Body)) |
|
throw new SymbolicAnalysisFailedException(); |
|
} |
|
|
|
bool IsBuilderFieldOnThis(ILInstruction inst) |
|
{ |
|
IField field; |
|
ILInstruction target; |
|
if (builderType.IsReferenceType == true) { |
|
// ldfld(StateMachine::<>t__builder, ldloc(this)) |
|
if (!inst.MatchLdFld(out target, out field)) |
|
return false; |
|
} else { |
|
// ldflda(StateMachine::<>t__builder, ldloc(this)) |
|
if (!inst.MatchLdFlda(out target, out field)) |
|
return false; |
|
} |
|
return target.MatchLdThis() && field.MemberDefinition == builderField; |
|
} |
|
|
|
bool MatchStateAssignment(ILInstruction inst, out int newState) |
|
{ |
|
// stfld(StateMachine::<>1__state, ldloc(this), ldc.i4(stateId)) |
|
if (inst.MatchStFld(out var target, out var field, out var value) |
|
&& target.MatchLdThis() |
|
&& field.MemberDefinition == stateField |
|
&& value.MatchLdcI4(out newState)) |
|
{ |
|
return true; |
|
} |
|
newState = 0; |
|
return false; |
|
} |
|
#endregion |
|
|
|
#region InlineBodyOfMoveNext |
|
void InlineBodyOfMoveNext(ILFunction function) |
|
{ |
|
context.Step("Inline body of MoveNext()", function); |
|
function.Body = mainTryCatch.TryBlock; |
|
function.AsyncReturnType = underlyingReturnType; |
|
moveNextFunction.Variables.Clear(); |
|
moveNextFunction.ReleaseRef(); |
|
foreach (var branch in function.Descendants.OfType<Branch>()) { |
|
if (branch.TargetBlock == setResultAndExitBlock) { |
|
branch.ReplaceWith(new Leave((BlockContainer)function.Body, resultVar == null ? null : new LdLoc(resultVar)) { |
|
ILRange = branch.ILRange |
|
}); |
|
} |
|
} |
|
foreach (var leave in function.Descendants.OfType<Leave>()) { |
|
if (leave.TargetContainer == moveNextFunction.Body) { |
|
leave.TargetContainer = (BlockContainer)function.Body; |
|
moveNextLeaves.Add(leave); |
|
} |
|
} |
|
function.Variables.AddRange(function.Descendants.OfType<IInstructionWithVariableOperand>().Select(inst => inst.Variable).Distinct()); |
|
function.Variables.RemoveDead(); |
|
function.Variables.AddRange(fieldToParameterMap.Values); |
|
} |
|
|
|
void FinalizeInlineMoveNext(ILFunction function) |
|
{ |
|
context.Step("FinalizeInlineMoveNext()", function); |
|
foreach (var leave in function.Descendants.OfType<Leave>()) { |
|
if (moveNextLeaves.Contains(leave)) { |
|
leave.ReplaceWith(new InvalidBranch { |
|
Message = "leave MoveNext - await not detected correctly", |
|
ILRange = leave.ILRange |
|
}); |
|
} |
|
} |
|
// Delete dead loads of the state cache variable: |
|
foreach (var block in function.Descendants.OfType<Block>()) { |
|
for (int i = block.Instructions.Count - 1; i >= 0; i--) { |
|
if (block.Instructions[i].MatchStLoc(out var v, out var value) |
|
&& v.IsSingleDefinition && v.LoadCount == 0 |
|
&& value.MatchLdLoc(cachedStateVar)) |
|
{ |
|
block.Instructions.RemoveAt(i); |
|
} |
|
} |
|
} |
|
} |
|
#endregion |
|
|
|
#region AnalyzeStateMachine |
|
|
|
/// <summary> |
|
/// Analyze the the state machine; and replace 'leave IL_0000' with await+jump to block that gets |
|
/// entered on the next MoveNext() call. |
|
/// </summary> |
|
void AnalyzeStateMachine(ILFunction function) |
|
{ |
|
context.Step("AnalyzeStateMachine()", function); |
|
smallestAwaiterVarIndex = int.MaxValue; |
|
foreach (var container in function.Descendants.OfType<BlockContainer>()) { |
|
// Use a separate state range analysis per container. |
|
var sra = new StateRangeAnalysis(StateRangeAnalysisMode.AsyncMoveNext, stateField, cachedStateVar); |
|
sra.CancellationToken = context.CancellationToken; |
|
sra.doFinallyBodies = doFinallyBodies; |
|
sra.AssignStateRanges(container, LongSet.Universe); |
|
var stateToBlockMap = sra.GetBlockStateSetMapping(container); |
|
|
|
foreach (var block in container.Blocks) { |
|
context.CancellationToken.ThrowIfCancellationRequested(); |
|
if (block.Instructions.Last() is Leave leave && moveNextLeaves.Contains(leave)) { |
|
// This is likely an 'await' block |
|
if (AnalyzeAwaitBlock(block, out var awaiterVar, out var awaiterField, out var state)) { |
|
block.Instructions.Add(new Await(new LdLoca(awaiterVar))); |
|
Block targetBlock = stateToBlockMap.GetOrDefault(state); |
|
if (targetBlock != null) { |
|
block.Instructions.Add(new Branch(targetBlock)); |
|
} else { |
|
block.Instructions.Add(new InvalidBranch("Could not find block for state " + state)); |
|
} |
|
awaitBlocks.Add(block, (awaiterVar, awaiterField)); |
|
if (awaiterVar.Index < smallestAwaiterVarIndex) { |
|
smallestAwaiterVarIndex = awaiterVar.Index; |
|
} |
|
} |
|
} |
|
} |
|
// Skip the state dispatcher and directly jump to the initial state |
|
var entryPoint = stateToBlockMap.GetOrDefault(initialState); |
|
if (entryPoint != null) { |
|
container.Blocks.Insert(0, new Block { |
|
Instructions = { |
|
new Branch(entryPoint) |
|
} |
|
}); |
|
} |
|
container.SortBlocks(deleteUnreachableBlocks: true); |
|
} |
|
} |
|
|
|
bool AnalyzeAwaitBlock(Block block, out ILVariable awaiter, out IField awaiterField, out int state) |
|
{ |
|
awaiter = null; |
|
awaiterField = null; |
|
state = 0; |
|
int pos = block.Instructions.Count - 2; |
|
if (doFinallyBodies != null && block.Instructions[pos] is StLoc storeDoFinallyBodies) { |
|
if (!(storeDoFinallyBodies.Variable.Kind == VariableKind.Local |
|
&& storeDoFinallyBodies.Variable.Type.IsKnownType(KnownTypeCode.Boolean) |
|
&& storeDoFinallyBodies.Variable.Index == doFinallyBodies.Index)) { |
|
return false; |
|
} |
|
if (!storeDoFinallyBodies.Value.MatchLdcI4(0)) |
|
return false; |
|
pos--; |
|
} |
|
|
|
// call AwaitUnsafeOnCompleted(ldflda <>t__builder(ldloc this), ldloca awaiter, ldloc this) |
|
if (!MatchCall(block.Instructions[pos], "AwaitUnsafeOnCompleted", out var callArgs)) |
|
return false; |
|
if (callArgs.Count != 3) |
|
return false; |
|
if (!IsBuilderFieldOnThis(callArgs[0])) |
|
return false; |
|
if (!callArgs[1].MatchLdLoca(out awaiter)) |
|
return false; |
|
if (callArgs[2].MatchLdThis()) { |
|
// OK (if state machine is a struct) |
|
pos--; |
|
} else if (callArgs[2].MatchLdLoca(out var tempVar)) { |
|
// Roslyn, non-optimized uses a class for the state machine. |
|
// stloc tempVar(ldloc this) |
|
// call AwaitUnsafeOnCompleted(ldflda <>t__builder](ldloc this), ldloca awaiter, ldloca tempVar) |
|
if (!(pos > 0 && block.Instructions[pos - 1].MatchStLoc(tempVar, out var tempVal))) |
|
return false; |
|
if (!tempVal.MatchLdThis()) |
|
return false; |
|
pos -= 2; |
|
} else { |
|
return false; |
|
} |
|
// stfld StateMachine.<>awaiter(ldloc this, ldloc awaiter) |
|
if (!block.Instructions[pos].MatchStFld(out var target, out awaiterField, out var value)) |
|
return false; |
|
if (!target.MatchLdThis()) |
|
return false; |
|
if (!value.MatchLdLoc(awaiter)) |
|
return false; |
|
pos--; |
|
// stloc S_10(ldloc this) |
|
// stloc S_11(ldc.i4 0) |
|
// stloc cachedStateVar(ldloc S_11) |
|
// stfld <>1__state(ldloc S_10, ldloc S_11) |
|
if (!block.Instructions[pos].MatchStFld(out target, out var field, out value)) |
|
return false; |
|
if (!StackSlotValue(target).MatchLdThis()) |
|
return false; |
|
if (field.MemberDefinition != stateField) |
|
return false; |
|
if (!StackSlotValue(value).MatchLdcI4(out state)) |
|
return false; |
|
if (pos > 0 && block.Instructions[pos - 1] is StLoc stloc |
|
&& stloc.Variable.Kind == VariableKind.Local && stloc.Variable.Index == cachedStateVar.Index |
|
&& StackSlotValue(stloc.Value).MatchLdcI4(state)) { |
|
// also delete the assignment to cachedStateVar |
|
pos--; |
|
} |
|
block.Instructions.RemoveRange(pos, block.Instructions.Count - pos); |
|
// delete preceding dead stores: |
|
while (pos > 0 && block.Instructions[pos - 1] is StLoc stloc2 |
|
&& stloc2.Variable.IsSingleDefinition && stloc2.Variable.LoadCount == 0 |
|
&& stloc2.Variable.Kind == VariableKind.StackSlot |
|
&& SemanticHelper.IsPure(stloc2.Value.Flags)) |
|
{ |
|
pos--; |
|
} |
|
block.Instructions.RemoveRange(pos, block.Instructions.Count - pos); |
|
return true; |
|
} |
|
|
|
static ILInstruction StackSlotValue(ILInstruction inst) |
|
{ |
|
if (inst.MatchLdLoc(out var v) && v.Kind == VariableKind.StackSlot && v.IsSingleDefinition) { |
|
if (v.StoreInstructions[0] is StLoc stloc) { |
|
return stloc.Value; |
|
} |
|
} |
|
return inst; |
|
} |
|
#endregion |
|
|
|
#region DetectAwaitPattern |
|
void DetectAwaitPattern(ILFunction function) |
|
{ |
|
context.StepStartGroup("DetectAwaitPattern", function); |
|
foreach (var container in function.Descendants.OfType<BlockContainer>()) { |
|
foreach (var block in container.Blocks) { |
|
context.CancellationToken.ThrowIfCancellationRequested(); |
|
DetectAwaitPattern(block); |
|
} |
|
container.SortBlocks(deleteUnreachableBlocks: true); |
|
} |
|
context.StepEndGroup(keepIfEmpty: true); |
|
} |
|
|
|
void DetectAwaitPattern(Block block) |
|
{ |
|
// block: |
|
// stloc awaiterVar(callvirt GetAwaiter(...)) |
|
// if (call get_IsCompleted(ldloca awaiterVar)) br completedBlock |
|
// br awaitBlock |
|
// awaitBlock: |
|
// .. |
|
// br resumeBlock |
|
// resumeBlock: |
|
// .. |
|
// br completedBlock |
|
if (block.Instructions.Count < 3) |
|
return; |
|
// stloc awaiterVar(callvirt GetAwaiter(...)) |
|
if (!(block.Instructions[block.Instructions.Count - 3] is StLoc stLocAwaiter)) |
|
return; |
|
ILVariable awaiterVar = stLocAwaiter.Variable; |
|
if (!(stLocAwaiter.Value is CallInstruction getAwaiterCall)) |
|
return; |
|
if (!(getAwaiterCall.Method.Name == "GetAwaiter" && (!getAwaiterCall.Method.IsStatic || getAwaiterCall.Method.IsExtensionMethod))) |
|
return; |
|
if (getAwaiterCall.Arguments.Count != 1) |
|
return; |
|
// if (call get_IsCompleted(ldloca awaiterVar)) br completedBlock |
|
if (!block.Instructions[block.Instructions.Count - 2].MatchIfInstruction(out var condition, out var trueInst)) |
|
return; |
|
if (!MatchCall(condition, "get_IsCompleted", out var isCompletedArgs) || isCompletedArgs.Count != 1) |
|
return; |
|
if (!isCompletedArgs[0].MatchLdLocRef(awaiterVar)) |
|
return; |
|
if (!trueInst.MatchBranch(out var completedBlock)) |
|
return; |
|
// br awaitBlock |
|
if (!block.Instructions.Last().MatchBranch(out var awaitBlock)) |
|
return; |
|
// Check awaitBlock and resumeBlock: |
|
if (!awaitBlocks.TryGetValue(awaitBlock, out var awaitBlockData)) |
|
return; |
|
if (awaitBlockData.awaiterVar != awaiterVar) |
|
return; |
|
if (!CheckAwaitBlock(awaitBlock, out var resumeBlock, out var stackField)) |
|
return; |
|
if (!CheckResumeBlock(resumeBlock, awaiterVar, awaitBlockData.awaiterField, completedBlock, stackField)) |
|
return; |
|
// Check completedBlock. The first instruction involves the GetResult call, but it might have |
|
// been inlined into another instruction. |
|
var getResultCall = ILInlining.FindFirstInlinedCall(completedBlock.Instructions[0]); |
|
if (getResultCall == null) |
|
return; |
|
if (!MatchCall(getResultCall, "GetResult", out var getResultArgs) || getResultArgs.Count != 1) |
|
return; |
|
if (!getResultArgs[0].MatchLdLocRef(awaiterVar)) |
|
return; |
|
// All checks successful, let's transform. |
|
context.Step("Transform await pattern", block); |
|
block.Instructions.RemoveAt(block.Instructions.Count - 3); // remove getAwaiter call |
|
block.Instructions.RemoveAt(block.Instructions.Count - 2); // remove if (isCompleted) |
|
((Branch)block.Instructions.Last()).TargetBlock = completedBlock; // instead, directly jump to completed block |
|
Await awaitInst = new Await(getAwaiterCall.Arguments.Single()); |
|
awaitInst.GetResultMethod = getResultCall.Method; |
|
awaitInst.GetAwaiterMethod = getAwaiterCall.Method; |
|
getResultCall.ReplaceWith(awaitInst); |
|
|
|
// Remove useless reset of awaiterVar. |
|
if (completedBlock.Instructions.ElementAtOrDefault(1) is StObj stobj) { |
|
if (stobj.Target.MatchLdLoca(awaiterVar) && stobj.Value.OpCode == OpCode.DefaultValue) { |
|
completedBlock.Instructions.RemoveAt(1); |
|
} |
|
} |
|
} |
|
|
|
bool CheckAwaitBlock(Block block, out Block resumeBlock, out IField stackField) |
|
{ |
|
// awaitBlock: |
|
// (pre-roslyn: save stack) |
|
// await(ldloca V_2) |
|
// br resumeBlock |
|
resumeBlock = null; |
|
stackField = null; |
|
if (block.Instructions.Count < 2) |
|
return false; |
|
int pos = 0; |
|
if (block.Instructions[pos] is StLoc stloc && stloc.Variable.IsSingleDefinition) { |
|
if (!block.Instructions[pos + 1].MatchStFld(out var target, out stackField, out var value)) |
|
return false; |
|
if (!target.MatchLdThis()) |
|
return false; |
|
pos += 2; |
|
} |
|
// await(ldloca awaiterVar) |
|
if (block.Instructions[pos].OpCode != OpCode.Await) |
|
return false; |
|
// br resumeBlock |
|
return block.Instructions[pos + 1].MatchBranch(out resumeBlock); |
|
} |
|
|
|
bool CheckResumeBlock(Block block, ILVariable awaiterVar, IField awaiterField, Block completedBlock, IField stackField) |
|
{ |
|
int pos = 0; |
|
if (!RestoreStack(block, ref pos, stackField)) |
|
return false; |
|
|
|
// stloc awaiterVar(ldfld awaiterField(ldloc this)) |
|
if (!block.Instructions[pos].MatchStLoc(awaiterVar, out var value)) |
|
return false; |
|
if (!value.MatchLdFld(out var target, out var field)) |
|
return false; |
|
if (!target.MatchLdThis()) |
|
return false; |
|
if (!field.Equals(awaiterField)) |
|
return false; |
|
pos++; |
|
|
|
// stfld awaiterField(ldloc this, default.value) |
|
if (block.Instructions[pos].MatchStFld(out target, out field, out value) |
|
&& target.MatchLdThis() |
|
&& field.Equals(awaiterField) |
|
&& value.OpCode == OpCode.DefaultValue) |
|
{ |
|
pos++; |
|
} else { |
|
// {stloc V_6(default.value System.Runtime.CompilerServices.TaskAwaiter)} |
|
// {stobj System.Runtime.CompilerServices.TaskAwaiter`1[[System.Int32]](ldflda <>u__$awaiter4(ldloc this), ldloc V_6) at IL_0163} |
|
if (block.Instructions[pos].MatchStLoc(out var variable, out value) && value.OpCode == OpCode.DefaultValue |
|
&& block.Instructions[pos + 1].MatchStFld(out target, out field, out value) |
|
&& field.Equals(awaiterField) |
|
&& value.MatchLdLoc(variable)) { |
|
pos += 2; |
|
} |
|
} |
|
|
|
// stloc S_28(ldc.i4 -1) |
|
// stloc cachedStateVar(ldloc S_28) |
|
// stfld <>1__state(ldloc this, ldloc S_28) |
|
ILVariable m1Var = null; |
|
if (block.Instructions[pos] is StLoc stlocM1 && stlocM1.Value.MatchLdcI4(initialState) && stlocM1.Variable.Kind == VariableKind.StackSlot) { |
|
m1Var = stlocM1.Variable; |
|
pos++; |
|
} |
|
if (block.Instructions[pos] is StLoc stlocCachedState) { |
|
if (stlocCachedState.Variable.Kind == VariableKind.Local && stlocCachedState.Variable.Index == cachedStateVar?.Index) { |
|
if (stlocCachedState.Value.MatchLdLoc(m1Var) || stlocCachedState.Value.MatchLdcI4(initialState)) |
|
pos++; |
|
} |
|
} |
|
if (block.Instructions[pos].MatchStFld(out target, out field, out value)) { |
|
if (!target.MatchLdThis()) |
|
return false; |
|
if (!field.MemberDefinition.Equals(stateField.MemberDefinition)) |
|
return false; |
|
if (!(value.MatchLdcI4(initialState) || value.MatchLdLoc(m1Var))) |
|
return false; |
|
pos++; |
|
} else { |
|
return false; |
|
} |
|
|
|
return block.Instructions[pos].MatchBranch(completedBlock); |
|
} |
|
|
|
private bool RestoreStack(Block block, ref int pos, IField stackField) |
|
{ |
|
if (stackField == null) { |
|
return true; // nothing to restore |
|
} |
|
// stloc temp(unbox.any T(ldfld <>t__stack(ldloc this))) |
|
if (!(block.Instructions[pos] is StLoc stloc)) |
|
return false; |
|
if (!stloc.Variable.IsSingleDefinition) |
|
return false; |
|
if (!(stloc.Value is UnboxAny unbox)) |
|
return false; |
|
if (!unbox.Argument.MatchLdFld(out var target, out var field)) |
|
return false; |
|
if (!target.MatchLdThis()) |
|
return false; |
|
if (!field.Equals(stackField)) |
|
return false; |
|
pos++; |
|
// restoring stack slots |
|
while (block.Instructions[pos].MatchStLoc(out var v) && v.Kind == VariableKind.StackSlot) { |
|
pos++; |
|
} |
|
// stfld <>t__stack(ldloc this, ldnull) |
|
if (block.Instructions[pos].MatchStFld(out target, out field, out var value)) { |
|
if (target.MatchLdThis() && field.Equals(stackField) && value.MatchLdNull()) { |
|
pos++; |
|
} |
|
} |
|
return true; |
|
} |
|
#endregion |
|
|
|
void MarkGeneratedVariables(ILFunction function) |
|
{ |
|
// Variables after the awaiters are usually compiler-generated; |
|
// so mark them as stack slots. |
|
foreach (var v in function.Variables) { |
|
if (v.Kind == VariableKind.Local && v.Index >= smallestAwaiterVarIndex) { |
|
v.Kind = VariableKind.StackSlot; |
|
} |
|
} |
|
} |
|
|
|
/// <summary> |
|
/// Eliminates usage of doFinallyBodies |
|
/// </summary> |
|
private void CleanDoFinallyBodies(ILFunction function) |
|
{ |
|
if (doFinallyBodies == null) { |
|
return; // roslyn-compiled code doesn't use doFinallyBodies |
|
} |
|
context.StepStartGroup("CleanDoFinallyBodies", function); |
|
Block entryPoint = GetBodyEntryPoint(function.Body as BlockContainer); |
|
if (entryPoint != null && entryPoint.Instructions[0].MatchStLoc(doFinallyBodies, out var value) && value.MatchLdcI4(1)) { |
|
// Remove initial doFinallyBodies assignment, if it wasn't already removed when |
|
// we rearranged the control flow. |
|
entryPoint.Instructions.RemoveAt(0); |
|
} |
|
if (doFinallyBodies.StoreInstructions.Count != 0 || doFinallyBodies.AddressCount != 0) { |
|
// misdetected another variable as doFinallyBodies? |
|
// reintroduce the initial store of ldc.i4(1) |
|
context.Step("Re-introduce misdetected doFinallyBodies", function); |
|
((BlockContainer)function.Body).EntryPoint.Instructions.Insert(0, |
|
new StLoc(doFinallyBodies, new LdcI4(1))); |
|
return; |
|
} |
|
foreach (var tryFinally in function.Descendants.OfType<TryFinally>()) { |
|
entryPoint = GetBodyEntryPoint(tryFinally.FinallyBlock as BlockContainer); |
|
if (entryPoint?.Instructions[0] is IfInstruction ifInst) { |
|
if (ifInst.Condition.MatchLogicNot(out var logicNotArg) && logicNotArg.MatchLdLoc(doFinallyBodies)) { |
|
context.Step("Remove if(doFinallyBodies) from try-finally", tryFinally); |
|
// condition will always be false now that we're using 'await' instructions |
|
entryPoint.Instructions.RemoveAt(0); |
|
} |
|
} |
|
} |
|
// if there's any remaining loads (there shouldn't be), replace them with the constant 1 |
|
foreach (LdLoc load in doFinallyBodies.LoadInstructions.ToArray()) { |
|
load.ReplaceWith(new LdcI4(1) { ILRange = load.ILRange }); |
|
} |
|
context.StepEndGroup(keepIfEmpty: true); |
|
} |
|
|
|
internal static Block GetBodyEntryPoint(BlockContainer body) |
|
{ |
|
if (body == null) |
|
return null; |
|
Block entryPoint = body.EntryPoint; |
|
while (entryPoint.Instructions[0].MatchBranch(out var targetBlock) && targetBlock.IncomingEdgeCount == 1 && targetBlock.Parent == body) { |
|
entryPoint = targetBlock; |
|
} |
|
return entryPoint; |
|
} |
|
|
|
void TranslateCachedFieldsToLocals() |
|
{ |
|
foreach (var (cachedVar, param) in cachedFieldToParameterMap) { |
|
Debug.Assert(cachedVar.StoreCount <= 1); |
|
foreach (var inst in cachedVar.LoadInstructions.ToArray()) { |
|
inst.Variable = param; |
|
} |
|
foreach (var inst in cachedVar.AddressInstructions.ToArray()) { |
|
inst.Variable = param; |
|
} |
|
} |
|
} |
|
} |
|
}
|
|
|