<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/116342>116342</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[MLIR]-pass-pipeline="builtin.module(func.func(tosa-to-linalg-named,tosa-to-linalg))" triggers Assertion Failure `isIntOrFloat() && "only integers and floats have a bitwidth"'
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
xisang0
</td>
</tr>
</table>
<pre>
Test on commit: https://github.com/llvm/llvm-project/commit/6548b6354d1d990e1c98736f5e7c3de876bedc8e
steps to reproduce:
```
mlir-opt test.mlir --pass-pipeline="builtin.module(func.func(tosa-to-linalg-named,tosa-to-linalg))"
```
test case:
```
module{
func.func @test_cast3(%arg0: tensor<13x21x3xi32>) -> tensor<13x21x3x!quant.uniform<i16:f32, 0.078431375324726104:128>> {
%0 = tosa.cast %arg0 : (tensor<13x21x3xi32>) -> tensor<13x21x3x!quant.uniform<i16:f32, 0.078431375324726104:128>>
return %0 : tensor<13x21x3x!quant.uniform<i16:f32, 0.078431375324726104:128>>
}
}
```
crash trace:
```
mlir-opt: /home/workdir/llvm-project-19/mlir/lib/IR/Types.cpp:134: unsigned int mlir::Type::getIntOrFloatBitWidth() const: Assertion `isIntOrFloat() && "only integers and floats have a bitwidth"' failed.
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 /home/workdir/test.mlir --pass-pipeline=builtin.module(func.func(tosa-to-linalg-named,tosa-to-linalg))
#0 0x00005691117503b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (./mlir-opt+0x10723b8)
#1 0x000056911174dede llvm::sys::RunSignalHandlers() (./mlir-opt+0x106fede)
#2 0x0000569111750dc8 SignalHandler(int) Signals.cpp:0:0
#3 0x00007dd08e360520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#4 0x00007dd08e3b49fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
#5 0x00007dd08e360476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
#6 0x00007dd08e3467f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
#7 0x00007dd08e34671b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
#8 0x00007dd08e357e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#9 0x0000569114b8b555 mlir::Type::getIntOrFloatBitWidth() const (./mlir-opt+0x44ad555)
#10 0x0000569114387756 createLinalgBodyCalculationForElementwiseOp(mlir::Operation*, mlir::ValueRange, llvm::ArrayRef<mlir::Type>, mlir::ConversionPatternRewriter&) TosaToLinalg.cpp:0:0
#11 0x000056911438536d void llvm::function_ref<void (mlir::OpBuilder&, mlir::Location, mlir::ValueRange)>::callback_fn<emitElementwiseComputation(mlir::ConversionPatternRewriter&, mlir::Location, mlir::Operation*, mlir::ValueRange, llvm::ArrayRef<mlir::OpFoldResult>, mlir::TypeConverter const&)::$_1>(long, mlir::OpBuilder&, mlir::Location, mlir::ValueRange) TosaToLinalg.cpp:0:0
#12 0x0000569111fd9fbe buildGenericRegion(mlir::OpBuilder&, mlir::Location, mlir::Region&, mlir::ValueRange, mlir::ValueRange, llvm::function_ref<void (mlir::OpBuilder&, mlir::Location, mlir::ValueRange)>) LinalgOps.cpp:0:0
#13 0x0000569111fda305 mlir::linalg::GenericOp::build(mlir::OpBuilder&, mlir::OperationState&, mlir::TypeRange, mlir::ValueRange, mlir::ValueRange, llvm::ArrayRef<mlir::AffineMap>, llvm::ArrayRef<mlir::utils::IteratorType>, llvm::StringRef, llvm::StringRef, llvm::function_ref<void (mlir::OpBuilder&, mlir::Location, mlir::ValueRange)>, llvm::ArrayRef<mlir::NamedAttribute>) (./mlir-opt+0x18fc305)
#14 0x0000569111fda5ef mlir::linalg::GenericOp::build(mlir::OpBuilder&, mlir::OperationState&, mlir::TypeRange, mlir::ValueRange, mlir::ValueRange, llvm::ArrayRef<mlir::AffineMap>, llvm::ArrayRef<mlir::utils::IteratorType>, llvm::function_ref<void (mlir::OpBuilder&, mlir::Location, mlir::ValueRange)>, llvm::ArrayRef<mlir::NamedAttribute>) (./mlir-opt+0x18fc5ef)
#15 0x0000569114383207 elementwiseMatchAndRewriteHelper(mlir::Operation*, mlir::ValueRange, mlir::ConversionPatternRewriter&, mlir::TypeConverter const&) TosaToLinalg.cpp:0:0
#16 0x00005691143989a6 mlir::OpConversionPattern<mlir::tosa::CastOp>::matchAndRewrite(mlir::Operation*, llvm::ArrayRef<mlir::Value>, mlir::ConversionPatternRewriter&) const (./mlir-opt+0x3cba9a6)
#17 0x0000569114a29521 mlir::ConversionPattern::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const (./mlir-opt+0x434b521)
#18 0x0000569116a3518a void llvm::function_ref<void ()>::callback_fn<mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<llvm::LogicalResult (mlir::Pattern const&)>)::$_0>(long) PatternApplicator.cpp:0:0
#19 0x0000569116a31dcf mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<llvm::LogicalResult (mlir::Pattern const&)>) (./mlir-opt+0x6353dcf)
#20 0x0000569114a2a51d (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) DialectConversion.cpp:0:0
#21 0x0000569114a295b7 mlir::OperationConverter::convert(mlir::ConversionPatternRewriter&, mlir::Operation*) (./mlir-opt+0x434b5b7)
#22 0x0000569114a2a75f mlir::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>) (./mlir-opt+0x434c75f)
#23 0x0000569114a3217e mlir::applyFullConversion(mlir::Operation*, mlir::ConversionTarget const&, mlir::FrozenRewritePatternSet const&, mlir::ConversionConfig) (./mlir-opt+0x435417e)
#24 0x000056911436f823 (anonymous namespace)::TosaToLinalg::runOnOperation() TosaToLinalgPass.cpp:0:0
#25 0x00005691149cc6df mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (./mlir-opt+0x42ee6df)
#26 0x00005691149ccec2 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (./mlir-opt+0x42eeec2)
#27 0x00005691149d25de auto void mlir::parallelForEach<__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_0>(mlir::MLIRContext*, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_0&&)::'lambda'(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&)::operator()<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&>(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&) const Pass.cpp:0:0
#28 0x00005691149ce6cb mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (./mlir-opt+0x42f06cb)
#29 0x00005691149cc83c mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (./mlir-opt+0x42ee83c)
#30 0x00005691149ccec2 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (./mlir-opt+0x42eeec2)
#31 0x00005691149cf66e mlir::PassManager::run(mlir::Operation*) (./mlir-opt+0x42f166e)
#32 0x00005691149c8192 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#33 0x00005691149c7dfb 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
#34 0x0000569114a71ae5 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) (./mlir-opt+0x4393ae5)
#35 0x00005691149c2ff2 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (./mlir-opt+0x42e4ff2)
#36 0x00005691149c32a3 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x42e52a3)
#37 0x00005691149c34b2 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x42e54b2)
#38 0x000056911172f5d7 main (./mlir-opt+0x10515d7)
#39 0x00007dd08e347d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#40 0x00007dd08e347e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsW11v2zjW_jXMDRFDIvV5kQs3id8p0LwJ0mL30qCoI4VbWtSQVJvMr19Qkm3RH0mcaTs7gwwyjS1Sh895zqcohhkj6gbgAsUfUHx1xjr7oPTFozCsqYOzQpVPF1_AWKwazNVqJSyic_xgbWsQnSOyQGRRC_vQFTOuVogspPy2_nXeavUf4BaRxXgrWSRxlBUJjaMyLPM8gJDnWUqTKoaU0xKyNCmg5Bmg4AoFc2OhNdgqrKHVquw4uEX7IZQE40__dSWFPletxRaMnblv-Py8Zcact6IFKRpA9AoRUnRCWtHMVqrsJCCSVV3DZ-4fRDKrDDu36lyKhsn6vGErKBG59C8jkvc_5CAOtzzmzBwHOiycfhi-YrwBgFEUuNuXnBlLEckQiZmuA0e4hcYojehlSB9J-EgfBSWIXiOS43NEr_fHEQl_71hjZ10jKqVXiF6KMEF0XlGCyCUOZkGaRTSkaUxJlJIkDCJE5yHJnFh6jScIMUYkDjCiV9hRMXP48AgOO3SOul8NcAtOg-10s8Z4gKsftBRKr0aLbj74puWamQdsNXvZTQfWFg9qBYgsviv9tRR6J2zOwxyRhbvDDYgCkcXHe0QWX55aMDPetg4jdUhx1_RRXGLRWNzfQeeIzt3M4VMN9mNjb_VCKmY_CPtvUdqH3sVyzFVjekBzY0BboRqMkkCY7Q3jREQSRBKMCFGNfHJrQQ3aYNaUuHLzDH5g3wAzXAj7fViBIJLiigkJ5Wyg4O7T9fzzNTZdsRLWze1qF95KWxfoJ2cWYUwHBpFFD0M0XHYlYPsAeDBHwfjX3iTj8p8t419x2a3ajY2CGe7_u9Oq1myFma67FTTW4cCz0QZ9cjlksucSzg_LNqMHEhrg4DEIgiBO8jAM0zigRYZ7Zno7myczfLjTorG9rl96fyTZdpJm35fKWA1s1Zv00plyMHA2VReRD8FjGKSEFpkHIvRBRCWUcAjEfdd8FnXD5G-sKSVos3GkQ-skFZTgrUN2lS15hj2JiGQj9uHyOi6C_v-NIDoKSssyyIAmQUwC3IMZA-sxS5ZJ5DjvHs_rphsG-MyoWdLDi0hMAg9c5MssorziuLUPGli5_CqkPG2BPMkr7i0Q74KO0gTXptfzVPBRmniyE192lKQVxaxwQXiSZJKlFfUkp3uSw-JkmWHhycx8mXEKeXKaTJpD7jOQT30rKrIijuO3pc6D7hxFrIzjeLOkixovdiOapWmcYK6BWfjUB_sHVT5dMsk7yVwaXih9LcFlou_CwG2LSLYFeNuC7mchMnchvB35F5Md3LOmBnd9G5ZzrdnTPVSIXu7qee1LuFTNN9BGqOaOWQu6uYfvWlgXbo5E_EUZ9kUNmPcDzqka7qga06TE35QoJ3hcGnQKLHWPqR_dUfFDJ2Q5LjsF-EnxUfdjiud96XZXOZPSFYFl1SB6CSthJ6ReqlXb2VFW9loGXobyg6xz2y6ULO_BdNLuWcmZbsBpQY9VvLfPMIxItAz7mzKpmnoX35-g9hX29zN3VeZVAdhVw_L_oAEt-D3Uu5yfimktInmO4JeJ__luSHI8cHXbHqhPji66QxejwTQZja1A_3nk77YdvvacvhLuxik_W2Zhb9j504u8vdGR51UlGrhh7ejFL0zvrJBjD_HROtBKTxLV9ubPVoumdne_5vIvsPSLmv2_6_Lm1mpRdBZG7zjYD2UVp4FfQKJdN4mheneTl93kb2f42LnuxPDxTjmlJEgxbMvYDbP8Yd6UY5X6DWTb98anF6S3lMCjhegVhSLxNcuznCWeL-7B8Fh1D0sjXGbsbbup-iufkWe5eMFyPUEn90jHW0PKC5azxDNw6tHASB6T8LnFTldyO3Iq3ohGRUxCD282xZswGocZe2V_d7w324M4b1spuAvrH63vM9mhUEr62WEU4LdYp6aYNwjZDnxSteBMDo3g6-ROusBg2gXmeI_cw5GZ75g4LHm1z-q7if6EiQ6GW0JjWnIv_5NgJz2wOOyxs0Y1TyvVGdywFZi23-nJd9j-BDWT4g9Ydwnj11ea5qU8dyWYBG630w56Ewn3ElyRHuo5NnVkTBDD1zc-m_laHaa7z25F6tFNdulO4-r1YDfDxtt1O_KAN0F43CciGvE09n2C-iApCVOYgGRtK58WnZRbuk62-Bema7ATv51OW2j1B6y5Hy3x-ejsrdBL1VSiPq5pHIUpeJpGfo-QVBmhL3n_tPMYruiuuW0mWme7DcodM4cfz4jffuWcJ-XUH0qwTMg1rV_UbetEzUvWbtKi7pqdlGDMHvHHTTJvmHwywtywhtXO0S-xy4Hu93Tr_yipBCApffdJdnUCTk7W6W691e17lpu6gfpsTL5JSb9yGPOxMVb3O_ZKHygt0wnDysPAiP2OaWjsx6ZSa9c9nisIAHDi8eh3bnlJ4hIw66wa2qEtkJZpJiXIhdLXjD8gerlc1k235I-Pw4TlslF6xeRSjM8yXqZ4nUEmHj43Tw3_uGolItnA46Yw3N04dUeqjC2H69-A_4pFJysyKRX_FZoOr_F2W_gft9Cky9qKv_n08f5SNRYe7Uj1u8H_CoO_s_7PCrP-LfTkWirZqigZIiki2buxf72xPXuodiR6fNL_yZonQ9Z9N_tfZvZx5-h495ztdJqQ8OIHp4cj3VoVJLzwurV8t-vNKP-7dfIZ5VOd_CMh7538Wzt5_1RLlPMqSWBn-bVCBz3hVbsNpAqTxHu89U-5RDnPwpzgFnSl9GrO9zcS9o_vbLKAeWAaymVrtbc39Vl1msNNrRG9PvJ8vt-sTsak0LetvWFifHj39vgnowfjn9Id_dKyKvCxjbO37LRt1O8a8XsHe-rfwErppw9dVQ2-uJlfQsU6aZclSLBw_J5NU3PcCC_vaU94eq05f7o-W3TjNt491MJY_bTvH8_5wN5D0PrAwf-EZV72UH-DiaUhg-nrd9NKYedNeacVB2PWcP8Sv_sbRsWzM057m39szzCnDLxX5XR3y45UFTnszv-0YDxW76Kq8uvd7g4gJYwepWgs1_yBDYV5fvpBjOf1O4o7Jox6uNNd3FFx3LSn4H4rwKjwic38Y6ukissUr5hojhx8jcO49F5AbA4nrg9RpmV-4nlVkpd5MJUZBbsyIQrwculuWxrLtF2uIZ6yCkSTVdZn3c_KC1rmNGdncBGmNEySICDk7OEiCHMOWQpZxZOigjQqgEVZwBjwIqNVcSYuSECiMAzjIIsCQmYVpDThVV4wGgRlmaIogBUTcuZsOFO6PusPgF-EYUIjciZZAdL0f8xCSG9PQlB8daYv-mPjRVcbFAVSGGu2Eqywsv8DGNcEofjqJ__dCLZa1P3B-e2B-wUTstPwgw_en3VaXrz9RP3I6bcL8t8AAAD__6HY-ec">