[LLVMbugs] [Bug 1086] NEW: CBE doesn't handle signlessness right

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: CBE doesn't handle signlessness right
           Product: libraries
           Version: trunk
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Backend: C
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: sabre at nondot.org


Consider:

int test(unsigned short X, short Y) { return X+Y; }

$ llvm-gcc t.c -c -emit-llvm -o - -O3 | llc -march=c
signed int test(signed short ltmp_0_1, signed short ltmp_1_1) {
  return ((((signed int )(signed short )ltmp_1_1)) + (((unsigned int )(unsigned short )ltmp_0_1)));
}

The first argument should be unsigned.  This is a serious bug, because it means that bugpoint will get 
confused more often than it currently does.

-Chris



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