llvm/llvm-project
View on GitHubImplement `insertVar` having `Identifier` parameter
Open
#76,839 opened on Jan 3, 2024
enhancementgood first issuemlir:presburger
Repository metrics
- Stars
- (26,378 stars)
- PR merge metrics
- (Avg merge 1d 2h) (1,000 merged PRs in 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.