llvm-6502/test/Analysis
Dan Gohman 72776d2190 Teach BasicAliasAnalysis to understand constant gep indices that fall
beyond their associated static array type.

I believe that this fixes a legitimate bug, because BasicAliasAnalysis
already has code to check for this condition that works for non-constant
indices, however it was missing the case of constant indices. With this
change, it checks for both.

This fixes PR4267, and miscompiles of SPEC 188.ammp and 464.h264.href.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72451 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-27 01:48:27 +00:00
..
Andersens Check that the function prototypes are correct before assuming that the 2008-12-27 16:20:53 +00:00
BasicAA Teach BasicAliasAnalysis to understand constant gep indices that fall 2009-05-27 01:48:27 +00:00
CallGraph Rationalize the names of passes that print information: 2008-09-23 12:47:39 +00:00
Dominators
GlobalsModRef Remove the MarkModRef pass (use AddReadAttrs instead). 2008-09-19 08:23:44 +00:00
LoopInfo Update this test for the LoopInfo::print changes. 2009-02-27 00:17:49 +00:00
PostDominators
ScalarEvolution Teach ScalarEvolution to recognize x^-1 in the case where non-demanded 2009-05-18 16:29:04 +00:00