This issue describes which loop optimization opportunities we intend to work on for .NET 7. A full summary of RyuJIT loop optimization opportunities is given in #65342.

Work in .NET 7

• Generalize loop cloning to be more flexible w.r.t. the loop initialization condition. This helps OSR. Cloning improvements #66257
• Address multi-dimensional array deficiencies, since they are often used in loops, as described by RyuJIT: Improving multi-dimensional array accesses #60785
• (Andy WIP) Improve loop cloning: Loop cloning driven by type tests #65206

Cut

• Address loop recognition weaknesses described by Certain loops do not get recorded in optLoopTable #43713, [JIT] Asm difference for F# and C# methods #58941
• Consider loop cloning improvements to aid OSR, as described here: On Stack Replacement Next Steps #33658 (comment)

category:planning
theme:loop-opt
skill-level:expert
cost:large