Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

Improve selectify

Aperta
#4,166 2 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
35/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
cpp, wasm
Ambito
compilers, testing-qa

Direzione di ricerca

Inizia dalla logica di selectify vicino a src/passes/RemoveUnusedBrs.cpp#L1077 e dai casi esistenti in lit/remove-unused-brs.wast. Aggiungi il caso di regressione fornito per il ritorno anticipato e verifica che il test si aspetti che l’if senza un ramo false venga canonicalizzato, così che selectify possa produrre la forma select mostrata.

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

Descrizione

I think I already mentioned a similar problem, but it was a long time ago.

If we have an "if" branch without a false arm, you selectify stops working:

function selectify_early_return(x: i32): i32 {
  if (x) return x;
  return 1;
}

Just add this test into lit/remove-unused-brs.wast as:

  ;; CHECK:      (func $selectify-early-return (param $x i32) (result i32)
  ;; CHECK-NEXT:  (if
  ;; CHECK-NEXT:   (local.get $x)
  ;; CHECK-NEXT:   (return
  ;; CHECK-NEXT:    (local.get $x)
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (i32.const 1)
  ;; CHECK-NEXT: )
  (func $selectify-early-return (param $x i32) (result i32)
    (if
      (local.get $x)
      (return (local.get $x))
    )
    (i32.const 1)
  )

But obversely we expect something like this insted:

(func $selectify-early-return (param $x i32) (result i32)
  (select
    (local.get $0)
    (i32.const 1)
    (local.get $0)
  )
)

The main problem here: https://github.com/WebAssembly/binaryen/blob/main/src/passes/RemoveUnusedBrs.cpp#L1077
selectify just skip optimisation if ifFalse is not exists. So it is necessary to canonicalze such cases before applying selectify. Any idea how best to do this?

Lingua principale
WebAssembly
Stelle
8.6k
Fork
885
Merge medio
2g 4h
PR unite (30g)
77

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.