<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Apr 24, 2014 at 9:33 AM, Tyler Nowicki <span dir="ltr"><<a href="mailto:tnowicki@apple.com" target="_blank" class="cremed">tnowicki@apple.com</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word">Hi Diego,<div><br></div>


<div>Would a missed or failed optimization use a different type of diagnostic remark? Perhaps a MissedOptimizationRemark?</div><span><font color="#888888"><div><br></div></font></span></div></blockquote><div><br>
</div><div>Yeah, in the original design document (<a href="https://docs.google.com/document/d/1FYUatSjZZO-zmFBxjOiuOzAy9mhHA8hqdvklZv68WuQ/edit?usp=sharing" target="_blank" class="cremed">https://docs.google.com/document/d/1FYUatSjZZO-zmFBxjOiuOzAy9mhHA8hqdvklZv68WuQ/edit?usp=sharing</a>), we would say things like -Rpass=pattern=kind, where "kind" would specify what type of remark we want.</div>
<div><br></div><div>I briefly discussed offline this with Richard. The things I have in mind for "kind" are:</div><div><br></div><div>- kind=applied: what we have today. -Rpass=inline is the same as -Rpass=inline=applied. It tells you when the pass named "inline" applies its transformation.</div>

<div><br></div><div>- kind=missed: -Rpass=inline=missed tells you when the pass tried to apply the transformation but it failed. The diagnostic would include a short explanation.</div><div><br></div><div>- kind=analysis: -Rpass=inline=analysis is fairly verbose set of remarks that give more detail on what analysis went on behind the decision to apply or miss the transformation.</div>
<div><br></div><div>I am still not completely convinced that this is a reasonable interface. Suggestions more than welcome.</div><div><br></div><div><br></div><div>Diego.</div></div></div></div>