DistIL

DistIL copied to clipboard

Exception handlers are currently represented implicitly in the IR via guard and leave instructions, and complemented by ProtectedRegionAnalysis - a standalone analysis that provides a more concrete region tree representation....

dubiousconst282

Pre-resize lists with Add() calls inside loops with known bound

1

Lists are often instantiated and immediately filled with items from a source having a known length, and it isn't always convenient to explicitly initialize the list with a capacity: ```cs...

dubiousconst282

While this pass would ideally be applied before SSA promotion, that would likely significantly reduce candidates because inlining only happens after it, and we can only mark an allocation as...

dubiousconst282

Copy elision for arrays and lists

1

Lists are often used as an array builder helper, but it isn't as ideal because it always requires a copy. If the list can be pre-resized to a fixed size,...

dubiousconst282

Allow to filter/opt-in assemblies by name via MSBuild property

4

It appears that the current way the build task works is somewhat "all or nothing" - either annotate individual methods with `[Optimize]` or press the big red button and add...

neon-sunset

The type system and metadata loader are in a quite unpolished state, despite being heart of the IR. These are some of the things which need to be improved/fixed. -...

dubiousconst282

Various optimization opportunities

1

This is a list of various optimization opportunities I have spotted so far. I'd like to keep it here rather than in the notes that are bound to be eventually...

neon-sunset

Invalid optimization for `Enumerable.Range(...).ToArray()`

4

First and foremost, thank you for writing this library. This is such a cool project. I have been impressed by the length it goes to optimize LINQ and the way...

neon-sunset

Structs are currently almost always keept in exposed local variable slots, making it difficult for transforms to check for legality since there's almost no data-flow info. TODOs: - [x] Consider...

dubiousconst282

Each of these could derive from `AggregationSink` (and Average from Sum).

dubiousconst282