RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-21 12:02:58 +02:00
Code Issues Projects Releases Wiki Activity
69,231 Commits 4 Branches 5 Tags 704 MiB
4e4cb59457
Commit Graph

13511 Commits

Author SHA1 Message Date
Chris Lattner
e2ca13d366 turn on memset idiom recognition by default. Though there are still lots of 
limitations, this kicks in dozens of times in the 4 specfp2000 benchmarks, 
and hundreds of times in the int part.  It also kicks in hundreds of times 
in multisource.

This kicks in right before loop deletion, which has the pleasant effect of
deleting loops that *just* do a memset.

llvm-svn: 122664
 2011-01-01 20:39:18 +00:00
Daniel Dunbar
9ee74282a6 MC/Mach-O/Thumb: Set the thumb bit in the symbol table. 
llvm-svn: 122630
 2010-12-29 14:14:06 +00:00
Rafael Espindola
d51ed1fc6a Implement cfi_def_cfa. Also don't convert to dwarf reg numbers twice. Looks 
like 6 is a fixed point of that and so the previous tests were OK :-)

llvm-svn: 122614
 2010-12-29 01:42:56 +00:00
Rafael Espindola
3fdd045643 Implement .cfi_remember_state and .cfi_restore_state. 
llvm-svn: 122602
 2010-12-28 18:36:23 +00:00
Duncan Sands
87515f1e57 Clarify that InstructionSimplify only returns values that dominate the 
original instruction.

llvm-svn: 122601
 2010-12-28 18:01:19 +00:00
Duncan Sands
707bdbd129 Small optimization to speed up replacementPreservesLCSSAForm. 
llvm-svn: 122600
 2010-12-28 18:00:24 +00:00
Rafael Espindola
c97d642bf7 Relax address updates in the eh_frame section. 
llvm-svn: 122591
 2010-12-28 05:39:27 +00:00
Rafael Espindola
0552cb0638 Start adding basic support for emitting the call frame instructions. 
llvm-svn: 122590
 2010-12-28 04:15:37 +00:00
Michael J. Spencer
b604751adb Support/Path: Deprecate Path::hasMagicNumber and replace all uses with fs::has_magic. 
llvm-svn: 122589
 2010-12-28 01:49:21 +00:00
Michael J. Spencer
6d174b7e25 Fix typo. 
llvm-svn: 122588
 2010-12-28 01:49:10 +00:00
Michael J. Spencer
018595cf3a Support/PathV2: Implement has_magic. 
llvm-svn: 122587
 2010-12-28 01:49:01 +00:00
Rafael Espindola
12c30aed07 Add support for .cfi_lsda. 
llvm-svn: 122584
 2010-12-27 15:56:22 +00:00
Michael J. Spencer
26654048d7 Support/PathV1: Deprecate GetRootDirectory. 
llvm-svn: 122580
 2010-12-27 03:21:41 +00:00
Rafael Espindola
e7e67fce10 Add support for the same encodings of the personality function that gnu as 
supports.

llvm-svn: 122577
 2010-12-27 00:36:05 +00:00
Benjamin Kramer
30e1ba0fcc BuildLibCalls: Nuke EmitMemCpy, EmitMemMove and EmitMemSet. They are dead and superseded by IRBuilder. 
llvm-svn: 122576
 2010-12-27 00:25:32 +00:00
Chris Lattner
d4daf9f002 implement enough of the memset inference algorithm to recognize and insert 
memsets.  This is still missing one important validity check, but this is enough
to compile stuff like this:

void test0(std::vector<char> &X) {
  for (std::vector<char>::iterator I = X.begin(), E = X.end(); I != E; ++I)
    *I = 0;
}

void test1(std::vector<int> &X) {
  for (long i = 0, e = X.size(); i != e; ++i)
    X[i] = 0x01010101;
}

With:
 $ clang t.cpp -S -o - -O2 -emit-llvm | opt -loop-idiom | opt -O3 | llc 

to:

__Z5test0RSt6vectorIcSaIcEE:            ## @_Z5test0RSt6vectorIcSaIcEE
## BB#0:                                ## %entry
	subq	$8, %rsp
	movq	(%rdi), %rax
	movq	8(%rdi), %rsi
	cmpq	%rsi, %rax
	je	LBB0_2
## BB#1:                                ## %bb.nph
	subq	%rax, %rsi
	movq	%rax, %rdi
	callq	___bzero
LBB0_2:                                 ## %for.end
	addq	$8, %rsp
	ret
...
__Z5test1RSt6vectorIiSaIiEE:            ## @_Z5test1RSt6vectorIiSaIiEE
## BB#0:                                ## %entry
	subq	$8, %rsp
	movq	(%rdi), %rax
	movq	8(%rdi), %rdx
	subq	%rax, %rdx
	cmpq	$4, %rdx
	jb	LBB1_2
