[LLVMbugs] [Bug 9838] New: QUEST generated test brocken with scalrrepl + instcombine

[bugzilla-daemon at llvm.org]

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

           Summary: QUEST generated test brocken with scalrrepl +
                    instcombine
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: quickslyver at free.fr
                CC: llvmbugs at cs.uiuc.edu


using the original quest generated test:
(http://code.google.com/p/quest-tester/)

$ gcc quest-10.c -O0 && ./a.out  #OK
$ gcc quest-10.c -O3 && ./a.out  #OK
$ clang quest-10.c -O0 && ./a.out #OK
$ clang quest-10.c -O1 && ./a.out #FAIL
a.out: quest-10.c:744: double callee_o0f(unsigned long, union ot5, union ot7,
struct ot9, union ot10 *, double *, union ot11, struct ot12 *, struct ot17,
...): Assertion `o69.o13.o8 == o82.o13.o8' failed.


using the reduced version: (quest10-a.c)

$ gcc quest-10a.c -O0 && ./a.out #OK
$ gcc quest-10a.c -O3 && ./a.out #OK
$ clang quest-10a.c -O0 && ./a.out #OK
$ clang quest-10a.c -O1 && ./a.out #FAIL
a.out: quest-10a.c:76: void callee_o0f(int, ...): Assertion `o69.o13.o8 ==
o82.o13.o8' failed.

reducing optimizations: (scalarrepl + instcombine)
#FAIL:
$ clang quest-10a.c -O0 -o test.bc -c -emit-llvm && opt test.bc -scalarrepl
-instcombine -o test2.bc && clang test2.bc && ./a.out 
a.out: quest-10a.c:76: void callee_o0f(int, ...): Assertion `o69.o13.o8 ==
o82.o13.o8' failed.

(there is no abort with instcombine or scalarrepl only optimization)

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