31 lines
1.1 KiB
Markdown
31 lines
1.1 KiB
Markdown
# PR-O2.3 - OptimizeIRVM Pass Manager and Equivalence Harness
|
|
|
|
## Briefing
|
|
|
|
Evoluir `OptimizeIRVM` de no-op para estrutura de pass manager deterministica, mantendo preservacao semantica e compatibilidade de perfil.
|
|
|
|
## Target
|
|
|
|
- `OptimizeIRVMService`.
|
|
- Infraestrutura de registro/execucao de passes.
|
|
- Suite de equivalencia entre pipeline otimizado vs baseline.
|
|
|
|
## Method
|
|
|
|
- Criar contrato de pass (`name`, `enabled`, `apply`, validacao pos-pass).
|
|
- Manter no-op como pass default, mas com trilha para adicao incremental de passes reais.
|
|
- Adicionar harness de regressao comparando invariantes de saida e comportamento esperado.
|
|
|
|
## Acceptance Criteria
|
|
|
|
- Pipeline suporta multiplos passes com ordem deterministica.
|
|
- Cada pass roda sob validacao estrutural pre e pos.
|
|
- Saida otimizada preserva contratos de slots/calls/profile.
|
|
- Existe suite de equivalencia minima para impedir regressao semantica.
|
|
|
|
## Tests
|
|
|
|
- Testes de pass manager (ordem, habilitacao, falha curta).
|
|
- Testes de equivalencia entre `OptimizeIRVM` ativo vs no-op.
|
|
- Regressao de perfil invalido e determinismo de output.
|