[LLVMbugs] [Bug 4437] New: llvm optimization pass misoptimizes plumhall

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: llvm optimization pass misoptimizes plumhall
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: critical
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: dodohack at gmail.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=3119)
 --> (http://llvm.org/bugs/attachment.cgi?id=3119)
2 unoptimized bitcode

I try to optimize the timeseq.bc in attached file with opt (svn version 74068)

The following is my trace for this bug:

[hwalin at earth plumhall]$ ll
总计 108K
-rw-r--r-- 1 hwalin jxhk-rd 55K 06-24 15:20 timeseq.bc
-rw-r--r-- 1 hwalin jxhk-rd 39K 06-24 15:20 util.bc
[hwalin at earth plumhall]$ /temp/llvm-svn/Debug/bin/opt -O3 timeseq.bc -o
timeseq.o3.bc
[hwalin at earth plumhall]$ /temp/llvm-svn/Debug/bin/llvm-ld -disable-opt
timeseq.bc util.bc -o x
[hwalin at earth plumhall]$ /temp/llvm-svn/Debug/bin/llvm-ld -disable-opt
timeseq.o3.bc util.bc -o y
[hwalin at earth plumhall]$ /temp/llvm-svn/Debug/bin/lli x.bc
***** Reached first test *****
***** 576 successful test cases in  timeseq.c ( auto pscalar2 auto array1
timeseq )
 *****
***** 0 errors detected in  timeseq.c ( auto pscalar2 auto array1 timeseq )
 *****
***** 0 skipped sections in  timeseq.c ( auto pscalar2 auto array1 timeseq )
 *****
[hwalin at earth plumhall]$ /temp/llvm-svn/Debug/bin/lli y.bc
***** Reached first test *****
ERROR in  timeseq.c ( auto pscalar2 auto array1 timeseq )
 at line 386: (127) != (-120)
ERROR in  timeseq.c ( auto pscalar2 auto array1 timeseq )
 at line 388: (127) != (-120)
......
<lots of error message>
.....
***** 554 successful test cases in  timeseq.c ( auto pscalar2 auto array1
timeseq )
 *****
***** 22 errors detected in  timeseq.c ( auto pscalar2 auto array1 timeseq )
 *****
***** 0 skipped sections in  timeseq.c ( auto pscalar2 auto array1 timeseq )
 *****
[hwalin at earth plumhall]$


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