<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">I had a patch at some point that added a feature to lit that would *always* add the -verify-machineinstrs (unless disabled explicitely).<div class="">Test that wouldn't pass were marked something like "XFAIL: verifymachineinstrs", but it would prevent from adding new failing tests and we could move towards a totally verifier-clean suite.</div><div class=""><br class=""></div><div class="">-- </div><div class="">Mehdi</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""><div class=""><br class=""></div><div class=""> <br class=""><div><blockquote type="cite" class=""><div class="">On Apr 29, 2016, at 6:42 PM, Matthias Braun via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="content-type" content="text/html; charset=utf-8" class=""><div dir="auto" class=""><div class=""></div><div class="">Would it make sense to include -verify-machineinstrs into XDEBUG ad well?</div><div class=""><br class="">On Apr 29, 2016, at 8:36 AM, Filipe Cabecinhas via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a>> wrote:<br class=""><br class=""></div><blockquote type="cite" class=""><div class=""><div dir="ltr" class="">Thanks for noticing this, Geoff.<div class=""><br class=""></div><div class="">I just landed r268050 which add a cmake option for this (and unifies XDEBUG and EXPENSIVE_CHECKS). This might make it easier to setup some build bots.</div><div class="gmail_extra"><br class=""></div><div class="gmail_extra">Thank you,</div><div class="gmail_extra"><br clear="all" class=""><div class=""><div class="gmail_signature"> Filipe<br class=""></div></div>
<br class=""><div class="gmail_quote">On Fri, Apr 22, 2016 at 8:40 PM, Geoff Berry via llvm-dev <span dir="ltr" class=""><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank" class="">llvm-dev@lists.llvm.org</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000" class=""><p class="">Bugs filed:</p>
<table style="font-family: Verdana, sans-serif; font-size: small; font-style: normal; font-variant-ligatures: normal; font-variant-position: normal; font-variant-caps: normal; font-variant-numeric: normal; font-variant-alternates: normal; font-variant-east-asian: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; background-color: rgb(255, 255, 255);" cellpadding="4" cellspacing="0" width="100%" class="">
<tbody class="">
<tr style="background-color: rgb(247, 247, 247);" class="">
<td style="font-family:Verdana,sans-serif;font-size:small;padding-left:20px" class=""><a href="https://llvm.org/bugs/show_bug.cgi?id=27488" style="color:rgb(102,51,102)" target="_blank" class="">27488</a></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="libraries" class="">librarie</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="Scalar Optimizations" class="">Scalar O</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="unassignedbugs@nondot.org" class=""><a href="mailto:unassignedbugs@nondot.org" target="_blank" class="">unassignedbugs@nondot.org</a></span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="NEW" class="">NEW</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="---" class="">---</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small" class=""><a href="https://llvm.org/bugs/show_bug.cgi?id=27488" style="color:inherit" target="_blank" class="">[StructurizeCFG] lit test hits
assert in verifyDomTree when compiled w/ XDEBUG</a></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class="">14:34:06</td>
</tr>
<tr style="background-color: rgb(255, 255, 255);" class="">
<td style="font-family:Verdana,sans-serif;font-size:small;padding-left:20px" class=""><a href="https://llvm.org/bugs/show_bug.cgi?id=27487" style="color:rgb(102,51,102)" target="_blank" class="">27487</a></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="libraries" class="">librarie</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="Scalar Optimizations" class="">Scalar O</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="unassignedbugs@nondot.org" class=""><a href="mailto:unassignedbugs@nondot.org" target="_blank" class="">unassignedbugs@nondot.org</a></span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="NEW" class="">NEW</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="---" class="">---</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small" class=""><a href="https://llvm.org/bugs/show_bug.cgi?id=27487" style="color:inherit" target="_blank" class="">[LoopVersioning] lit test hits
invalid domtree assert w/ XDEBUG</a></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class="">14:31:56</td>
</tr>
<tr style="background-color: rgb(247, 247, 247);" class="">
<td style="font-family:Verdana,sans-serif;font-size:small;padding-left:20px" class=""><a href="https://llvm.org/bugs/show_bug.cgi?id=27486" style="color:rgb(102,51,102)" target="_blank" class="">27486</a></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="libraries" class="">librarie</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="Scalar Optimizations" class="">Scalar O</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="unassignedbugs@nondot.org" class=""><a href="mailto:unassignedbugs@nondot.org" target="_blank" class="">unassignedbugs@nondot.org</a></span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="NEW" class="">NEW</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="---" class="">---</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small" class=""><a href="https://llvm.org/bugs/show_bug.cgi?id=27486" style="color:inherit" target="_blank" class="">[InductiveRangeCheckElimination]
invalidates domtree and hits asserts w/ XDEBUG</a></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class="">14:29:00</td>
</tr>
<tr style="background-color: rgb(255, 255, 255);" class="">
<td style="font-family:Verdana,sans-serif;font-size:small;padding-left:20px" class=""><a href="https://llvm.org/bugs/show_bug.cgi?id=27485" style="color:rgb(102,51,102)" target="_blank" class="">27485</a></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="libraries" class="">librarie</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="Backend: X86" class="">Backend:</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="unassignedbugs@nondot.org" class=""><a href="mailto:unassignedbugs@nondot.org" target="_blank" class="">unassignedbugs@nondot.org</a></span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="NEW" class="">NEW</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="---" class="">---</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small" class=""><a href="https://llvm.org/bugs/show_bug.cgi?id=27485" style="color:inherit" target="_blank" class="">[X86]
Codegen/X86/selectiondag-cse.ll hits assert when LLVM
compiled with XDEBUG</a></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class="">14:13:03</td>
</tr>
<tr style="background-color: rgb(247, 247, 247);" class="">
<td style="font-family:Verdana,sans-serif;font-size:small;padding-left:20px" class=""><a href="https://llvm.org/bugs/show_bug.cgi?id=27483" style="color:rgb(102,51,102)" target="_blank" class="">27483</a></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="libraries" class="">librarie</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="Common Code Generator Code" class="">Common C</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="unassignedbugs@nondot.org" class=""><a href="mailto:unassignedbugs@nondot.org" target="_blank" class="">unassignedbugs@nondot.org</a></span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="NEW" class="">NEW</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="---" class="">---</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small" class=""><a href="https://llvm.org/bugs/show_bug.cgi?id=27483" style="color:inherit" target="_blank" class="">[SelectionDAG] LegalizeTypes hits
asserts in PerformExpensiveChecks when compiled with
XDEBUG</a></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class="">14:12:59</td>
</tr>
<tr style="background-color: rgb(255, 255, 255);" class="">
<td style="font-family:Verdana,sans-serif;font-size:small;padding-left:20px" class=""><a href="https://llvm.org/bugs/show_bug.cgi?id=27484" style="color:rgb(102,51,102)" target="_blank" class="">27484</a></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="libraries" class="">librarie</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="Backend: ARM" class="">Backend:</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="unassignedbugs@nondot.org" class=""><a href="mailto:unassignedbugs@nondot.org" target="_blank" class="">unassignedbugs@nondot.org</a></span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="NEW" class="">NEW</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small;white-space:nowrap" class=""><span title="---" class="">---</span></td>
<td style="font-family:Verdana,sans-serif;font-size:small" class=""><a href="https://llvm.org/bugs/show_bug.cgi?id=27484" style="color:inherit" target="_blank" class="">[ARM]
Codegen/Thumb/segmented-stacks.ll hits assert when llvm
compiled w/ XDEBUG</a></td>
</tr>
</tbody>
</table><div class=""><div class="h5">
<br class="">
<div class="">On 4/22/2016 12:11 PM, Geoff Berry via
llvm-dev wrote:<br class="">
</div>
</div></div><blockquote type="cite" class=""><div class=""><div class="h5">
<div class=""><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d" class="">Yeah,
they are just triggered by lit check tests. I’ll file some
bugs today, though it looks like Quentin may have already
filed bugs for some of these.<u class=""></u><u class=""></u></span></p><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d" class=""><u class=""></u> <u class=""></u></span></p>
<div style="border:dashed #2f6fab 1.0pt;padding:12.0pt 12.0pt 12.0pt 12.0pt;background:#f9f9f9" class=""><p class="MsoNormal" style="line-height:15.6pt;background:#f9f9f9;border:none;padding:0in"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d" class="">--<u class=""></u><u class=""></u></span></p><p class="MsoNormal" style="line-height:15.6pt;background:#f9f9f9;border:none;padding:0in"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d" class="">Geoff
Berry<u class=""></u><u class=""></u></span></p><p class="MsoNormal" style="line-height:15.6pt;background:#f9f9f9;border:none;padding:0in"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d" class="">Employee
of Qualcomm Innovation Center, Inc.<u class=""></u><u class=""></u></span></p><p class="MsoNormal" style="line-height:15.6pt;background:#f9f9f9;border:none;padding:0in"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d" class="">
Qualcomm Innovation Center, Inc. is a member of Code
Aurora Forum, a Linux Foundation Collaborative Project<u class=""></u><u class=""></u></span></p>
</div><p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d" class=""><u class=""></u> <u class=""></u></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0in 0in 0in 4.0pt" class="">
<div class="">
<div style="border:none;border-top:solid #e1e1e1 1.0pt;padding:3.0pt 0in 0in 0in" class=""><p class="MsoNormal"><b class=""><span style="font-size:11.0pt;font-family:"Calibri",sans-serif" class="">From:</span></b><span style="font-size:11.0pt;font-family:"Calibri",sans-serif" class="">
Daniel Berlin [<a href="mailto:dberlin@dberlin.org" target="_blank" class="">mailto:dberlin@dberlin.org</a>] <br class="">
<b class="">Sent:</b> Friday, April 22, 2016 12:05 PM<br class="">
<b class="">To:</b> Geoff Berry <a href="mailto:gberry@codeaurora.org" target="_blank" class=""><gberry@codeaurora.org></a><br class="">
<b class="">Cc:</b> llvm-dev <a href="mailto:llvm-dev@lists.llvm.org" target="_blank" class=""><llvm-dev@lists.llvm.org></a><br class="">
<b class="">Subject:</b> Re: [llvm-dev] XDEBUG build bots?<u class=""></u><u class=""></u></span></p>
</div>
</div><p class="MsoNormal"><u class=""></u> <u class=""></u></p>
<div class=""><p class="MsoNormal"><u class=""></u> <u class=""></u></p>
<div class=""><p class="MsoNormal"><u class=""></u> <u class=""></u></p>
<div class=""><p class="MsoNormal">On Thu, Apr 21, 2016 at 1:18 PM,
Geoff Berry via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank" class="">llvm-dev@lists.llvm.org</a>>
wrote:<u class=""></u><u class=""></u></p>
<blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0in 0in 0in 6.0pt;margin-left:4.8pt;margin-right:0in" class=""><p class="MsoNormal">Hi All,<br class="">
<br class="">
Are there any bots that do any testing with
clang/llvm built with XDEBUG<br class="">
(i.e. expensive checking)? I'm seeing 36 lit tests
that currently hit<br class="">
asserts that are checked when XDEBUG is enabled.
The checks that I'm<br class="">
hitting are:<br class="">
- DominatorTree::verifyDomTree()<u class=""></u><u class=""></u></p>
</blockquote>
<div class=""><p class="MsoNormal"><u class=""></u> <u class=""></u></p>
</div>
<div class=""><p class="MsoNormal">This seems super bad ;)<u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal">Have a testcase?<u class=""></u><u class=""></u></p>
</div>
<div class=""><p class="MsoNormal"><u class=""></u> <u class=""></u></p>
</div>
</div>
</div>
</div>
</div>
</div>
<br class="">
<fieldset class=""></fieldset>
<br class="">
</div></div><span class=""><pre class="">_______________________________________________
LLVM Developers mailing list
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank" class="">llvm-dev@lists.llvm.org</a>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" target="_blank" class="">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a>
</pre>
</span></blockquote>
<br class=""><span class="">
<pre cols="72" class="">--
Geoff Berry
Employee of Qualcomm Innovation Center, Inc.
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, a Linux Foundation Collaborative Project
</pre>
</span></div>
<br class="">_______________________________________________<br class="">
LLVM Developers mailing list<br class="">
<a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a><br class="">
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank" class="">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br class="">
<br class=""></blockquote></div><br class=""></div></div>
</div></blockquote><blockquote type="cite" class=""><div class=""><span class="">_______________________________________________</span><br class=""><span class="">LLVM Developers mailing list</span><br class=""><span class=""><a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a></span><br class=""><span class=""><a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" class="">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a></span><br class=""></div></blockquote></div>_______________________________________________<br class="">LLVM Developers mailing list<br class=""><a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a><br class="">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev<br class=""></div></blockquote></div><br class=""></div></div></body></html>