llvm/llvm-project

Implement `insertVar` having `Identifier` parameter

Open

#76,839 创建于 2024年1月3日

在 GitHub 查看
 (6 评论) (0 反应) (1 负责人)C++ (10,782 fork)batch import
enhancementgood first issuemlir:presburger

仓库指标

Star
 (26,378 star)
PR 合并指标
 (平均合并 1天 2小时) (30 天内合并 1,000 个 PR)

描述

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.

贡献者指南