`getExprsBetween` is not getting expressions between vals

Métricas do repositório

Stars

392 stars (392 stars)

Métricas de merge de PR

Métricas PR pendentes (Métricas PR pendentes)

Description

TEST_F(IterVisitorTest, ExprsBetween) {
  Fusion fusion;
  FusionGuard fg(&fusion);

  TensorView* tv0 = makeSymbolicTensor(1);
  TensorView* tv1 = set(tv0);
  TensorView* tv2 = set(tv1);
  TensorView* tv3 = set(tv2);
  TensorView* tv4 = set(tv3);

  fusion.addInput(tv0);
  fusion.addOutput(tv4);

  auto exprs0 = StmtSort::getExprsBetween({tv2}, {tv3});
  auto exprs1 = StmtSort::getExprsBetween({tv3}, {tv2});

  std::cout << "exprs0: " << ir_utils::toString(exprs0) << std::endl;
  std::cout << "exprs1: " << ir_utils::toString(exprs1) << std::endl;

  EXPECT_EQ(exprs0, std::vector<Expr*>{tv3->definition()});
  EXPECT_EQ(exprs1, std::vector<Expr*>{});
}

exprs1:
T1_l[ iS1{i0} ]
   = Set( T0_g[ iS0{i0} ], cache_op=Streaming )
T2_l[ iS2{i0} ]
   = Set( T1_l[ iS1{i0} ], cache_op=Streaming )

Guia do colaborador

Direção de pesquisa

Investigue a implementação de StmtSort::getExprsBetween para entender por que ela retorna expressões quando o segundo conjunto de expressões não está downstream do primeiro. O teste espera que getExprsBetween({tv3}, {tv2}) retorne um vetor vazio porque tv3 depende de tv2, o que significa que as expressões de tv2 para tv3 não estão entre tv3 e tv2 (já que tv3 está depois de tv2 na direção direta). Verifique a ordem de travessia e garanta que apenas expressões que estejam em um caminho dos nós 'from' para os nós 'to' sejam retornadas, e não o inverso.

Pilha de tecnologia

cpp

Domain

backend

Tipo Issue

Bug

DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.

2

Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.

1-3 horas

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

C++Git

Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.

60