OSDN Git Service

[SCEV] teach SCEV symbolical execution about overflow intrinsics folding.
authorChen Zheng <czhengsz@cn.ibm.com>
Thu, 11 Jul 2019 02:18:22 +0000 (02:18 +0000)
committerChen Zheng <czhengsz@cn.ibm.com>
Thu, 11 Jul 2019 02:18:22 +0000 (02:18 +0000)
commit977d7a6ed3a1d55febc30fba959df35c4426d9d2
tree1e649fe3e6b489356f36e0e2e3d15283db45d0e4
parent0e9ef83946b3d2e9a5a605b91a2523ef08f66502
[SCEV] teach SCEV symbolical execution about overflow intrinsics folding.
Differential Revision: https://reviews.llvm.org/D64422

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@365726 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ConstantFolding.cpp
lib/Analysis/ScalarEvolution.cpp
test/Analysis/ScalarEvolution/overflow-intrinsics-trip-count.ll [new file with mode: 0644]