llvm/llvm-project
Implement `insertVar` having `Identifier` parameter
オープン
#76,839 opened on 2024/01/03
enhancementgood first issuemlir:presburger
Repository metrics
- Stars
- (26,378 個のスター)
- PR merge metrics
- (平均マージ 1d 2h) (30d で 1,000 merged PRs)
説明
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.