[llvm-bugs] [Bug 26718] New: [LazyValueInfo] Assertion `isa<Argument>(Val) && "Unknown live-in to the entry block"' failed.

[via llvm-bugs]

https://llvm.org/bugs/show_bug.cgi?id=26718

            Bug ID: 26718
           Summary: [LazyValueInfo] Assertion `isa<Argument>(Val) &&
                    "Unknown live-in to the entry block"' failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: llvm at meinersbur.de
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

The attached file crashes in the correlated value propagation pass. LLVM trunk
r261633.

$ ~/build/llvm/debug/bin/opt z08_bugpoint.ll -verify -correlated-propagation
-analyze
Printing analysis 'Module Verifier' for function 'Manifest':
Pass::print not implemented for pass: 'Module Verifier'!
opt: /home/meinersbur/src/llvm/lib/Analysis/LazyValueInfo.cpp:766: bool
{anonymous}::LazyValueInfoCache::solveBlockValueNonLocal({anonymous}::LVILatticeVal&,
llvm::Value*, llvm::BasicBlock*): Assertion `isa<Argument>(Val) && "Unknown
live-in to the entry block"' failed.
0  opt             0x0000000001dd2f80
llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 59
1  opt             0x0000000001dd32d8
2  opt             0x0000000001dd180f llvm::sys::RunSignalHandlers() + 153
3  opt             0x0000000001dd299c
4  libpthread.so.0 0x00007fcc16cf7d10
5  libc.so.6       0x00007fcc15e97267 gsignal + 55
6  libc.so.6       0x00007fcc15e98eca abort + 362
7  libc.so.6       0x00007fcc15e9003d
8  libc.so.6       0x00007fcc15e900f2
9  opt             0x000000000127373f
10 opt             0x0000000001272d67
11 opt             0x000000000127274c
12 opt             0x0000000001275efc
13 opt             0x00000000012768f8
llvm::LazyValueInfo::getConstantOnEdge(llvm::Value*, llvm::BasicBlock*,
llvm::BasicBlock*, llvm::Instruction*) + 188
14 opt             0x0000000001b81a68
15 opt             0x0000000001b827d4
16 opt             0x0000000001848e82
llvm::FPPassManager::runOnFunction(llvm::Function&) + 330
17 opt             0x000000000184901b
llvm::FPPassManager::runOnModule(llvm::Module&) + 133
18 opt             0x0000000001849396
19 opt             0x0000000001849aab
llvm::legacy::PassManagerImpl::run(llvm::Module&) + 271
20 opt             0x0000000001849cb7
llvm::legacy::PassManager::run(llvm::Module&) + 39
21 opt             0x0000000000f01314 main + 7148
22 libc.so.6       0x00007fcc15e82a40 __libc_start_main + 240
23 opt             0x0000000000edbd79 _start + 41
Stack dump:
0.      Program arguments: /home/meinersbur/build/llvm/debug/bin/opt
z08_bugpoint.ll -verify -correlated-propagation -analyze 
1.      Running pass 'Function Pass Manager' on module 'z08_bugpoint.ll'.
2.      Running pass 'Value Propagation' on function '@Manifest'
Aborted (core dumped)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20160223/7c408c60/attachment.html>