[FR] Convert indices to more efficient versions

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

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
45/100
Tipo de issue
Nueva funcionalidad
Claridad
Bastante claro
Estado de actividad
Estancado
Stack tecnológico
ocaml
Área
compilers

Línea de trabajo

Comienza con las especializaciones de indexación en src/stan/model/indexing/rvalue.hpp y sigue cómo stanc3 genera index_min_max para los ejemplos 1:N y 8:N. Verifica que el C++ generado use index_max, index_min o index_omni cuando los límites demuestren que esas formas son equivalentes, y confirma que las asignaciones resultantes preservan el comportamiento.

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

Descripción

feature optimization

There's a few optimizations possible around indexing with an index_min_max we can utilize more. Because an index_min_max() has no guaranteed order (it can be a index_min_max(1, 5) or index_min_max(5, 1). we have to make a hard copy when taking a subset using them. But with index_min, index_max, and index_omni we have specializations that don't have to copy when taking subsets.

If a user writes

x[1:5] = y;

This get's generated as something like

assign(x, index_list(index_min_max(1, 5)), y)

but we know that's actually an index_max since the minimum index range in stan is 1. So if we see a 1:N we can transform the generated code to

assign(x, index_list(index_max(5)), y)

converting to index_min is a little more complicated. If a user writes

vector[N] x;
x[8:N] = y

This get's generated as something like

assign(x, index_list(index_min_max(8, N)), y)

but we know that N is the size of x so we could write

assign(x, index_list(index_min(8)), y)

Then finally it's possible to make 1:N min_max into an index_omni, which is effectivly a no-op

vector[N] x;
x[1:N] = y

This get's generated as something like

assign(x, index_list(index_min_max(1, N)), y)

but we know that N is the size of X and 1 is the smallest range value possible in stan so we could write

assign(x, index_list(index_omni()), y)
Lenguaje dominante
OCaml
Estrellas
162
Forks
60
Merge medio
2 d 22 h
PR fusionados (30 d)
14

Preparar el entorno

  • Sin Dockerfile ni archivo de Docker Compose
  • Tiene una plantilla de pull request
  • Sin guía de contribución

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 stan-dev/stanc3

Todos los issues de stan-dev/stanc3

Issues similares

Más issues de Compilers

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.