llvm/llvm-project

Implement `insertVar` having `Identifier` parameter

Open

#76.839 aperta il 3 gen 2024

Vedi su GitHub
 (6 commenti) (0 reazioni) (1 assegnatario)C++ (10.782 fork)batch import
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.

Guida contributor