summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* fix the second half of PR2041: __restrict is ok in c90 mode, even ifChris Lattner2008-02-192-3/+5
| | | | | | restrict isn't. llvm-svn: 47316
* Major improvements to yesterday's return slot optimization. Remove some ↵Owen Anderson2008-02-191-14/+39
| | | | | | | | unneccessary constraints, and add some others that should have been in from the first place. Document the whole thing better. llvm-svn: 47315
* Fix some minor issues folding undef, PR2052Chris Lattner2008-02-191-1/+3
| | | | llvm-svn: 47314
* fdiv/frem of undef can produce undef, because the undef operand Chris Lattner2008-02-191-4/+11
| | | | | | | can be a SNaN. We could be more aggressive and turn this into unreachable, but that is less nice, and not really worth it. llvm-svn: 47313
* regenerateChris Lattner2008-02-193-3431/+4591
| | | | llvm-svn: 47312
* Fix PR2060 by rejecting invalid types for integer constants.Chris Lattner2008-02-192-11/+21
| | | | llvm-svn: 47311
* Factor the profitability check for return slot optimization out into a ↵Owen Anderson2008-02-191-14/+26
| | | | | | | | static function. At some point in the future, this check will become smarter. llvm-svn: 47310
* An sret parameter is required to be the first parameter, so there's no need ↵Owen Anderson2008-02-191-8/+3
| | | | | | | | to loop over all the parameters of the callee looking for it. llvm-svn: 47309
* Don't spew stats to stderr.Nick Lewycky2008-02-191-1/+1
| | | | llvm-svn: 47308
* Cleanup some of my patches from yesterday. Refactor the check for which xformOwen Anderson2008-02-191-22/+23
| | | | | | | to apply to a memcpy into processInstruction. Also, fix a bug in the check due to missing braces. llvm-svn: 47307
* Fix up the run line for this new test.Nick Lewycky2008-02-191-1/+1
| | | | | | llc: for the -info-output-file option: requires a value! llvm-svn: 47306
* Fix Transforms/GVN/memcpy.ll, which Chris broke in r47275 by reordering the ↵Owen Anderson2008-02-191-1/+2
| | | | | | branches. memcpy's are a kind of CallInst. llvm-svn: 47305
* Fixed bug classof() bug with RValues that could cause an UninitializedValTed Kremenek2008-02-192-37/+20
| | | | | | or UnknownVal to be interpreted as an actual NonLValue/LValue. llvm-svn: 47304
* For now, --grsimple skips analyzing functions in header files.Ted Kremenek2008-02-191-0/+4
| | | | llvm-svn: 47303
* New test.Evan Cheng2008-02-191-0/+219
| | | | llvm-svn: 47302
* PR1909: Tail merging pass ran wild. It makes no sense to merge blocks in ↵Evan Cheng2008-02-191-3/+12
| | | | | | order to save a single instruction since a branch will be inserted for each BB. llvm-svn: 47301
* Me not like duplicated comments.Evan Cheng2008-02-191-4/+4
| | | | llvm-svn: 47300
* Added back explicit state/node creation when visiting IntegerLiterals andTed Kremenek2008-02-192-2/+28
| | | | | | | | CharacterLiterals. This may not be a permanent solution; it doesn't cost that much, however, to create a few additional states, and solves a whole bunch of edge cases when handling ?, ||, and &&. llvm-svn: 47299
* Added boilerplate transfer function support for CallExprs.Ted Kremenek2008-02-195-21/+121
| | | | llvm-svn: 47298
* Remove llvm-upgrade and update tests.Tanya Lattner2008-02-1911-137/+118
| | | | llvm-svn: 47297
* Remove llvm-upgrade and update tests.Tanya Lattner2008-02-19162-3373/+3173
| | | | llvm-svn: 47296
* Allow ArraySubscriptExpr to be a base node for vector dereference. ThisNate Begeman2008-02-191-1/+1
| | | | | | | | | allows you to do things like typedef __attribute__(( ocu_vector_type(4))) float float4; float4 *x; float y = x[0][2]; llvm-svn: 47295
* Added FIXME for properly handling local arrays using symbolic LValues.Ted Kremenek2008-02-191-0/+5
| | | | | | For now we just treat their values as "Unknown." llvm-svn: 47294
* --grsimple now reports the number of nodes in the ExplodedGraph forTed Kremenek2008-02-196-25/+61
| | | | | | | | | an analyzed function. GRExprEngine now records stores to "uninitialized lvalues" (which are sinks in the ExplodedGraph). llvm-svn: 47293
* A global without initializer must be emitted as weak.Lauro Ramos Venancio2008-02-192-0/+6
| | | | | | Fix Olden/bh test. llvm-svn: 47292
* - When DAG combiner is folding a bit convert into a BUILD_VECTOR, it should ↵Evan Cheng2008-02-188-60/+129
| | | | | | | | check if it's essentially a SCALAR_TO_VECTOR. Avoid turning (v8i16) <10, u, u, u> to <10, 0, u, u, u, u, u, u>. Instead, simply convert it to a SCALAR_TO_VECTOR of the proper type. - X86 now normalize SCALAR_TO_VECTOR to (BIT_CONVERT (v4i32 SCALAR_TO_VECTOR)). Get rid of X86ISD::S2VEC. llvm-svn: 47290
* Added "size()" and "empty()" methods to ExplodedGraphImpl.Ted Kremenek2008-02-181-1/+9
| | | | llvm-svn: 47289
* Added more assertions and checks in transfer function logic to check forTed Kremenek2008-02-184-15/+97
| | | | | | UninitializedVals and UnknownVals. llvm-svn: 47288
* Correctly fold divide-by-constant, even when faced with overflow.Nick Lewycky2008-02-183-2/+50
| | | | llvm-svn: 47287
* Implement multi-dimension array initalizer.Lauro Ramos Venancio2008-02-182-65/+97
| | | | | | Fix McCat/08-main test. llvm-svn: 47286
* Running -grsimple now emits diagnostics about the time spent analyzing each ↵Ted Kremenek2008-02-183-9/+41
| | | | | | | | | | | | function. Will probably make this a separate command line option later. Added "--analyze-function" option to the driver to (gradually) allow different analyses to only be run on specific functions. Currently only --grsimple uses this option. llvm-svn: 47285
* Temporary solution to push analysis through to analyzing PCRE.Ted Kremenek2008-02-181-2/+4
| | | | | | We will implement symbol "unification" later. llvm-svn: 47284
* Chris pointed out that it's not necessary to set i64 MUL to ExpandDan Gohman2008-02-181-12/+10
| | | | | | | on x86-32 since i64 itself is not a Legal type. And, update some comments. llvm-svn: 47282
* - Remove the previous check which broke coalescer-commute3.llEvan Cheng2008-02-181-5/+5
| | | | | | - For now, conservatively ignore copy MI whose source is a physical register. Commuting its def MI can cause a physical register live interval to be live through a loop (since we know it's live coming into the def MI). llvm-svn: 47281
* upgrade some tests.Chris Lattner2008-02-181-39/+43
| | | | llvm-svn: 47280
* Add a noteNate Begeman2008-02-181-0/+3
| | | | llvm-svn: 47279
* Add a note about sext from i1 plus flags use.Chris Lattner2008-02-181-0/+52
| | | | llvm-svn: 47278
* Don't mark scalar integer multiplication as Expand on x86, since x86Dan Gohman2008-02-182-5/+14
| | | | | | | | | | | | | has plain one-result scalar integer multiplication instructions. This avoids expanding such instructions into MUL_LOHI sequences that must be special-cased at isel time, and avoids the problem with that code that provented memory operands from being folded. This fixes PR1874, addressesing the most common case. The uncommon cases of optimizing multiply-high operations will require work in DAGCombiner. llvm-svn: 47277
* Transforming -A + -B --> -(A + B) isn't safe for FP, thanksChris Lattner2008-02-181-4/+6
| | | | | | to Dale for noticing this! llvm-svn: 47276
* minor code simplification, no functionality change.Chris Lattner2008-02-181-8/+6
| | | | llvm-svn: 47275
* make this just a bit more strict.Chris Lattner2008-02-181-1/+1
| | | | llvm-svn: 47274
* Simplify caller updating using a CallSite, asDuncan Sands2008-02-183-22/+21
| | | | | | | | requested by Chris. While there, do the same for an existing function committed by someone called "lattner" :) llvm-svn: 47273
* don't bother calling getUnderlyingObject for non-pointers.Chris Lattner2008-02-181-1/+2
| | | | llvm-svn: 47272
* Fix a missing space in the description of the find-bugs option.Dan Gohman2008-02-181-1/+1
| | | | llvm-svn: 47271
* Add more supported constraints.Anders Carlsson2008-02-182-0/+3
| | | | llvm-svn: 47270
* Tweak fix for http://llvm.org/bugs/show_bug.cgi?id=2000 to work across typedefs.Steve Naroff2008-02-182-1/+11
| | | | llvm-svn: 47269
* Since we're not checking for the more general AllocationInst first, we need ↵Owen Anderson2008-02-181-1/+1
| | | | | | | | to explicitly check that Object is an Argument before casting it to one. llvm-svn: 47268
* New helper function getMBBFromIndex() that given an index in any instruction ↵Roman Levenstein2008-02-182-16/+30
| | | | | | of an MBB returns a pointer the MBB. Reviewed by Evan. llvm-svn: 47267
* Add support to GVN for performing sret return slot optimization. This means ↵Owen Anderson2008-02-182-2/+94
| | | | | | | | | | | that, if an sret function tail calls another sret function, it should pass its own sret parameter to the tail callee, allowing it to fill in the correct return value. llvm-gcc does not emit this by default. Instead, it allocates space in the caller for the sret of the tail call and then uses memcpy to copy the result into the caller's sret parameter. This optimization detects and optimizes that case. llvm-svn: 47265
* I got the predicate backwards in my last patch. The comment is correct, the ↵Owen Anderson2008-02-181-1/+1
| | | | | | code was not. llvm-svn: 47264
OpenPOWER on IntegriCloud