[LLVMbugs] [Bug 1934] New: Another invalid division instcombine

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Another invalid division instcombine
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: sharparrow1 at yahoo.com
                CC: llvmbugs at cs.uiuc.edu


define i32 @fold(i32 %a) {
%b = sdiv i32 %a, -1
%s = icmp eq i32 %b, -2147483648
%c = zext i1 %s to i32
ret i32 %c
}

combines to

define i32 @fold(i32 %a) nounwind  {
        ret i32 0
}

This is not correct!  Try calling @fold(i32 -2147483648).


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