[LLVMbugs] [Bug 5023] New: opt -scalarrepl triggers verifier error

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: opt -scalarrepl triggers verifier error
           Product: libraries
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Scalar Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: gohman at apple.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=3539)
 --> (http://llvm.org/bugs/attachment.cgi?id=3539)
reduced testcase

In the attached testcase, opt -scalarrepl results in the verifier complaining
"Invoke result does not dominate all uses!"

This is a reduced testcase from 483.xalancbmk.


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