<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Oct 12, 2009, at 11:44 AM, Nick Lewycky wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div class="gmail_quote">2009/10/12 Dan Gohman <span dir="ltr"><<a href="mailto:gohman@apple.com">gohman@apple.com</a>></span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> <div class="im"><br></div></blockquote><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> With @llvm.invariant.end being marked readonly and nounwind, and having<br> a void return type, it would seem to be trivially dead everywhere.<br> Should<br> the readonly be removed?<br></blockquote><div><br>Good catch! Does this rule apply to intrinsics as well? How does @llvm.gcread work?</div></div></blockquote><br></div><div>gcread should be deleted when dead. Basicaa should special case these new intrinsics to say that they always have an empty mod/ref set.</div><div><br></div><div>-Chris</div><br></body></html>