Eli,<br> <br>Could you have a look at ChooseConstraint in LLVM and confirm whether or not it is choosing multiple alternative constraints?  It seems to me that the backend is in a better position to choose them.  Having studied ChooseConstraintTuple, I was in the process of trying something similar in the front end, when my boss suggested that the back end was a better place, leading me to have a look inside LLVM.  It looks like there is some basic support for it, though not all constraint types are supported.  I even saw a comment somewhere about "|" being used in the constrainst, though I didn't see any support for it, but it suggested to me that it might have been considered as a means for separating the alternative constraints.  One thing I also noticed is that the back-end doesn't consider multiple constraints in parallel, as ChooseConstraintTuple does, but it seems like it should be okay, as long as the backend can find suitable instrustions.<br>
 <br>-John<br><br>
<div class="gmail_quote">On Thu, Aug 5, 2010 at 6:08 PM, Eli Friedman <span dir="ltr"><<a href="mailto:eli.friedman@gmail.com">eli.friedman@gmail.com</a>></span> wrote:<br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">On Thu, Aug 5, 2010 at 5:40 PM, John Thompson<br>
<div class="im"><<a href="mailto:john.thompson.jtsoftware@gmail.com">john.thompson.jtsoftware@gmail.com</a>> wrote:<br></div>
<div class="im">> May I check this in?<br><br></div>No, it's wrong; the correct approach is<br><a href="http://llvm.org/bugs/show_bug.cgi?id=7338#c6" target="_blank">http://llvm.org/bugs/show_bug.cgi?id=7338#c6</a> .  I think you're not<br>
understanding the part of multi-alternative constraints that requires<br>only one alternative to be selected.<br><font color="#888888"><br>-Eli<br></font></blockquote></div><br><br clear="all"><br>-- <br>John Thompson<br>
<a href="mailto:John.Thompson.JTSoftware@gmail.com">John.Thompson.JTSoftware@gmail.com</a><br><br>