Skip parser when --skip parser option is set in Substitution.

Author: fruffy

core/specialization/passes/substitute_expressions.cpp

@@ -4,6 +4,7 @@
 
 #include "backends/p4tools/common/lib/logging.h"
 #include "backends/p4tools/modules/flay/core/lib/return_macros.h"
+#include "backends/p4tools/modules/flay/options.h"
 #include "ir/node.h"
 #include "ir/vector.h"
 #include "lib/error.h"
@@ -14,6 +15,13 @@ SubstituteExpressions::SubstituteExpressions(const P4::ReferenceMap &refMap,
                                              const AbstractSubstitutionMap &substitutionMap)
     : _substitutionMap(substitutionMap), _refMap(refMap) {}
 
+const IR::Node *SubstituteExpressions::preorder(IR::P4Parser *parser) {
+    if (FlayOptions::get().skipParsers()) {
+        prune();
+    }
+    return parser;
+}
+
 const IR::Node *SubstituteExpressions::preorder(IR::Declaration_Variable *declaration) {
     if (declaration->initializer != nullptr) {
         declaration->initializer =

core/specialization/passes/substitute_expressions.h

@@ -23,6 +23,7 @@ class SubstituteExpressions : public Transform {
     /// The list of eliminated and optionally replaced nodes. Used for bookkeeping.
     std::vector<EliminatedReplacedPair> _eliminatedNodes;
 
+    const IR::Node *preorder(IR::P4Parser *parser) override;
     const IR::Node *preorder(IR::Member *member) override;
     const IR::Node *preorder(IR::AssignmentStatement *statement) override;
     const IR::Node *preorder(IR::Declaration_Variable *declaration) override;