[LLVMbugs] [Bug 6802] New: ice: Branch should be foldable!

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Tue Apr 6 18:25:44 PDT 2010


           Summary: ice: Branch should be foldable!
           Product: new-bugs
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: regehr at cs.utah.edu
                CC: llvmbugs at cs.uiuc.edu, chenyang at cs.utah.edu

[regehr at gamow tmp400]$ clang -O0 -emit-llvm small.c -c -o small.bc -w
[regehr at gamow tmp400]$ opt -O1 small.bc
WARNING: You're attempting to print out a bitcode file.
This is inadvisable as it may cause display problems. If
you REALLY want to taste LLVM bitcode first-hand, you
can force output with the `-f' option.

opt: SCCP.cpp:1896: virtual bool<unnamed>::IPSCCP::runOnModule(llvm::Module&):
Assertion `BI->isConditional() && isa<UndefValue>(BI->getCondition()) &&
"Branch should be foldable!"' failed.
0  opt             0x000000000082f0af
1  opt             0x000000000082fb3a
2  libpthread.so.0 0x00007f1cde88d190
3  libc.so.6       0x00007f1cddb934b5 gsignal + 53
4  libc.so.6       0x00007f1cddb96f50 abort + 384
5  libc.so.6       0x00007f1cddb8c481 __assert_fail + 241
6  opt             0x00000000005735d2
7  opt             0x00000000007c261e
llvm::MPPassManager::runOnModule(llvm::Module&) + 494
8  opt             0x00000000007c2779 llvm::PassManagerImpl::run(llvm::Module&)
+ 137
9  opt             0x00000000004c28bc main + 2428
10 libc.so.6       0x00007f1cddb7eabd __libc_start_main + 253
11 opt             0x00000000004b6b69
Stack dump:
0.    Program arguments: opt -O1 small.bc 
1.    Running pass 'Interprocedural Sparse Conditional Constant Propagation' on
module 'small.bc'.

[regehr at gamow tmp400]$ clang -v
clang version 1.5 (trunk 100578)
Target: x86_64-unknown-linux-gnu
Thread model: posix

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.

More information about the llvm-bugs mailing list