mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-03 14:36:07 +00:00
Code Issues Projects Releases Wiki Activity
174,722 Commits 1,258 Branches 288 Tags
Commit Graph

219 Commits

Author SHA1 Message Date
Eli Friedman
8baa2c7ad9 Don't assume something which might be a constant expression is an instruction. 
Based on PR9429, but no testcase because I can't figure out how to trigger it
anymore given other changes to the relevant code.

llvm-svn: 128781
 2011-04-02 22:11:56 +00:00
Nick Lewycky
f0469af63e Fix INT_MIN gotcha pointed out by Eli Friedman. 
llvm-svn: 128028
 2011-03-21 21:40:32 +00:00
Benjamin Kramer
5acc751b6f Teach ComputeMaskedBits about sub nsw. 
llvm-svn: 127548
 2011-03-12 17:18:11 +00:00
Benjamin Kramer
391a946fa9 ComputeMaskedBits: sub falls through to add, and sub doesn't have the same overflow semantics as add. 
Should fix the selfhost failures that started with r127463.

llvm-svn: 127465
 2011-03-11 14:46:49 +00:00
Nick Lewycky
cc79973856 Teach ComputeMaskedBits about nsw on add. I don't think there's anything we can 
do with nuw here, but sub and mul should be given similar treatment.
Fixes PR9343 #15!

llvm-svn: 127463
 2011-03-11 09:00:19 +00:00
Duncan Sands
7dc3d47c34 Fix PR9331. Simplified version of a patch by Jakub Staszak. 
llvm-svn: 127243
 2011-03-08 12:39:03 +00:00
Nick Lewycky
e467979d0a Add more analysis of the sign bit of an srem instruction. If the LHS is negative 
then the result could go either way. If it's provably positive then so is the
srem. Fixes PR9343 #7!

llvm-svn: 127146
 2011-03-07 01:50:10 +00:00
Nick Lewycky
afe4a3062d Fix comment. 
llvm-svn: 126645
 2011-02-28 09:18:11 +00:00
Nick Lewycky
66f4f22f7b srem doesn't actually have the same resulting sign as its numerator, you could 
also have a zero when numerator = denominator. Reverts parts of r126635 and
r126637.

llvm-svn: 126644
 2011-02-28 09:17:39 +00:00
Nick Lewycky
c9aab8567b Teach value tracking to make use of flags in more situations. 
llvm-svn: 126642
 2011-02-28 08:02:21 +00:00
Nick Lewycky
29dbbd12c1 Teach ValueTracking to look at the dividend when determining the sign bit of an 
srem instruction.

llvm-svn: 126637
 2011-02-28 06:52:12 +00:00
Chris Lattner
acf6b0776a Stores of null pointers should turn into memset, we weren't recognizing 
them as splat values.

llvm-svn: 126041
 2011-02-19 19:35:49 +00:00
Nick Lewycky
ac0b62c277 Tolerate degenerate phi nodes that can occur in the middle of optimization 
passes. Fixes PR9112. Patch by Jakub Staszak!

llvm-svn: 125319
 2011-02-10 23:54:10 +00:00
Duncan Sands
4b397fcdc2 Add a m_SignBit pattern for convenience. 
llvm-svn: 124656
 2011-02-01 08:50:33 +00:00
Duncan Sands
2e9e4f1be3 Fix typo: should have been testing that X was odd, not V. 
llvm-svn: 124533
 2011-01-29 13:27:00 +00:00
Duncan Sands
8a33733228 APInt has a method for determining whether a number is a power of 2 
which is more efficient than countPopulation - use it.

llvm-svn: 124283
 2011-01-26 08:44:16 +00:00
Duncan Sands
9e9d5b25e2 In which I discover that zero+zero is zero, d'oh! 
llvm-svn: 124188
 2011-01-25 15:14:15 +00:00
Duncan Sands
fced7620f5 See if this fixes llvm-gcc bootstrap. 
llvm-svn: 124184
 2011-01-25 12:15:09 +00:00
