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       0x000055e2b66a779b llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 43
1  llc       0x000055e2b66a4641 llvm::sys::RunSignalHandlers() + 369
2  llc       0x000055e2b66a821b
3  libc.so.6 0x00007fd780645330
4  libc.so.6 0x00007fd78069ec0c pthread_kill + 284
5  libc.so.6 0x00007fd78064527e gsignal + 30
6  libc.so.6 0x00007fd7806288ff abort + 223
7  libc.so.6 0x00007fd78062881b
8  libc.so.6 0x00007fd78063b517
9  llc       0x000055e2b6d6126f llvm::RegisterBankInfo::ValueMapping::verify(llvm::RegisterBankInfo const&, llvm::TypeSize) const + 831
10 llc       0x000055e2b6d5ffbb llvm::RegisterBankInfo::InstructionMapping::verify(llvm::MachineInstr const&) const + 235
11 llc       0x000055e2b8807ed4
12 llc       0x000055e2b8807105 llvm::RegBankSelectLegacy::runOnMachineFunction(llvm::MachineFunction&) + 197
13 llc       0x000055e2b6c6ed2d llvm::MachineFunctionPass::runOnFunction(llvm::Function&) + 653
14 llc       0x000055e2b69fecd7 llvm::FPPassManager::runOnFunction(llvm::Function&) + 871
15 llc       0x000055e2b6a071d2 llvm::FPPassManager::runOnModule(llvm::Module&) + 50
16 llc       0x000055e2b69ffa80 llvm::legacy::PassManagerImpl::run(llvm::Module&) + 2000
17 llc       0x000055e2b66aedf8 llcMain + 12056
18 llc       0x000055e2b65ea62f main + 63
19 libc.so.6 0x00007fd78062a1ca
20 libc.so.6 0x00007fd78062a28b __libc_start_main + 139
21 llc       0x000055e2b65ea525 _start + 37

Occurrences (5):

Generated 2026-10-15 08:05 UTC.