The logic inside getMulExpr to simplify {a,+,b}*{c,+,d} was wrong, which was
authorNick Lewycky <nicholas@mxc.ca>
Tue, 6 Sep 2011 05:05:14 +0000 (05:05 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Tue, 6 Sep 2011 05:05:14 +0000 (05:05 +0000)
commitfa151a79ed2d0efc8fe1d7378be264b301d8caf1
treebd01d9146e6b3d82886090fde324d263045278b6
parentb2840fdcd8a98de32e86e70a267b54cf0af35140
The logic inside getMulExpr to simplify {a,+,b}*{c,+,d} was wrong, which was
visible given a=b=c=d=1, on iteration #1 (the second iteration). Replace it with
correct math. Fixes PR10383!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@139133 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp
test/Analysis/ScalarEvolution/SolveQuadraticEquation.ll