## BB#1:                                ## %for.body.preheader
	andq	$-4, %rdx
	movl	$1, %esi
	movq	%rax, %rdi
	callq	_memset
LBB1_2:                                 ## %for.end
	addq	$8, %rsp
	ret

llvm-svn: 122573
 2010-12-26 23:42:51 +00:00
Chris Lattner
a46fd80777 add methods to IRBuilder to create memcpy/memset/memmove. 
llvm-svn: 122571
 2010-12-26 22:49:25 +00:00
Rafael Espindola
99f1527316 Add basic support for .cfi_personality. 
llvm-svn: 122566
 2010-12-26 20:20:31 +00:00
Chris Lattner
c56d20aa48 move isBytewiseValue out to ValueTracking.h/cpp 
llvm-svn: 122565
 2010-12-26 20:15:01 +00:00
Chris Lattner
e210c31646 Start of a pass for recognizing memset and memcpy idioms. 
No functionality yet.

llvm-svn: 122562
 2010-12-26 19:32:44 +00:00
Chris Lattner
c4cb20b9bf Move getOrEnforceKnownAlignment out of instcombine into Transforms/Utils. 
llvm-svn: 122554
 2010-12-25 20:37:57 +00:00
Michael J. Spencer
b3e50a570f Support/PathV1: Deprecate makeAbsolute and remove Unix impl because it annoys people. 
llvm-svn: 122553
 2010-12-25 20:10:11 +00:00
Eric Christopher
61974eb1f8 Header warning patrol. 
llvm-svn: 122551
 2010-12-25 02:38:01 +00:00
Rafael Espindola
b2e09adc62 Merge IsFixupFullyResolved and IsSymbolRefDifferenceFullyResolved. We now 
have a single point where targets test if a relocation is needed.

llvm-svn: 122549
 2010-12-24 21:22:02 +00:00
Andrew Trick
dfa31b1cf9 Minor cleanup related to my latest scheduler changes. 
llvm-svn: 122545
 2010-12-24 07:10:19 +00:00
Andrew Trick
134b2a5907 Various bits of framework needed for precise machine-level selection 
DAG scheduling during isel. Most new functionality is currently
guarded by -enable-sched-cycles and -enable-sched-hazard.

Added InstrItineraryData::IssueWidth field, currently derived from
ARM itineraries, but could be initialized differently on other targets.

Added ScheduleHazardRecognizer::MaxLookAhead to indicate whether it is
active, and if so how many cycles of state it holds.

Added SchedulingPriorityQueue::HasReadyFilter to allowing gating entry
into the scheduler's available queue.

ScoreboardHazardRecognizer now accesses the ScheduleDAG in order to
get information about it's SUnits, provides RecedeCycle for bottom-up
scheduling, correctly computes scoreboard depth, tracks IssueCount, and
considers potential stall cycles when checking for hazards.

ScheduleDAGRRList now models machine cycles and hazards (under
flags). It tracks MinAvailableCycle, drives the hazard recognizer and
priority queue's ready filter, manages a new PendingQueue, properly
accounts for stall cycles, etc.

llvm-svn: 122541
 2010-12-24 05:03:26 +00:00
Andrew Trick
53f4556c64 whitespace 
llvm-svn: 122539
 2010-12-24 04:28:06 +00:00
Chris Lattner
01e8c46349 Flag -> Glue, the ongoing saga 
llvm-svn: 122513
 2010-12-23 18:28:41 +00:00
Chris Lattner
b607e7deda flags -> glue for selectiondag 
llvm-svn: 122509
 2010-12-23 17:24:32 +00:00
Chris Lattner
fb9ff7a4ff sdisel flag -> glue. 
llvm-svn: 122507
 2010-12-23 17:13:18 +00:00
Jeffrey Yasskin
a199652a3e Change all self assignments X=X to (void)X, so that we can turn on a 
new gcc warning that complains on self-assignments and
self-initializations.

llvm-svn: 122458
 2010-12-23 00:58:24 +00:00
Dan Gohman
db69a33d9f Constify. 
llvm-svn: 122447
 2010-12-22 22:10:08 +00:00
Rafael Espindola
81ac7c5fad Rename NeedsSetToChangeDiffSize to HasAggressiveSymbolFolding which is a much 
better name and matches what is used in the MachO writer.

llvm-svn: 122443
 2010-12-22 21:51:29 +00:00
Rafael Espindola
c05eac148d Use references and simplify. 
llvm-svn: 122405
 2010-12-22 16:11:57 +00:00
