llvm/llvm-project
Implement `insertVar` having `Identifier` parameter
Offen
#76.839 geöffnet am 03.01.2024
enhancementgood first issuemlir:presburger
Repository-Metriken
- Stars
- (26.378 Sterne)
- PR-Merge-Metriken
- (Durchschn. Merge 1T 2h) (1.000 gemergte PRs in 30 T)
Beschreibung
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.