Duncan Sands
d395108394 According to my auto-simplifier the most common missed simplifications in 
optimized code are:
  (non-negative number)+(power-of-two) != 0 -> true
and
  (x | 1) != 0 -> true
Instcombine knows about the second one of course, but only does it if X|1
has only one use.  These fire thousands of times in the testsuite.

llvm-svn: 124183
 2011-01-25 09:38:29 +00:00
Dan Gohman
0f124e1987 Give GetUnderlyingObject a TargetData, to keep it in sync 
with BasicAA's DecomposeGEPExpression, which recently began
using a TargetData. This fixes PR8968, though the testcase
is awkward to reduce.

Also, update several off GetUnderlyingObject's users
which happen to have a TargetData handy to pass it in.

llvm-svn: 124134
 2011-01-24 18:53:32 +00:00
Chris Lattner
c86e67e110 fix an off-by-one bug that caused a crash analyzing 
ashr's with huge shift amounts, PR8896

llvm-svn: 122814
 2011-01-04 18:19:15 +00:00
Chris Lattner
9cb1035f94 move isBytewiseValue out to ValueTracking.h/cpp 
llvm-svn: 122565
 2010-12-26 20:15:01 +00:00
Nate Begeman
7aa18bf46a Add vector versions of some existing scalar transforms to aid codegen in matching psign & pblend operations to the IR produced by clang/gcc for their C idioms. 
llvm-svn: 122105
 2010-12-17 23:12:19 +00:00
Dan Gohman
05b18f143f Reapply r121886, and also update DecomposeGEPExpression to keep 
it in sync.

llvm-svn: 121895
 2010-12-15 20:49:55 +00:00
Dan Gohman
d02b65982e Revert r121886. DecomposeGEPExpression needs to be kept 
in sync.

llvm-svn: 121892
 2010-12-15 20:39:25 +00:00
Dan Gohman
949ab7889c Strengthen GetUnderlyingObject using InstructionSimplify. 
While LLVM's main design is that analysis code shouldn't
go out of its way to understand code which hasn't been
InstCombined, analysis utility routines like this can
find themselves being called in the middle of transform
passes when instcombine hasn't had a chance to run.

llvm-svn: 121886
 2010-12-15 20:10:26 +00:00
Dan Gohman
a4fcd2418d Move Value::getUnderlyingObject to be a standalone 
function so that it can live in Analysis instead of
VMCore.

llvm-svn: 121885
 2010-12-15 20:02:24 +00:00
Jay Foad
583abbc4df PR5207: Change APInt methods trunc(), sext(), zext(), sextOrTrunc() and 
zextOrTrunc(), and APSInt methods extend(), extOrTrunc() and new method
trunc(), to be const and to return a new value instead of modifying the
object in place.

llvm-svn: 121120
 2010-12-07 08:25:19 +00:00
Jay Foad
25a5e4ca1f PR5207: Rename overloaded APInt methods set(), clear(), flip() to 
setAllBits(), setBit(unsigned), etc.

llvm-svn: 120564
 2010-12-01 08:53:58 +00:00
Chris Lattner
e28618de59 move GetPointerBaseWithConstantOffset out of GVN into ValueTracking.h 
llvm-svn: 120476
 2010-11-30 22:25:26 +00:00
Jay Foad
15084f085d PR5207: Make APInt::set(), APInt::clear() and APInt::flip() return void. 
llvm-svn: 120413
 2010-11-30 09:02:01 +00:00
Chris Lattner
72d283c826 fix PR8063, a crash in globalopt in the malloc analysis code. 
llvm-svn: 113109
 2010-09-05 17:20:46 +00:00
Chris Lattner
9f7500f57b move gep decomposition out of ValueTracking into BasicAA. The form of 
decomposition that it is doing is very basicaa specific and is only used
by basicaa.

Now with less tree breakingness.

llvm-svn: 111433
 2010-08-18 22:07:29 +00:00
Daniel Dunbar
fbeeb130d8 Revert r111375, "move gep decomposition out of ValueTracking into BasicAA. The 
form of", it doesn't pass tests.