Rafael Espindola
3d9afa3c44 Don't relax org or align. They change size as the relaxation happens, but they 
are not actually relaxed. For example, a section with only alignments will never
needs relaxation.

llvm-svn: 122356
 2010-12-21 20:35:18 +00:00
Daniel Dunbar
1c98bbd915 MC/Mach-O: Shuffle enums a bit to make it harder to inadvertently use the wrong 
type.

llvm-svn: 122334
 2010-12-21 15:26:45 +00:00
Duncan Sands
6b0ed93a81 Pull a few more simplifications out of instcombine (there are still 
plenty left though!), in particular for multiplication.

llvm-svn: 122330
 2010-12-21 14:00:22 +00:00
Rafael Espindola
e0e966982a Layout one section until no relaxations are done and then move to the next 
section.

This helps because in practice sections form a dag with debug sections pointing
to text sections. Finishing up the text sections first makes the debug section
relaxation trivial.

llvm-svn: 122314
 2010-12-21 04:22:09 +00:00
Chris Lattner
65c5243bd6 rename MVT::Flag to MVT::Glue. "Flag" is a terrible name for 
something that just glues two nodes together, even if it is
sometimes used for flags.

llvm-svn: 122310
 2010-12-21 02:38:05 +00:00
Jakob Stoklund Olesen
86786c46c2 Use IntEqClasses to compute connected components of live intervals. 
llvm-svn: 122296
 2010-12-21 00:48:17 +00:00
Jakob Stoklund Olesen
26b4e8ec0a Add ADT/IntEqClasses.h as a light-weight implementation of EquivalenceClasses.h. 
This implementation already exists as ConnectedVNInfoEqClasses in
LiveInterval.cpp, and it seems to be generally useful to have a light-weight way
of forming equivalence classes of small integers.

IntEqClasses doesn't allow enumeration of the elements in a class.

llvm-svn: 122293
 2010-12-21 00:04:46 +00:00
Owen Anderson
c1eee5ac49 Revert r122114 (CallbackVH observing use-list changes) because it caused severe slowdowns on the Linux self-host configuration. 
llvm-svn: 122279
 2010-12-20 22:28:03 +00:00
Bill Wendling
265b7b81b6 This is still used and issuing an annoying warning. Don't deprecate something in 
the library unless *all* uses have been converted over to the new form.

llvm-svn: 122267
 2010-12-20 21:14:18 +00:00
Duncan Sands
09fbb211eb Add a new convenience pass for testing InstructionSimplify. Previously 
it could only be tested indirectly, via instcombine, gvn or some other
pass that makes use of InstructionSimplify, which means that testcases
had to be carefully contrived to dance around any other transformations
that that pass did.

llvm-svn: 122264
 2010-12-20 20:54:37 +00:00
Michael J. Spencer
4781534e1c Fix spelling. 
llvm-svn: 122244
 2010-12-20 13:30:37 +00:00
Duncan Sands
a37d282962 There is no need for isAssociative to take the type as an argument anymore. 
llvm-svn: 122242
 2010-12-20 13:10:23 +00:00
Duncan Sands
d72bd136f2 Discourage people from using isWeakForLinker when they should be using 
mayBeOverridden.

llvm-svn: 122241
 2010-12-20 10:57:01 +00:00
Chris Lattner
47b7bc98ae update comment. 
llvm-svn: 122212
 2010-12-20 00:56:59 +00:00
Nick Lewycky
de10f6132c Use the new way of silencing this warning. 
llvm-svn: 122195
 2010-12-19 20:57:14 +00:00
Nick Lewycky
c85935836b Add missing standard headers. Patch by Joerg Sonnenberger! 
llvm-svn: 122193
 2010-12-19 20:43:38 +00:00
Chris Lattner
4ce6f60782 add a version of IRBuilder::SetInsertPoint that takes an instruction. 
llvm-svn: 122180
 2010-12-19 19:16:22 +00:00
Chris Lattner
70cfded393 remove dead header 
llvm-svn: 122169
 2010-12-19 04:49:11 +00:00
Michael J. Spencer
0e0c7c269f Support/PathV1: Clarify deprecation warning. 
llvm-svn: 122159
 2010-12-18 22:23:24 +00:00
Michael J. Spencer
4701f704be Support/PathV1: Deprecate get{Basename,Dirname,Suffix}. 
llvm-svn: 122157
 2010-12-18 22:23:07 +00:00
Eric Christopher
4e2b6c0e28 Header warning patrol. 
llvm-svn: 122152
 2010-12-18 10:54:29 +00:00
Roman Divacky
ed5bb14415 Add support for lexing single quotes like 'c'. 
This fixed 8615.

llvm-svn: 122150
 2010-12-18 08:56:37 +00:00
