ILSpy

Commit Graph

Author	SHA1	Message	Date
Daniel Grunwald	7d3dfc3b81	Remove the hack where IndexRangeTransform looks at instructions prior to startPos. Instead we now perform a partial transformation which we can then later extend. This means we no longer need to rely on the previous instruction (prior to startPos) being already inlined. This way the IndexRangeTransform also works without the duplicate StatementTransform pass.	5 years ago
Daniel Grunwald	1b2874eb5d	Use `nint` type for local IntPtr variables if arithmetic is performed on them.	5 years ago
Siegfried Pammer	5da3b87845	Fix #2060 : Add support for alternate code patterns in TransformDisplayClassUsage.ValidateConstructor	5 years ago
Daniel Grunwald	1d684102ac	Support compound assignment for native integers.	5 years ago
Daniel Grunwald	12094a8376	Support extraction out of control-flow IfInstruction even if it isn't using a Block as TrueInst/FalseInst.	5 years ago
Daniel Grunwald	417a2c3391	Revert the InvertIf change; it causes too many issues for the following transforms.	5 years ago
Daniel Grunwald	e083d43fb9	Fix ReduceNestingTransform	5 years ago
Daniel Grunwald	016d9f8f4d	Fix #1903 : un-inline argument of unsupported `isinst` instructions.	5 years ago
Daniel Grunwald	81d9eda332	I just discovered that we do have un-inlining implemented... let's mention it where it's more likely to be found in the future.	5 years ago
Daniel Grunwald	ef47a8bdf6	#2058 : Avoid NullReferenceException when DecompileRun is not provided.	5 years ago
Daniel Grunwald	62fcab8d99	#2050 : Allow inlining into the StObj target slot when this is possible without changing the program semantics.	5 years ago
Siegfried Pammer	74101ff0dc	Fix #2053 : Assert and NRE in LocalFunctionDecompiler	5 years ago
Siegfried Pammer	761c3fef14	Adapt TransformExpressionTrees to ILAst changes.	5 years ago
Siegfried Pammer	68e4d7dfa6	Adapt TransformArrayInitializers to ILAst changes.	5 years ago
Daniel Grunwald	925a4e1e65	#2050 : Don't put ldflda/ldelema with immediate exceptions into StObj.TargetSlot. The C# translation of StObj will always apply delayed exceptions in these two cases, so putting an instruction with delayed exceptions in that slot would change program semantics.	5 years ago
Daniel Grunwald	15f638af9a	Fix decompilation of switch where default section is a leave instruction.	5 years ago
Daniel Grunwald	a6e23d1f98	Fix "case null" handling in switch(string) with current Roslyn version (3.7.0-2.final).	5 years ago
Daniel Grunwald	30da0b7525	Add some missing checks to MatchRoslynSwitchOnString	5 years ago
Siegfried Pammer	d2abce2a7b	Fix possible NRE in TransformExpressionTrees.MatchGetTypeFromHandle and related methods	5 years ago
Daniel Grunwald	80063e3c15	Fix TDCU's version of copy propagation being too aggressive.	5 years ago
Chicken-Bones	da905acc6d	Fix logic error in last commit, and ignore fault clauses in ReduceNestingTransform	5 years ago
Chicken-Bones	abd9af29c6	Fix failed assertion when encountering a finally block with an unreachable endpoint in ReduceNestingTransform.	5 years ago
Chicken-Bones	e0e26a0e77	Fix ReduceNestingTransform when extracting default block of switch in a try container	5 years ago
Siegfried Pammer	fcc910cb4d	Cleanup and refactoring after code review	5 years ago
Siegfried Pammer	0b8824ca84	Fix two small bugs in TDCU	5 years ago
Siegfried Pammer	bcd7219535	Adjust CapturedVariables collection in ReplaceDelegateTargetVisitor and in TransformExpressionTrees	5 years ago
Siegfried Pammer	101aba3362	Validate uses of display-class variable copies before removing them	5 years ago
Siegfried Pammer	d4fd92bf0f	Fix initializer block detection of display structs.	5 years ago
Siegfried Pammer	1c7d9705da	Add Validation of delegate target instructions.	5 years ago
Siegfried Pammer	6042819117	Implement Block.CheckInvariant for BlockKind.ArrayInitializer, BlockKind.CollectionInitializer and BlockKind.ObjectInitializer	5 years ago
Siegfried Pammer	ab336cdc94	Fix build.	5 years ago
Siegfried Pammer	d457ef38f4	Make ValidateConstructor safe	5 years ago
Siegfried Pammer	f1cbc7c8db	Add AggressiveScalarReplacementOfAggregates option	5 years ago
Siegfried Pammer	53c593af0b	Fixed all TDCU related tests.	5 years ago
Siegfried Pammer	b6259b7dca	Fix #1981 : Ensure correctness of TDCU	5 years ago
Siegfried Pammer	0d1b6203df	#1981 : Refactor LocalFunctionDecompiler: Propagate closure parameter arguments, so that all arguments can be stripped from use-sites.	5 years ago
Siegfried Pammer	5711185832	Make sure that the code and the pattern described in the comment above are in sync.	5 years ago
Daniel Grunwald	7d8b9fee1e	Remove redundant code.	5 years ago
Siegfried Pammer	b114734128	Add Mode.UnconstrainedType and implement TransformNullPropagationOnUnconstrainedGenericExpression using TryNullPropagation.	5 years ago
Siegfried Pammer	9c8df1d949	Fix assignment of ILRanges in ExpressionTransforms.TransformCatchVariable	5 years ago
Siegfried Pammer	effc49c479	Move TransformNullPropagationOnUnconstrainedGenericExpression into NullPropagationTransform and make use of IsValidAccessChain	5 years ago
Siegfried Pammer	1303c54086	Exactly match load, store and address counts of defaultTemporary.	5 years ago
Siegfried Pammer	b92a4b956c	#1940 : Ignore nullability in ETs	5 years ago
Siegfried Pammer	c676665a61	#1940 : Refactor TransformExpressionTrees to support rolling back all changes if the transform fails.	5 years ago
Daniel Grunwald	1926756cfa	Handle the special cases where the range does not have a start or endpoint.	5 years ago
Daniel Grunwald	0dd75d6852	Add support for slicing using C# 8 ranges.	5 years ago
Daniel Grunwald	dd54dbc144	Disable IndexRangeTransform if the "C# 8 ranges" setting is disabled.	5 years ago
Daniel Grunwald	dc38355e12	Support `list[^idx]`. Here the C# compiler does not actually create a `System.Index` instance, but instead compiles to `list[list.Count - idx]`.	5 years ago
Daniel Grunwald	060830dd64	Variable splitting: support cases where a ref is passed through a ref-returning method, and then used. From `IndexRangeTest.UseIndexForRef`: ``` stloc V_4(call GetSpan()) stloc S_19(ldloca V_4) stloc V_2(call get_Length(ldloc S_19)) stloc V_3(call GetOffset(addressof System.Index(call GetIndex(ldc.i4 0)), ldloc V_2)) call UseRef(call get_Item(ldloc S_19, ldloc V_3)) stloc V_4(call GetSpan()) stloc S_30(ldloca V_4) stloc V_2(binary.sub.i4(call get_Length(ldloc S_30), call GetInt(ldc.i4 0))) call UseRef(call get_Item(ldloc S_30, ldloc V_2)) ``` Due to `Span.get_Item` being a ref-return, it's possible that `ref V_4` is returned and passed into the `UseRef` method (this can't actually happen given Span's implementation, but it's a possible implementation of the get_Item type signature). But we still need to split `V_4` -- it's a compiler-generated variable and needs to be inlined. I think we can do this relatively simply by continuing to go up the ancestor instructions when we hit a ref-returning call. The recursive `DetermineAddressUse` call will check that there are no stores to `V_4` between the `get_Item` call and the point where the returned reference is used. Thus we still ensure that we don't split a variable while there is a live reference to it.	5 years ago
Daniel Grunwald	12226c5f90	Add support for indexing a container with a System.Index instance.	5 years ago

... 3 4 5 6 7 ...

1034 Commits (757f705bdeb2bf598a6d84a25d4406b824f459f9)