[ScopInfo] Allow invariant loads in branch conditions
authorTobias Grosser <tobias@grosser.es>
Mon, 25 Sep 2017 20:27:15 +0000 (20:27 +0000)
committerTobias Grosser <tobias@grosser.es>
Mon, 25 Sep 2017 20:27:15 +0000 (20:27 +0000)
commit5e531dfef41bb7cf451481e01552a31c598fdeac
treea74a434965a2f6d882c9600bdf0d1eef03c657e9
parent01414bdc2c23f24e255d4b068f90938035f1149a
[ScopInfo] Allow invariant loads in branch conditions

In case the value used in a branch condition is a load instruction, assume this
load to be invariant.

llvm-svn: 314146
polly/lib/Analysis/ScopDetection.cpp
polly/lib/Analysis/ScopInfo.cpp
polly/test/ScopInfo/invariant_load_branch_condition.ll [new file with mode: 0644]