Owen Anderson
7103acd18e Revert r122143 through r122140, which collectively broke the LLVMC tests on 
the buildbots.

llvm-svn: 122149
 2010-12-18 07:37:18 +00:00
Rafael Espindola
df98fb74f6 Merge isAbsolute into IsSymbolRefDifferenceFullyResolved. 
llvm-svn: 122148
 2010-12-18 06:27:54 +00:00
Rafael Espindola
7f9be9e112 Remove the MCObjectFormat class. 
llvm-svn: 122147
 2010-12-18 05:37:28 +00:00
Michael J. Spencer
b70c703b01 Support/PathV1: Clarify deprecation warning. 
llvm-svn: 122143
 2010-12-18 04:13:54 +00:00
Michael J. Spencer
6d64a36ced Support/PathV1: Deprecate get{Basename,Dirname,Suffix}. 
llvm-svn: 122141
 2010-12-18 04:13:36 +00:00
Rafael Espindola
f3aeaaa3f4 Revert 122011, 122012, 122013, 122023 adding back an important optimization. 
I added a note, but suggestions on how to add a test are really welcome.

llvm-svn: 122138
 2010-12-18 03:57:21 +00:00
Rafael Espindola
9a4bfd7755 Move some data to the TargetWriter. 
llvm-svn: 122134
 2010-12-18 03:27:34 +00:00
Michael J. Spencer
bb238417bb Support/PathV1: Deprecate getLast. 
llvm-svn: 122116
 2010-12-18 00:19:10 +00:00
Owen Anderson
702d715185 Add support to CallbackVH to receive notification when a Value's use-list changes. 
llvm-svn: 122114
 2010-12-18 00:07:15 +00:00
Jakob Stoklund Olesen
2879da5e13 Pass a Banner argument to the machine code verifier both from 
createMachineVerifierPass and MachineFunction::verify.

The banner is printed before the machine code dump, just like the printer pass.

llvm-svn: 122113
 2010-12-18 00:06:56 +00:00
Jakob Stoklund Olesen
6498db2c8c Avoid dereferencing end() in collectInterferingVRegs() when there is no 
interference.

llvm-svn: 122108
 2010-12-17 23:16:38 +00:00
Jakob Stoklund Olesen
df9e162423 Enable loop splitting in RegAllocGreedy. 
The heuristics split around the largest loop where the current register may be
allocated without interference.

llvm-svn: 122106
 2010-12-17 23:16:32 +00:00
Bill Wendling
c16f9b1ccc During local stack slot allocation, the materializeFrameBaseRegister function 
may be called. If the entry block is empty, the insertion point iterator will be
the "end()" value. Calling ->getParent() on it (among others) causes problems.

Modify materializeFrameBaseRegister to take the machine basic block and insert
the frame base register at the beginning of that block. (It's very similar to
what the code does all ready. The only difference is that it will always insert
at the beginning of the entry block instead of after a previous materialization
of the frame base register. I doubt that that matters here.)

<rdar://problem/8782198>

llvm-svn: 122104
 2010-12-17 23:09:14 +00:00
Jakob Stoklund Olesen
64c013d79d Add more checks to IntervalMapOverlaps::advance() to ensure that advanceTo sees 
monotonic keys.

llvm-svn: 122093
 2010-12-17 22:07:54 +00:00
Jakob Stoklund Olesen
f17722908c It is allowed to call IntervalMap::const_iterator::advanceTo() with a key that 
moves the iterator to end(), and it is valid to call it on end().

That means it is valid to call advanceTo() with any monotonic key sequence.

llvm-svn: 122092
 2010-12-17 22:07:51 +00:00
Michael J. Spencer
bc84ff581f Fix 80 col. 
llvm-svn: 122089
 2010-12-17 21:32:47 +00:00
Michael J. Spencer
f2bf8518fb Support/Path: Deprecate PathV1::isAbsolute. 
llvm-svn: 122086
 2010-12-17 21:21:31 +00:00
Jakob Stoklund Olesen
aec6ae67a1 Fix crash when IntervalMapOverlaps::advanceTo moves past the last overlap. 
llvm-svn: 122081
 2010-12-17 19:18:38 +00:00
Benjamin Kramer
89db30db3a Pass StringRefs by value, for consistency. 
llvm-svn: 122074
 2010-12-17 18:19:06 +00:00
Jakob Stoklund Olesen
f4a0c81371 Add MachineLoopRange comparators for sorting loop lists by number and by area. 
llvm-svn: 122073
 2010-12-17 18:13:52 +00:00
Rafael Espindola
b9ca29bc1c Stub out explicit MCELFObjectTargetWriter interface. 
llvm-svn: 122067
 2010-12-17 17:45:22 +00:00
