<div dir="ltr">At first blush, DCE can reduce the number of uses which might encourage InstCombine to further canonicalize which would indicate that we should set the flag.  However, that would only matter if the users of the instruction made it to the worklist in the first place which doesn't appear to be a guarantee.<div><br></div><div>Do you have any code which is not fully canonicalized by InstCombine?<br><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jan 27, 2016 at 12:35 PM, Sain-Zee Ueng via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello,<div><br></div><div>In InstructionCombining.cpp, under <a href="http://llvm.org/docs/doxygen/html/InstructionCombining_8cpp.html#a65beadbfc094f4040b353518b98d0c07" title="Walk the function in depth-first order, adding all reachable code to the worklist." style="font-family:monospace,fixed;font-size:9pt;line-height:15px;color:rgb(70,101,162);text-decoration:none" target="_blank">AddReachableCodeToWorklist</a>, DCE and ConstFold are performed but MadeIRChange is not set to true (lines 2912 and 2924). Is there some underlying assumption that supports this? </div><div><br></div><div>Intuitively not setting MadeIRChanges to true at these points could allow Instruction Combining to exit early while there is still work to do.</div><div><br></div><div>Thank you,</div><div>Sain</div></div>
<br>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
<br></blockquote></div><br></div></div></div>