[IR] refactor the verify module.

[winter-wang]

PR types

New features

PR changes

APIs

Description

新IR的verify重构。

1. Verify函数重构

之前的verify的函数形式是

class ConcreteOp : OpBase<ConcreteOp, .....>{
   static void Verify(const std::vector<ir::OpResult> &inputs,
                                const std::vector<ir::Type> &outputs,
                                const ir::AttributeMap &attributes);
}

这种形式的用法是在oepration创建之前其参数进行verify。

但随着pass引入的operation mutation操作，operation在创建之后，也有可能因为mutation操作导致它变得不合法。

因此，本pr将Verify重构为

class ConcreteOp : OpBase<ConcreteOp, .....>{
   void Verify();
}

用法是在oepration创建之后随时可以其进行Verify。这样，pass在对operation进行mutation之后，也可以方便地进行Verify。

2. fluid下Verify函数自动生成模块重构

本pr将paddle/fluid/ir/dialect/下新建 op_verify_gen.py文件。 对op的verify函数生成逻辑进行了模块化分割。

Other

Pcard-67164

[paddle-bot]

你的PR提交成功，感谢你对开源项目的贡献!
请关注后续CI自动化测试结果，详情请参考Paddle-CI手册。
Your PR has been submitted. Thanks for your contribution!
Please wait for the result of CI firstly. See Paddle CI Manual for details.