dotnet/roslyn

Compiler should optimize common boolean return patterns

Aperta

#34.726 aperta il 3 apr 2019

Vedi su GitHubGuida contributor
 (9 commenti) (0 reazioni) (0 assegnatari)C# (4257 fork)batch import
Area-CompilersCode Gen Qualityhelp wanted

Metriche repository

Star
 (20.414 stelle)
Metriche merge PR
 (Merge medio 6g 17h) (256 PR mergiate in 30 g)

Descrizione

Version Used: Rosyln master branch from 2nd April 2019

Steps to Reproduce: [Sharplab Demo]

  1. Have this code: public bool Proper(object o) { return o is object; }
  2. Also, have this unoptimized version public bool ShouldBeOptimized(object o) { if (o is object) { return true; } return false; }

Expected Behavior: Identical IL output, as they are semantically identical. This wouldn't be an issue but it does affect JIT output seemingly (JIT64 desktop, tested on Sharplab above) - it switches a setcc ; movzx pattern to a full branch, which is not ideal

Actual Behavior: IL generation has an additional branch and changes the generated JIT

It is a very minor issue but was recommended to create an issue for it

Guida contributor

Direzione di ricerca
Identifica il metodo di generazione IL per i ritorni booleani nel compilatore Roslyn; cerca pattern in cui un blocco if else che restituisce true/false può essere ottimizzato in un singolo confronto e istruzione di impostazione condizionale (es. setcc, movzx). Traccia come il compilatore emette IL per i pattern C# forniti e modifica l'ottimizzatore per riconoscere e trasformare il pattern non ottimizzato.
Tech stack
csharp
Dominio
compilers
Tipo issue
Performance
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
C#
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
50