Merge pull request #3059 from 0dvictor/rct

RecognizedCallTransformer to provide a default action

compiler/optimizer/OMRRecognizedCallTransformer.cpp

@@ -27,6 +27,8 @@
 #include "il/TreeTop_inlines.hpp"
 #include "infra/Checklist.hpp"       // for NodeChecklist, etc
 #include "codegen/CodeGenerator.hpp" // for CodeGenerator
+#include "codegen/CodeGenerator_inlines.hpp"
+#include "optimizer/TransformUtil.hpp"
 
 TR::Optimization* OMR::RecognizedCallTransformer::create(TR::OptimizationManager *manager)
    {
@@ -55,6 +57,20 @@ int32_t OMR::RecognizedCallTransformer::perform()
    return 0;
    }
 
+bool OMR::RecognizedCallTransformer::isInlineable(TR::TreeTop* treetop)
+   {
+   return cg()->isIntrinsicMethodSupported(treetop->getNode()->getFirstChild()->getSymbol()->castToMethodSymbol()->getMandatoryRecognizedMethod());
+   }
+
+void OMR::RecognizedCallTransformer::transform(TR::TreeTop* treetop)
+   {
+   auto node = treetop->getNode()->getFirstChild();
+   auto rm = node->getSymbol()->castToMethodSymbol()->getMandatoryRecognizedMethod();
+   TR_ASSERT(cg()->isIntrinsicMethodSupported(rm), "Only supported intrinsic method should reach here.");
+   TR::Node::recreate(node, cg()->ilOpCodeForIntrinsicMethod(rm));
+   TR::TransformUtil::removeTree(comp(), treetop);
+   }
+
 const char* OMR::RecognizedCallTransformer::optDetailString() const throw()
    {
    return "O^O RECOGNIZED CALL TRANSFORMER:";

compiler/optimizer/OMRRecognizedCallTransformer.hpp

@@ -1,5 +1,5 @@
 /*******************************************************************************
-* Copyright (c) 2017, 2017 IBM Corp. and others
+* Copyright (c) 2017, 2018 IBM Corp. and others
 *
 * This program and the accompanying materials are made available under
 * the terms of the Eclipse Public License 2.0 which accompanies this
@@ -43,8 +43,23 @@ class RecognizedCallTransformer : public TR::Optimization
 
    protected:
 
-   virtual bool isInlineable(TR::TreeTop* treetop) { return false; }
-   virtual void transform(TR::TreeTop* treetop)    {}
+   /** \brief
+    *     Check if a treetop is inlineable. The treetop must have one sole child TR::call
+    *
+    *  \param treetop
+    *     The treetop which anchors the call node.
+    *
+    */
+   virtual bool isInlineable(TR::TreeTop* treetop);
+
+   /** \brief
+    *     Perform transformation on the treetop. The treetop must have one sole child TR::call
+    *
+    *  \param treetop
+    *     The treetop which anchors the call node.
+    *
+    */
+   virtual void transform(TR::TreeTop* treetop);
    };
 
 }