RISC-V coverage/cmplog misclassifications (BLT, SLT*, AUIPC, compressed instructions)
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 55/100
- Tipo de issue
- Error
- Claridad
- Bastante claro
- Estado de actividad
- Activo
- Stack tecnológico
- rust
- Área
- testing-qa
Línea de trabajo
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.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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.
- Lenguaje dominante
- Rust
- Estrellas
- 335
- Forks
- 26
- Merge medio
- 1 d 50 min
- PR fusionados (30 d)
- 12
Preparar el entorno
Inicia el contenedor de desarrollo del proyecto en tu navegador, con tu propia cuenta de GitHub.
- Incluye un Dockerfile o un archivo de Docker Compose
- Sin plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de intel/tsffs
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 1-3 horas Aptitud para principiantes 86/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
Los mantenedores suelen responder en 1 día
Todos los issues de intel/tsffs
Issues similares
-
bug UI
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
wardian-app/Wardian#1746 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
jlcodes99/cockpit-tools#3125 ·
Los mantenedores suelen responder en 2 días
-
bug user-sprint
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Vondor/KassenSturz#967 ·
Los mantenedores suelen responder en 1 día
-
area/ci
Dificultad 1/5 Menos de una hora Aptitud para principiantes 62/100
Los mantenedores suelen responder en 1 día
-
[BUG] Incremental sync warns "no stored highest_uid" on every round for folders with no new mailAbiertobug
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
rustmailer/bichon#411 ·