6cee0cdc4b
Fix #3258 : Move GraphVizGraph and friends to ILSpy and remove InternalsVisibleTo.
12 months ago
4bf9487ecd
Remove IsRef, IsOut and IsIn flags from IParameter and Replace ParameterModifiers with ReferenceKind.
1 year ago
c12187277c
Also use GraphTraversal.DepthFirstSearch for dominance calculation.
2 years ago
09691bd27e
#3075 : Add NextSetBit operation to BitSet to avoid looking at every store bit individually in ReachingDefinitionsVisitor.GetStores()
2 years ago
b404bf3aa7
#2480 : avoid crash if ILAst "cannot jump into block container" invariant is violated
4 years ago
e1ca4db851
Fix #2527 : Support skip locals init
4 years ago
0d9f871a4f
#2128 : Reformat the whole code base.
5 years ago
eac0e2257e
Support MatchInstruction in DataFlowVisitor
5 years ago
8925b4ff7b
Inline variable declarations/modernize parts of our code base.
5 years ago
18ee984ade
Add support for "definitely assigned if true/false" to data flow analysis.
6 years ago
8cfc21dfab
Fix DefiniteAssignmentVisitor bugs handling ILFunction, and add some comments.
6 years ago
7d62a7e032
Reset HasInitialValue flag after TransformDisplayClassUsage.
6 years ago
2929ae865f
Fix #1460 : assertion in DataFlowVisitor`1.DebugPoint() with try-fault statement.
6 years ago
a86a0586bb
Fix #890 : Correctly handle calls with out-parameters in definite assignment analysis.
8 years ago
96d9e63f4c
Don't unnecessarily default-initialize variables prior to a call with out-parameter.
8 years ago
a8a852b742
Add instructions for modeling the "?." operator in the ILAst.
8 years ago
9ef97703cd
[switch] consider loop back-edges to be exit points when looking for the switch body
8 years ago
102729cfde
Put switch instructions into their own BlockContainer.
This removes the need for "goto case" in the ILAst as we can just branch to the appropriate block.
It also means we can support "break;" within switch using the "leave" instruction (otherwise we'd have to introduce yet another special kind of jump).
8 years ago
8a68a94d35
Simplify use of SwitchInstruction in ILAst
* the default case is now handled as a normal case
* when dealing with basic blocks, SwitchInstruction will be the last instruction in the block
* introduced ILAst instruction for 'goto case'
8 years ago
0008deb021
Fix handling of try-finally blocks in ReachingDefinitionsVisitor.
This was causing variables to get split incorrectly.
8 years ago
206cdecf30
Merge Return instruction into Leave.
8 years ago
2207ab40f7
Check the CancellationToken a bit more frequently.
8 years ago
5621101436
Reconstruct try-finally blocks in yield return decompiler
9 years ago
fe84ea9730
WIP: yield return decompiler
9 years ago
0970b95d5f
Rename ILVariable.Scope to Function and introduce BlockContainer CaptureScope
9 years ago
e871f7c05a
Convert LoopDetection into a block transform.
9 years ago
840ec04fde
Namespace adjustments for Syntax classes
9 years ago
1ce8349dd9
Adjust namespaces
9 years ago
284ddfadf1
Phase 2: Merge ICSharpCode.NRefactory into ICSharpCode.Decompiler
9 years ago
7273fe58fd
Add BlockTransform concept and apply a bunch of refactoring essentials suggestions.
9 years ago
a6fc52a63f
ConditionDetection: move blocks into switch sections
9 years ago
36d61db3a7
Add support for sparse integer switches.
9 years ago
9dec6c80a7
LoopDetection: use post-dominance to find better loop exit points
9 years ago
0e118f0977
LoopDetection: in loops without any exit points, exclude the largest possible code block from the loop
9 years ago
6d9e53bf4f
Improve ILInlining.IsSafeForInlineOver()
9 years ago
20aec66815
Initial support for decompiling fixed statements
9 years ago
a40f0754c1
Add InvalidInstruction to represent invalid IL opcodes in the ILAst instead of crashing.
9 years ago
5998d39827
Fix bug in DataFlowVisitor.VisitSwitchInstruction
9 years ago
f3d108c469
Add SplitVariables transforms.
9 years ago
e21ad7c3e4
DataFlowVisitor: ignore MayThrow and consider every instruction to potentially throw.
This brings the IL definite assignment analysis more in line with the C# analysis.
It's arguably more correct, because there are async exceptions (ThreadAbortException).
It also means we call JoinWith() less often, so the analysis should be faster.
9 years ago
a06ca0c0be
Custom BitSet implementation
9 years ago
79030f6ee8
DataFlowVisitor: rename IsUnreachable to IsBottom
9 years ago
1aaf7b3dc0
Fix bugs in data flow analysis.
9 years ago
f5e66ff623
Extract reusable DataFlowVisitor from ReachingDefinitions; and add ILVariable.HasInitialValue.
9 years ago
b55775e2cc
Add reaching definitions analysis.
9 years ago
c171dbd520
Add class VariableScope.
9 years ago
9e59ea7395
Update System.Collections.Immutable
9 years ago
2509f27223
* Rename ControlFlowSimplification to ConditionDetection
* Rename OptimizingTransform to ControlFlowSimplification
* Move control flow transforms to separate namespace.
10 years ago
b2dfdea68e
Add loop detection.
11 years ago
979f7d018a
Traverse the dominator tree in depth-first order when finding conditions. This reduces the number of gotos produced for complex control flow.
Closes #253 .
13 years ago
Siegfried Pammer