<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Oct 12, 2018, at 10:36 AM, David Greene via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" class="">cfe-dev@lists.llvm.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">Adam Nemet via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a>> writes:<br class=""><br class=""><blockquote type="cite" class=""> Is this something that we could get if we had better loop<br class=""> transformations (i.e., loop fusion)?<br class=""><br class="">As we both know, aliasing usually makes this pretty difficult. For<br class="">relatively small matrices run-time memchecks can be costly. Also we<br class="">need to be able to evaluate these fusion opportunities in the inliner<br class="">so having first-class type representation makes this cheap.<br class=""></blockquote><br class="">Fortran defines away many of these problems. Would better local<br class="">restrict support help with C-family languages? There are several old<br class="">patches from Hal that need some attention.<br class=""></div></div></blockquote></div><br class=""><div class="">Agreed these patches would be neat to revive. I think we’d also want someone to pursue <a href="http://wg21.link/n4150" class="">wg21.link/n4150</a>.</div><div class="">However, none of that seems like it should gate matrix support in the IR.</div></body></html>