<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Any thoughts what is going on here?   Is the above pattern actually needed?<br>
If so, does the operand number mismatch need to be fixed, or am I missing<br>
something here?<br></blockquote><div><br></div><div>Hrm. Sorry for the delay, just noticed this in my email that I needed to respond to...</div><div><br></div><div style>It may not be possible to generate it, I think that pattern was only supposed to</div>
<div style>be enabled for far data, but as I said, it needs more tests. I was just fixing it so</div><div style>that the correct patterns would be matched for the test there.</div><div style><br></div><div style>I can't come up with any code off the top of my head that would get that generated though, no.</div>
<div style><br></div><div style>-eric</div></div></div></div>