This is an archive of the discontinued LLVM Phabricator instance.

[MLIR][Presburger] Rename variable/identifier -> variable
ClosedPublic

Authored by Groverkss on Jun 25 2022, 7:56 AM.

Details

Summary

Currently, in the Presburger library, we use the words "variables" and
"identifiers" interchangeably. This patch changes this to only use "variables" to
refer to the variables of PresburgerSpace.

The reasoning behind this change is that the current usage of the word "identifier"
is misleading. variables do not "identify" anything. The information attached to them is the
actual "identifier" for the variable. The word "identifier", will later be used
to refer to the information attached to each variable in space.

Diff Detail

Event Timeline

Groverkss created this revision.Jun 25 2022, 7:56 AM
Groverkss requested review of this revision.Jun 25 2022, 7:56 AM
Groverkss edited the summary of this revision. (Show Details)Jun 25 2022, 7:58 AM
ftynse accepted this revision.Jun 28 2022, 2:10 AM
This revision is now accepted and ready to land.Jun 28 2022, 2:10 AM