crash: Assertion failed: ((MeaningfulBitWidth.isScalable() || OrigValueBitWidth >= MeaningfulBitWidth) && "Meaningful bits not covered by the mapping"), function verify, file RegisterBankInfo.cpp

Snippet:

define i32 @caller_double_ret() {
  %1 = bitcast double 0.000000e+00 to i64
  %2 = trunc i64 %1 to i32
  ret i32 %2
}

Compiler Explorer panes:

Reproduce:

llc -mtriple=riscv32 -verify-machineinstrs -mattr=+d -target-abi ilp32d -global-isel -global-isel-abort=2 -pass-remarks-missed=gisel.* snippet.ll -o -
llc -mtriple=riscv32 -verify-machineinstrs -mattr=+d -target-abi ilp32d -global-isel=0 snippet.ll -o -

Local llc output:

llc: /home/runner/work/llvm-fuzz/llvm-fuzz/llvm-project/llvm/lib/CodeGen/RegisterBankInfo.cpp:569: bool llvm::RegisterBankInfo::ValueMapping::verify(const RegisterBankInfo &, TypeSize) const: Assertion `(MeaningfulBitWidth.isScalable() || OrigValueBitWidth >= MeaningfulBitWidth) && "Meaningful bits not covered by the mapping"' 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: /home/runner/work/llvm-fuzz/llvm-fuzz/llvm-project/build/bin/llc -mtriple=riscv32 -verify-machineinstrs -mattr=+d -target-abi ilp32d -global-isel -global-isel-abort=2 -pass-remarks-missed=gisel.* -o -
1.	Running pass 'Function Pass Manager' on module '<stdin>'.
2.	Running pass 'RegBankSelect' on function '@caller_double_ret'
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  llc       0x000055961efef54b llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 43
1  llc       0x000055961efec3f1 llvm::sys::RunSignalHandlers() + 369
2  llc       0x000055961efeffcb
3  libc.so.6 0x00007ffa7a845330
4  libc.so.6 0x00007ffa7a89ec0c pthread_kill + 284
5  libc.so.6 0x00007ffa7a84527e gsignal + 30
6  libc.so.6 0x00007ffa7a8288ff abort + 223
7  libc.so.6 0x00007ffa7a82881b
8  libc.so.6 0x00007ffa7a83b517
9  llc       0x000055961f6a8f1f llvm::RegisterBankInfo::ValueMapping::verify(llvm::RegisterBankInfo const&, llvm::TypeSize) const + 831
10 llc       0x000055961f6a7c6b llvm::RegisterBankInfo::InstructionMapping::verify(llvm::MachineInstr const&) const + 235
11 llc       0x0000559621153df4
12 llc       0x0000559621153025 llvm::RegBankSelectLegacy::runOnMachineFunction(llvm::MachineFunction&) + 197
13 llc       0x000055961f5b69ed llvm::MachineFunctionPass::runOnFunction(llvm::Function&) + 653
14 llc       0x000055961f346d37 llvm::FPPassManager::runOnFunction(llvm::Function&) + 871
15 llc       0x000055961f34f232 llvm::FPPassManager::runOnModule(llvm::Module&) + 50
16 llc       0x000055961f347ae0 llvm::legacy::PassManagerImpl::run(llvm::Module&) + 2000
17 llc       0x000055961eff6ba8 llcMain + 12056
18 llc       0x000055961ef316af main + 63
19 libc.so.6 0x00007ffa7a82a1ca
20 libc.so.6 0x00007ffa7a82a28b __libc_start_main + 139
21 llc       0x000055961ef315a5 _start + 37

Occurrences (7):

Generated 2026-10-15 08:05 UTC.