<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Fri, Aug 28, 2015 at 11:01 PM, Owen Anderson <span dir="ltr"><<a href="mailto:resistor@mac.com" target="_blank">resistor@mac.com</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>I deliberately didn’t add any constraints on duplication, both because IME it’s difficult to deal with in practice, and because I have use cases in mind that don’t care about duplication the way that a barrier does.</div><span class="HOEnZb"><font color="#888888"><div><br></div></font></span></div></blockquote></div><div class="gmail_extra">We're seeing that for convergent to best fit __syncthreads(), unrolling and loop unswitching should not be allowed, but on the other hand e.g. full unrolling and inlining should be allowed. I'm not sure if you're saying that there should be no limitations as the use cases you had mind for convergent are always OK with such duplication, or that we should be figuring this stuff out on a case-by-case basis, or something else?</div><div class="gmail_extra"><br></div><div class="gmail_extra">Bjarke</div></div></div>