projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50ba983) | patch
SCEVValidator: Correctly store 'k * p' as a parameter
authorTobias Grosser <grosser@fim.uni-passau.de>
Sun, 14 Apr 2013 13:15:59 +0000 (13:15 +0000)
committerTobias Grosser <grosser@fim.uni-passau.de>
Sun, 14 Apr 2013 13:15:59 +0000 (13:15 +0000)
commit3ed2600cab77aef99f2b8975b67682c5149b1134
tree9c6fe6f77b6efa33cbb4b7ec601e4e8694248683tree | snapshot
parent50ba983d25c0885745bd0502ecc03e65f408440ecommit | diff
SCEVValidator: Correctly store 'k * p' as a parameter

We do not only need to understand that 'k * p' is a parameter expression, but
also need to store this expression in the set of parameters. Before this patch
we wrongly stored the two individual parameters %k and %p.

Reported by: Sebastian Pop <spop@codeaurora.org>

llvm-svn: 179485
polly/lib/Support/SCEVValidator.cpp diff | blob | history
polly/test/ScopInfo/parameter_product.ll [new file with mode: 0644] blob
Domain: System / Toolchain;