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       0x000056350776579b llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 43
1  llc       0x0000563507762641 llvm::sys::RunSignalHandlers() + 369
2  llc       0x000056350776621b
3  libc.so.6 0x00007f2539c45330
4  libc.so.6 0x00007f2539c9ec0c pthread_kill + 284
5  libc.so.6 0x00007f2539c4527e gsignal + 30
6  libc.so.6 0x00007f2539c288ff abort + 223
7  libc.so.6 0x00007f2539c2881b
8  libc.so.6 0x00007f2539c3b517
9  llc       0x0000563507e1f26f llvm::RegisterBankInfo::ValueMapping::verify(llvm::RegisterBankInfo const&, llvm::TypeSize) const + 831
10 llc       0x0000563507e1dfbb llvm::RegisterBankInfo::InstructionMapping::verify(llvm::MachineInstr const&) const + 235
11 llc       0x00005635098c5ed4
12 llc       0x00005635098c5105 llvm::RegBankSelectLegacy::runOnMachineFunction(llvm::MachineFunction&) + 197
13 llc       0x0000563507d2cd2d llvm::MachineFunctionPass::runOnFunction(llvm::Function&) + 653
14 llc       0x0000563507abccd7 llvm::FPPassManager::runOnFunction(llvm::Function&) + 871
15 llc       0x0000563507ac51d2 llvm::FPPassManager::runOnModule(llvm::Module&) + 50
16 llc       0x0000563507abda80 llvm::legacy::PassManagerImpl::run(llvm::Module&) + 2000
17 llc       0x000056350776cdf8 llcMain + 12056
18 llc       0x00005635076a862f main + 63
19 libc.so.6 0x00007f2539c2a1ca
20 libc.so.6 0x00007f2539c2a28b __libc_start_main + 139
21 llc       0x00005635076a8525 _start + 37

Occurrences (5):

Generated 2026-10-15 08:05 UTC.