[LLVMbugs] [Bug 617] NEW: sub int 0,%var assumption incorrect

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.cs.uiuc.edu/bugs/show_bug.cgi?id=617

           Summary: sub int 0,%var assumption incorrect
           Product: tools
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: blocker
          Priority: P2
         Component: llvm-as
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: eric at vanrietpaap.nl


%xneg = sub int 0, %x
%cond3 = setne int %x, %xneg
br bool %cond3, label %return_block, label %ovf

always branches to the return_block, which is incorrect for %x = -2147483648



------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.