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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] Transform-dialect-check-uses Pass triggers Assertion Failure "expected the op defining the value to have an allocation effect " "on it"
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    MLIR built at commit https://github.com/llvm/llvm-project/commit/cb37cf6161
Reproduced with: 
` mlir-opt --transform-dialect-check-uses temp.mlir`

temp.mlir:
``` 
module {  
    transform.sequence failures(propagate) {
    ^bb0(%arg0: !pdl.operation):
 alternatives %arg0 : !pdl.operation {
      ^bb0(%arg1: !pdl.operation):
      }
    } 
}

```
 
trace:
```console  
Assertion failed: (hasEffect<MemoryEffects::Allocate>(instances, operand.get()) && "expected the op defining the value to have an allocation effect " "on it"), function isUseLive, file CheckUses.cpp, line 154.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: mlir-opt --transform-dialect-check-uses temp.mlir
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0  mlir-opt 0x0000000102c037f4 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1  mlir-opt                 0x0000000102c0285c llvm::sys::RunSignalHandlers() + 112
2  mlir-opt 0x0000000102c03e8c SignalHandler(int) + 344
3  libsystem_platform.dylib 0x00000001aad414c4 _sigtramp + 56
4  libsystem_pthread.dylib 0x00000001aad29ee0 pthread_kill + 288
5  libsystem_c.dylib 0x00000001aac64340 abort + 168
6  libsystem_c.dylib 0x00000001aac63754 err + 0
7  mlir-opt                 0x00000001048407c0 void llvm::function_ref<void (mlir::Operation*)>::callback_fn<(anonymous namespace)::CheckUsesPass::runOnOperation()::'lambda'(mlir::Operation*)>(long, mlir::Operation*) (.cold.9) + 0
8  mlir-opt 0x0000000103b9fa38 void llvm::function_ref<void (mlir::Operation*)>::callback_fn<(anonymous namespace)::CheckUsesPass::runOnOperation()::'lambda'(mlir::Operation*)>(long, mlir::Operation*) + 3972
9  mlir-opt                 0x0000000104337b9c mlir::detail::walk(mlir::Operation*, llvm::function_ref<void (mlir::Operation*)>, mlir::WalkOrder) + 216
10 mlir-opt 0x0000000104337b9c mlir::detail::walk(mlir::Operation*, llvm::function_ref<void (mlir::Operation*)>, mlir::WalkOrder) + 216
11 mlir-opt                 0x0000000103b9daa8 (anonymous namespace)::CheckUsesPass::runOnOperation() + 564
12 mlir-opt 0x0000000104212bf8 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 428
13 mlir-opt                 0x0000000104213128 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
14 mlir-opt                 0x0000000104214aa4 mlir::PassManager::run(mlir::Operation*) + 1148
15 mlir-opt 0x000000010420de68 performActions(llvm::raw_ostream&, bool, bool, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, bool, bool) + 504
16 mlir-opt                 0x000000010420da38 mlir::LogicalResult llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool)::$_0>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) + 704
17 mlir-opt                 0x0000000104278fac mlir::splitAndProcessBuffer(std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, bool, bool) + 656
18 mlir-opt 0x000000010420be60 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool) + 216
19 mlir-opt                 0x000000010420c354 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) + 1208
20 mlir-opt 0x0000000102aa62b8 main + 108
21 dyld 0x0000000107a35088 start + 516

```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWFtv2zoS_jXyCxFDou4PfnCcBKdAggRJzy52XwyKHMncUKQOSaX1_voFKfkau_HptkD3YrSRLc314zfDEYkxvJEAsyC9DtKbCentSunZQgmhOqVtb8JJpdh69nD_6RlVPRcWEYuoaltu0crazgTxPMB3Ab5ruF311ZSqNsB3QrxtLledVv8AagN8N-i5L1Wc0zqLsigIb4Jw_gydVqynwNAXbldBPEfDgyALUSu4vlKdRVdXVhNpaqXbK8aJAGqv6Aro61VvwCALbTd1wkEWjtr-7-5-PN9aHf6NXlrFegEoyK_ReAchhLbOpgb-6EFSQDXhotdgAlx0WnWkIRYCXDrNnV6Q3lZVGOAiwCnRTeizwVHHxFR1oInlSga43EaDiLCgJbH8DQwaldAprUM_7zxFH3oatPKbvWDzmw3Um9tHGI2yI5aaUHiPI1XSKAEb9ObGgPYBO8CADXEVK2Ju69pRIV48QKv0evjpORTP50Io6gCNbwNccGkskdRhvUA-G8mmDVifbelBx1mAMxRgDF87oBYYsitAqkMMai65bPzvNyJ6QFahFXkDRCQigx8XHnj_zoT7ryRy7MTe_gLVvaReipvfDdzzN_B3uQC0cKz73YCZ0q5zdwWXgKI0mQ4APN3fzl9ukekrVycEVX2DNLiK8oH82brhxvQOiDtEJENcUtEz8MlRTcwKVYS--pUZ3b9YQl8R69tuu1ThNAjLJ60aTVpEdNO3ID3w31FeRz58yareIrNuKyWQJK3ncQHS9BrQWvUD9j6rQYj_EzTi0j3T6Gn--TekNDJgfVIg37hW0kWI3ohGQRbe3__lYfnyt4frx_tPf799XjoVV79WoU5x6WF1a7fjeoh2mYVfw-EThZiGcV4nPpaBdmY98u9Jc2l9Wp89y3GxE9Lky1IZq4G0nnYLxKUdSHiN0mxwGe25PP4choCLlJ4K4bmXL7yRRPxGJBOgzcB27yWK8OAGn88MCooODPhC2gYaJ8lgIkZI8MqsjYV22QlifZtja8GrPZOEsCRKaIKWhjdWk7Y7SDc5MGJXGgg7ZQOXACEaBZavXAhvBhfFYCfdt0NPWKBZEichIpWrHw9FNqpmH6vGeZog0Norjs0sv2yhkiIJcxqiN8XZ3mpt-sJSQx3EC_80wMVmh4nnj7veO_eUvB3uUyKEK9VlLYN4EeCCSCXXrerNUDOdZ105CG9bzBMxIzt0Lx_lnvFiKxzgXJC2YiTA-Ueh4EIo2TgKnxVz6UypEmxabqgzIlec5l5clTWJi_9JpK5RXOZjaZYXEiuO86qke2YZWMLF8P0LEa_fCG3xbwJ8kM5fiXh91Mw1iiEXHG2aWXhypf8jQo8uWoW4KhkhBfox9Bpb49hgI3waPRzhqi7OoPfYfVaPnXMzZ6SzSm-9HQDj4xjgPA_07slcErE23DwQSRqH1gJVSgl37aUf_9n-ZpbgsbdG8WVcxlEc4T-f0hPvwE1NR2vuRLeRZj88x30l5-qTNFb7WUjpd1YPBQbPw4Mx9ieiQdpPslbITcB2vyfgsWNGyaUwJoQkR943-ZzkwalWFEXJZvnSMwwMGWQF6kC7PX_ua9B8MOtssNxcjWWD6HIZjRPMimhgy87qIF7sTL2oXlN4aHQQ324gOlpU92a5UNLCV_tRj9gp3auGUyKewfTConfVsU-gTeM4zGEs13BTrtmFixQyt82dC-R7In-PZS_5Hz28w3J4Y7ru63og-HtFBjXphV0yEOBeo84pu1329hDp4zU_txXvrZvg-rGzD4TLD9jza2T4I7m0k7gZ3pOeoeHG6vWZernsup1QkmV4OH78Ggi-44ivoXxbQ_mFNZQXNdkfIEwnuJ1L9qQVBWM20f8ilfFfUcnflDjdG7PtW21xbiOpYDyd-39H-Ekd4WiuLS_dpWicJmdXZhyE6IoMI8_RpvtiNZfNM9SX5zXOHjgcZw98-t0BE5LhqkAt4XLQ2CpEiK0F2xfOSZyGRYGMJeNbf7rB4ejwccJmMSvjkkxgFmV5XBRpmCeT1SwJqzLCVZaUdVEXeYkZYUBomWa0SMsaJnyGQxyHUZRFmWtM04RAlKaY4igq8jxkQRJCS7iYOnimSjcTfxQ3y8IwTyeCVCCMPzvHWMIX5B8GGAfpzUTP_HFX1TcmSELBjTU7K5Zb4Q_dPb7pDfr8rZM3RzpkNW8a0AbtDlfvhtPon3ACOum1mH3_MaWH518BAAD__zjOWRU">