Mohsen Rahmati

Thank you Mihai, But I don't have the output yet with one push_back by this code. ``` const IR::Node* preorder( IR::ParserState* node) override { auto result = new IR::IndexedVector(); result->push_back(node);...

Yes, you are right but when I use two push_back to insert a new node, I have an error about duplicate declaration because of inserting an existing node. would it...

Thank you, Yes, I want to do it. I know how to change the attributes of IR::ParserState But I don't know how to change the attributes of IR::ParserState in`IR::IndexedVector()`

Thank you, I changed the name but I think it is not enough because there is no declaration for this inserting (There is an if for checking this in indexed_vector.h:65)...

Thank you, I make a clone node and change it. But when I run a p4 code, I have this error and IR:P4Parser is empty. ``` Udp.p4(61): [--Werror=not-found] error: parser...

Thank you so much, it works. you saved me :)

> There is a pass called "LocalCopyPropagation" that I would in some cases call "common subexpression proliferation", since it can cause common subexpressions to be repeated many times in the...

Thank you so much. I have three codes (1. all UDP packets go to port one, 2. all TCP packets go to port two, and 3. all UDP packets go...

Thank you, Fabian. About 'verify expression', I mean, the compiler can understand the equality of expressions and redundant expressions can point to the same node. I checked the StrengthReduction pass;...

Thank you @jafingerhut and @fruffy. Perhaps 'verify' was not the correct term to use, but my main point is that simplifying pass (strengthReduction) in P4C is incomplete. For example, P4C...