<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><span style="font-family:arial,sans-serif;font-size:13.63636302947998px">Jim,</span><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">
<span style="font-family:arial,sans-serif;font-size:13.63636302947998px"><br></span></div><div class="gmail_default"><font face="arial, sans-serif">I'm not fully convinced by Tim's explanation yet, so could you please provide more explanation?</font></div>
<div class="gmail_default"><font face="arial, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, sans-serif">The key point of this improvement is to enlarge the testing coverage. We don't really have a mechanism to check if all of the code generated in CodeGen can pass MClayer yet.</font></div>
<div class="gmail_default"><font face="arial, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, sans-serif">It would be also OK if we can provide a general mechanism to ask the asm result generated by llc in CodeGen to pass MC test.</font></div>
<div class="gmail_default"><font face="arial, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, sans-serif">This is kind of test can obviously expose some bugs, and those bugs could be caused by either incorrect pattern match of pattern match with loose constraint. </font></div>
<div class="gmail_default"><font face="arial, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, sans-serif">I think it is not always easy to cover all of the scenarios in MCLayer test, and particularly it's hard to cover every corner of negative test scenarios. Enlarging testing coverage should be helpful to build a robust compiler infrastructure, right?</font></div>
<div class="gmail_default"><font face="arial, sans-serif"><br></font></div><div class="gmail_default"><span style="font-family:arial,sans-serif">As I mentioned above, we did find bugs using this test. </span><font face="arial, sans-serif">Also, this kind of test should be very fast, and I don't think it would increase regression test time.</font></div>
<div class="gmail_default"><font face="arial, sans-serif"><br></font></div><div class="gmail_default"><font face="arial, sans-serif">Looking forward to your response!</font></div><div class="gmail_default"><br></div><div class="gmail_default">
<font face="arial, sans-serif">Thanks,</font></div><div class="gmail_default"><font face="arial, sans-serif">-Jiangning</font></div><div class="gmail_default"><font face="arial, sans-serif"><br></font></div><div class="gmail_default">
<br></div><div class="gmail_default"><font face="arial, sans-serif"><br></font></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">2013/11/28 Tim Northover <span dir="ltr"><<a href="mailto:t.p.northover@gmail.com" target="_blank">t.p.northover@gmail.com</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Jiangning,<br>
<br>
I think this might be a layering violation (I've CCed Jim Grosbach,<br>
who's pretty much the authority). I know that object file tests are<br>
discouraged from CodeGen, and this seems very similar.<br>
<br>
I think the preferred option would be to make sure any test you<br>
believe it's usefully doing is part of the test/MC hierarchy.<br>
<br>
Cheers.<br>
<span class="HOEnZb"><font color="#888888"><br>
Tim.<br>
</font></span></blockquote></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr"><font face="courier new, monospace">Thanks,</font><div><font face="courier new, monospace">-Jiangning</font></div></div>
</div>