daphne-project/daphne

Connect `hasSpecialValue`-kernel to DaphneDSL

Aberta

#960 aberto em 18 de abr. de 2025

Ver no GitHubGuia do colaborador
 (0 comentário) (0 reação) (0 responsável)C++ (84 forks)auto 404
good first issue

Métricas do repositório

Stars
 (80 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

Motivation: Finding out if a matrix contains any special values (e.g., nan, inf, or any other value that is special in some context, say 42) is an important task and whether a matrix contains a certain special value can be seen as an interesting data characteristic. DAPHNE implements a hasSpecialValue-kernel that finds out if a given matrix contains a given special value, whereby it behaves nan-safe. So far, this kernel has not been connected to DaphneDSL yet. Hence, DAPHNE users cannot use it.

Task: Connect the hasSpecialValue-kernel to DaphneDSL. To this end you should:

  • Have a look at the kernel in src/runtime/local/kernels/hasSpecialValue.h.
  • Make sure that it gets instantiated/precompiled for a couple of relevant combinations of data types (e.g., DenseMatrix and CSRMatrix) and value types (e.g., double and int64_t) in src/runtime/local/kernels.json.
  • Add a DaphneIR operation HasSpecialValue in src/ir/daphneir/DaphneOps.td. See also the MLIR documentation.
  • Add a DaphneDSL built-in function hasSpecialValue that generates a HasSpecialValue in the IR in src/parser/daphnedsl/DaphneDSLBuiltins.cpp.
  • Add script-level test cases for the new DaphneDSL built-in function in test/api/cli/operations/. See the guidelines on testing in DAPHNE. Unit tests for the kernel do already exist in test/runtime/local/HasSpecialValueTest.cpp.

Guia do colaborador

Direção de pesquisa
Inspecione o kernel hasSpecialValue em src/runtime/local/kernels/hasSpecialValue.h. Adicione instanciações pré compiladas para combinações relevantes de tipo de dados e tipo de valor em src/runtime/local/kernels.json. Defina a operação HasSpecialValue em src/ir/daphneir/DaphneOps.td seguindo a documentação do MLIR. Implemente a função embutida hasSpecialValue do DaphneDSL em src/parser/daphnedsl/DaphneDSLBuiltins.cpp que gera a operação HasSpecialValue. Adicione casos de teste no nível de script em test/api/cli/operations/ seguindo as diretrizes de teste.
Pilha de tecnologia
None
Domain
backend
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
c++
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
50