Michael J. Spencer
63aaa03399 Support: Rename Path.h to PathV1.h and add a new Path.h that includes both V1 and V2. 
llvm-svn: 122065
 2010-12-17 17:22:36 +00:00
Rafael Espindola
38e6fdfd1d Move createELFObjectWriter to its own header. 
llvm-svn: 122064
 2010-12-17 16:59:53 +00:00
Chris Lattner
e92f8121d4 improve switch formation to handle small range 
comparisons formed by comparisons.  For example,
this:

void foo(unsigned x) {
  if (x == 0 || x == 1 || x == 3 || x == 4 || x == 6) 
    bar();
}

compiles into:

_foo:                                   ## @foo
## BB#0:                                ## %entry
	cmpl	$6, %edi
	ja	LBB0_2
## BB#1:                                ## %entry
	movl	%edi, %eax
	movl	$91, %ecx
	btq	%rax, %rcx
	jb	LBB0_3

instead of:

_foo:                                   ## @foo
## BB#0:                                ## %entry
	cmpl	$2, %edi
	jb	LBB0_4
## BB#1:                                ## %switch.early.test
	cmpl	$6, %edi
	ja	LBB0_3
## BB#2:                                ## %switch.early.test
	movl	%edi, %eax
	movl	$88, %ecx
	btq	%rax, %rcx
	jb	LBB0_4

This catches a bunch of cases in GCC, which look like this:

 %804 = load i32* @which_alternative, align 4, !tbaa !0
 %805 = icmp ult i32 %804, 2
 %806 = icmp eq i32 %804, 3
 %or.cond121 = or i1 %805, %806
 %807 = icmp eq i32 %804, 4
 %or.cond124 = or i1 %or.cond121, %807
 br i1 %or.cond124, label %.thread, label %808

turning this into a range comparison.

llvm-svn: 122045
 2010-12-17 06:20:15 +00:00
Daniel Dunbar
6979fc1057 MC/Mach-O: On second thought, use a custom hook for enabling aggressive 
IsSymbolRefDifferenceFullyResolved, it turns out this does change behavior on
enough cases for x86-32 that I would rather wait a bit on it.
 - In practice, we will want to change this eventually because it only means we
   generate less relocations (it also eliminates the need for the horrible
   '.set' hack that Darwin requires in some places).

llvm-svn: 122042
 2010-12-17 05:50:29 +00:00
Daniel Dunbar
2caf23b5a9 MC/ObjectWriter: Add a new IsSymbolRefDifferenceFullyResolved target format specific hook. 
- Currently just has stub implementations for Mach-O, ELF, and COFF.

llvm-svn: 122037
 2010-12-17 04:54:54 +00:00
Jakob Stoklund Olesen
40f23cd5ca Provide LiveIntervalUnion::Query::checkLoopInterference. 
This is a three-way interval list intersection between a virtual register, a
live interval union, and a loop. It will be used to identify interference-free
loops for live range splitting.

llvm-svn: 122034
 2010-12-17 04:09:47 +00:00
Daniel Dunbar
f77af712b7 MC/Assembler: Strip out object writer arguments, now that it is always available 
-- and remove FIXME asking for the same!

llvm-svn: 122032
 2010-12-17 02:45:59 +00:00
Daniel Dunbar
54b3f3e5db MC/Assembler: Make the MCObjectWriter available through the lifetime of the 
assembler.

llvm-svn: 122031
 2010-12-17 02:45:41 +00:00
Daniel Dunbar
6d4a3e98f3 MC/Target: Remove HasScatteredSymbols target hook variable, which has been 
superceded and was effectively dead.

llvm-svn: 122024
 2010-12-17 02:06:08 +00:00
Daniel Dunbar
0d8fdf42c7 MC/Expr: Simplify. 
llvm-svn: 122023
 2010-12-17 02:05:45 +00:00
Daniel Dunbar
565c90b316 MC: Remove another dead MCAssembler argument, and update clients. 
llvm-svn: 122013
 2010-12-17 01:07:35 +00:00
Daniel Dunbar
9f83b4d605 MC: Remove dead MCAssembler argument -- Rafael, can you check the FIXME I added 
here?

llvm-svn: 122012
 2010-12-17 01:07:31 +00:00
Daniel Dunbar
8b0153bed2 Fix 80-col viola. 
llvm-svn: 122010
 2010-12-17 01:07:25 +00:00
Jakob Stoklund Olesen
9681be67c5 Add basic test exposing many bugs. 
llvm-svn: 121995
 2010-12-16 19:46:09 +00:00
Daniel Dunbar
2277f06687 MC/Mach-O: Lift some MachObjectWriter arguments into the target specific 
interface.

