llvm/llvm-project

Implement `insertVar` having `Identifier` parameter

Open

#76,839 opened on 2024年1月3日

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
 (平均マージ 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.

コントリビューターガイド