[mlir][arith](int-range-optimizations) mlir-opt crashes at BuiltinAttributes.cpp.inc:403 with assertion `value.getBitWidth() == intTy.getWidth() && "IntegerAttr::get: APInt bit width must match integer type width"' failed.

[Aran-414]

git version: 0928584

MLIR Program:

module {
  func.func @m0() -> i32 {
    %c0_i32 = arith.constant 0 : i32
    %0 = "test.region_types_compat"(%c0_i32) ({
    ^bb0(%arg0: i64):
      %c1_i64 = arith.constant 1 : i64
      test.types_compat_yield %c1_i64 : i64
    }) : (i32) -> i32
    return %0 : i32
  }
}

Reproduce Command: mlir-opt -int-range-optimizations a.mlir

StackTrace:

mlir-opt: /data2/dependency/dev/llvm-project/build/tools/mlir/include/mlir/IR/BuiltinAttributes.cpp.inc:403: static mlir::IntegerAttr mlir::IntegerAttr::get(mlir::Type, const llvm::APInt&): Assertion `value.getBitWidth() == intTy.getWidth() && "IntegerAttr::get: APInt bit width must match integer type width"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug.
Stack dump:
0.      Program arguments: /data2/dependency/dev/llvm-project/build/bin/mlir-opt -int-range-optimizations a.mlir
 #0 0x0000556e3afa515f llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x25c715f)
 #1 0x0000556e3afa192c llvm::sys::RunSignalHandlers() (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x25c392c)
 #2 0x0000556e3afa1ac7 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #3 0x00007fe8453ef420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #4 0x00007fe844eda00b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
 #5 0x00007fe844eb9859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
 #6 0x00007fe844eb9729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
 #7 0x00007fe844ecafd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #8 0x0000556e44096359 mlir::IntegerAttr::get(mlir::Type, llvm::APInt const&) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb6b8359)
 #9 0x0000556e42403302 mlir::dataflow::maybeReplaceWithConstant(mlir::DataFlowSolver&, mlir::RewriterBase&, mlir::Value) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x9a25302)
#10 0x0000556e424034ba (anonymous namespace)::MaterializeKnownConstantValues::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const IntRangeOptimizations.cpp:0:0
#11 0x0000556e43d50cc2 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&)>)::'lambda'()::operator()() const PatternApplicator.cpp:0:0
#12 0x0000556e43d521b8 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&)>) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb3741b8)
#13 0x0000556e43d1c387 (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() GreedyPatternRewriteDriver.cpp:0:0
#14 0x0000556e43d20696 mlir::applyPatternsGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb342696)
#15 0x0000556e423fd947 (anonymous namespace)::IntRangeOptimizationsPass::runOnOperation() IntRangeOptimizations.cpp:0:0
#16 0x0000556e43dbce11 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb3dee11)
#17 0x0000556e43dbd1a0 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb3df1a0)
#18 0x0000556e43dbf254 mlir::PassManager::runPasses(mlir::Operation*, mlir::AnalysisManager) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb3e1254)
#19 0x0000556e43dc02e1 mlir::PassManager::run(mlir::Operation*) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb3e22e1)
#20 0x0000556e3b06b1bb performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#21 0x0000556e3b06bc63 processBuffer(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::MemoryBufferRef, mlir::MlirOptMainConfig const&, mlir::DialectRegistry&, mlir::SourceMgrDiagnosticVerifierHandler*, llvm::ThreadPoolInterface*) MlirOptMain.cpp:0:0
#22 0x0000556e3b06beeb llvm::LogicalResult llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::MemoryBufferRef const&, 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&)::'lambda'(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::MemoryBufferRef, llvm::raw_ostream&)>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::MemoryBufferRef const&, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#23 0x0000556e44197d65 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::MemoryBufferRef const&, llvm::raw_ostream&)>, llvm::raw_ostream&, llvm::StringRef, llvm::StringRef) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb7b9d65)
#24 0x0000556e3b061ff4 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (.part.0) MlirOptMain.cpp:0:0
#25 0x0000556e3b06c407 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x268e407)
#26 0x0000556e3b06c643 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x268e643)
#27 0x0000556e3aed1b1c main (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x24f3b1c)
#28 0x00007fe844ebb083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#29 0x0000556e3af8186e _start (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x25a386e)
Aborted (core dumped)

[llvmorg-github-actions]

@llvm/issue-subscribers-mlir

Author: Aran-414

Details

git version: 0928584

MLIR Program:

module {
  func.func @<!-- -->m0() -&gt; i32 {
    %c0_i32 = arith.constant 0 : i32
    %0 = "test.region_types_compat"(%c0_i32) ({
    ^bb0(%arg0: i64):
      %c1_i64 = arith.constant 1 : i64
      test.types_compat_yield %c1_i64 : i64
    }) : (i32) -&gt; i32
    return %0 : i32
  }
}

Reproduce Command: mlir-opt -int-range-optimizations a.mlir

StackTrace:

