[spectec] Missing and wrong side conditions in the middle-end
I maintainer di solito rispondono entro 1 giorno
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
- Da chiarire
- Stato di attività
- Tranquilla
- Stack tecnologico
- wasm
- Ambito
- compilers
Direzione di ricerca
Inizia da spectec/src/middlend/sideconditions.ml alla riga 63 ed esamina la condizione laterale esistente di MemE insieme alla gestione di SliceE, UpdE ed ExtE. Controlla prima il contesto del backport del middle-end; il lavoro è completato quando la condizione di MemE è corretta e le condizioni mancanti sono rappresentate in modo coerente.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
I think for MemE the side condition about the sequence being non-empty is wrong (https://github.com/WebAssembly/spec/blob/main/spectec/src/middlend/sideconditions.ml#L63).
Also there should be side conditions for SliceE, UpdE and ExtE.
Opening this ticket just for the record. I think I'll do a PR with the flag controlling side conditions on functions, after we backport the middle-end from the WasmDSL repo.
- Lingua principale
- WebAssembly
- Stelle
- 3.5k
- Fork
- 540
- Merge medio
- 1g 10h
- PR unite (30g)
- 16
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi 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/spec
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
WebAssembly/spec#2258 · 4 commenti · 1 reazione ·
I maintainer di solito rispondono entro 1 giorno
-
[js-api] A mutable global import allocates a const global before LinkErrorForse già presa @chicoxyzzy l’ha presa 9 giorni fa. Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100
WebAssembly/spec#2253 ·
I maintainer di solito rispondono entro 1 giorno
-
[spectec] Wasm 1.0: `$instantiate` missing premisesForse già presa @rossberg l’ha presa 35 giorni fa. Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
WebAssembly/spec#2245 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
WebAssembly/spec#2235 · 9 commenti ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
WebAssembly/spec#2155 · 2 commenti ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di WebAssembly/spec
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
NationalSecurityAgency/ghidra#9884 ·
I maintainer di solito rispondono entro 2 giorni
-
llvm.memcpy with destination align but no source align asserts "Missed Source alignment!"Forse già presa @pvelesko l’ha presa oggi. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
KhronosGroup/SPIRV-LLVM-Translator#4093 ·
I maintainer di solito rispondono entro 2 giorni
-
UB: (int) cast of a user double outside int range in dispatch / vm_index_is_int / flat_index_atApertaarea:runtime-vm
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
InauguralSystems/EigenScript#1748 ·
I maintainer di solito rispondono entro 1 giorno
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
leanprover/lean4#15677 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 2 giorni