[LoopUnrollRuntime] Remove strict assert about VMap requirement
authorAnna Thomas <anna@azul.com>
Mon, 10 Jul 2017 15:29:38 +0000 (15:29 +0000)
committerAnna Thomas <anna@azul.com>
Mon, 10 Jul 2017 15:29:38 +0000 (15:29 +0000)
commit70ffd65ca97bd7010108ad8c1369c105fb78714a
tree9110b93f41a5379859b1e36b53760fa54a1418f8
parent8bd2cca3911751c3e14fd3105edf6e34429c8589
[LoopUnrollRuntime] Remove strict assert about VMap requirement

When unrolling under multiple exits which is under off-by-default option,
the assert that checks for VMap entry in loop exit values is too strong.
(assert if VMap entry did not exist, the value should be a
constant). However, values derived from
constants or from values outside loop, does not have a VMap entry too.

Removed the assert and added a testcase showcasing the property for
non-constant values.

llvm-svn: 307542
llvm/lib/Transforms/Utils/LoopUnrollRuntime.cpp
llvm/test/Transforms/LoopUnroll/runtime-loop-multiple-exits.ll