<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="">Hi<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Nov 25, 2020, at 16:45, Simon Moll via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii" class="">
<div class="">
Hi,<br class="">
<br class="">
How can we make InstSimplify/InstCombine work with intrinsics?<br class="">
<br class="">
This RFC proposes generalized pattern matching to lift LLVM's existing InstSimplify to work on intrinsics as well as on regular instructions. For details, technical discussion, please refer to:<br class="">
<br class="">
<a class="moz-txt-link-freetext" href="https://reviews.llvm.org/D92086">https://reviews.llvm.org/D92086</a><br class=""><p class="">The patch includes tests where InstSimplify optimizes @llvm.vp.add and @llvm.experimental.contrained.fadd as a proof of concept.<br class="">
</p><p class="">The idea is to pretend that the intrinsics were the actual instruction (eg an <tt class="remarkup-monospaced">
fadd</tt>) and run the existing InstSimplify logic. We augment pattern matching with a context object - if during pattern matching the context object is no longer sure that the intrinsics are a safe match (eg because there may be fp exceptions that we need
to preserve), it aborts the match. In effect, only legal simplifications are performed.</p><p class="">We expect the approach to work as well for the [proposed] complex arithmetic intrinsics (by masking regular `fmul` and making `llvm.complex.fmul` pass as `fmul` instead).</p></div></div></blockquote></div><div class="">Thanks for sharing the RFC. It looks like this should be flexible enough to handle a wide range of intrinsics that can be mapped to IR instructions in InstSimplify!</div><div class=""><br class=""></div><div class="">Do you think this approach would also work for InstCombine? Unfortunately there are lots of places that pass references to actual IR instructions to helper functions, rather than (OpCode, Operands…) as instSimplify. </div><div class=""><br class=""></div><div class="">Cheers,</div><div class="">Florian</div><div class=""><br class=""></div><div class=""><br class=""></div></body></html>