[LLVMbugs] [Bug 12927] New: RegisterCoalescer.cpp:1305: bool {anonymous}::RegisterCoalescer::joinIntervals(llvm::CoalescerPair&): Assertion `MI && "Missing def"' failed.

[bugzilla-daemon at llvm.org]

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

             Bug #: 12927
           Summary: RegisterCoalescer.cpp:1305: bool
                    {anonymous}::RegisterCoalescer::joinIntervals(llvm::Co
                    alescerPair&): Assertion `MI && "Missing def"' failed.
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: LLVM Codegen
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: merkil at savhon.org
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Hi !

$ cat file.c
unsigned short s;
unsigned g0, g1, g2;

void func(void)
{
    unsigned i, v = 12;

    for(; i; i++)
        if((s += !(v /= 0xC)) + g1)
        {
            s--;

            if(!g2)
        g0 = (v ? v : (g1 = 0));
        }
}

$ ~/clang/build/Release+Asserts/bin/clang -O3 file.c
lang: /home/merkil/clang/llvm/lib/CodeGen/RegisterCoalescer.cpp:1305: bool
{anonymous}::RegisterCoalescer::joinIntervals(llvm::CoalescerPair&): Assertion
`MI && "Missing def"' failed.
0  clang           0x0000000001ed2dff
1  clang           0x0000000001ed32e9
2  libpthread.so.0 0x00002ac5bc9c6030
3  libc.so.6       0x00002ac5bd5aa475 gsignal + 53
4  libc.so.6       0x00002ac5bd5ad6f0 abort + 384
5  libc.so.6       0x00002ac5bd5a3621 __assert_fail + 241
6  clang           0x00000000019aec6b
7  clang           0x00000000019af90f
8  clang           0x00000000019b1522
9  clang           0x00000000019b167c
10 clang           0x00000000019b2328
11 clang           0x0000000001e6965f
llvm::FPPassManager::runOnFunction(llvm::Function&) + 591
12 clang           0x0000000001e696d3
llvm::FPPassManager::runOnModule(llvm::Module&) + 51
13 clang           0x0000000001e69374
llvm::MPPassManager::runOnModule(llvm::Module&) + 532
14 clang           0x0000000001e6a90b llvm::PassManagerImpl::run(llvm::Module&)
+ 171
15 clang           0x000000000088f277
clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::CodeGenOptions
const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::Module*,
clang::BackendAction, llvm::raw_ostream*) + 2055
16 clang           0x000000000088d18d
17 clang           0x00000000009e236f clang::ParseAST(clang::Sema&, bool, bool)
+ 447
18 clang           0x00000000007493b4
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 340
19 clang           0x000000000073060e
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1198
20 clang           0x0000000000728158 cc1_main(char const**, char const**, char
const*, void*) + 936
21 clang           0x000000000071214f main + 719
22 libc.so.6       0x00002ac5bd596ead __libc_start_main + 253
23 clang           0x0000000000725d79
Stack dump:
0.    Program arguments: /home/merkil/clang/build/Release+Asserts/bin/clang
-cc1 -triple x86_64-unknown-linux-gnu -emit-obj -disable-free -main-file-name
file.c -mrelocation-model static -fmath-errno -masm-verbose
-mconstructor-aliases -munwind-tables -target-cpu x86-64 -target-linker-version
2.22 -momit-leaf-frame-pointer -resource-dir
/home/merkil/clang/build/Release+Asserts/bin/../lib/clang/3.2
-fmodule-cache-path /var/tmp/clang-module-cache -internal-isystem
/usr/local/include -internal-isystem
/home/merkil/clang/build/Release+Asserts/bin/../lib/clang/3.2/include
-internal-externc-isystem /usr/include/x86_64-linux-gnu
-internal-externc-isystem /include -internal-externc-isystem /usr/include -O3
-fdebug-compilation-dir /home/merkil/testccg -ferror-limit 19 -fmessage-length
0 -mstackrealign -fgnu-runtime -fobjc-runtime-has-arc -fobjc-runtime-has-weak
-fobjc-fragile-abi -fdiagnostics-show-option -o /tmp/file-VMBqaQ.o -x c file.c 
1.    <eof> parser at end of file
2.    Code generation
3.    Running pass 'Function Pass Manager' on module 'file.c'.
4.    Running pass 'Simple Register Coalescing' on function '@func'
clang: error: unable to execute command: Aborted
clang: error: clang frontend command failed due to signal (use -v to see
invocation)
clang: note: diagnostic msg: Please submit a bug report to
http://llvm.org/bugs/ and include command line arguments and all diagnostic
information.
clang: note: diagnostic msg: Preprocessed source(s) and associated run
script(s) are located at:
clang: note: diagnostic msg: /tmp/file-0K2S0F.i
clang: note: diagnostic msg: /tmp/file-0K2S0F.sh


It fails only at -O3, with clang as of r157331 (works with 3.0).

-- 
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.