When lowering an inbounds gep, the intermediate adds can have
authorChris Lattner <sabre@nondot.org>
Fri, 11 Feb 2011 21:37:43 +0000 (21:37 +0000)
committerChris Lattner <sabre@nondot.org>
Fri, 11 Feb 2011 21:37:43 +0000 (21:37 +0000)
commit6aa68a76474525255943bee914e37b68a3ba75c8
treee09a619ee14837d43c43408ea05c0685009ae5b8
parent84cb033bf30b6f93ae2fbea71513970147e08dc2
When lowering an inbounds gep, the intermediate adds can have
unsigned overflow (e.g. due to a negative array index), but
the scales on array size multiplications are known to not
sign wrap.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125409 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/InstCombine/InstCombineAddSub.cpp