llvm-svn: 111385
 2010-08-18 18:43:08 +00:00
Chris Lattner
54fe883203 move gep decomposition out of ValueTracking into BasicAA. The form of 
decomposition that it is doing is very basicaa specific and is only used
by basicaa.

llvm-svn: 111375
 2010-08-18 18:22:17 +00:00
Chris Lattner
a33edcb56c fix PR7589: In brief: 
gep P, (zext x) != gep P, (sext x)

DecomposeGEPExpression was getting this wrong, confusing
basicaa.

llvm-svn: 111352
 2010-08-18 04:28:19 +00:00
Gabor Greif
1abbde3103 use ArgOperand accessors 
llvm-svn: 106697
 2010-06-23 23:38:07 +00:00
Eric Christopher
7258dcd77f Revert 101465, it broke internal OpenGL testing. 
Probably the best way to know that all getOperand() calls have been handled
is to replace that API instead of updating.

llvm-svn: 101579
 2010-04-16 23:37:20 +00:00
Gabor Greif
f375520f7b reapply r101434 
with a fix for self-hosting

rotate CallInst operands, i.e. move callee to the back
of the operand array

the motivation for this patch are laid out in my mail to llvm-commits:
more efficient access to operands and callee, faster callgraph-construction,
smaller compiler binary

llvm-svn: 101465
 2010-04-16 15:33:14 +00:00
Gabor Greif
403e9694f9 back out r101423 and r101397, they break llvm-gcc self-host on darwin10 
llvm-svn: 101434
 2010-04-16 01:16:20 +00:00
Gabor Greif
33ae80bff7 reapply r101364, which has been backed out in r101368 
with a fix

rotate CallInst operands, i.e. move callee to the back
of the operand array

the motivation for this patch are laid out in my mail to llvm-commits:
more efficient access to operands and callee, faster callgraph-construction,
smaller compiler binary

llvm-svn: 101397
 2010-04-15 20:51:13 +00:00
Gabor Greif
9fd00c7d25 back out r101364, as it trips the linux nightlybot on some clang C++ tests 
llvm-svn: 101368
 2010-04-15 12:46:56 +00:00
Gabor Greif
aafd209632 rotate CallInst operands, i.e. move callee to the back 
of the operand array

the motivation for this patch are laid out in my mail to llvm-commits:
more efficient access to operands and callee, faster callgraph-construction,
smaller compiler binary

llvm-svn: 101364
 2010-04-15 10:49:53 +00:00
Dan Gohman
0b4df0425f Constify GetConstantStringInfo. 
llvm-svn: 101298
 2010-04-14 22:20:45 +00:00
Evan Cheng
2a65429671 Fix a typo in ValueTracking that's causing instcombine to delete needed shift instructions. 
llvm-svn: 98416
 2010-03-13 02:20:29 +00:00
Eric Christopher
4899cbc77d Move GetStringLength and helper from SimplifyLibCalls to ValueTracking. 
No functionality change.

llvm-svn: 97793
 2010-03-05 06:58:57 +00:00
Duncan Sands
19d0b47b1f There are two ways of checking for a given type, for example isa<PointerType>(T) 
and T->isPointerTy().  Convert most instances of the first form to the second form.
Requested by Chris.

llvm-svn: 96344
 2010-02-16 11:11:14 +00:00
Duncan Sands
9dff9bec31 Uniformize the names of type predicates: rather than having isFloatTy and 
isInteger, we now have isFloatTy and isIntegerTy.  Requested by Chris!

llvm-svn: 96223
 2010-02-15 16:12:20 +00:00
Duncan Sands
26cd6bd0b0 It looks like the changes to the SRem logic of SimplifyDemandedUseBits 
(fix for PR6165) are needed here too.

llvm-svn: 94801
 2010-01-29 06:18:37 +00:00
Chris Lattner
35d3b9dcd0 teach ComputeNumSignBits to look through PHI nodes. 
llvm-svn: 92964
 2010-01-07 23:44:37 +00:00