Hi Susan,<div><br></div><div>To my knowledge the verifier doesn't produce false positives with any of the in-tree allocators. If it is raising an error that is worth investigating. Is it raising an error on any simple test cases? Can you share the failing case?</div>
<div><br></div><div>- Lang.</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Nov 15, 2012 at 2:44 PM, Susan Horwitz <span dir="ltr"><<a href="mailto:horwitz@cs.wisc.edu" target="_blank">horwitz@cs.wisc.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I tried using this flag and it gave me errors on code that otherwise assembles and runs just fine (using the version of Gcra.cpp that Lang wrote).  So I'm wondering if I should really be using the flag?  I'm using it like this:<br>

<br>
llc -verify-machineinstrs -load Debug/lib/P4.so -regalloc=gc xxx.bc<span class="HOEnZb"><font color="#888888"><br>
<br>
Susan</font></span><div class="HOEnZb"><div class="h5"><br>
<br>
<br>
On 11/15/2012 01:13 PM, Jakob Stoklund Olesen wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
On Nov 15, 2012, at 7:53 AM, Susan Horwitz<<a href="mailto:horwitz@cs.wisc.edu" target="_blank">horwitz@cs.wisc.edu</a>><br>
wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Lang -<br>
<br>
Attached is a new example for which I still get assembler errors.<br>
<br>
Susan<br>
</blockquote>
<br>
Hi Susan,<br>
<br>
You should never be getting assembler errors if 'llc<br>
-verify-machineinstrs' approves of your machine code. It might give<br>
you better error messages than the assembler.<br>
<br>
/jakob<br>
<br>
</blockquote>
<br>
</div></div></blockquote></div><br></div>