llvm/llvm-project
Implement `insertVar` having `Identifier` parameter
Aberta
#76.839 aberto em 3 de jan. de 2024
enhancementgood first issuemlir:presburger
Métricas do repositório
- Stars
- (26.378 estrelas)
- Métricas de merge de PR
- (Mesclagem média 1d 2h) (1.000 fundiu PRs em 30d)
Description
Currently, the insertVars for PresburgerSpace, IntegerRelation, and PresburgerRelation insert a null identifier for the new var. It would be convenient to have an insertVar which also takes an Identifier parameter.