Simplify x/(1/y) in x*y

2019-12-11 19:07:52 +01:00 · 2019-12-11 19:07:52 +01:00 · f24f28b2b2
parent 1d3265acb7
commit f24f28b2b2
1 changed files with 5 additions and 0 deletions
--- a/src/DataTree.cc
+++ b/src/DataTree.cc
@ -273,6 +273,11 @@ DataTree::AddDivide(expr_t iArg1, expr_t iArg2) noexcept(false)
  if (iArg1 == iArg2)
    return One;

+  // Simplify x/(1/y) in x*y
+  if (auto barg2 = dynamic_cast<BinaryOpNode *>(iArg2);
+      barg2 && barg2->op_code == BinaryOpcode::divide && barg2->arg1 == One)
+    return AddTimes(iArg1, barg2->arg2);
+
  return AddBinaryOp(iArg1, BinaryOpcode::divide, iArg2);
 }