llvm/llvm-project

Implement `insertVar` having `Identifier` parameter

Open

#76 839 ouverte le 3 janv. 2024

Voir sur GitHub
 (6 commentaires) (0 réactions) (1 assigné)C++ (10 782 forks)batch import
enhancementgood first issuemlir:presburger

Métriques du dépôt

Stars
 (26 378 stars)
Métriques de merge PR
 (Merge moyen 1j 2h) (1 000 PRs mergées en 30 j)

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.

Guide contributeur