llvm-mirror

mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-01 05:01:59 +01:00

History

Benjamin Kramer 5938ec4cbe SCEV: Make the final add of an inbounds GEP nuw if we know that the index is positive.

We can't do this for the general case as saying a GEP with a negative index
doesn't have unsigned wrap isn't valid for negative indices.
  %gep = getelementptr inbounds i32* %p, i64 -1

But an inbounds GEP cannot run past the end of address space. So we check for
the very common case of a positive index and make GEPs derived from that NUW.
Together with Andy's recent non-unit stride work this lets us analyze loops
like

  void foo3(int *a, int *b) {
    for (; a < b; a++) {}
  }

PR12375, PR12376.

Differential Revision: http://llvm-reviews.chandlerc.com/D2033

llvm-svn: 193514

2013-10-28 07:30:06 +00:00

BasicAA

Revert r193251 : Use address-taken to disambiguate global variable and indirect memops.

2013-10-27 03:08:44 +00:00

BlockFrequencyInfo

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

BranchProbabilityInfo

[tests] Cleanup initialization of test suffixes.

2013-08-16 00:37:11 +00:00

CallGraph

[tests] Cleanup initialization of test suffixes.