<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Jun 17, 2014 at 2:07 PM, Anton Korobeynikov <span dir="ltr"><<a href="mailto:anton@korobeynikov.info" target="_blank">anton@korobeynikov.info</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Rafael,<br>
<div class=""><br>
> Do others agree that this is the case or at least that this would be a<br>
> reasonable balance?<br>
</div>IMO it's easier to be compatible on .ll level, no? In case of binary<br>
IR it's really easy to make incompatible changes. After all there are<br>
no tests on IR binary compatibility, however the whole regression<br>
testsuite can be viewed as a big test for .ll compatibility.<br></blockquote><div><br></div><div>This is a really good point. Theoretically (and to a good approximation in practice), every feature of the IR is tested in the test suite in .ll form, which means that a compatibility break at the .ll level will cause visible churn. The same cannot be said for the bitcode.<br>
<br></div><div>-- Sean Silva<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
There are two more points here:<br>
<br>
1. Actually we had much stronger policies wrt the bitcode<br>
compatibility in minor releases. Something like x.y should be able to<br>
read stuff from x.y-1, but x.y+2 is allowed not to read stuff there,<br>
so the proper path is transition x.y-1 => x.y => x.y+2. Am I right?<br>
2. Metadata compatibility. We already had precedence of introducing<br>
incompatible changes into metadata format in the past within release.<br>
Should we use relaxes rules for metadata compatibility?<br>
<div class=""><br>
> In any case, we should probably document whatever we decide. Where<br>
> should that go? Sean suggested docs/DeveloperPolicy.html. Is everyone<br>
> OK with that?<br>
</div>+1<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
With best regards, Anton Korobeynikov<br>
Faculty of Mathematics and Mechanics, Saint Petersburg State University<br>
</font></span></blockquote></div><br></div></div>