InstSimplify: Simplify trivial pointer expressions like b + (e - b)
authorDavid Majnemer <david.majnemer@gmail.com>
Tue, 26 Aug 2014 05:55:16 +0000 (05:55 +0000)
committerDavid Majnemer <david.majnemer@gmail.com>
Tue, 26 Aug 2014 05:55:16 +0000 (05:55 +0000)
commit594e4a1dd36fb69e1420c643b0f548c2bb79c76c
tree274a442b76da9177abae602d390b4da3447e4b16
parent2db57b44dea55f780dfce8ed786c0696deb8dd93
InstSimplify: Simplify trivial pointer expressions like b + (e - b)

consider:
long long *f(long long *b, long long *e) {
  return b + (e - b);
}

we would lower this to something like:
define i64* @f(i64* %b, i64* %e) {
  %1 = ptrtoint i64* %e to i64
  %2 = ptrtoint i64* %b to i64
  %3 = sub i64 %1, %2
  %4 = ashr exact i64 %3, 3
  %5 = getelementptr inbounds i64* %b, i64 %4
  ret i64* %5
}

This should fold away to just 'e'.

N.B.  This adds m_SpecificInt as a convenient way to match against a
particular 64-bit integer when using LLVM's match interface.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@216439 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/IR/PatternMatch.h
lib/Analysis/InstructionSimplify.cpp
test/Transforms/InstSimplify/gep.ll [new file with mode: 0644]