llvm-svn: 121981
 2010-12-16 17:21:02 +00:00
Daniel Dunbar
5fee4f6862 MC/Mach-O: Stub out explicit MCMachObjectTargetWriter interface. 
llvm-svn: 121973
 2010-12-16 16:09:19 +00:00
Daniel Dunbar
636e690f58 MC/Mach-O: Move createMachObjectWriter into MCMachObjectWriter.h. 
llvm-svn: 121971
 2010-12-16 16:08:33 +00:00
Michael J. Spencer
86f6a9ac6e MemoryBuffer now return an error_code and returns a OwningPtr<MemoryBuffer> via an out parm. 
llvm-svn: 121958
 2010-12-16 03:29:14 +00:00
Daniel Dunbar
fc14f1e5f6 MC: Move target specific fixup info descriptors to TargetAsmBackend instead of 
the MCCodeEmitter, which seems like a better organization.
 - Also, cleaned up some magic constants while in the area.

llvm-svn: 121953
 2010-12-16 03:20:06 +00:00
Daniel Dunbar
8ab9be2005 MC: Make TargetAsmBackend available to the AsmStreamer. 
- Treaty talks on the non-proliferation of MC objects broke down.

llvm-svn: 121949
 2010-12-16 03:05:59 +00:00
Daniel Dunbar
b5ea5a74f9 MC: Split MCFixupKindInfo out into its own header. 
llvm-svn: 121948
 2010-12-16 03:05:53 +00:00
Daniel Dunbar
fc4b79c9e8 MC: Remove a FIXME I no longer agree with. 
llvm-svn: 121947
 2010-12-16 03:05:46 +00:00
Jakob Stoklund Olesen
ae68a4eb6d Add IntervalMapOverlaps - An iterator for overlapping intervals in two 
IntervalMaps.

The IntervalMaps can have different template parameters, but the KeyT and Traits
types must be the same.

Tests are forthcoming.

llvm-svn: 121935
 2010-12-16 01:18:29 +00:00
Jakob Stoklund Olesen
d40af5ffbd Add MachineLoopRanges analysis. 
A MachineLoopRange contains the intervals of slot indexes covered by the blocks
in a loop. This representation of the loop blocks is more efficient to compare
against interfering registers during register coalescing.

llvm-svn: 121917
 2010-12-15 23:41:23 +00:00
Rafael Espindola
37a22419ce Typo. 
llvm-svn: 121906
 2010-12-15 22:33:06 +00:00
Bob Wilson
438a9a1367 Add Neon VCVT instructions for f32 <-> f16 conversions. 
Clang is now providing intrinsics for these and so we need to support them
in the backend.  Radar 8068427.

llvm-svn: 121902
 2010-12-15 22:14:12 +00:00
Jakob Stoklund Olesen
1fc1f0c4a0 Add SlotIndexes::getMBBRange() to get the range of a basic block in a single 
lookup.

llvm-svn: 121893
 2010-12-15 20:40:22 +00:00
Wesley Peck
66ff11fc09 Adding target specific calling conventions to support the MBlaze GCC function 
attributes "interrupt_handle" and "save_volatiles". Support for lowering these
correctly will be in an upcoming commit.

llvm-svn: 121888
 2010-12-15 20:14:09 +00:00
Dan Gohman
295ba3ab26 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
Owen Anderson
202d654195 Implement cleanups suggested by Daniel. 
llvm-svn: 121875
 2010-12-15 18:48:27 +00:00
Duncan Sands
2699fb1072 Move Sub simplifications and additional Add simplifications out of 
instcombine and into InstructionSimplify.

llvm-svn: 121861
 2010-12-15 14:07:39 +00:00
Rafael Espindola
94d026d157 Relax alignment fragments. 
With this we don't need the EffectiveSize field anymore. Without that field
LayoutFragment only updates offsets and we don't need to invalidate the
current fragment when it is relaxed (only the ones following it).

This is also a very small improvement in the accuracy of the layout info as
we now use the after relaxation size immediately.

llvm-svn: 121857
 2010-12-15 08:45:53 +00:00
Rafael Espindola
102a0b7b74 Generalize an assert. 
llvm-svn: 121851
 2010-12-15 07:12:24 +00:00
Jakob Stoklund Olesen
22ff831572 Introduce TargetRegisterInfo::getOverlaps(Reg), returning a list of all 
registers that alias Reg, including itself. This is almost the same as the
existing getAliasSet() method, except for the inclusion of Reg.

The name matches the reflexive TRI::regsOverlap(x, y) relation.

It is very common to do stuff to a register and all its aliases:

  stuff(Reg)
  for (const unsigned *Alias = TRI->getAliasSet(Reg); *Alias; ++Alias)
    stuff(*Alias);

