[Proposal] Add getMaxSignBits for tracking sign values
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 28/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Stack tecnologico
- wasm
- Ambito
- compilers
Direzione di ricerca
Inizia individuando l’implementazione esistente di getMaxBits e i percorsi di ottimizzazione per i confronti e le operazioni aritmetiche con segno. Determina il comportamento previsto di getMaxSignBits dagli esempi, quindi definisci l’helper e i suoi utilizzi nell’analisi dell’overflow; il lavoro è completato quando le ottimizzazioni con segno proposte sono supportate senza trasformazioni errate.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
With existing getMaxBits we could provide wide range of optimizations but getMaxBits completely blind for signed operations and values. This leaves a lot of places that could be relatively easily optimised. For example:
i32(x) - i32(y) < 0 -> x < y
If we know x - y never overflow (it required getMaxSignBits for signed comparison). Or more expressive example:
i32(x) * 400 / 100 -> x * 4
if we know getMaxSignBits(x) >= 9.
For example:
(i32(x) >> 9) * 400 / 100 -> (x >> 9) << 2
In general, getMaxSignBits is the building block for helpers that calculate the signed overflow for +, - and *
- 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
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di WebAssembly/binaryen
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
WebAssembly/binaryen#9135 · 1 commento ·
-
Difficoltà 2/5 Mezza giornata Idoneità per principianti 76/100
WebAssembly/binaryen#9018 · 3 commenti ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
WebAssembly/binaryen#9133 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
WebAssembly/binaryen#9123 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
WebAssembly/binaryen#9122 ·
Tutte le issue di WebAssembly/binaryen
Issue simili
-
flang:fir-hlfir
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
llvm/llvm-project#225935 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
objectionary/eo#8923 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
Coarray integration tests carry no LABELS, so run_tests.py silently skips them under every backend Apertacoarray
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100