Akira Hatanaka
77501e89a7
Test case for r132444.
...
llvm-svn: 132445
2011-06-02 00:25:53 +00:00
Akira Hatanaka
69ae562f33
Custom-lower FRAMEADDR. Patch by Sasa Stankovic.
...
llvm-svn: 132444
2011-06-02 00:24:44 +00:00
Eli Friedman
884a7d08b1
When marking a block as being unanalyzable, use "Clobber" on the terminator instead of the first instruction in the block. This is a bit of a hack; "Clobber" isn't really the right marking in the first place. memdep doesn't really have any way of properly expressing "unanalyzable" at the moment. Using it on the terminator is much less ambiguous than using it on an arbitrary instruction, though.
...
In the given testcase, the "Clobber" was pointing to a load, and GVN was incorrectly assuming that meant that the "Clobber" load overlapped the load being analyzed (when they are actually unrelated).
The included testcase tests both this commit and r132434.
Part two of rdar://9429882. (r132434 was mislabeled.)
llvm-svn: 132442
2011-06-02 00:08:52 +00:00
Chad Rosier
945a780b4e
Typos.
...
llvm-svn: 132437
2011-06-01 23:32:40 +00:00
Eli Friedman
37ed424905
In MemoryDependenceAnalysis::getNonLocalPointerDepFromBB, if a given block is is deemed unanalyzable (and we execute one of the "goto PredTranslationFailure" statements), make sure we don't put information about the predecessors of that block into the returned data structures; this can lead to, among other things, extraneous results (which will confuse passes using memdep). Fixes an assert in GVN compiling ruby. Part of rdar://problem/9521954 .
...
Testcase coming up soon.
llvm-svn: 132434
2011-06-01 23:16:53 +00:00
Devang Patel
03708bbb55
A DBG_VALUE that truncates a range does not start another dbg value range.
...
llvm-svn: 132433
2011-06-01 23:00:17 +00:00
Devang Patel
1a3058d727
Do not drop constant values when a variable's content is described using .debug_loc entries.
...
llvm-svn: 132427
2011-06-01 22:03:25 +00:00
Stuart Hastings
9a085fb9d8
Recommit 132404 with fixes. rdar://problem/5993888
...
llvm-svn: 132424
2011-06-01 21:33:14 +00:00
Eric Christopher
9fe91039e4
Allow bitcasts between valid types of the same size and vector
...
types if the vector type is legal.
Fixes rdar://9306086
llvm-svn: 132420
2011-06-01 19:55:10 +00:00
Stuart Hastings
4b33767382
Revert 132404 to appease a buildbot. rdar://problem/5993888
...
llvm-svn: 132419
2011-06-01 19:52:20 +00:00
Nadav Rotem
4b8e7afe7d
Refactor LegalizeTypes: Erase LegalizeAction and make the type legalizer use
...
the TargetLowering enum.
llvm-svn: 132418
2011-06-01 19:47:10 +00:00
Andrew Trick
b92801a07e
SCEV: missing null check fix for r132360, dragonegg crash.
...
llvm-svn: 132416
2011-06-01 19:14:56 +00:00
Jakob Stoklund Olesen
1e7aea1b5e
Revert r132358 "Simplify the eviction policy by making the failsafe explicit."
...
This commit caused regressions in i386 flops-[568], matrix, salsa20,
256.bzip2, and enc-md5.
llvm-svn: 132413
2011-06-01 18:45:02 +00:00
Stuart Hastings
b75a0be551
Fix double FGETSIGN to work on x86_32; followup to 132396.
...
rdar://problem/5660695
llvm-svn: 132411
2011-06-01 18:32:25 +00:00
Eric Christopher
d0a9787775
Add a testcase, enabled only on arm, for llvm-gcc r132366.
...
llvm-svn: 132409
2011-06-01 18:23:56 +00:00
Stuart Hastings
cd336a4ee0
Cleanup test case. rdar://problem/5660695
...
llvm-svn: 132408
2011-06-01 18:23:14 +00:00
Benjamin Kramer
d6d9c33cca
Initialize IssueWidth to zero.
...
Fixes valgrind errors in the CellSPU backend.
llvm-svn: 132405
2011-06-01 17:19:08 +00:00
Stuart Hastings
23f5ceda96
Add support for x86 CMPEQSS and friends. These instructions do a
...
floating-point comparison, generate a mask of 0s or 1s, and generally
DTRT with NaNs. Only profitable when the user wants a materialized 0
or 1 at runtime. rdar://problem/5993888
llvm-svn: 132404
2011-06-01 17:17:45 +00:00
Stuart Hastings
904f5d9bd7
Reapply 132348 with fixes. rdar://problem/6501862
...
llvm-svn: 132402
2011-06-01 16:42:47 +00:00
Stuart Hastings
d81819d57b
A forthcoming SSE patch will break this test; since the test is also
...
valid for x87, re-target to x87. rdar://problem/5993888
llvm-svn: 132401
2011-06-01 16:13:09 +00:00
Stuart Hastings
159bfd2d1c
Test case for 132396. rdar://problem/5660695
...
llvm-svn: 132399
2011-06-01 15:50:29 +00:00
Jakob Stoklund Olesen
283a7e46b5
Fix PR10059 and future variations by handling all register subclasses.
...
Add TargetRegisterInfo::hasSubClassEq and use it to check for compatible
register classes instead of trying to list all register classes in
X86's getLoadStoreRegOpcode.
llvm-svn: 132398
2011-06-01 15:32:10 +00:00
Stuart Hastings
6309f11cc6
Turn on FGETSIGN for x86. Followup to 132388. rdar://problem/5660695
...
llvm-svn: 132396
2011-06-01 14:04:17 +00:00
Joerg Sonnenberger
ffa79cb359
Add new -d option to tblgen. It writes a make(1)-style dependency file.
...
llvm-svn: 132395
2011-06-01 13:10:15 +00:00
Nadav Rotem
111ad2f6ce
This patch is another step in the direction of adding vector select. In this
...
patch we add a flag to enable a new type legalization decision - to promote
integer elements in vectors. Currently, the rest of the codegen does not support
this kind of legalization. This flag will be removed when the transition is
complete.
llvm-svn: 132394
2011-06-01 12:51:46 +00:00
Stuart Hastings
fdc9e4af68
FGETSIGN support for x86, using movmskps/pd. Will be enabled with a
...
patch to TargetLowering.cpp. rdar://problem/5660695
llvm-svn: 132388
2011-06-01 04:39:42 +00:00
Andrew Trick
fa54b35483
Add an issue width check to the postRA scheduler. Patch by Max Kazakov!
...
For targets with no itinerary (x86) it is a nop by default. For
targets with issue width already expressed in the itinerary (ARM) it
bypasses a scoreboard check but otherwise does not affect the
schedule. It does make the code more consistent and complete and
allows new targets to specify their issue width in an arbitrary way.
llvm-svn: 132385
2011-06-01 03:27:56 +00:00
John McCall
18921da759
First, do no harm -- even if we can't find a selector for an enclosing
...
landing pad, forward llvm.eh.resume calls to it instead of turning them
invalidly into invokes.
llvm-svn: 132382
2011-06-01 02:17:11 +00:00
Bill Wendling
a03522829c
The ARM stuff already calls the Resume function, not the Resume_or_Rethrow. It
...
turns out that it could cause an infinite loop in some situations. If this code
is triggered and it converts a cleanup into a catchall, but that cleanup was in
already in a cleanup, then the _Unwind_SjLj_Resume could infinite loop. I.e.,
the code doesn't consume the exception object and passes it on to
_Unwind_SjLj_Resume. But _USjLjR expects it to be consumed (since it's landing
at a catchall instead of a cleanup). So it uses the values that are presently
there, which are the values that tell it to jump to the fake landing pad.
<rdar://problem/9508402>
llvm-svn: 132381
2011-06-01 01:49:35 +00:00
Devang Patel
4eab0639a4
Incomplete type may not have corresponding DIE, so do not check DIEEntry eagerly.
...
llvm-svn: 132377
2011-06-01 00:23:24 +00:00
Devang Patel
4077aa90ed
Refactor.
...
llvm-svn: 132373
2011-05-31 23:30:30 +00:00
Devang Patel
a9f6a46390
Include global types, that are referenced through local variables, in debug_pubtypes list.
...
llvm-svn: 132371
2011-05-31 22:56:51 +00:00
Jakob Stoklund Olesen
1f27999aaa
Ignore Vim swap files
...
llvm-svn: 132365
2011-05-31 21:54:28 +00:00
Galina Kistanova
5f12790662
Reverted r132135 per Xerxes request. These tests are passing for his setup. Requires more research.
...
llvm-svn: 132364
2011-05-31 21:50:33 +00:00
Andrew Trick
60ad58febd
scev: Better sign-extend removal. Normalize postincrement recurrences
...
so that their sign extended forms are congruent when no overflow occurs.
llvm-svn: 132360
2011-05-31 21:17:47 +00:00
Jakob Stoklund Olesen
a1976f5898
Simplify the eviction policy by making the failsafe explicit.
...
When assigned ranges are evicted, they are put in the RS_Evicted stage and are
not allowed to evict anything else. That prevents looping automatically.
When evicting ranges just to get a cheaper register, use only spill weights to
find the possible candidates. Avoid breaking hints for this purpose, it is not
worth it.
Start implementing more complex eviction heuristics, guarded by the temporary
-complex-eviction flag. The initial version permits a heavier range to be
evicted if it doesn't have any uses where the evicting range is live. This makes
it a good candidate for live ranfge splitting.
llvm-svn: 132358
2011-05-31 21:02:44 +00:00
Eli Friedman
05fea3b4a2
llvm.memcpy.* has two distinct associated address spaces; the source address space, and the destination address space. Fix up the interface on MemIntrinsic and MemTransferInst to make this clear, and fix InstructionDereferencesPointer in LazyValueInfo.cpp to use the interface properly.
...
llvm-svn: 132356
2011-05-31 20:40:16 +00:00
Bruno Cardoso Lopes
9231127d37
Fix uninitialized variables and silence warnings
...
llvm-svn: 132355
2011-05-31 20:25:26 +00:00
Eli Friedman
3c6167ed29
Add a minor missing -verify check. Found by inspection.
...
llvm-svn: 132353
2011-05-31 20:12:07 +00:00
Nick Lewycky
d35075f814
Also remove -lLTO which should have been in r132349. I failed to apply this
...
from David Meyer's patch!
llvm-svn: 132352
2011-05-31 20:00:45 +00:00
Stuart Hastings
47cbd200e4
Revert to pacify a buildbot. rdar://problem/6501862
...
llvm-svn: 132351
2011-05-31 19:56:35 +00:00
Nick Lewycky
2e4a814868
Make the gold plugin build on Cygwin as well as Linux. Patch by David Meyer!
...
llvm-svn: 132349
2011-05-31 19:53:26 +00:00
Stuart Hastings
e226ec461c
Followup to 132316; accept arbitrary constants, add with a constant,
...
sub with a non-constant. Fix comments, enlarge test case.
rdar://problem/6501862
llvm-svn: 132348
2011-05-31 19:29:55 +00:00
Devang Patel
67a308861a
Fix html formatting.
...
llvm-svn: 132345
2011-05-31 18:06:14 +00:00
Devang Patel
485b3d7ca4
Clarify documentation and remove guarantees that are not fulfilled.
...
llvm-svn: 132344
2011-05-31 17:45:27 +00:00
Richard Osborne
660fe84614
Fix 80 column violations.
...
llvm-svn: 132341
2011-05-31 16:30:33 +00:00
Richard Osborne
4293c93896
Add XCore intrinsic for crc8.
...
llvm-svn: 132340
2011-05-31 16:24:49 +00:00
Richard Osborne
34a4652dcd
Add XCore intrinsic for crc32.
...
llvm-svn: 132336
2011-05-31 14:47:36 +00:00
Richard Osborne
d84d3d1068
Convert test to FileCheck.
...
llvm-svn: 132335
2011-05-31 14:00:05 +00:00
Argyrios Kyrtzidis
e9562b6cbc
Introduce PackedVector, useful for storing a vector of values using a specific number of bits for each
...
value. Both signed and unsigned types can be used, e.g
PackedVector<signed, 2> vec;
will create a vector accepting values -2, -1, 0, 1. Any other value will hit an assertion.
llvm-svn: 132325
2011-05-31 03:53:41 +00:00