Hi Sanjoy,<div><br></div><div>Here's a version of Banerjee and Wolfe's Exact SIV test: <a href="https://sites.google.com/site/parallelizationforllvm/weak-siv-test">https://sites.google.com/site/parallelizationforllvm/weak-siv-test</a></div>
<div>It assumes you've already filtered out the easy cases handled by ZIV, strong SIV, etc.</div><div><br></div><div>I'm not confident about my uses of APInt. If you have any comments, I'd love to hear them.</div>
<div><br></div><div>Thanks,</div><div>Preston</div><div><br><br><div class="gmail_quote">On Thu, Apr 12, 2012 at 5:14 AM, Sanjoy Das <span dir="ltr"><<a href="mailto:sanjoy@playingwithpointers.com">sanjoy@playingwithpointers.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
Here is a preliminary (monolithic) version you can comment on.  This<br>
is still buggy, however, and I'll be testing for and fixing bugs over<br>
the next few days.  I've used your version of the strong siv test.<br>
<br>
Thanks!<br>
<div class="HOEnZb"><div class="h5">--<br>
Sanjoy Das.<br>
<a href="http://playingwithpointers.com" target="_blank">http://playingwithpointers.com</a><br>
</div></div></blockquote></div><br></div>