[llvm-bugs] [Bug 46740] New: Merge 00f3579aea6e3d4a4b7464c3db47294f71cef9e4 to 11.0

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=46740

            Bug ID: 46740
           Summary: Merge 00f3579aea6e3d4a4b7464c3db47294f71cef9e4 to 11.0
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: craig.topper at gmail.com
                CC: llvm-bugs at lists.llvm.org

This reverts most of a 5 patch series due to reports of miscompiles. 

The patches are
    1cf6f210a2e [IR] Disable select ? C : undef -> C fold in
ConstantFoldSelectInstruction unless we know C isn't poison.
    469da663f2d [InstSimplify] Re-enable select ?, undef, X -> X transform when
X is provably not poison
    122b0640fc9 [InstSimplify] Don't fold vectors of partial undef in
SimplifySelectInst if the non-undef element value might produce poison
    ac0af12ed2f [InstSimplify] Add test cases for opportunities to fold select
?, X, undef -> X when we can prove X isn't poison
    9b1e95329af [InstSimplify] Remove select ?, undef, X -> X and select ?, X,
undef -> X transforms


Some of them added new test cases which I left but change the CHECK lines.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20200716/2da87f71/attachment.html>