Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

GC and on-stack equivalents of f32.load_f16 and f32.store_f16

Abierto
  • ¿Algo no está bien?
#10 6 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
5/5
Tiempo estimado
Más de una semana
Aptitud para principiantes
38/100
Tipo de issue
Nueva funcionalidad
Claridad
Bastante claro
Estado de actividad
Tranquilo
Stack tecnológico
wasm
Área
compilers

Línea de trabajo

Comience con las operaciones on-stack propuestas y el tipo de almacenamiento f16 alternativo descritos en el issue; compare sus implicaciones para WasmGC, la memoria lineal y las instrucciones struct/array existentes. Se considera terminado cuando la propuesta tiene un diseño definido para las instrucciones o el tipo de almacenamiento requeridos y se especifica el comportamiento correspondiente.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

Outside of the SIMD operations, the proposal includes two opcodes to read and write f32s to the linear memory as f16s. Languages that compile to WasmGC typically don't even allocate a memory at all. It would be quite inconvenient to allocate a 2-byte memory and read-write through it in order to manipulate f16 bits.

I propose to add at least an on-stack equivalent to these instructions, which is similar to the pairs f32.reinterpret_i32 f64.promote_f32 and f32.demote_f64 i32.reinterpret_f32:

  • f32.promote_f16_reinterpret_i32: [i32] -> [f32]
    extracts the 16 low-order bits of the input, reinterpret them as an f16, and promote that f16 value an f32.

  • i32.reinterpret_f16_demote_f32: [f32] -> [i32]
    demotes the input f32 into an f16, reinterpret it as an i16, and zero-extend it to an i32

One could argue that the above are the fundamental operations, and that the memory operations could be expressed in terms of them + i16 memory operations.

If not, then I propose we also bring WasmGC on par with the linear memory with appropriate struct. and array. operations:

  • struct.get_promote x y: [(ref null x)] -> [f32]: loads an i16 field, reinterpret as f16 and promote to f32
  • struct.set_demote x y: [(ref null x) f32] -> []: demotes to an f16, reinterpret as i16 and stores
  • Similarly for array.get_promote and array.set_demote.

Edit: alternative for WasmGC: just introduce f16 as a storagetype, but not as a full valtype (like i16). Then we can use the existing struct.get, struct.set, etc. instructions. This is probably a lot simpler.

Lenguaje dominante
WebAssembly
Estrellas
14
Forks
0
Sin PR fusionados en 30 d

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de WebAssembly/half-precision

Todos los issues de WebAssembly/half-precision

Issues similares

Más issues de Compilers

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.