Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Fix some minor issues folding undef, PR2052 | Chris Lattner | 2008-02-19 | 1 | -1/+3 | |
| | | | | llvm-svn: 47314 | |||||
* | fdiv/frem of undef can produce undef, because the undef operand | Chris Lattner | 2008-02-19 | 1 | -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 | |||||
* | regenerate | Chris Lattner | 2008-02-19 | 3 | -3431/+4591 | |
| | | | | llvm-svn: 47312 | |||||
* | Fix PR2060 by rejecting invalid types for integer constants. | Chris Lattner | 2008-02-19 | 2 | -11/+21 | |
| | | | | llvm-svn: 47311 | |||||
* | Factor the profitability check for return slot optimization out into a ↵ | Owen Anderson | 2008-02-19 | 1 | -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 Anderson | 2008-02-19 | 1 | -8/+3 | |
| | | | | | | | | to loop over all the parameters of the callee looking for it. llvm-svn: 47309 | |||||
* | Don't spew stats to stderr. | Nick Lewycky | 2008-02-19 | 1 | -1/+1 | |
| | | | | llvm-svn: 47308 | |||||
* | Cleanup some of my patches from yesterday. Refactor the check for which xform | Owen Anderson | 2008-02-19 | 1 | -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 Lewycky | 2008-02-19 | 1 | -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 Anderson | 2008-02-19 | 1 | -1/+2 | |
| | | | | | | branches. memcpy's are a kind of CallInst. llvm-svn: 47305 | |||||
* | New test. | Evan Cheng | 2008-02-19 | 1 | -0/+219 | |
| | | | | llvm-svn: 47302 | |||||
* | PR1909: Tail merging pass ran wild. It makes no sense to merge blocks in ↵ | Evan Cheng | 2008-02-19 | 1 | -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 Cheng | 2008-02-19 | 1 | -4/+4 | |
| | | | | llvm-svn: 47300 | |||||
* | Remove llvm-upgrade and update tests. | Tanya Lattner | 2008-02-19 | 11 | -137/+118 | |
| | | | | llvm-svn: 47297 | |||||
* | Remove llvm-upgrade and update tests. | Tanya Lattner | 2008-02-19 | 162 | -3373/+3173 | |
| | | | | llvm-svn: 47296 | |||||
* | - When DAG combiner is folding a bit convert into a BUILD_VECTOR, it should ↵ | Evan Cheng | 2008-02-18 | 8 | -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 | |||||
* | Correctly fold divide-by-constant, even when faced with overflow. | Nick Lewycky | 2008-02-18 | 3 | -2/+50 | |
| | | | | llvm-svn: 47287 | |||||
* | Chris pointed out that it's not necessary to set i64 MUL to Expand | Dan Gohman | 2008-02-18 | 1 | -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.ll | Evan Cheng | 2008-02-18 | 1 | -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 Lattner | 2008-02-18 | 1 | -39/+43 | |
| | | | | llvm-svn: 47280 | |||||
* | Add a note | Nate Begeman | 2008-02-18 | 1 | -0/+3 | |
| | | | | llvm-svn: 47279 | |||||
* | Add a note about sext from i1 plus flags use. | Chris Lattner | 2008-02-18 | 1 | -0/+52 | |
| | | | | llvm-svn: 47278 | |||||
* | Don't mark scalar integer multiplication as Expand on x86, since x86 | Dan Gohman | 2008-02-18 | 2 | -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, thanks | Chris Lattner | 2008-02-18 | 1 | -4/+6 | |
| | | | | | | to Dale for noticing this! llvm-svn: 47276 | |||||
* | minor code simplification, no functionality change. | Chris Lattner | 2008-02-18 | 1 | -8/+6 | |
| | | | | llvm-svn: 47275 | |||||
* | make this just a bit more strict. | Chris Lattner | 2008-02-18 | 1 | -1/+1 | |
| | | | | llvm-svn: 47274 | |||||
* | Simplify caller updating using a CallSite, as | Duncan Sands | 2008-02-18 | 3 | -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 Lattner | 2008-02-18 | 1 | -1/+2 | |
| | | | | llvm-svn: 47272 | |||||
* | Fix a missing space in the description of the find-bugs option. | Dan Gohman | 2008-02-18 | 1 | -1/+1 | |
| | | | | llvm-svn: 47271 | |||||
* | Since we're not checking for the more general AllocationInst first, we need ↵ | Owen Anderson | 2008-02-18 | 1 | -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 Levenstein | 2008-02-18 | 2 | -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 Anderson | 2008-02-18 | 2 | -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 Anderson | 2008-02-18 | 1 | -1/+1 | |
| | | | | | | code was not. llvm-svn: 47264 | |||||
* | This check is not correct for mallocs, so exclude them earlier. | Owen Anderson | 2008-02-18 | 1 | -2/+2 | |
| | | | | llvm-svn: 47263 | |||||
* | For now, avoid commuting def MI for copy MI's whose source is not killed. ↵ | Evan Cheng | 2008-02-18 | 1 | -0/+7 | |
| | | | | | | That simply trade a live interval for another and because only the non-two-address operands can be folded into loads, may end up pessimising code. llvm-svn: 47262 | |||||
* | switch simplifycfg from using vectors for most things to smallvectors, | Chris Lattner | 2008-02-18 | 1 | -14/+12 | |
| | | | | | | this speeds it up 2.3% on eon. llvm-svn: 47261 | |||||
* | optimize away stackrestore calls that have no intervening alloca or call. | Chris Lattner | 2008-02-18 | 2 | -13/+58 | |
| | | | | llvm-svn: 47258 | |||||
* | upgrade this test. | Chris Lattner | 2008-02-18 | 1 | -11/+11 | |
| | | | | llvm-svn: 47257 | |||||
* | Clarify that 'sret' only applies to pointers, and | Duncan Sands | 2008-02-18 | 1 | -2/+3 | |
| | | | | | | only applies to the first parameter. llvm-svn: 47256 | |||||
* | Make the definition of the noalias attribute clearer. | Owen Anderson | 2008-02-18 | 1 | -2/+3 | |
| | | | | llvm-svn: 47255 | |||||
* | Duncan pointed out that we can fast fail here, because the sret parameter of | Owen Anderson | 2008-02-18 | 1 | -1/+2 | |
| | | | | | | a function must be the first parameter. llvm-svn: 47254 | |||||
* | Fix a comment, and a bug where we weren't applying the tail call logic in ↵ | Owen Anderson | 2008-02-18 | 1 | -6/+8 | |
| | | | | | | cases that failed the first test. llvm-svn: 47253 | |||||
* | Fix bugs that Chris noticed in my last patch. | Owen Anderson | 2008-02-18 | 1 | -9/+17 | |
| | | | | llvm-svn: 47252 | |||||
* | simplify some code, BreakUpSubtract always returns nonnull now. | Chris Lattner | 2008-02-18 | 1 | -4/+2 | |
| | | | | llvm-svn: 47251 | |||||
* | bitcasts of pointers are always pointers. | Chris Lattner | 2008-02-18 | 1 | -5/+2 | |
| | | | | | | | If we see a memcpy of a pointer, make sure to check later uses of the pointer as well. llvm-svn: 47250 | |||||
* | Add support for setting parameters to CallSite. | Owen Anderson | 2008-02-18 | 1 | -0/+9 | |
| | | | | llvm-svn: 47249 | |||||
* | Add a predicate to Argument to check for the StructRet attribute. | Owen Anderson | 2008-02-17 | 2 | -0/+11 | |
| | | | | llvm-svn: 47248 | |||||
* | Teach getModRefInfo that memcpy, memmove, and memset don't "capture" memory ↵ | Owen Anderson | 2008-02-17 | 1 | -3/+13 | |
| | | | | | | | | | addresses. Also, noalias arguments are be considered "like" stack allocated ones for this purpose, because the only way they can be modref'ed is if they escape somewhere in the current function. llvm-svn: 47247 | |||||
* | Fold (-x + -y) -> -(x+y) which promotes better association, fixing | Chris Lattner | 2008-02-17 | 2 | -2/+22 | |
| | | | | | | the second half of PR2047 llvm-svn: 47244 | |||||
* | fix pasto | Chris Lattner | 2008-02-17 | 1 | -1/+1 | |
| | | | | llvm-svn: 47242 |