llvm-6502/lib/Transforms
Chris Lattner e0e4cc7fd5 Teach instcombine's sext elimination logic to be more aggressive.
Previously, instcombine would only promote an expression tree to
the larger type if doing so eliminated two casts.  This is because
a need to manually do the sign extend after the promoted expression
tree with two shifts.  Now, we keep track of whether the result of
the computation is going to be properly sign extended already.  If
so, we can unconditionally promote the expression, which allows us
to zap more sext's.

This implements rdar://6598839 (aka gcc pr38751)


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@92815 91177308-0d34-0410-b5e6-96231b3b80d8
2010-01-06 01:56:21 +00:00
..
Hello Fix a bunch of little errors that Clang complains about when its being pedantic 2009-12-19 07:05:23 +00:00
InstCombine Teach instcombine's sext elimination logic to be more aggressive. 2010-01-06 01:56:21 +00:00
Instrumentation Move remaining stuff to the isInteger predicate. 2010-01-05 21:05:54 +00:00
IPO Move remaining stuff to the isInteger predicate. 2010-01-05 21:05:54 +00:00
Scalar Move remaining stuff to the isInteger predicate. 2010-01-05 21:05:54 +00:00
Utils Convert a ton of simple integer type equality tests to the new predicate. 2010-01-05 20:07:06 +00:00
Makefile move instcombine to its own library, it's past time. 2010-01-04 06:23:24 +00:00