[DimExpr] DimExpr support print

paddle/pir/dialect/shape/utils/dim_expr.cc

@@ -124,4 +124,64 @@ bool DimExpr::operator!=(const DimExpr& other) const {
   return !(*this == other);
 }
 
+namespace {
+
+std::string ToTxtStringImpl(std::int64_t dim_expr) {
+  return std::to_string(dim_expr);
+}
+
+std::string ToTxtStringImpl(const std::string& dim_expr) { return dim_expr; }
+
+std::string ToTxtStringImpl(const Negative<DimExpr>& dim_expr) {
+  return "-" + ToTxtString(dim_expr->data);
+}
+
+std::string ToTxtStringImpl(const Reciprocal<DimExpr>& dim_expr) {
+  return "1 / (" + ToTxtString(dim_expr->data) + ")";
+}
+
+std::string ListDimExprToTxtString(const List<DimExpr>& dim_exprs,
+                                   const std::string& delim = ", ") {
+  std::string ret;
+  for (std::size_t i = 0; i < dim_exprs->size(); ++i) {
+    if (i > 0) {
+      ret += delim;
+    }
+    ret += ToTxtString(dim_exprs->at(i));
+  }
+  return ret;
+}
+
+std::string ToTxtStringImpl(const Add<DimExpr>& dim_expr) {
+  return "Add(" + ListDimExprToTxtString(dim_expr.operands, ", ") + ")";
+}
+
+std::string ToTxtStringImpl(const Mul<DimExpr>& dim_expr) {
+  return "Mul(" + ListDimExprToTxtString(dim_expr.operands, ", ") + ")";
+}
+
+std::string ToTxtStringImpl(const Max<DimExpr>& dim_expr) {
+  return "Max(" + ListDimExprToTxtString(dim_expr.operands, ", ") + ")";
+}
+
+std::string ToTxtStringImpl(const Min<DimExpr>& dim_expr) {
+  return "Min(" + ListDimExprToTxtString(dim_expr.operands, ", ") + ")";
+}
+
+std::string ToTxtStringImpl(const Broadcast<DimExpr>& dim_expr) {
+  return "Broadcast(" + ListDimExprToTxtString(dim_expr.operands, ", ") + ")";
+}
+
+}  // namespace
+
+std::string ToTxtString(const DimExpr& dim_expr) {
+  return std::visit([](const auto& impl) { return ToTxtStringImpl(impl); },
+                    dim_expr.variant());
+}
+
+std::ostream& operator<<(std::ostream& stream, const DimExpr& dim_expr) {
+  stream << ToTxtString(dim_expr);
+  return stream;
+}
+
 }  // namespace symbol

paddle/pir/dialect/shape/utils/dim_expr.h

@@ -17,6 +17,7 @@
 #include <functional>
 #include <memory>
 #include <optional>
+#include <ostream>
 #include <string>
 #include <variant>
 #include <vector>
@@ -239,4 +240,8 @@ class ValueShape {
 
 using ValueShapeDimExprs = ValueShape<DimExpr>;
 
+std::string ToTxtString(const DimExpr& dim_expr);
+
+std::ostream& operator<<(std::ostream&, const DimExpr& dim_expr);
+
 }  // namespace symbol

test/cpp/pir/shape_dialect/symbol_dim_expr_test.cc

@@ -92,4 +92,17 @@ TEST(DimExpr, equal) {
             builder.Broadcast(DimExpr("S0"), constant1));
 }
 
+TEST(DimExpr, print) {
+  DimExprBuilder builder{nullptr};
+  DimExpr sym0 = DimExpr("S0");
+  DimExpr sym1 = DimExpr("S1");
+  ASSERT_EQ((ToTxtString(sym0 + sym1)), "Add(S0, S1)");
+  ASSERT_EQ((ToTxtString(sym0 - sym1)), "Add(S0, -S1)");
+  ASSERT_EQ((ToTxtString(sym0 * sym1)), "Mul(S0, S1)");
+  ASSERT_EQ((ToTxtString(sym0 / sym1)), "Mul(S0, 1 / (S1))");
+  ASSERT_EQ((ToTxtString(builder.Max(sym0, sym1))), "Max(S0, S1)");
+  ASSERT_EQ((ToTxtString(builder.Min(sym0, sym1))), "Min(S0, S1)");
+  ASSERT_EQ((ToTxtString(builder.Broadcast(sym0, sym1))), "Broadcast(S0, S1)");
+}
+
 }  // namespace symbol::test