llvm/llvm-project

Implement `insertVar` having `Identifier` parameter

Open

#76,839 opened on Jan 3, 2024

View on GitHub
 (6 comments) (0 reactions) (1 assignee)C++ (10,782 forks)batch import
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.

Contributor guide