RISC-V coverage/cmplog misclassifications (BLT, SLT*, AUIPC, compressed instructions)
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
- 55/100
- Tipo di issue
- Bug
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Attiva
- Stack tecnologico
- rust
- Ambito
- testing-qa
Direzione di ricerca
Read src/arch/risc_v.rs at the cited line ranges and trace how instruction decoding feeds comparison logging and control-flow edge coverage. Check the pinned yaxpeax-riscv behavior for 16-bit instructions; the report says this was not reproduced under SIMICS. Done means verifying the reported cases and correcting or documenting them, with coverage for the affected instruction handling.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Where
src/arch/risc_v.rsaround lines 494, 502, 508-521, 563-577
Problem
BLT is missing from last_was_cmp/cmp_type. SLT/SLTU/SLTI/SLTIU log (rd, rs1) instead of the compared pair. AUIPC is listed as call and return though it does not transfer control. The pinned yaxpeax-riscv returns InvalidOpcode for all 16-bit instructions, so c.beqz/c.bnez/c.j/c.jr/c.jalr get no edge coverage on rv*gc targets.
Impact
Missing signed-branch cmplog, wrong cmp pairs, spurious edges on every auipc, silent coverage holes with compressed code.
Suggested fix
Add BLT, use operands [1],[2] for SLT*, drop AUIPC from control flow, document or handle the compressed-instruction limitation.
Status
Reported by static code review at 79972db; not yet re-verified line by line. Found by reading the code; not reproduced under SIMICS.
- Lingua principale
- Rust
- Stelle
- 335
- Fork
- 26
- Merge medio
- 1g 50m
- PR unite (30g)
- 12
Preparare l'ambiente
Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.
- Include un Dockerfile o un 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 intel/tsffs
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 1/5 1-3 ore Idoneità per principianti 86/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
I maintainer di solito rispondono entro 1 giorno
Issue simili
-
bug UI
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
wardian-app/Wardian#1746 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
jlcodes99/cockpit-tools#3125 ·
I maintainer di solito rispondono entro 2 giorni
-
bug user-sprint
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
Vondor/KassenSturz#967 ·
I maintainer di solito rispondono entro 1 giorno
-
area/ci
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 62/100
I maintainer di solito rispondono entro 1 giorno
-
[BUG] Incremental sync warns "no stored highest_uid" on every round for folders with no new mailApertabug
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
rustmailer/bichon#411 ·