[LLVMbugs] [Bug 7825] New: Linear Scan Register Allocator expensive checks crash

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=7825

           Summary: Linear Scan Register Allocator expensive checks crash
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: baldrick at free.fr
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=5330)
 --> (http://llvm.org/bugs/attachment.cgi?id=5330)
testcase .ll

When built with expensive checks enabled, I see the following with the attached
testcase:


$ llc regex.bc 
/usr/include/c++/4.4/debug/safe_iterator.h:460:error: attempt to compare a 
    singular iterator to a singular iterator.

Objects involved in the operation:
iterator "lhs" @ 0x0x7fff7e091720 {
type =
N11__gnu_debug14_Safe_iteratorISt23_Rb_tree_const_iteratorISt4pairIKPN4llvm12MachineInstrES2_IjNS3_10VirtRegMap6ModRefEEEENSt7__debug8multimapIS5_S9_St4lessIS5_ESaISA_EEEEE
(constant iterator);
  state = singular;
  references sequence with type
`NSt7__debug8multimapIPN4llvm12MachineInstrESt4pairIjNS1_10VirtRegMap6ModRefEESt4lessIS3_ESaIS4_IKS3_S7_EEEE'
@ 0x0x7fff7e091720
}
iterator "rhs" @ 0x0x7fff7e0916f0 {
type =
N11__gnu_debug14_Safe_iteratorISt23_Rb_tree_const_iteratorISt4pairIKPN4llvm12MachineInstrES2_IjNS3_10VirtRegMap6ModRefEEEENSt7__debug8multimapIS5_S9_St4lessIS5_ESaISA_EEEEE
(constant iterator);
  state = singular;
  references sequence with type
`NSt7__debug8multimapIPN4llvm12MachineInstrESt4pairIjNS1_10VirtRegMap6ModRefEESt4lessIS3_ESaIS4_IKS3_S7_EEEE'
@ 0x0x7fff7e0916f0
}
0  llc            0x000000000187aab7
1  llc            0x000000000187a97b
2  libc.so.6      0x00007f2d4070ac00
3  libc.so.6      0x00007f2d4070ab85 gsignal + 53
4  libc.so.6      0x00007f2d4070e6d0 abort + 384
5  libstdc++.so.6 0x00007f2d40f57b54 __gnu_debug::_Error_formatter::_M_error()
const + 372
6  llc            0x00000000014b3126 bool
__gnu_debug::operator!=<std::_Rb_tree_const_iterator<std::pair<llvm::MachineInstr*
const, std::pair<unsigned int, llvm::VirtRegMap::ModRef> > >,
std::__debug::multimap<llvm::MachineInstr*, std::pair<unsigned int,
llvm::VirtRegMap::ModRef>, std::less<llvm::MachineInstr*>,
std::allocator<std::pair<llvm::MachineInstr* const, std::pair<unsigned int,
llvm::VirtRegMap::ModRef> > > >
>(__gnu_debug::_Safe_iterator<std::_Rb_tree_const_iterator<std::pair<llvm::MachineInstr*
const, std::pair<unsigned int, llvm::VirtRegMap::ModRef> > >,
std::__debug::multimap<llvm::MachineInstr*, std::pair<unsigned int,
llvm::VirtRegMap::ModRef>, std::less<llvm::MachineInstr*>,
std::allocator<std::pair<llvm::MachineInstr* const, std::pair<unsigned int,
llvm::VirtRegMap::ModRef> > > > > const&,
__gnu_debug::_Safe_iterator<std::_Rb_tree_const_iterator<std::pair<llvm::MachineInstr*
const, std::pair<unsigned int, llvm::VirtRegMap::ModRef> > >,
std::__debug::multimap<llvm::MachineInstr*, std::pair<unsigned int,
llvm::VirtRegMap::ModRef>, std::less<llvm::MachineInstr*>,
std::allocator<std::pair<llvm::MachineInstr* const, std::pair<unsigned int,
llvm::VirtRegMap::ModRef> > > > > const&) + 184
7  llc            0x00000000014aa9f8
8  llc            0x00000000014a496f
9  llc            0x0000000001386a13
10 llc            0x000000000132e15d
llvm::MachineFunctionPass::runOnFunction(llvm::Function&) + 95
11 llc            0x000000000177972d
llvm::FPPassManager::runOnFunction(llvm::Function&) + 405
12 llc            0x000000000177994a
llvm::FPPassManager::runOnModule(llvm::Module&) + 102
13 llc            0x0000000001779cac
llvm::MPPassManager::runOnModule(llvm::Module&) + 506
14 llc            0x000000000177a221 llvm::PassManagerImpl::run(llvm::Module&)
+ 125
15 llc            0x000000000177a72d llvm::PassManager::run(llvm::Module&) + 39
16 llc            0x0000000000cb56a0 main + 2368
17 libc.so.6      0x00007f2d406f5d8d __libc_start_main + 253
18 llc            0x0000000000cb4349
Stack dump:
0.    Program arguments: llc regex.bc 
1.    Running pass 'Function Pass Manager' on module 'regex.bc'.
2.    Running pass 'Linear Scan Register Allocator' on function
'@byte_regex_compile'
Aborted (core dumped)

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.