Tail-Call optimization

Aperta
#7,647 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
5/5
Tempo stimato
Più di una settimana
Idoneità per principianti
30/100
Tipo di issue
Funzionalità
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
wasm
Ambito
compilers

Direzione di ricerca

Nell’issue non vengono indicati file, test o punti di ingresso. Inizia individuando il supporto esistente di Binaryen per le tail call e i test dei pass di ottimizzazione, quindi verifica se le tre trasformazioni mostrate sono valide in tutti i casi rilevanti. Il lavoro è completo quando è stato implementato un pass, se fattibile, con una copertura per le forme illustrate di call, return-call e conditional-call.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

I'm curious as to why binaryen doesn't implement an optimization pass for tailcall feature. Is the optimization itself not feasible?

If it is feasible, I would like to implement it.

The basic idea is we can convert

(func ...
   (call $f)
)

to

(func ...
   (return_call $f)
)

(func ...
   (return (call $f))
)

to

(func ...
   (return_call $f)
)

(func ...
   (if
      (condition)
      (call $f)
   )
)

to

(func ...
   (if
      (condition)
      (return_call $f)
   )
)
Lingua principale
WebAssembly
Stelle
8.6k
Fork
885
Merge medio
2g 1h
PR unite (30g)
70

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di WebAssembly/binaryen

Tutte le issue di WebAssembly/binaryen

Issue simili

Altre issue su Compilers

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.