<div dir="ltr"><span style="font-size:12.8px">Hi all,</span><div style="font-size:12.8px">  I just found an optimization regression regarding simple dataflow/constprop analysis:</div><div style="font-size:12.8px"><a href="https://godbolt.org/g/Uz8P7t" target="_blank">https://godbolt.org/g/Uz8P7t</a><br></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">This code</div><div style="font-size:12.8px">```</div><div style="font-size:12.8px"><div>int dataflow(int b) {</div><div>  int a;</div><div><br></div><div>  if (b==4)</div><div>    a = 3*b; // fully optimized when changed to a = 3;</div><div>  else </div><div>    a = 5;</div><div><br></div><div>  if (a == 4)</div><div>    return 0;</div><div>  else</div><div>    return 1;</div><div>}</div></div><div style="font-size:12.8px">```</div><div style="font-size:12.8px">is no longer optimized to just a "return 1". The regression happened in LLVM 3.6 --> 3.7.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">Is this a known regression? I couldn't find it in the bug tracker (but don't really know which keywords to look for...)</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">Kind regards,</div><div style="font-size:12.8px">  Johan</div></div>