RFR: 8344213: Cleanup OpaqueLoop*Node verification code for Assertion Predicates [v3]

[Christian Hagedorn]

> This patch cleans up the `OpaqueLoop*Node` verification code that is called with `PhaseIdeaLoop::assertion_predicate_has_loop_opaque_node()`.
> 
> There are some places where the verification code is
> - missing
> - called twice in row with different methods
> - unnecessarily called
> 
> This patch cleans this up and moves the verification code inside the `TemplateAssertionPredicate` and the `InitializedAssertionPredicate` class.
> 
> #### Details of this Patch
> - Doing a simpler BFS similar to what `ReplaceOpaqueStrideInput::replace()` is doing.
> - Noticed that the new code looks very similar, so I decided to create a dedicated `DataNodeBFS` class which could be reused again in the future to perform a BFS on data nodes.
>   - One can implement the new `BFSActions` interface to define
>     - Whether a node's input should be further visited.
>     - Whether a node is a target node for this BFS.
>     - What action that should be performed with the target node.
>   - Updated `ReplaceOpaqueStrideInput` to use the new `DataNodeBFS/BFSActions` classes.
>   - Implemented a new `OpaqueLoopNodesVerifier` class using `DataNodeBFS/BFSActions` which does the `OpaqueLoop*Node` verification previously done with `assertion_predicate_has_loop_opaque_node()`:
>     - Verify Template Assertion Predicates:
>       - For init value: Only `OpaqueLoopInit`
>       - For last value: Both `OpaqueLoop*Nodes`
>     - Verify Initialized Assertion Predicates:
>       - No `OpaqueLoop*Nodes`
> 
> Thanks,
> Christian

Christian Hagedorn has updated the pull request incrementally with one additional commit since the last revision:

  Generalize BFS

-------------

Changes:
  - all: https://git.openjdk.org/jdk/pull/22136/files
  - new: https://git.openjdk.org/jdk/pull/22136/files/5ae3a4fa..fbde5918

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=22136&range=02
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=22136&range=01-02

  Stats: 113 lines in 3 files changed: 85 ins; 15 del; 13 mod
  Patch: https://git.openjdk.org/jdk/pull/22136.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/22136/head:pull/22136

PR: https://git.openjdk.org/jdk/pull/22136