That can now be written as the simpler:

  for (const unsigned *Alias = TRI->getOverlaps(Reg); *Alias; ++Alias)
    stuff(*Alias);

This change requires a bit more constant space for the alias lists because Reg
is included and because the empty alias list cannot be shared any longer.

If the getAliasSet method is eventually removed, this space can be reclaimed by
sharing overlap lists. For instance, %rax and %eax have identical overlap sets.

llvm-svn: 121800
 2010-12-14 23:03:42 +00:00
Jakob Stoklund Olesen
d0b2397aaa Add TargetRegisterInfo::printReg() to pretty-print registers. 
llvm-svn: 121780
 2010-12-14 18:53:39 +00:00
Jim Grosbach
25d3e79b23 ARM Fixups relative to thumb functions need to have the low bit of the value 
set for interworking to work properly. rdar://8755956

llvm-svn: 121778
 2010-12-14 18:46:57 +00:00
Chris Lattner
027d572664 remove the dead (and terrible) llvm::RemoveSuccessor function. 
llvm-svn: 121753
 2010-12-14 06:51:55 +00:00
Jakob Stoklund Olesen
3fbb216a33 Remove debugging code. 
llvm-svn: 121738
 2010-12-14 00:37:52 +00:00
Dan Gohman
9d1f5ce1da Introduce a new PartialAlias response for AliasAnalysis. For most 
AliasAnalysis consumers, PartialAlias will be treated as MayAlias.

For AliasAnalysis chaining, MayAlias says "procede to the next analysis".
PartialAlias will be used to indicate that the query should terminate,
even though it didn't reach MustAlias or NoAlias.

llvm-svn: 121507
 2010-12-10 19:38:58 +00:00
Rafael Espindola
0e665e502d Fixed version of 121434 with no new memory leaks. 
llvm-svn: 121471
 2010-12-10 07:39:47 +00:00
Daniel Dunbar
37bc9a74ac Mach-O/ARM: Add relocation type enumeration. 
llvm-svn: 121467
 2010-12-10 06:19:49 +00:00
Daniel Dunbar
fd96efb8e9 Mach-O: Tweak field name. 
llvm-svn: 121465
 2010-12-10 06:19:39 +00:00
Nick Lewycky
0177564114 Remove dead header. 
llvm-svn: 121463
 2010-12-10 05:12:54 +00:00
Rafael Espindola
011e168728 Revert my previous patch to make the valgrind bots happy. 
llvm-svn: 121461
 2010-12-10 04:01:09 +00:00
Rafael Espindola
03ad1e8f1f Initial support for the cfi directives. This is just enough to get 
f:
        .cfi_startproc
        nop
        .cfi_endproc

assembled (on ELF).

llvm-svn: 121434
 2010-12-09 23:48:29 +00:00
Owen Anderson
a8ac35b468 Fix an issue in some Thumb fixups, where the effective PC address needs to be 4-byte aligned when calculating 
the offset.  Add a new fixup flag to represent this, and use it for the one fixups that I have a testcase for needing
this.  It's quite likely that the other Thumb fixups will need this too, and to have their fixup encoding logic
adjusted accordingly.

llvm-svn: 121408
 2010-12-09 20:27:52 +00:00
Michael J. Spencer
95b8bf9f67 Fix whitespace. 
llvm-svn: 121382
 2010-12-09 17:37:32 +00:00
Michael J. Spencer
c4c4e1133d Support: Move c_str from SmallVector back to SmallString and add a free standing 
templated c_str in Windows.h to replace it.

llvm-svn: 121381
 2010-12-09 17:37:18 +00:00
Michael J. Spencer
1d95a8f9bc Support/FileSystem: Change file_status predicate functions that cannot fail to 
return their result instead of an error_code. Also add some missing predicate
functions.

llvm-svn: 121380
 2010-12-09 17:37:02 +00:00
Michael J. Spencer
15483143ec Support/MemoryBuffer: Replace all uses of std::string *ErrMsg with error_code &ec. And fix clients. 
llvm-svn: 121379
 2010-12-09 17:36:48 +00:00
Lang Hames
334ef20886 Fixed some dependencies in RegAllocPBQP.h . Thanks to Borja Ferrer for pointing out this issue. 
llvm-svn: 121292
 2010-12-08 22:15:32 +00:00
Devang Patel
90fd70aa09 Add support to create debug info for functions and methods. 
llvm-svn: 121281
 2010-12-08 20:42:44 +00:00
Devang Patel
53f05af4c1 Add support to create class type. 
llvm-svn: 121279
 2010-12-08 20:18:20 +00:00
