<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/139813>139813</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [MLIR][ODS] mlir-tblgen crash when using `either` to match operand after attribute
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          xl4624
      </td>
    </tr>
</table>

<pre>
    Here is an example of this: 

```
def P4HIR_BinOp_AddZero : Pat<
  (BinOp BinOpKind_Add, (either $x, (ConstOp P4HIR_IntAttr:$value, $_, $_))),
 (replaceWithValue $x),
  [(IsZero $value)]
>;
```

The `BinOp` definition above is very similar to `ClangIR`'s `BinOp`, where `BinOpKind` is an `EnumAttr`. When compiling the pattern above `mlir-tblgen` crashes with this stack trace:

```bash
mlir-tblgen: /home/xiaomin/dev/p4mlir/third_party/llvm-project/llvm/include/llvm/Support/Casting.h:566: decltype(auto) llvm::cast(const From &) [To = mlir::tblgen::NamedTypeConstraint *, From = llvm::PointerUnion<mlir::tblgen::NamedAttribute *, mlir::tblgen::NamedProperty *, mlir::tblgen::NamedTypeConstraint *>]: Assertion `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /home/xiaomin/dev/p4mlir/install/bin/mlir-tblgen -gen-rewriters -I /home/xiaomin/dev/p4mlir/third_party/p4c/extensions/p4mlir/include/p4mlir/Dialect/P4HIR -I/home/xiaomin/dev/p4mlir/third_party/p4c/build/_deps/gtest-src/googlemock/include -I/home/xiaomin/dev/p4mlir/third_party/p4c/build/_deps/gtest-src/googletest/include -I/usr/include -I/home/xiaomin/dev/p4mlir/third_party/p4c -I/home/xiaomin/dev/p4mlir/third_party/p4c/build -I/home/xiaomin/dev/p4mlir/third_party/p4c/extensions -I/home/xiaomin/dev/p4mlir/install/include -I/home/xiaomin/dev/p4mlir/install/include -I/home/xiaomin/dev/p4mlir/third_party/p4c/extensions/p4mlir/include -I/home/xiaomin/dev/p4mlir/third_party/p4c/build/extensions/p4mlir/include /home/xiaomin/dev/p4mlir/third_party/p4c/extensions/p4mlir/include/p4mlir/Dialect/P4HIR/P4HIR.td --write-if-changed -o extensions/p4mlir/include/p4mlir/Dialect/P4HIR/P4HIR_Patterns.inc -d extensions/p4mlir/include/p4mlir/Dialect/P4HIR/P4HIR_Patterns.inc.d
 #0 0x00005cb00f635eb9 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/xiaomin/dev/p4mlir/third_party/llvm-project/llvm/lib/Support/Unix/Signals.inc:799:11
 #1 0x00005cb00f63645b PrintStackTraceSignalHandler(void*) /home/xiaomin/dev/p4mlir/third_party/llvm-project/llvm/lib/Support/Unix/Signals.inc:875:1
 #2 0x00005cb00f633a3c llvm::sys::RunSignalHandlers() /home/xiaomin/dev/p4mlir/third_party/llvm-project/llvm/lib/Support/Signals.cpp:105:5
 #3 0x00005cb00f636b9a SignalHandler(int) /home/xiaomin/dev/p4mlir/third_party/llvm-project/llvm/lib/Support/Unix/Signals.inc:415:1
 #4 0x0000714ca404def0 (/usr/lib/libc.so.6+0x3def0)
 #5 0x0000714ca40a774c (/usr/lib/libc.so.6+0x9774c)
 #6 0x0000714ca404ddc0 raise (/usr/lib/libc.so.6+0x3ddc0)
 #7 0x0000714ca403557a abort (/usr/lib/libc.so.6+0x2557a)
 #8 0x0000714ca40354e3 __assert_perror_fail (/usr/lib/libc.so.6+0x254e3)
 #9 0x00005cb00f4c14a4 decltype(auto) llvm::cast<mlir::tblgen::NamedTypeConstraint*, llvm::PointerUnion<mlir::tblgen::NamedAttribute*, mlir::tblgen::NamedProperty*, mlir::tblgen::NamedTypeConstraint*>>(llvm::PointerUnion<mlir::tblgen::NamedAttribute*, mlir::tblgen::NamedProperty*, mlir::tblgen::NamedTypeConstraint*> const&) /home/xiaomin/dev/p4mlir/third_party/llvm-project/llvm/include/llvm/Support/Casting.h:567:43
