<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Jul 21, 2012, at 5:25 PM, Chris Lattner <<a href="mailto:clattner@apple.com">clattner@apple.com</a>> wrote:</div><blockquote type="cite"><span style="font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; display: inline !important; float: none; ">2. It would be great to get conditionally invalidated analysis passes.  For example, if you run something like "dominators, loop unswitch, dominators", and loop unswitch doesn't *actually* change anything, then the second run of dominators shouldn't do anything.  In fact, we shouldn't have two instantiations of the dominator pass in the first place.</span></blockquote></div><div><br></div>A slightly related implementation detail is that I find it useful to be able to register and configure passes without instantiating them by using the static ID only. I was never sure whether we were moving toward char& or void* IDs.<div><br></div><div>-Andy</div></body></html>