Allow basicaa to walk through geps with identical indices in
authorChris Lattner <sabre@nondot.org>
Wed, 10 Dec 2008 01:04:47 +0000 (01:04 +0000)
committerChris Lattner <sabre@nondot.org>
Wed, 10 Dec 2008 01:04:47 +0000 (01:04 +0000)
commitb957bda0bcb81c88ed4464d07100c349af76890f
tree6f070c3d4306f96d673ec5b9632d83ec7f434f45
parent2ce4e5caddeacac0bde7933ce586a794bac2019b
Allow basicaa to walk through geps with identical indices in
parallel, allowing it to decide that P/Q must alias if A/B
must alias in things like:
 P = gep A, 0, i, 1
 Q = gep B, 0, i, 1

This allows GVN to delete 62 more instructions out of 403.gcc.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@60820 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp
test/Analysis/BasicAA/2008-12-09-GEP-IndicesAlias.ll [new file with mode: 0644]