From 08d4716e7882be14d3b2d466d0fa8a58d087523d Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Mon, 28 Nov 2016 10:57:12 +0000 Subject: Clean up `Expr::compare()` interface by * Making `Expr::compre(const Expr&, ExprEquivSet)` private and moving its implementation into `Expr.cpp`. * Document `Expr::compare(const Expr&)`. This partially addresses #515 . --- lib/Expr/Expr.cpp | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'lib/Expr/Expr.cpp') diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp index 182093b9..15f52184 100644 --- a/lib/Expr/Expr.cpp +++ b/lib/Expr/Expr.cpp @@ -83,6 +83,13 @@ ref Expr::createTempRead(const Array *array, Expr::Width w) { } } +int Expr::compare(const Expr &b) const { + static ExprEquivSet equivs; + int r = compare(b, equivs); + equivs.clear(); + return r; +} + // returns 0 if b is structurally equal to *this int Expr::compare(const Expr &b, ExprEquivSet &equivs) const { if (this == &b) return 0; -- cgit 1.4.1