`relaxed_trunc`: the symbol `R` is not defined
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
- 52/100
- Tipo de issue
- Documentación
- Claridad
- Bastante claro
- Estado de actividad
- Activo
- Stack tecnológico
- wasm
- Área
- compilers, documentation
Línea de trabajo
Read the relaxed truncation prose in document/core/exec/numerics.rst and compare it with the related SpecTec definitions in specification/wasm-latest/3.0-numerics.relaxed.spectec and 3.1-numerics.scalar.spectec. First determine the intended meaning of bold R and reconcile the parameter and result definitions with the prose. Done means the notation and SpecTec definitions consistently express the agreed behavior.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Since #1906, the prose says that on NaNs and out-of-range values, relaxed_trunc returns either the saturated result or $\mathbf{R}$, depending on the global parameter R_trunc_u / R_trunc_s.
$\mathbf{R}$ appears only in the sections for the unsigned and signed variants and is not defined anywhere in the document. It is also easy to confuse with the plain $R$ that the "Relaxed Operations" section uses for a global parameter in $\mathrm{relaxed}(R)[A_0, \dots, A_n] = A_R$.
Question
Is $\mathbf{R}$ the set of all values of the result type, so that each execution may return any of them?
This reading seems consistent with the "Relaxed Operations" section, which says that each parameter is an index into a sequence of possible sets of results, and that the fixed operation can still be non-deterministic. #1906 also seems to suggest it: it changed the notes to "non-deterministic" and removed the test that checked that multiple calls with the same inputs return the same result.
If so, I think the prose should define it, e.g. "where $\mathbf{R}$ is the set of all values of the result type". I'm happy to open a PR.
Related: SpecTec
The SpecTec definitions were not updated by #1906:
-
$R_trunc_uis stillrelaxed4, while the prose now restricts the parameter to{0, 1}($R_trunc_sis alreadyrelaxed2). -
$relaxed_trunc__returnsiN(N')?, which can describe at most one result. Other non-deterministic operators such as$fadd_,$frelaxed_min_and$demote__returnfN(N)*.
- Lenguaje dominante
- WebAssembly
- Estrellas
- 3.5k
- Forks
- 540
- Merge medio
- 1 d 6 h
- PR fusionados (30 d)
- 20
Preparar el entorno
- Sin Dockerfile ni 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 WebAssembly/spec
-
il2al: host function rules become two independent conditionals and ignore the new store `s'`Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
WebAssembly/spec#2279 · 6 comentarios ·
Los mantenedores suelen responder en 1 día
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
WebAssembly/spec#2258 · 4 comentarios · 1 reacción ·
Los mantenedores suelen responder en 1 día
-
[js-api] A mutable global import allocates a const global before LinkErrorPosiblemente ocupada @chicoxyzzy la tomó hace 11 días. Abierto
Dificultad 3/5 1-2 días Aptitud para principiantes 58/100
WebAssembly/spec#2253 ·
Los mantenedores suelen responder en 1 día
-
[spectec] Wasm 1.0: `$instantiate` missing premisesPosiblemente ocupada @rossberg la tomó hace 37 días. Abierto
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
WebAssembly/spec#2245 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
WebAssembly/spec#2235 · 9 comentarios ·
Los mantenedores suelen responder en 1 día
Todos los issues de WebAssembly/spec
Issues similares
-
area: compat area: parsing bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
reubeno/brush#1526 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Los mantenedores suelen responder en 1 día