<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/118765>118765</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] -generate-runtime-verification crashes
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
wwy6191
</td>
</tr>
</table>
<pre>
git version: adf892d743d91afc1af7893f97c770db31c26916
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt -generate-runtime-verification a.mlir`
a.mlir:
```
func.func @memref_reinterpret_cast_incompatible_element_types(%in: memref<*xf32>) {
%out = memref.reinterpret_cast %in to
offset: [0], sizes: [10], strides: [1] : memref<*xf32> to memref<?xf32, strided<[?], offset:?>>
return
}
```
stack trace:
```
/data/szy/MLIR/seed/seed0/tmp.CINnXqXWtd.mlir:2:10: remark: location of op
%out = memref.reinterpret_cast %in to
^
LLVM ERROR: Failed to infer result type(s):
"memref.extract_strided_metadata"(...) {} : (memref<*xf32>) -> ( ??? )
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0. Program arguments: /data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt -generate-runtime-verification /data/szy/MLIR/seed/seed0/tmp.CINnXqXWtd.mlir
#0 0x0000563a3d0bb048 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1188048)
#1 0x0000563a3d0b8b5e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1185b5e)
#2 0x0000563a3d0bb9dd SignalHandler(int) Signals.cpp:0:0
#3 0x00007f47c1ff2420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007f47c162f00b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f47c160e859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x0000563a3d0db017 llvm::report_fatal_error(llvm::Twine const&, bool) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11a8017)
#7 0x0000563a3d0db04e (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11a804e)
#8 0x0000563a430ac177 (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x7179177)
#9 0x0000563a3e92a439 mlir::memref::ExtractStridedMetadataOp::build(mlir::OpBuilder&, mlir::OperationState&, mlir::Value) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x29f7439)
#10 0x0000563a3e9c0d58 mlir::memref::ExtractStridedMetadataOp mlir::OpBuilder::create<mlir::memref::ExtractStridedMetadataOp, mlir::detail::TypedValue<mlir::BaseMemRefType>&>(mlir::Location, mlir::detail::TypedValue<mlir::BaseMemRefType>&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x2a8dd58)
#11 0x0000563a3e9c0ab6 mlir::memref::(anonymous namespace)::computeLinearBounds(mlir::OpBuilder&, mlir::Location, mlir::detail::TypedValue<mlir::BaseMemRefType>) RuntimeOpVerification.cpp:0:0
#12 0x0000563a3e9c075f mlir::detail::RuntimeVerifiableOpInterfaceInterfaceTraits::FallbackModel<mlir::memref::(anonymous namespace)::ReinterpretCastOpInterface>::generateRuntimeVerification(mlir::detail::RuntimeVerifiableOpInterfaceInterfaceTraits::Concept const*, mlir::Operation*, mlir::OpBuilder&, mlir::Location) RuntimeOpVerification.cpp:0:0
#13 0x0000563a4051cebc void llvm::function_ref<void (mlir::Operation*)>::callback_fn<std::enable_if<!llvm::is_one_of<mlir::RuntimeVerifiableOpInterface, mlir::Operation*, mlir::Region*, mlir::Block*>::value && std::is_same<void, void>::value, void>::type mlir::detail::walk<(mlir::WalkOrder)1, mlir::ForwardIterator, (anonymous namespace)::GenerateRuntimeVerificationPass::runOnOperation()::$_0, mlir::RuntimeVerifiableOpInterface, void>(mlir::Operation*, (anonymous namespace)::GenerateRuntimeVerificationPass::runOnOperation()::$_0&&)::'lambda'(mlir::Operation*)>(long, mlir::Operation*) GenerateRuntimeVerification.cpp:0:0
#14 0x0000563a3d1d0ffe void mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<void (mlir::Operation*)>, mlir::WalkOrder) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x129dffe)
#15 0x0000563a3d1d0ffe void mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<void (mlir::Operation*)>, mlir::WalkOrder) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x129dffe)
#16 0x0000563a4051cd0a (anonymous namespace)::GenerateRuntimeVerificationPass::runOnOperation() GenerateRuntimeVerification.cpp:0:0
#17 0x0000563a404f77a6 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45c47a6)
#18 0x0000563a404f80d0 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45c50d0)
#19 0x0000563a404fa6a2 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45c76a2)
#20 0x0000563a404f2f4a performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#21 0x0000563a404f2b9d llvm::LogicalResult llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::$_0>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#22 0x0000563a4059ed75 mlir::splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, llvm::StringRef, llvm::StringRef) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x466bd75)
#23 0x0000563a404ecb85 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45b9b85)
#24 0x0000563a404ece2f mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45b9e2f)
#25 0x0000563a404ed15e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45ba15e)
#26 0x0000563a3d09bb37 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1168b37)
#27 0x00007f47c1610083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#28 0x0000563a3d09b6ae _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11686ae)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWtty47gR_Rr4BWUVCN4f_CDLo8RVduyyJ7v7xgKJpowMCXAB0Jf9-hRASqJky_ZMRtkklSmPROLWfU4fAE1CzBixkgBnKD5H8cUJ6-2D0mdPTy9JkAcnpeIvZyth8SNoI5RE4RwzXmc55WkU8jxgdRWwOs3ysM7TKk0JL8OgokkeJIjMEZmbF2Ohdf1QQv5e9tL2OMhmJJol-OrrPUrI0E5DpxXvK8BPwj6M7dtG6FPVWYxPVyBBMwunupdWtHD6CFrUomJWKInZzDXdDIbIfCwJ5xi7goQMf-6m7mU1cx8YRaSFVkNdaBDSgu402KJixhZCVqrtmBVlAwU00IK0hX3pwCCaIRoLz8XQG4ULROfPdUhR-AXRHKP0HJE5RjRWvcUovBgbzvbNYD8Stso13_5TdW3AehLic4LiC0QX2Ig_wIxlwabQasG3xSi-wAf8wlZNisOlL96MwF1hfI7C5TjwxgVXFH5xf2SONdheS0doerFPq7Gs-oatZhW4bkMgpg0QXXJmGaJL88cLosvrq8s7dwPAxy-C6NK23Wxx-Tf52--__Wr5OooUhfOAOGgaWqa_uatGjdFXNVadZ_AHGUexQ3d19cs1_nJ3d3PnRl8y0QB3rAlZg8YaTN9Y7CSAaGYQzUeUlI6m4NmBt8XIaNGCZQNgimg2m83W0kiHICGaHdDPqYsXohn25Ls_7OyR-e3Vl_n9F2z6shUWM1z2K6yhU9o6Rx-s7ZwUEF0iulwJ-9CXs0q1iC6b5nH9ddpp9Q-oLKJLYUzvBL3ETHIsZNX0HLB9AFxpZh5wyapvPqAzROb3Pr68b7sBOJkN5N1qtdKsxUyvejdLBjG-HWtvX0MDzMBrd8peNE4KpZCILjeT_4O5_-Oy8lM0JJg8E0JInIQs5KQsSZRhz5cTv1vAhotbLaT1JHz1GqfZtpFmT4UyVgNrEU3c_BHS-nC7xeKnUYHoOXkOgiwjUTYIwgEI9gBkZQxvAbjr5b1YSdb8lUnegB5WsmP5GJcxbH2k-yTnnOMdbxDNRs6GYjOrOqc04v8Po4TjKGkdpVVQ1zSiBBeFBmOVhkLbEUsjSkSXz1lSJNFpI2T_fLqS_VDR2QcNjM-MmpHB1yiiZOtptGMjoTUhJdZMGMATzKtGlNXpVXVJyfPmls7CwFHo_Ud06Wb80rwYDp2bZL0Uz0PBo3dF9u7WDz2rUDiPA7fIjW7Eu24QyOIcs1J5jJ9zw_KBB9_LW8ichXS0kOyGhJckSCeyGZaVomaWNQVorfSO4r8-CQm4UtLYUfGlUs3R5MQyEqTbIKWvfI_gaIajiY6zieEoJKwK0vQYhtMgzYN0gjifIoacsijM8bg5onC-3kjc9ZdhH7oftqHrcRe66Yba0Wi27XvTnbsyNwV9IKc1bt0VSt5bZuFV9S-s6eFIIad5nUZhPhDgFjmyS0BFeJx9JwH4Lcz-ttLgAIaL72R0hw4OlolmnB4vHfCBn-mg58zANbR3ULsGfrdP_OckHFdjWvNzBj9SdFjGeZxtoxPsR4eVyYHoIJoxqeRLq3qDJWvBdH47zcdQqLbrLVwJCUyfq15y80m1_kzicnw35Bo33S-TZGNvT3LI6T7yNK4PmB-HHAZkZQM33aVLTmtWwebiq2bCjjv2kjWNy8GuFYfmoDo_IPRumwEvmLETmz6vd03WCdaOg2sys58EZqFkBZ1d7xnzA0vNGzUfB_zz4QqnCziJgwrKCj8qwSdbn3s2dN2LITf3tXsanDqbb3isxngVtUThwlg-FIN0_BRiSPSDrSFhCiWhUPVObN9j9rOk3cHqreLzRlXfXOna40c3GbBnNsEbh4UpDGthxO6G8N87nV6VuiejA8J_Ys03j33C4a-s-XajfVjzYNfLpdJPTPNL69C5vGOBP9D4Xw4L-JaZUYC6lzdyQlm26Y5oVJA9Aj8Iwhr6YVn8m5xOhlV-XZY2rC05QzT9SLE0a5RcvSeoHL_j4htzK9rJygJO6hqGufWuLA4H_gN-_7UZuwN8qsajJJI053UN2w0z_j9Xn-Yq2V-zOWFHm1zfqfl0x7eoTlOWHAjhTfdV3XTO-pyzzsdsdGKHfu_e57fHuWTNixHmmkm2Ar19ElvgXvqXu_yILyOiuIpSlmxjle3xkRFOvpuPW9FBIyTsydI13cA89Kjy4wRNOzlTl9JY7V9puT1o_l6DwfJQMfp-yzRIeylrNcl4jhWDmHCyjUG-FwOWMLrn-pqMNxW4vwscx-c0YXTjMyV7PtM6YrgDXSvdzv16ZT5447bJXswD08CLzmoULrY97lWvK7heuaVy58XFFrhDtVDSwvPrBPW6Efqms9dMyIWStVhNxsjxpPb1IkGDfXBlPs03r9RKVKy5G94wH1ypD3VANNtg76X4vYdX2K-hVfrlvK_rYQJs2nOoWd_YgkMD_gH4QJ_hBGBnH9mPwKE0-E0KPxvLo-PZenchWAOVdZmzsfrltTjeE8A0JdvJrf4jIvOBPOnu_poDT-MJcNM1ws4lv9WqAmPWvv4povsvnBLvtpjW3Vst5OoO6oPFx1mKk6TkabxdincfkSOoyix-ex78r83i4-x0ZV5mE3qjfXqB1gfpHROT6oENKcj8eyXzETdHwwy03mKO9zDzIIafgvnPAceCePt4QvcOUvKyDFPcMiGPcyKRZGWYbq2nuwdFASFZiIuiEWVVGMu0LUZXPnVoVJl-fXA1XPpKP44_QQoj6j5H29k-8oQBHqweC3vC1sxvflpwws9Cnoc5O4GzIA3DMMvSMD55OAvyOmYk4HkWQxJGNYl4zOIorpMESBYlJ-KMEhoFlMQki2kQzVhG8zTOAwhKVtMAUESgZaKZOSdnSq9O_JH5WRBkaRKfNKyExvjfzlDqpUgpii9O9JkHVfYrgyLSCGPNdgQrbON_b-M7xBcfnW_7o3gwJ71uzn78hH_0-PGM_jMAAP__0tgh9w">