Andrew Trick
fb72ca2129 Generalize PostRAHazardRecognizer so it can be used in any pass for 
both forward and backward scheduling. Rename it to
ScoreboardHazardRecognizer (Scoreboard is one word). Remove integer
division from the scoreboard's critical path.

llvm-svn: 121274
 2010-12-08 20:04:29 +00:00
Jakob Stoklund Olesen
d638b989f2 Stub out RegAllocGreedy. 
This new register allocator is initially identical to RegAllocBasic, but it will
receive all of the tricks that RegAllocBasic won't get.

RegAllocGreedy will eventually replace linear scan.

llvm-svn: 121234
 2010-12-08 03:26:16 +00:00
Devang Patel
b7a7988b6b Add support to create vector, array, enums etc... 
llvm-svn: 121224
 2010-12-08 01:50:15 +00:00
Jim Grosbach
d4eea7c10d Let target asm backends see assembler flags as they go by. Use that to handle 
thumb vs. arm mode differences in WriteNopData().

llvm-svn: 121219
 2010-12-08 01:16:55 +00:00
Devang Patel
0c0accf6bc Global variable does not need linkage name. 
llvm-svn: 121212
 2010-12-08 00:06:22 +00:00
Devang Patel
bdbff5f106 Add support to create local variable's debug info. 
llvm-svn: 121211
 2010-12-07 23:58:00 +00:00
Rafael Espindola
790fe1d064 Layout each section independently. With the testcase in PR8711: 
before:
        4 assembler - Number of assembler layout and relaxation steps
    78563 assembler - Number of emitted assembler fragments
  8693904 assembler - Number of emitted object file bytes
   271223 assembler - Number of evaluated fixups
330771677 assembler - Number of fragment layouts
     5958 assembler - Number of relaxed instructions
  2508361 mcexpr    - Number of MCExpr evaluations

real	0m26.123s
user	0m25.694s
sys	0m0.388s

after:

      4 assembler - Number of assembler layout and relaxation steps
  78563 assembler - Number of emitted assembler fragments
8693904 assembler - Number of emitted object file bytes
 271223 assembler - Number of evaluated fixups
 231507 assembler - Number of fragment layouts
   5958 assembler - Number of relaxed instructions
2508361 mcexpr    - Number of MCExpr evaluations

real	0m2.500s
user	0m2.113s
sys	0m0.273s

And yes, the outputs are identical :-)

llvm-svn: 121207
 2010-12-07 23:32:26 +00:00
Devang Patel
cef2982b39 Add support to create variables, structs etc.. using DIBuilder. 
This is still work in progress.

llvm-svn: 121205
 2010-12-07 23:25:47 +00:00
Jakob Stoklund Olesen
87009679c3 Fix begin() and end() on const IntervalMap. 
llvm-svn: 121200
 2010-12-07 23:18:43 +00:00
Michael J. Spencer
8583707324 Missed a spot removing Alarm. 
llvm-svn: 121161
 2010-12-07 18:50:33 +00:00
Michael J. Spencer
3885add959 Support: Remove Alarm. It is unused (via local grep and google code search). 
llvm-svn: 121160
 2010-12-07 18:41:59 +00:00
Michael J. Spencer
3dc94b3cc1 Support/PathV2: Remove const from bool return types. 
llvm-svn: 121157
 2010-12-07 18:12:07 +00:00
Michael J. Spencer
cda94ff1f3 Fix spelling. 
llvm-svn: 121156
 2010-12-07 18:11:54 +00:00
Michael J. Spencer
a679d9b91b Support: Remove DynamicLinker.h. It is unused and unimplemented. 
llvm-svn: 121155
 2010-12-07 18:11:38 +00:00
Michael J. Spencer
7979bb402f Support/PathV2: Change most functions in the path namespace to return their work 
via their return value instead of an out parameter.

llvm-svn: 121149
 2010-12-07 17:04:04 +00:00
Jay Foad
79e18ed269 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
Michael J. Spencer
a96fe51fa6 Support/PathV2: Remove the error_code return type from all functions in the path 
namespace. None of them return anything except for success anyway. These will be
converted to returning their result soon.

llvm-svn: 121109
 2010-12-07 03:57:37 +00:00
Michael J. Spencer
7c3efd63d4 Support/PathV2: Move make_absolute from path to fs. 
llvm-svn: 121108
 2010-12-07 03:57:17 +00:00
Michael J. Spencer
a59a7b3965 Support/PathV2: Clarify and correct documentation. 
llvm-svn: 121091
 2010-12-07 01:23:08 +00:00
Michael J. Spencer
898af0f235 Support/PathV2: Move current_path from path to fs and fix the Unix implementation. 
Unix bug spotted by Dan Gohman.

llvm-svn: 121090
 2010-12-07 01:22:31 +00:00