[LV] Split off memcheck block really at the first check
authorAdam Nemet <anemet@apple.com>
Tue, 3 Feb 2015 22:45:39 +0000 (22:45 +0000)
committerAdam Nemet <anemet@apple.com>
Tue, 3 Feb 2015 22:45:39 +0000 (22:45 +0000)
commit5add5d9d858832aa43c2c1b42f4b8cbd1c60b845
tree647f1e91b17668d6855fb6dd5c496b785612a86a
parent68fcb383282d2e40d749e5f99da3e98b403533c5
[LV] Split off memcheck block really at the first check

I've noticed this while trying to move addRuntimeCheck to LoopAccessAnalysis.

I think that the intention was to early exit from the overflow checking before
the code for the memchecks.  This is the entire reason why we compute
FirstCheckInst but then we don't use that as the splitting instruction but the
final check.  Looks like an oversight.

llvm-svn: 228056
llvm/lib/Transforms/Vectorize/LoopVectorize.cpp