ILSpy

Commit Graph

Author	SHA1	Message	Date
Siegfried Pammer	c52a0f29f6	Fix #1388 , #1928 : decompile await on dynamic expressions Awaiting a dynamic value lowers GetAwaiter/IsCompleted/GetResult to dynamic callsites, which async decompilation could not recognize: await detection ran before DynamicCallSiteTransform, so the await was emitted as a raw state machine (or crashed in AnalyzeAwaitBlock, #1388). AnalyzeStateMachine now collapses the awaiter callsites per block, folds the runtime ICriticalNotifyCompletion branch the compiler emits for an awaiter not statically known to implement it into the canonical single call, and re-joins the branch chains the collapse leaves so each dynamic await sits in one block. DetectAwaitPattern matches the dynamic GetAwaiter/IsCompleted/GetResult shape and emits `await expr`; a synthesized dynamic GetResult method gives the await and its local the dynamic type. DynamicCallSiteTransform also follows callsite targets spilled into state-machine locals, so an awaited value flowing into a dynamic callsite (e.g. d.Result = await ..., #1928) decompiles too. Assisted-by: Claude:claude-fable-5:Claude Code	2 months ago
Daniel Grunwald	b9ce8490f5	Remove hack that prevented inlining of the first instruction in each block. Now that ILReader already creates the basic blocks and BlockBuilder only arranges them in containers, this code is no longer necessary.	3 years ago
ElektroKill	8a1e8e3c6b	Make return duplication in `ControlFlowSimplification` less aggressive	3 years ago
Daniel Grunwald	787621fb51	Revert "Use Nop instead of InvalidExpression to hold the "goto from catch-block to try-block" comment" This reverts commit `77dcbbee86`.	5 years ago
Daniel Grunwald	77dcbbee86	Use Nop instead of InvalidExpression to hold the "goto from catch-block to try-block" comment	5 years ago
dotnet format	0d9f871a4f	#2128 : Reformat the whole code base.	6 years ago
Daniel Grunwald	30da0b7525	Add some missing checks to MatchRoslynSwitchOnString	6 years ago
Daniel Grunwald	9659be0d55	#1946 : Fix IsBranchToReturnBlock() [was broken in `c1265ad830`]	6 years ago
Daniel Grunwald	c1265ad830	Fix #1946 : Don't move `return` into `try` block when doing so changes the semantics of a `finally` block.	6 years ago
Siegfried Pammer	e4fda5c2e4	Rename HasILRange to ILRangeIsEmpty to properly reflect its implementation.	7 years ago
Daniel Grunwald	de33e79384	Add tests for 'async IAsyncEnumerable'. Remove [AsyncIteratorStateMachine] attribute and left-over ldc.i4 instructions.	7 years ago
Siegfried Pammer	047f119e99	Add RemoveDeadStores option	7 years ago
Daniel Grunwald	b7f0e2e929	Be less aggressive when removing dead code -- some of it may still be interesting to users.	7 years ago
Daniel Grunwald	752f0de978	Further adjustments to transforms now that copy propagation no longer runs.	7 years ago
Daniel Grunwald	8117dfff4a	Fix #1242 : Discard unreachable code. Unreachable code is not part of the dominator tree, which most of our transforms are based on. In particular, dominance-based loop detection runs into the problem where unreachable code might have jumps into two independent loops. In that case, it's impossible to place the unreachable code in a way that avoids assertions / generating invalid C#. We establish the invariant that all blocks in a BlockContainer must be statically reachable from the entry point (-> every block is part of the dominator tree). This means transforms no longer have to deal with special cases for unreachable code. The "Remove dead and side effect free code" option still has an effect on dead stores, but unreachable code is now always removed (previously this also was dependent on this option).	7 years ago
Siegfried Pammer	c1fca21e8a	Make ILRange field private - introduce public API for IL range manipulation.	8 years ago
Chicken-Bones	e9b766d708	Improve persistence of IL offsets through various transforms.	8 years ago
Daniel Grunwald	eb6119eb7d	Only use mcs for the first compilation pass. Consistently run test cases using .NET 4.x runtime.	9 years ago
Siegfried Pammer	4ca4d97011	Improve SequencePointBuilder	9 years ago
Siegfried Pammer	e33a010cc7	Remove compiler-generated variable in while (true) loops.	9 years ago
Siegfried Pammer	206cdecf30	Merge Return instruction into Leave.	9 years ago
Daniel Grunwald	fac340965f	return statements are no longer forcibly moved into loops when the loops are within exception handling blocks.	9 years ago
Daniel Grunwald	bcdd34a9d0	More aggressively duplicate return blocks in MoveNext() methods. This fixes 'yield return' decompilation of debug builds using legacy csc.	9 years ago
Daniel Grunwald	3e8ab77d52	Perform even less aggressive inlining of return blocks.	9 years ago
Daniel Grunwald	c239204c7f	Perform less aggressive inlining of return blocks. This tends to reconstruct control flow closer to the original code.	9 years ago
Daniel Grunwald	2207ab40f7	Check the CancellationToken a bit more frequently.	9 years ago
Daniel Grunwald	5621101436	Reconstruct try-finally blocks in yield return decompiler	10 years ago
Siegfried Pammer	840ec04fde	Namespace adjustments for Syntax classes	10 years ago
Daniel Grunwald	dd485b971d	Eliminate goto in conditional return in try block.	10 years ago
Daniel Grunwald	4a13491ff9	Improve switch simplifcation: combine case section with default block where possible	10 years ago
Daniel Grunwald	449bbe2043	Move transforms to transforms namespace	10 years ago
Daniel Grunwald	7e50076671	Introduce array.to.pointer instruction. This is necessary to construct pinned regions in all cases.	10 years ago
Daniel Grunwald	2730133f5f	Combine switch sections that branch to same label.	10 years ago
Siegfried Pammer	f781c0335a	replace IsSingleUse with IsSingleDefinition	10 years ago
Daniel Grunwald	2509f27223	* Rename ControlFlowSimplification to ConditionDetection * Rename OptimizingTransform to ControlFlowSimplification * Move control flow transforms to separate namespace.	11 years ago
Daniel Grunwald	1720fe5bba	First version of variable inlining. Added ILAst SlotInfo.	11 years ago
Daniel Grunwald	06356512fa	Remove the evaluation stack from ILAst; the ILReader now directly introduces stack variables.	11 years ago
Daniel Grunwald	3a03415be4	Add ControlFlowSimplification pass	12 years ago
Daniel Grunwald	179b635185	Perform some control flow simplifications in OptimizingTransform	12 years ago
Daniel Grunwald	0cae30cce2	ILInstruction.Clone()	12 years ago

35 Commits (3cb27b0dcc2baf33d803ddf73e2b7c75dbbec0a1)