#10 0x00005cb00f4aa60d (anonymous namespace)::PatternEmitter::emitOperandMatch(mlir::tblgen::DagNode, llvm::StringRef, llvm::StringRef, int, mlir::tblgen::DagLeaf, llvm::StringRef, int, std::optional<int>) /home/xiaomin/dev/p4mlir/third_party/llvm-project/mlir/tools/mlir-tblgen/RewriterGen.cpp:683:9
#11 0x00005cb00f4a966d (anonymous namespace)::PatternEmitter::emitEitherOperandMatch(mlir::tblgen::DagNode, mlir::tblgen::DagNode, llvm::StringRef, int, int&, int) /home/xiaomin/dev/p4mlir/third_party/llvm-project/mlir/tools/mlir-tblgen/RewriterGen.cpp:774:7
#12 0x00005cb00f4a6e4e (anonymous namespace)::PatternEmitter::emitOpMatch(mlir::tblgen::DagNode, llvm::StringRef, int) /home/xiaomin/dev/p4mlir/third_party/llvm-project/mlir/tools/mlir-tblgen/RewriterGen.cpp:612:9
#13 0x00005cb00f4a5251 (anonymous namespace)::PatternEmitter::emitMatch(mlir::tblgen::DagNode, llvm::StringRef, int) /home/xiaomin/dev/p4mlir/third_party/llvm-project/mlir/tools/mlir-tblgen/RewriterGen.cpp:403:5
#14 0x00005cb00f4abe72 (anonymous namespace)::PatternEmitter::emitMatchLogic(mlir::tblgen::DagNode, llvm::StringRef) /home/xiaomin/dev/p4mlir/third_party/llvm-project/mlir/tools/mlir-tblgen/RewriterGen.cpp:958:3
#15 0x00005cb00f4a48f9 (anonymous namespace)::PatternEmitter::emit(llvm::StringRef) /home/xiaomin/dev/p4mlir/third_party/llvm-project/mlir/tools/mlir-tblgen/RewriterGen.cpp:1113:7
#16 0x00005cb00f4a35a9 emitRewriters(llvm::RecordKeeper const&, llvm::raw_ostream&) /home/xiaomin/dev/p4mlir/third_party/llvm-project/mlir/tools/mlir-tblgen/RewriterGen.cpp:1987:56
#17 0x00005cb00f4a2fd1 $_0::operator()(llvm::RecordKeeper const&, llvm::raw_ostream&) const /home/xiaomin/dev/p4mlir/third_party/llvm-project/mlir/tools/mlir-tblgen/RewriterGen.cpp:2006:20
#18 0x00005cb00f4a2fa5 bool std::__invoke_impl<bool, $_0&, llvm::RecordKeeper const&, llvm::raw_ostream&>(std::__invoke_other, $_0&, llvm::RecordKeeper const&, llvm::raw_ostream&) /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/15.1.1/../../../../include/c++/15.1.1/bits/invoke.h:63:7
#19 0x00005cb00f4a2f45 std::enable_if<is_invocable_r_v<bool, $_0&, llvm::RecordKeeper const&, llvm::raw_ostream&>, bool>::type std::__invoke_r<bool, $_0&, llvm::RecordKeeper const&, llvm::raw_ostream&>($_0&, llvm::RecordKeeper const&, llvm::raw_ostream&) /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/15.1.1/../../../../include/c++/15.1.1/bits/invoke.h:116:2
#20 0x00005cb00f4a2e6d std::_Function_handler<bool (llvm::RecordKeeper const&, llvm::raw_ostream&), $_0>::_M_invoke(std::_Any_data const&, llvm::RecordKeeper const&, llvm::raw_ostream&) /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/15.1.1/../../../../include/c++/15.1.1/bits/std_function.h:292:2
#21 0x00005cb00f6bb0ce std::function<bool (llvm::RecordKeeper const&, llvm::raw_ostream&)>::operator()(llvm::RecordKeeper const&, llvm::raw_ostream&) const /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/15.1.1/../../../../include/c++/15.1.1/bits/std_function.h:593:2
#22 0x00005cb00f6b9aa9 mlir::GenInfo::invoke(llvm::RecordKeeper const&, llvm::raw_ostream&) const /home/xiaomin/dev/p4mlir/third_party/llvm-project/mlir/include/mlir/TableGen/GenInfo.h:39:5
#23 0x00005cb00f6b7bd3 mlirTableGenMain(llvm::raw_ostream&, llvm::RecordKeeper const&) /home/xiaomin/dev/p4mlir/third_party/llvm-project/mlir/lib/Tools/mlir-tblgen/MlirTblgenMain.cpp:137:3
#24 0x00005cb00f6bf575 bool std::__invoke_impl<bool, bool (*&)(llvm::raw_ostream&, llvm::RecordKeeper const&), llvm::raw_ostream&, llvm::RecordKeeper const&>(std::__invoke_other, bool (*&)(llvm::raw_ostream&, llvm::RecordKeeper const&), llvm::raw_ostream&, llvm::RecordKeeper const&) /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/15.1.1/../../../../include/c++/15.1.1/bits/invoke.h:63:7
#25 0x00005cb00f6bf515 std::enable_if<is_invocable_r_v<bool, bool (*&)(llvm::raw_ostream&, llvm::RecordKeeper const&), llvm::raw_ostream&, llvm::RecordKeeper const&>, bool>::type std::__invoke_r<bool, bool (*&)(llvm::raw_ostream&, llvm::RecordKeeper const&), llvm::raw_ostream&, llvm::RecordKeeper const&>(bool (*&)(llvm::raw_ostream&, llvm::RecordKeeper const&), llvm::raw_ostream&, llvm::RecordKeeper const&) /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/15.1.1/../../../../include/c++/15.1.1/bits/invoke.h:116:2
#26 0x00005cb00f6bf42d std::_Function_handler<bool (llvm::raw_ostream&, llvm::RecordKeeper const&), bool (*)(llvm::raw_ostream&, llvm::RecordKeeper const&)>::_M_invoke(std::_Any_data const&, llvm::raw_ostream&, llvm::RecordKeeper const&) /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/15.1.1/../../../../include/c++/15.1.1/bits/std_function.h:292:2
#27 0x00005cb00f6c1cae std::function<bool (llvm::raw_ostream&, llvm::RecordKeeper const&)>::operator()(llvm::raw_ostream&, llvm::RecordKeeper const&) const /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/15.1.1/../../../../include/c++/15.1.1/bits/std_function.h:593:2
#28 0x00005cb00f6bfde6 llvm::TableGenMain(char const*, std::function<bool (llvm::raw_ostream&, llvm::RecordKeeper const&)>) /home/xiaomin/dev/p4mlir/third_party/llvm-project/llvm/lib/TableGen/Main.cpp:144:23
#29 0x00005cb00f6b7a4d mlir::MlirTblgenMain(int, char**) /home/xiaomin/dev/p4mlir/third_party/llvm-project/mlir/lib/Tools/mlir-tblgen/MlirTblgenMain.cpp:157:10
#30 0x00005cb00f37ccc2 main /home/xiaomin/dev/p4mlir/third_party/llvm-project/mlir/tools/mlir-tblgen/mlir-tblgen.cpp:27:35
#31 0x0000714ca40376b5 (/usr/lib/libc.so.6+0x276b5)
#32 0x0000714ca4037769 __libc_start_main (/usr/lib/libc.so.6+0x27769)
#33 0x00005cb00f298ac5 _start (/home/xiaomin/dev/p4mlir/install/bin/mlir-tblgen+0x25cac5)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWltv47YS_jXMC2FDInV9yIPixG3Q3W6QTVvgvAgURcs8K5ECSWWTf39ASopl7TYXO0nTExgRxMtw5puh5uOFaM0rwdgpCM9AeH5COrOV6vSuDiIUnBSyvD_9lSkGuYZEQHZHmrZmUG6g2XINcAaBl9lf5A0_LyvZBl4Fv15e52dcfGnzrCz_w5SEtvUVMQCvgJdBCFDi6qH7_xsXpW0J0MrWMG62TEGAgruhZCWFNl_aQfKlMJkxCuAMoOCW1B3rmwX57pmOPzceQIlibU0o-4ub7Z-2yyB-bAEtBCi51L22D3JTEJ5bE_EFwGczW4GX3WwZBJHnrACRB0u24YIbLgUkhbx10N0ydQ81b3hNFDTStl_VRFSX11YMivVUgrXg-9aCPhZacKzo3gkg8i5E1zj7I28J_9oyAalsWl5zUUGzZbAlxjA1KgAir6m5Wpiirpiwgqgiess0_M7N1nkSakPoN2gUocyCuu_Ugugt8LKpEOt5tN7KhgG0vuNENlwAtC7ZLUDrNrBNAVqbLVdl3hJl7gFa1_Vts2iV_C-jZngFaM0FrbuS7Qq-dm0rlW2xItpwUS23AGdhFNlBS0Zrc98ygBLSGQlQCl03nAGcUaINQAm1oQLXSjYQoMg2AeHZjQ3Ac-gUc40fDAE4-500rLy5b5mLMkW4MBCgzHqiF4PPJ8NcSS4MU38ILgXAq0dEWh_xojNslPZI2yslW6bM_TOa_kRTfGGjFGcw05opF30g8rgmAK9upK1GyZ-kdmBYTCIIEHJ44dXNfV9vK4mquoYJY6c4FzaqiOFFzWAPug8QAiiGG8JrVi6Bl119usi-XkDdFQ03kMCiq6Bi1oE20LfGtNrN0jVA64qbbVcsqWx23p4FBde6YxqgNSSihENsuJh2MQsLQr-5KLVjf3VBW3ZN28est4Tu70rJSpHmwRj9zHDlQhtS1wCtC1c9CXi4qJhYKPZdccOUhovLl8d_G1CA1uzOMKG5FHp_6HEWPBSdc1L3oLhvHlxcHjhi0fG6BGidl6y1g1aGabPQytZVUlY1ayT9tlPiLUeyBfOROq2OHvxInQ_vvnPn82TsYuxFBh_Y7cUBeLzvHxf_zpNmfC5NCRcLN3kXfLOgWyIqVsKFhMdKzq_6XKuXXFC4KF9X4LLsuQv2oHfneZ4X0sLzNhEOWTHNfPpeD7lJcWHcd_HG5XKU7Bop8j2X2ihGGpcDVpAL02eEV8nkNS_20vcfgt_ZAl4JUjtzAM7iNAU48_3BLn9mVxSEBZwZ0Qv4lYiyZgqg5Fby0iXJ99U8iUOr-aA4mimOCaY_c8h1J_b010OifSPNR5Vpa3Oi71mVw0FlPMe6SAmcg_sPhETgT4ENBi1jP6Ak8IKSbTzoQBsSRS-z5gVdarmMADrz7rBtZal6LyPcl0HiOKBPykhtq52MaK5HST2oCNfsGdqUdKJNvC8Jh2FMLDVX5klJyLbdSUrmkgKGYZ4Tx_nyliklVW652TMEBwzvBKd7oRFQPyDBM7j2o-R3n6UOrPYoFv18Ev1SDj1QaEeDP7SK0C1uxmXNO6_AYjtZsV0ZIuzvZ6SAkMgrbdgRIcV9IzsNBWmYbl0WSgdA-9R20XD77MtYw82Xlikiys_E0C1Ayc8xOSfV77Jk-1H01Sguqmu2eaTYgfd3SJ-T6hMjz-iuTdlXytYur0gN8MpW2Zg53hVjGylrvb_yAGh9PSw7fmFi-LBHCQY4SwdX-DNXpFF0sCsu3M7LSx1yqMcGbN3jNRnJC-GM48D-H-BEMzgjFrDDI_vYoP5nEIl8NAkwPEMkRKF_KCL_TjwCDw9MyuIRzPAoWIyOwuOTrDg9GJR3RyMNE4CzMROEMzSCZJMeisZe_v0nTfR9H0--CdHMRhySFFqFx556T_NrRqUqf2OsZWqSsqf-m6_G3t_CNIldWh9MjGcmok3pu610b8x7TBEjVb-AOd7cfpv2nY1Gnhe5x2B08oPRJISFlPUu3-c5F7fyG8t509qkb2vHUwbvBztfDoUjnT-OJm0efs1x-gjrlwT9_uZy2a8LogCgdUWpdUIS5VGwaOmi5qK7W1SiA2jth0t_6Y89Zv929JECdOZ-uw4FN9q1sTY5GhlNp1X6A_xBuEOeCVLULOcbS7W0A4a6EpXfvpEjVs75bi3gvsL3LftJJKi3CoP_M1_7vptsvbPRfMWAWFROwF13glpmnW-HzYgeY3j0l2bnpdGt-efBk3szLxP3eUkM-Ru5_y4vaFPmmwFR5wuUookvZvtuReHRSaCPHV_PBSPyb5ZEPgjKYYonKM82CYuUkHSyVvqFiUuxkf3LQ0B-pLS6w2AouLHf319cch20d2bjdMeO0WyfsYiLEjurx86fidXn0Z3pJ0F4NbrU747d_JQ_fLZKuxer8sibcLwjvyiYGbsJ4-cSiHFquZ2gaD4dDsHk8dh4WsJTVOTjafxBEt2U1KDwh5DwX05qPh7Uh9Gjj2lH8vHU-iCRvE_ZonkoB-jFlO1QMPdc9Ar-OYr8_bv8-QT521_pR9Sn5Lnk7yjkHyF_B-H7sclfMp87JYsmVs3IEN2SB-OyvfOGN_HHax_xTnjhlCoFgQVk5ErpnBiSoJzQ4X22NZ5Fr6CFxoHyKkf-B9O-MHYn6r0tswsZOKaUItgQLt52R2vyNu5oOTY6cO-H-xTjCXEcFeHTh8G2VX8YbGWguYw4SmGe2z65NkSZfLDzKalxlO6k7q8KUJoQGsJe3iDqiOt5w5k2JXS0Y7y7elKe4jLFKTlhp34cxH7iJRidbE9xXCKyCfCGhH4alGmAMfX8iHk02YQxwyf8FHko9EI_sGpjtIyKKAlIFHosCUIPJSDwWEN4vbQOXEpVnbjbi6c-ThMfn9SkYLV2F6sR6k1AIDw_UafO4UVXaRB4NddG7yQYbmp3Gfvzp8trEJ6D8OzL-VcQ9jdXx8uI_V3I71smYKe5qCCIvP7KNIg8aCRsiKFbKPtTPEg2hilIxjPqk07Vp4ffzBzMuz1F_wsAAP__OkBKFg">