[LLVMbugs] [Bug 16031] New: llvm/lib/CodeGen/RegisterCoalescer.cpp Assertion `MO.isDef() && MO.isImplicit() && MO.isDead() && TargetRegisterInfo::isPhysicalRegister(MO.getReg())' failed

[bugzilla-daemon at llvm.org]

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

            Bug ID: 16031
           Summary: llvm/lib/CodeGen/RegisterCoalescer.cpp Assertion
                    `MO.isDef() && MO.isImplicit() && MO.isDead() &&
                    TargetRegisterInfo::isPhysicalRegister(MO.getReg())'
                    failed
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: kcc at google.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

test case by csmith/creduce 
llvm r182001, linux x86_32 

% clang -cc1 -triple i386-unknown-linux-gnu -emit-obj -O2  -x c e.c 

clang-3.3: llvm/lib/CodeGen/RegisterCoalescer.cpp:798: bool <anonymous
namespace>::RegisterCoalescer::reMaterializeTrivialDef(llvm::CoalescerPair &,
llvm::MachineInstr *): Assertion `MO.isDef() && MO.isImplicit() && MO.isDead()
&& TargetRegisterInfo::isPhysicalRegister(MO.getReg())' failed.

3.    Running pass 'Function Pass Manager' on module 'e.c'.
4.    Running pass 'Simple Register Coalescing' on function '@main'


typedef long long int64_t;
int a;
int b;
int c;
int64_t d;
int main () {
  a = 1;
  for (; a; a = 0) {
    c = 0;
    c -= 1;
    if (b)
      break;
    c = 0;
    for (; c > -9; c = c - 4) {
    }
  }
  d = (c & - (int64_t) c ^ c) < 0 ? c & 67 : (c & 67) - (int64_t) c;
}

-- 
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/20130516/9911bf4b/attachment.html>