llvm/llvm-project
Vedi su GitHubImplement `insertVar` having `Identifier` parameter
Open
#76.839 aperta il 3 gen 2024
enhancementgood first issuemlir:presburger
Metriche repository
- Star
- (26.378 star)
- Metriche merge PR
- (Merge medio 1g 2h) (1000 PR mergiate in 30 g)
Descrizione
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.