<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jun 26, 2013 at 4:30 PM, Eric Christopher <span dir="ltr"><<a href="mailto:echristo@gmail.com" target="_blank" class="cremed">echristo@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":el4" style="overflow:hidden">Off the cuff I'd think that IR containing MF seems most reasonable and<br>
the use of metadata to contain it seems to be good from two<br>
perspectives I think:<br>
<br>
a) it already exists, </div></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":el4" style="overflow:hidden">
b) oddly enough that we could get rid of the metadata and still have a<br>
valid module/compilation unit seems like it might be interestingly<br>
useful, but I'm not sure what uses there are off the top of my head.</div></blockquote></div><br>I'll give the reason why I like this having just thought about it a while:</div><div class="gmail_extra"><br></div>
<div class="gmail_extra">I think of this as a pre-lowered hint. IE, take some IR, and give a hint to the code generator to lower like this over here. I see a few benefits of this model:</div><div class="gmail_extra"><br></div>
<div class="gmail_extra">- It makes it reasonably easy to only specify the MI for the bit you really are trying to test. You can let the normal lowering process handle any other bits. I think this will help keep test cases small and reasonable.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">- It makes it easy to re-baseline when the code generator changes but the changes are acceptable -- strip metadata and run it through the existing pipeline.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">- It has the potential to be "incomplete" or of varying degrees of completeness which I think will be useful in testing different layers of the system... but Dan probably has more/better thoughts on this front than I do.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">The one thing I don't really like about the reversed model of MI containing IR is that now the MI model has to be "complete", so we have to invent what that means. I'm not really interested in this outside of generating test cases, so anything that simplifies the space of what we have to design *really* appeals to me.</div>
</div>