FuelLabs/sway

Add "definition dominates use" check in the IR verifier

Aberta

#3.164 aberto em 27 de out. de 2022

Ver no GitHub
 (2 comentários) (1 reação) (0 responsável)Rust (5.421 forks)batch import
compilercompiler: irenhancementgood first issueteam:compiler

Métricas do repositório

Stars
 (61.702 estrelas)
Métricas de merge de PR
 (Mesclagem média 22h 6m) (16 fundiu PRs em 30d)

Description

With #3128 , we now have a dominator tree. Use that to verify that every SSA definition dominates its uses.

Guia do colaborador

Direção de pesquisa
Revise a implementação da árvore de dominadores do PR #3128. Em seguida, explore o módulo verificador de IR em sway core/src/ir/ para entender como as definições SSA são estruturadas. Procure funções de verificação existentes para modelar a nova verificação. O problema é claro, mas requer familiaridade com os detalhes internos do compilador.
Pilha de tecnologia
rust
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.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
RustCompilerSSADominator Tree
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
30