mlir-opt: /data2/dependency/dev/llvm-project/build/tools/mlir/include/mlir/IR/BuiltinAttributes.cpp.inc:403: static mlir::IntegerAttr mlir::IntegerAttr::get(mlir::Type, const llvm::APInt&): Assertion `value.getBitWidth() == intTy.getWidth() && "IntegerAttr::get: APInt bit width must match integer type width"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug.
Stack dump:
0.      Program arguments: /data2/dependency/dev/llvm-project/build/bin/mlir-opt -int-range-optimizations a.mlir
 #<!-- -->0 0x0000556e3afa515f llvm::sys::PrintStackTrace(llvm::raw_ostream&amp;, int) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x25c715f)
 #<!-- -->1 0x0000556e3afa192c llvm::sys::RunSignalHandlers() (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x25c392c)
 #<!-- -->2 0x0000556e3afa1ac7 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #<!-- -->3 0x00007fe8453ef420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #<!-- -->4 0x00007fe844eda00b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
 #<!-- -->5 0x00007fe844eb9859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
 #<!-- -->6 0x00007fe844eb9729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
 #<!-- -->7 0x00007fe844ecafd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #<!-- -->8 0x0000556e44096359 mlir::IntegerAttr::get(mlir::Type, llvm::APInt const&amp;) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb6b8359)
 #<!-- -->9 0x0000556e42403302 mlir::dataflow::maybeReplaceWithConstant(mlir::DataFlowSolver&amp;, mlir::RewriterBase&amp;, mlir::Value) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x9a25302)
#<!-- -->10 0x0000556e424034ba (anonymous namespace)::MaterializeKnownConstantValues::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&amp;) const IntRangeOptimizations.cpp:0:0
#<!-- -->11 0x0000556e43d50cc2 mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&amp;, llvm::function_ref&lt;bool (mlir::Pattern const&amp;)&gt;, llvm::function_ref&lt;void (mlir::Pattern const&amp;)&gt;, llvm::function_ref&lt;llvm::LogicalResult (mlir::Pattern const&amp;)&gt;)::'lambda'()::operator()() const PatternApplicator.cpp:0:0
#<!-- -->12 0x0000556e43d521b8 mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&amp;, llvm::function_ref&lt;bool (mlir::Pattern const&amp;)&gt;, llvm::function_ref&lt;void (mlir::Pattern const&amp;)&gt;, llvm::function_ref&lt;llvm::LogicalResult (mlir::Pattern const&amp;)&gt;) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb3741b8)
#<!-- -->13 0x0000556e43d1c387 (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() GreedyPatternRewriteDriver.cpp:0:0
#<!-- -->14 0x0000556e43d20696 mlir::applyPatternsGreedily(mlir::Region&amp;, mlir::FrozenRewritePatternSet const&amp;, mlir::GreedyRewriteConfig, bool*) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb342696)
#<!-- -->15 0x0000556e423fd947 (anonymous namespace)::IntRangeOptimizationsPass::runOnOperation() IntRangeOptimizations.cpp:0:0
#<!-- -->16 0x0000556e43dbce11 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb3dee11)
#<!-- -->17 0x0000556e43dbd1a0 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&amp;, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb3df1a0)
#<!-- -->18 0x0000556e43dbf254 mlir::PassManager::runPasses(mlir::Operation*, mlir::AnalysisManager) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb3e1254)
#<!-- -->19 0x0000556e43dc02e1 mlir::PassManager::run(mlir::Operation*) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb3e22e1)
#<!-- -->20 0x0000556e3b06b1bb performActions(llvm::raw_ostream&amp;, std::shared_ptr&lt;llvm::SourceMgr&gt; const&amp;, mlir::MLIRContext*, mlir::MlirOptMainConfig const&amp;) MlirOptMain.cpp:0:0
#<!-- -->21 0x0000556e3b06bc63 processBuffer(llvm::raw_ostream&amp;, std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::MemoryBufferRef, mlir::MlirOptMainConfig const&amp;, mlir::DialectRegistry&amp;, mlir::SourceMgrDiagnosticVerifierHandler*, llvm::ThreadPoolInterface*) MlirOptMain.cpp:0:0
#<!-- -->22 0x0000556e3b06beeb llvm::LogicalResult llvm::function_ref&lt;llvm::LogicalResult (std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::MemoryBufferRef const&amp;, llvm::raw_ostream&amp;)&gt;::callback_fn&lt;mlir::MlirOptMain(llvm::raw_ostream&amp;, std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, mlir::DialectRegistry&amp;, mlir::MlirOptMainConfig const&amp;)::'lambda'(std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::MemoryBufferRef, llvm::raw_ostream&amp;)&gt;(long, std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::MemoryBufferRef const&amp;, llvm::raw_ostream&amp;) MlirOptMain.cpp:0:0
#<!-- -->23 0x0000556e44197d65 mlir::splitAndProcessBuffer(std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::function_ref&lt;llvm::LogicalResult (std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::MemoryBufferRef const&amp;, llvm::raw_ostream&amp;)&gt;, llvm::raw_ostream&amp;, llvm::StringRef, llvm::StringRef) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb7b9d65)
#<!-- -->24 0x0000556e3b061ff4 mlir::MlirOptMain(llvm::raw_ostream&amp;, std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, mlir::DialectRegistry&amp;, mlir::MlirOptMainConfig const&amp;) (.part.0) MlirOptMain.cpp:0:0
#<!-- -->25 0x0000556e3b06c407 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&amp;) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x268e407)
#<!-- -->26 0x0000556e3b06c643 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&amp;) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x268e643)
#<!-- -->27 0x0000556e3aed1b1c main (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x24f3b1c)
#<!-- -->28 0x00007fe844ebb083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#<!-- -->29 0x0000556e3af8186e _start (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x25a386e)
Aborted (core dumped)

[anutosh491]

Hi,

Educating myself with MLIR these days. I'd like to try this fix this issue. Thanks !