<p dir="ltr">How about adding a new command line option --check-all-prefixes in addition to allowing multiple prefixes? That would allow to write tests that check for the default prefix, tests that check for multiple prefixes and tests that check everything. </p>

<div class="gmail_quote">On Aug 14, 2013 5:41 AM, "Matt Arsenault" <<a href="mailto:arsenm2@gmail.com">arsenm2@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="word-wrap:break-word"><br><div><div>On Aug 13, 2013, at 9:29 , Renato Golin <<a href="mailto:renato.golin@linaro.org" target="_blank">renato.golin@linaro.org</a>> wrote:</div><br><blockquote type="cite">
<div dir="ltr">On 13 August 2013 17:11, Stephen Lin <span dir="ltr"><<a href="mailto:swlin@post.harvard.edu" target="_blank">swlin@post.harvard.edu</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><span style="color:rgb(34,34,34)">Exactly, my suggestion is for multiple prefixes only, and not ALL or</span><br>

</div>
any other prefix that is turned on in all cases. Only "CHECK" is<br>
grandfathered is as an implicit prefix, and it is only used in the<br>
case that no other prefix is provided.<br></blockquote><div></div></div><br></div><div class="gmail_extra">Ok, that makes sense. I think I prefer this way, too.</div><div class="gmail_extra"><br></div><div class="gmail_extra">

Matt, do you have any views on this? Anyone else?</div></div></blockquote><br></div><div>I think the multiple -check-prefix option makes sense. I'll try doing that later today</div><br></div><br>_______________________________________________<br>

llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
<br></blockquote></div>