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.
289 lines
12 KiB
289 lines
12 KiB
// Copyright (c) 2017 Siegfried Pammer |
|
// |
|
// 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 System; |
|
using System.Collections.Generic; |
|
using System.Linq; |
|
using System.Text; |
|
using System.Threading.Tasks; |
|
using ICSharpCode.Decompiler.TypeSystem; |
|
|
|
namespace ICSharpCode.Decompiler.IL.Transforms |
|
{ |
|
class UsingTransform : IBlockTransform |
|
{ |
|
BlockTransformContext context; |
|
|
|
void IBlockTransform.Run(Block block, BlockTransformContext context) |
|
{ |
|
if (!context.Settings.UsingStatement) return; |
|
this.context = context; |
|
for (int i = block.Instructions.Count - 1; i >= 0; i--) { |
|
if (!TransformUsing(block, i) && !TransformUsingVB(block, i)) |
|
continue; |
|
// This happens in some cases: |
|
// Use correct index after transformation. |
|
if (i >= block.Instructions.Count) |
|
i = block.Instructions.Count; |
|
} |
|
} |
|
|
|
/// <summary> |
|
/// stloc obj(resourceExpression) |
|
/// .try BlockContainer { |
|
/// Block IL_0003(incoming: 1) { |
|
/// call WriteLine(ldstr "using (null)") |
|
/// leave IL_0003(nop) |
|
/// } |
|
/// } finally BlockContainer { |
|
/// Block IL_0012(incoming: 1) { |
|
/// if (comp(ldloc obj != ldnull)) Block IL_001a { |
|
/// callvirt Dispose(ldnull) |
|
/// } |
|
/// leave IL_0012(nop) |
|
/// } |
|
/// } |
|
/// leave IL_0000(nop) |
|
/// => |
|
/// using (resourceExpression) { |
|
/// BlockContainer { |
|
/// Block IL_0003(incoming: 1) { |
|
/// call WriteLine(ldstr "using (null)") |
|
/// leave IL_0003(nop) |
|
/// } |
|
/// } |
|
/// } |
|
/// </summary> |
|
bool TransformUsing(Block block, int i) |
|
{ |
|
if (i < 1) return false; |
|
if (!(block.Instructions[i] is TryFinally tryFinally) || !(block.Instructions[i - 1] is StLoc storeInst)) |
|
return false; |
|
if (!(storeInst.Value.MatchLdNull() || CheckResourceType(storeInst.Variable.Type))) |
|
return false; |
|
if (storeInst.Variable.LoadInstructions.Any(ld => !ld.IsDescendantOf(tryFinally))) |
|
return false; |
|
if (storeInst.Variable.AddressInstructions.Any(la => !la.IsDescendantOf(tryFinally) || (la.IsDescendantOf(tryFinally.TryBlock) && !ILInlining.IsUsedAsThisPointerInCall(la)))) |
|
return false; |
|
if (storeInst.Variable.StoreInstructions.Count > 1) |
|
return false; |
|
if (!(tryFinally.FinallyBlock is BlockContainer container) || !MatchDisposeBlock(container, storeInst.Variable, storeInst.Value.MatchLdNull())) |
|
return false; |
|
context.Step("UsingTransform", tryFinally); |
|
storeInst.Variable.Kind = VariableKind.UsingLocal; |
|
block.Instructions.RemoveAt(i); |
|
block.Instructions[i - 1] = new UsingInstruction(storeInst.Variable, storeInst.Value, tryFinally.TryBlock) { ILRange = storeInst.ILRange }; |
|
return true; |
|
} |
|
|
|
/// <summary> |
|
/// .try BlockContainer { |
|
/// Block IL_0003(incoming: 1) { |
|
/// stloc obj(resourceExpression) |
|
/// call WriteLine(ldstr "using (null)") |
|
/// leave IL_0003(nop) |
|
/// } |
|
/// } finally BlockContainer { |
|
/// Block IL_0012(incoming: 1) { |
|
/// if (comp(ldloc obj != ldnull)) Block IL_001a { |
|
/// callvirt Dispose(ldnull) |
|
/// } |
|
/// leave IL_0012(nop) |
|
/// } |
|
/// } |
|
/// leave IL_0000(nop) |
|
/// => |
|
/// using (resourceExpression) { |
|
/// BlockContainer { |
|
/// Block IL_0003(incoming: 1) { |
|
/// call WriteLine(ldstr "using (null)") |
|
/// leave IL_0003(nop) |
|
/// } |
|
/// } |
|
/// } |
|
/// </summary> |
|
bool TransformUsingVB(Block block, int i) |
|
{ |
|
if (!(block.Instructions[i] is TryFinally tryFinally)) |
|
return false; |
|
if (!(tryFinally.TryBlock is BlockContainer tryContainer && tryContainer.EntryPoint.Instructions.FirstOrDefault() is StLoc storeInst)) |
|
return false; |
|
if (!(storeInst.Value.MatchLdNull() || CheckResourceType(storeInst.Variable.Type))) |
|
return false; |
|
if (storeInst.Variable.LoadInstructions.Any(ld => !ld.IsDescendantOf(tryFinally))) |
|
return false; |
|
if (storeInst.Variable.AddressInstructions.Any(la => !la.IsDescendantOf(tryFinally) || (la.IsDescendantOf(tryFinally.TryBlock) && !ILInlining.IsUsedAsThisPointerInCall(la)))) |
|
return false; |
|
if (storeInst.Variable.StoreInstructions.Count > 1) |
|
return false; |
|
if (!(tryFinally.FinallyBlock is BlockContainer container) || !MatchDisposeBlock(container, storeInst.Variable, storeInst.Value.MatchLdNull())) |
|
return false; |
|
context.Step("UsingTransformVB", tryFinally); |
|
storeInst.Variable.Kind = VariableKind.UsingLocal; |
|
tryContainer.EntryPoint.Instructions.RemoveAt(0); |
|
block.Instructions[i] = new UsingInstruction(storeInst.Variable, storeInst.Value, tryFinally.TryBlock); |
|
return true; |
|
} |
|
|
|
bool CheckResourceType(IType type) |
|
{ |
|
// non-generic IEnumerator does not implement IDisposable. |
|
// This is a workaround for non-generic foreach. |
|
if (type.IsKnownType(KnownTypeCode.IEnumerator) || type.GetAllBaseTypes().Any(b => b.IsKnownType(KnownTypeCode.IEnumerator))) |
|
return true; |
|
if (NullableType.GetUnderlyingType(type).GetAllBaseTypes().Any(b => b.IsKnownType(KnownTypeCode.IDisposable))) |
|
return true; |
|
// General GetEnumerator-pattern? |
|
if (!type.GetMethods(m => m.Name == "GetEnumerator" && m.TypeParameters.Count == 0 && m.Parameters.Count == 0).Any(m => ImplementsForeachPattern(m.ReturnType))) |
|
return false; |
|
return true; |
|
} |
|
|
|
bool ImplementsForeachPattern(IType type) |
|
{ |
|
if (!type.GetMethods(m => m.Name == "MoveNext" && m.TypeParameters.Count == 0 && m.Parameters.Count == 0).Any(m => m.ReturnType.IsKnownType(KnownTypeCode.Boolean))) |
|
return false; |
|
if (!type.GetProperties(p => p.Name == "Current" && p.CanGet && !p.IsIndexer).Any()) |
|
return false; |
|
return true; |
|
} |
|
|
|
bool MatchDisposeBlock(BlockContainer container, ILVariable objVar, bool usingNull) |
|
{ |
|
var entryPoint = container.EntryPoint; |
|
if (entryPoint.Instructions.Count < 2 || entryPoint.Instructions.Count > 3 || entryPoint.IncomingEdgeCount != 1) |
|
return false; |
|
int leaveIndex = entryPoint.Instructions.Count == 2 ? 1 : 2; |
|
int checkIndex = entryPoint.Instructions.Count == 2 ? 0 : 1; |
|
int castIndex = entryPoint.Instructions.Count == 3 ? 0 : -1; |
|
var checkInst = entryPoint.Instructions[checkIndex]; |
|
bool isReference = objVar.Type.IsReferenceType != false; |
|
if (castIndex > -1) { |
|
if (!entryPoint.Instructions[castIndex].MatchStLoc(out var tempVar, out var isinst)) |
|
return false; |
|
if (!isinst.MatchIsInst(out var load, out var disposableType) || !load.MatchLdLoc(objVar) || !disposableType.IsKnownType(KnownTypeCode.IDisposable)) |
|
return false; |
|
if (!tempVar.IsSingleDefinition) |
|
return false; |
|
isReference = true; |
|
if (!MatchDisposeCheck(tempVar, checkInst, isReference, usingNull, out int numObjVarLoadsInCheck)) |
|
return false; |
|
if (tempVar.LoadCount != numObjVarLoadsInCheck) |
|
return false; |
|
} else { |
|
if (!MatchDisposeCheck(objVar, checkInst, isReference, usingNull, out _)) |
|
return false; |
|
} |
|
if (!entryPoint.Instructions[leaveIndex].MatchLeave(container, out var returnValue) || !returnValue.MatchNop()) |
|
return false; |
|
return true; |
|
} |
|
|
|
bool MatchDisposeCheck(ILVariable objVar, ILInstruction checkInst, bool isReference, bool usingNull, out int numObjVarLoadsInCheck) |
|
{ |
|
numObjVarLoadsInCheck = 2; |
|
CallVirt callVirt; |
|
if (objVar.Type.IsKnownType(KnownTypeCode.NullableOfT)) { |
|
if (checkInst.MatchIfInstruction(out var condition, out var disposeInst)) { |
|
if (!NullableLiftingTransform.MatchHasValueCall(condition, objVar)) |
|
return false; |
|
if (!(disposeInst is Block disposeBlock) || disposeBlock.Instructions.Count != 1) |
|
return false; |
|
callVirt = disposeBlock.Instructions[0] as CallVirt; |
|
} else if (checkInst.MatchNullableRewrap(out disposeInst)) { |
|
callVirt = disposeInst as CallVirt; |
|
} else { |
|
return false; |
|
} |
|
if (callVirt == null) |
|
return false; |
|
if (callVirt.Method.FullName != "System.IDisposable.Dispose") |
|
return false; |
|
if (callVirt.Method.Parameters.Count > 0) |
|
return false; |
|
if (callVirt.Arguments.Count != 1) |
|
return false; |
|
var firstArg = callVirt.Arguments.FirstOrDefault(); |
|
if (!(firstArg.MatchUnboxAny(out var innerArg1, out var unboxType) && unboxType.IsKnownType(KnownTypeCode.IDisposable))) { |
|
if (!firstArg.MatchAddressOf(out var innerArg2)) |
|
return false; |
|
return NullableLiftingTransform.MatchGetValueOrDefault(innerArg2, objVar) |
|
|| (innerArg2 is NullableUnwrap unwrap |
|
&& unwrap.Argument.MatchLdLoc(objVar)); |
|
} else { |
|
if (!(innerArg1.MatchBox(out firstArg, out var boxType) && boxType.IsKnownType(KnownTypeCode.NullableOfT) && |
|
NullableType.GetUnderlyingType(boxType).Equals(NullableType.GetUnderlyingType(objVar.Type)))) |
|
return false; |
|
return firstArg.MatchLdLoc(objVar); |
|
} |
|
} else { |
|
ILInstruction target; |
|
bool boxedValue = false; |
|
if (isReference && checkInst is NullableRewrap rewrap) { |
|
// the null check of reference types might have been transformed into "objVar?.Dispose();" |
|
if (!(rewrap.Argument is CallVirt cv)) |
|
return false; |
|
if (!(cv.Arguments.FirstOrDefault() is NullableUnwrap unwrap)) |
|
return false; |
|
numObjVarLoadsInCheck = 1; |
|
callVirt = cv; |
|
target = unwrap.Argument; |
|
} else if (isReference) { |
|
// reference types have a null check. |
|
if (!checkInst.MatchIfInstruction(out var condition, out var disposeInst)) |
|
return false; |
|
if (!condition.MatchCompNotEquals(out var left, out var right) || !left.MatchLdLoc(objVar) || !right.MatchLdNull()) |
|
return false; |
|
if (!(disposeInst is Block disposeBlock) || disposeBlock.Instructions.Count != 1) |
|
return false; |
|
if (!(disposeBlock.Instructions[0] is CallVirt cv)) |
|
return false; |
|
target = cv.Arguments.FirstOrDefault(); |
|
if (target == null) |
|
return false; |
|
if (target.MatchBox(out var newTarget, out var type) && type.Equals(objVar.Type)) |
|
target = newTarget; |
|
callVirt = cv; |
|
} else { |
|
if (!(checkInst is CallVirt cv)) |
|
return false; |
|
target = cv.Arguments.FirstOrDefault(); |
|
if (target == null) |
|
return false; |
|
if (target.MatchBox(out var newTarget, out var type) && type.Equals(objVar.Type)) { |
|
boxedValue = type.IsReferenceType != true; |
|
target = newTarget; |
|
} |
|
callVirt = cv; |
|
} |
|
if (callVirt.Method.FullName != "System.IDisposable.Dispose") |
|
return false; |
|
if (callVirt.Method.Parameters.Count > 0) |
|
return false; |
|
if (callVirt.Arguments.Count != 1) |
|
return false; |
|
return target.MatchLdLocRef(objVar) |
|
|| (boxedValue && target.MatchLdLoc(objVar)) |
|
|| (usingNull && callVirt.Arguments[0].MatchLdNull()) |
|
|| (isReference && checkInst is NullableRewrap |
|
&& target.MatchIsInst(out var arg, out var type2) |
|
&& arg.MatchLdLoc(objVar) && type2.IsKnownType(KnownTypeCode.IDisposable)); |
|
} |
|
} |
|
} |
|
}
|
|
|