search for: verifydomtree

Hi All, Are there any bots that do any testing with clang/llvm built with XDEBUG (i.e. expensive checking)? I'm seeing 36 lit tests that currently hit asserts that are checked when XDEBUG is enabled. The checks that I'm hitting are: - DominatorTree::verifyDomTree() - DAGTypeLegalizer::PerformExpensiveChecks() - SelectionDAG checkForCyclesHelper Are these known issues or should I file bugs for them? -- Geoff Berry Employee of Qualcomm Innovation Center, Inc. Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, a Linux Foundation Collaborativ...

...dev at lists.llvm.org> > wrote: Hi All, Are there any bots that do any testing with clang/llvm built with XDEBUG (i.e. expensive checking)? I'm seeing 36 lit tests that currently hit asserts that are checked when XDEBUG is enabled. The checks that I'm hitting are: - DominatorTree::verifyDomTree() This seems super bad ;) Have a testcase? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160422/93652970/attachment.html>

...Filipe On Fri, Apr 22, 2016 at 8:40 PM, Geoff Berry via llvm-dev < llvm-dev at lists.llvm.org> wrote: > Bugs filed: > 27488 <https://llvm.org/bugs/show_bug.cgi?id=27488> librarie Scalar O > unassignedbugs at nondot.org NEW --- [StructurizeCFG] lit test hits assert > in verifyDomTree when compiled w/ XDEBUG > <https://llvm.org/bugs/show_bug.cgi?id=27488> 14:34:06 > 27487 <https://llvm.org/bugs/show_bug.cgi?id=27487> librarie Scalar O > unassignedbugs at nondot.org NEW --- [LoopVersioning] lit test hits invalid > domtree assert w/ XDEBUG <https://llvm....

...t by calling DT.verify(). The check has a disadvantage of being quite slow (O(n^3)), so the legacy DT.verifyDominatorTree() uses it only when ENABLE_EXPENSIVE_CHECK is enabled, or when the -verify-dom-info command line option is set to 1. Some of the transforms assume that calling DT.verifyDomTree() is fast, so we cannot turn it on by default. - Dominators and Postdominators are now different types, i.e. IsPostDom is a template argument and not a runtime value. It is no longer possible to assign a PostDomTree to a DomTree (or the other way round). And now the big thing: suppor...