[llvm-bugs] [Bug 45965] New: SLPVectorizer calls verifyFunction without checking the return value.

[via llvm-bugs]

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

            Bug ID: 45965
           Summary: SLPVectorizer calls verifyFunction without checking
                    the return value.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Loop Optimizer
          Assignee: unassignedbugs at nondot.org
          Reporter: craig.topper at gmail.com
                CC: llvm-bugs at lists.llvm.org

The SLP vectorizer calls verifyFunction, but doesn't check the result.
verifyFunction doesn't assert or error internally so the only way to catch the
error is for the caller to act on the return value.

I tried to wrap it in an assert along with other similar issues in D80106, but
test/Transforms/SLPVectorizer/X86/crash_vectorizeTree.ll doesn't pass
verification. Hoping someone with SLP vectorizer experience can pick this up.

-- 
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/20200518/ce1b643f/attachment.html>