RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-25 14:02:52 +02:00
Code Issues Projects Releases Wiki Activity
58,722 Commits 4 Branches 5 Tags 704 MiB
e7900757bd
Commit Graph

11060 Commits

Author SHA1 Message Date
Chris Lattner
adff4d133f Fix the third (and last known) case of code update problems due 
to LLVM IR changes with addr label weirdness.  In the testcase, we
generate references to the two bb's when codegen'ing the first
function:

_test1:                                 ## @test1
	leaq	Ltmp0(%rip), %rax
..
	leaq	Ltmp1(%rip), %rax

Then continue to codegen the second function where the blocks
get merged.  We're now smart enough to emit both labels, producing
this code:

_test_fun:                              ## @test_fun
## BB#0:                                ## %entry
Ltmp1:                                  ## Block address taken
Ltmp0:
## BB#1:                                ## %ret
	movl	$-1, %eax
	ret

Rejoice.

llvm-svn: 98595
 2010-03-16 00:29:39 +00:00
Daniel Dunbar
241d3cb048 MC: Allow modifiers in MCSymbolRefExpr, and eliminate X86MCTargetExpr. 
- Although it would be nice to allow this decoupling, the assembler needs to be able to reason about MCSymbolRefExprs in too many places to make this viable. We can use a target specific encoding of the variant if this becomes an issue.
 - This patch also extends llvm-mc to support parsing of the modifiers, as opposed to lumping them in with the symbol.

llvm-svn: 98592
 2010-03-15 23:51:06 +00:00
Daniel Dunbar
476b525e01 MC/Mach-O/x86_64: Temporary labels in cstring sections require symbols (and external relocations, but we don't have x86_64 relocations yet). 
llvm-svn: 98583
 2010-03-15 21:56:50 +00:00
Daniel Dunbar
27eab8e4f7 MC/Mach-O: Add MCSectionMachO::getType() 
llvm-svn: 98582
 2010-03-15 21:56:38 +00:00
Chris Lattner
45a0ae21b8 Implement support for the case when a reference to a addr-of-bb 
label is generated, but then the block is deleted.  Since the
value is undefined, we just emit the label right after the entry 
label of the function.  It might matter that the label is in the
same section as the function was afterall.

llvm-svn: 98579
 2010-03-15 20:39:00 +00:00
Douglas Gregor
84ef0ef3b9 Extend MemoryBuffer::getFile() to take an optional "stat" structure 
pointer. If given, the structure will be set with the stat information from
the file actually read.

llvm-svn: 98575
 2010-03-15 20:32:14 +00:00
Chris Lattner
802ebf9561 Fix the case when a reference to an address taken BB is emitted in one 
function, then the BB is RAUW'd before the definition is emitted.  There
are still two cases not being handled, but this should improve us back to
the situation before I touched anything.

llvm-svn: 98566
 2010-03-15 19:09:43 +00:00
Jeffrey Yasskin
9305e5644b Don't save a temporary string into a StringRef field. 
llvm-svn: 98538
 2010-03-15 06:59:21 +00:00
Chris Lattner
b24982ba65 fix MCSectionELF to not leak memory, just like I did for MCSymbol. 
MCSectionMachO is already fine (yay for fixed size arrays?),
MCSectionCOFF still leaks.

llvm-svn: 98537
 2010-03-15 06:23:52 +00:00
Chris Lattner
1b10191d18 fix a memory leak yjasskin pointed out: MCSymbol is bump pointer 
allocated and thus not freed.  This is cool except that it contains
and std::string so the string data didn't get freed.  In any case
there is no reason to redundantly store the string data in the 
MCSymbol anyway, just make the MCSymbol ref the string data in the
MCContext StringMap.

llvm-svn: 98536
 2010-03-15 06:15:35 +00:00
Chris Lattner
89a4faa0fc MachineMove ctor doesn't need to to mutate input, add 'const' 
llvm-svn: 98533
 2010-03-15 05:55:35 +00:00
Jeffrey Yasskin
f468a14fb1 Tell Valgrind when we modify already-executed machine code so it knows 
to re-instrument the code.  We depend on the system valgrind.h to
avoid adding a new license.

llvm-svn: 98529
 2010-03-15 04:57:55 +00:00
Chris Lattner
37c5893297 remove dead method. 
llvm-svn: 98526
 2010-03-15 00:00:42 +00:00
Duncan Sands
217cec1786 Turn calls to copysignl into an FCOPYSIGN node. Handle FCOPYSIGN nodes 
with ppc_f128 type by having the type legalizer turn these back into a
call to copysignl.

llvm-svn: 98514
 2010-03-14 21:08:40 +00:00
Anton Korobeynikov
2cb4451ae6 Make default expansion for FP16 <-> FP32 nodes into libcalls 
llvm-svn: 98501
 2010-03-14 18:42:24 +00:00
Anton Korobeynikov
95f830f289 Add DAG nodes to represent FP16 <-> FP32 intrinsics 
llvm-svn: 98500
 2010-03-14 18:42:15 +00:00
Anton Korobeynikov
2f953c5850 Cleanup 
llvm-svn: 98499
 2010-03-14 18:42:08 +00:00
Anton Korobeynikov
e29762e78e The fp16 <-> fp32 intrinsics are pure, mark them so they can be CSE'd, etc. 
llvm-svn: 98498
 2010-03-14 18:42:04 +00:00
Anton Korobeynikov
92e88294ce Add intrinsics to represent fp16 <-> fp32 conversions 
llvm-svn: 98497
 2010-03-14 18:41:50 +00:00
Chris Lattner
2bdb0765f8 fix AsmPrinter::GetBlockAddressSymbol to always return a unique 
label instead of trying to form one based on the BB name (which
causes collisions if the name is empty).  This fixes PR6608

llvm-svn: 98495
 2010-03-14 17:53:23 +00:00
Chris Lattner
9331acc6d7 get MMI out of the label uniquing business, just go to MCContext 
to get unique assembler temporary labels.

llvm-svn: 98489
 2010-03-14 08:36:50 +00:00
Chris Lattner
3eb55835b5 add a new CreateTempSymbol method, the use case for 
CreateTempSymbol vs GetOrCreateTemporarySymbol are
completely different.

llvm-svn: 98486
 2010-03-14 08:23:30 +00:00
Chris Lattner
23ec7363b8 Now that DBG_LABEL is updated, we can finally make MachineMove 
contain an MCSymbol instead of a label index.

llvm-svn: 98482
 2010-03-14 08:12:40 +00:00
Chris Lattner
853b4f38df switch GC_LABEL to use an MCSymbol operand instead of a label ID operand. 
llvm-svn: 98474
 2010-03-14 07:27:07 +00:00
Chris Lattner
5fef80c5aa change the LabelSDNode to be EHLabelSDNode and make it hold 
an MCSymbol.  Make the EH_LABEL MachineInstr hold its label
with an MCSymbol instead of ID.  Fix a bug in MMI.cpp which
would return labels named "Label4" instead of "label4".

llvm-svn: 98463
 2010-03-14 02:33:54 +00:00
Chris Lattner
de49dbc188 eliminate InvalidateLabel and LabelIDList from MMI and replace 
them with a counter.

llvm-svn: 98462
 2010-03-14 02:24:55 +00:00
Chris Lattner
f856c407af use Label->isDefined() instead of isLabelDeleted() now that we 
consistently use MCSymbol and only call this predicate after
they should have been emitted.

llvm-svn: 98461
 2010-03-14 02:20:58 +00:00
Chris Lattner
149cf816bb change EH related stuff (other than EH_LABEL) to use MCSymbol 
instead of label ID's.  This cleans up and regularizes a bunch 
of code and makes way for future progress.

Unfortunately, this pointed out to me that JITDwarfEmitter.cpp
is largely copy and paste from DwarfException/MachineModuleInfo
and other places.  This is very sad and disturbing. :(

One major change here is that TidyLandingPads moved from being
called in DwarfException::BeginFunction to being called in
DwarfException::EndFunction.  There should not be any 
functionality change from doing this, but I'm not an EH expert.

llvm-svn: 98459
 2010-03-14 01:41:15 +00:00
Chris Lattner
ceaa2343e7 eliminate the now-unneeded context argument of MBB::getSymbol() 
llvm-svn: 98451
 2010-03-13 21:04:28 +00:00
Chris Lattner
e7538fa303 rearrange MCContext ownership. Before LLVMTargetMachine created it 
and passing off ownership to AsmPrinter.  Now MachineModuleInfo
creates it and owns it by value.  This allows us to use MCSymbols
more consistently throughout the rest of the code generator, and
simplifies a bit of code.  This also allows MachineFunction to 
keep an MCContext reference handy, and cleans up the TargetRegistry
interfaces for AsmPrinters.

llvm-svn: 98450
 2010-03-13 20:55:24 +00:00
Chris Lattner
c384c5819a add builder support for mcsymbol operands. 
llvm-svn: 98434
 2010-03-13 08:16:25 +00:00
Chris Lattner
533e5c8ffd add support for MCSymbols as operands to MachineInstrs. 
llvm-svn: 98433
 2010-03-13 08:14:18 +00:00
Benjamin Kramer
3b2398d288 Add some parens and silence a warning. 
llvm-svn: 98428
 2010-03-13 07:40:34 +00:00
Daniel Dunbar
33c92a1a88 llvm-mc: Support -n, useful for comparing -integrated-as output since the 
compiler may not lead with the text section.

llvm-svn: 98418
 2010-03-13 02:20:57 +00:00
Jeffrey Yasskin
819ce89d8f Delete MDNodes when LLVMContext is destroyed. Previous attempts: r97918, r97788. 
Tested: clang debug bootstrap, llvm-gcc bootstrap, `make check-lit`
after configuring with --with-llvmgccdir (and this did run the
FrontendC* tests this time)

llvm-svn: 98410
 2010-03-13 01:26:15 +00:00
Devang Patel
40477c7760 Remove extra parameter. 
llvm-svn: 98403
 2010-03-13 00:45:31 +00:00
Devang Patel
882e43e3cc Do not overestimate code size reduction in presense of debug info. 
Use CodeMetrics.analyzeBasicBlock() to estimate BB size.

llvm-svn: 98401
 2010-03-13 00:10:20 +00:00
Daniel Dunbar
8ad9589475 MC/Mach-O: Implement initial support for relaxation. 
- The implementation is currently very brain dead and inefficient, but I have a
   clear plan on how to fix it.

 - The good news is, it works and correctly assembles 403.gcc (when built with
   Clang, at '-Os', '-Os -g', and '-O3'). Even better, at '-Os' and '-Os -g',
   the resulting binary is exactly equivalent to that when built with the system
   assembler. So it probably works! :)

llvm-svn: 98396
 2010-03-12 22:07:14 +00:00
Chris Lattner
5a5ea25649 inline GetGlobalValueSymbol into the rest its callers and 
remove it.

llvm-svn: 98390
 2010-03-12 21:19:23 +00:00
Chris Lattner
33f470bec2 eliminate the X86 version of GetGlobalValueSymbol, allowing 
it to be non-virtual and soon disappear.

llvm-svn: 98387
 2010-03-12 21:06:41 +00:00
Chris Lattner
ff05ae7a33 move fastcall/stdcall mangling up into Mangler. 
llvm-svn: 98384
 2010-03-12 21:03:47 +00:00
Daniel Dunbar
642fbbe84d MC: Factor out MCAssembler::EvaluateFixup, and simplify. 
llvm-svn: 98381
 2010-03-12 21:00:49 +00:00
Daniel Dunbar
14b9ff70e1 MC: Constify MCAsmLayout argument to MCExpr::EvaluteAs... 
llvm-svn: 98380
 2010-03-12 21:00:45 +00:00
Daniel Dunbar
71473e6b15 MC: Add MCAssembler::addFixup, which enforces that fixups are added in order. 
llvm-svn: 98379
 2010-03-12 21:00:38 +00:00
Chris Lattner
c101ad818c give Mangler access to TargetData. 
llvm-svn: 98378
 2010-03-12 20:47:28 +00:00
Benjamin Kramer
19c12c8ef4 Add a virtual destructor and give vtable a home. 
llvm-svn: 98376
 2010-03-12 20:41:29 +00:00
Chris Lattner
01e70df9b2 finally give Mangler a getSymbol method, which returns an MCSymbol 
for a global instead of messing around with string buffers.

llvm-svn: 98366
 2010-03-12 18:55:20 +00:00
Chris Lattner
956582f876 make the mangler take an MCContext instead of an MAI. 
No functionality change.

llvm-svn: 98363
 2010-03-12 18:44:54 +00:00
Chris Lattner
f4dce6a6d8 remove MAI argument from createAsmStreamer since it 
can get it from the context now.

llvm-svn: 98361
 2010-03-12 18:28:53 +00:00
Jeffrey Yasskin
824bd1b30d Free DbgScopes in DwarfDebug::endFunction(). Also increased the const-ness of 
several fields to make it easier to figure out where bugs might be creeping in.

llvm-svn: 98358
 2010-03-12 17:45:06 +00:00
Benjamin Kramer
0592752a53 Factor checked library call optimization into a common helper class and use it 
to unify the almost identical code in CodeGenPrepare and InstCombineCalls.

llvm-svn: 98338
 2010-03-12 09:27:41 +00:00
Chris Lattner
07e124cec5 make TargetLoweringObjectFile::getExprForDwarfReference 
just make unnamed temp symbols instead of having to come
up with its own names.

llvm-svn: 98324
 2010-03-12 01:56:43 +00:00
Chris Lattner
debc026df2 change MCContext to always have an MCAsmInfo. 
llvm-svn: 98293
 2010-03-11 22:53:35 +00:00
Chris Lattner
5aefaeb42e fix a fixme in TargetLoweringObjectFile::getExprForDwarfReference 
where we used ot create an MCSymbol for ".".  Now emit an assembler
temporary label and reference it instead of "." textually.

rdar://7739457

llvm-svn: 98292
 2010-03-11 21:55:20 +00:00
Dan Gohman
6b1b9e37d7 Remove getWidenVectorType, which is no longer used. 
llvm-svn: 98289
 2010-03-11 21:39:57 +00:00
Benjamin Kramer
846fefb000 stpcpy is so similar to strcpy, it doesn't deserve a complete copy of the __strcpy_chk -> strcpy code. 
llvm-svn: 98284
 2010-03-11 20:45:13 +00:00
Chris Lattner
1ce9dfd498 rename getSymbolForDwarf* to getExprForDwarf* since it returns 
an MCExpr and not an MCSymbol.  Change it to take an MCStreamer,
which is currently unused.

No functionality change.

llvm-svn: 98278
 2010-03-11 19:41:58 +00:00
Eric Christopher
017a0a06d8 Lower stpcpy_chk when possible. 
llvm-svn: 98274
 2010-03-11 19:24:34 +00:00
Daniel Dunbar
8790f4ce4b MC/Mach-O: Add MCSymbolData::getAddress() utility. 
llvm-svn: 98266
 2010-03-11 18:22:51 +00:00
Richard Osborne
9c71a0a5ba Add a new jump table encoding to indicate jump tables entries 
are inside the function by the target at the point of use.

llvm-svn: 98255
 2010-03-11 14:58:16 +00:00
Evan Cheng
4ef6d8fa15 The check for coalescing a virtual register to a physical register, e.g. 
cl = EXTRACT_SUBREG reg1024, 1, is overly conservative. It should check
for overlaps of vr's live interval with the super registers of the
physical register (ECX in this case) and let JoinIntervals() handle checking
the coalescing feasibility against the physical register (cl in this case).

llvm-svn: 98251
 2010-03-11 08:20:21 +00:00
Daniel Dunbar
aefde2abfd MC/Mach-O: Start passing in the basic MCAsmLayout object. 
- Also, drop the current location part of AsmLayout, I think I prefer to implement this via explicit symbols.

llvm-svn: 98240
 2010-03-11 05:53:33 +00:00
Daniel Dunbar
285a34c8c8 MC: Sketch initial MCAsmLayout class, which encapsulates the current layout of an assembly file. The MCAsmLayout is also available for use by MCExpr::EvaluateAs{Absolute,Relocatable}, to allow target specific hooks and "absolutizing" of symbols. 
llvm-svn: 98227
 2010-03-11 02:28:59 +00:00
Daniel Dunbar
fe8914f6b6 Fix (unused) RegisterAsmBackend template, clang++ isn't happy about this. 
llvm-svn: 98226
 2010-03-11 02:28:52 +00:00
Daniel Dunbar
687d99cfa8 MC: Provide MCAssembler with a TargetAsmBackend. 
llvm-svn: 98222
 2010-03-11 01:34:27 +00:00
Daniel Dunbar
f7f88fba2d MC: Sketch some TargetAsmBackend hooks we are going to need. 
llvm-svn: 98221
 2010-03-11 01:34:21 +00:00
Daniel Dunbar
10c975db78 MC: Provide the target triple to AsmBackend constructors. 
llvm-svn: 98220
 2010-03-11 01:34:16 +00:00
Eric Christopher
c2a92dadc5 Add strncpy libcall creator. Use it when it should be used. 
llvm-svn: 98219
 2010-03-11 01:25:07 +00:00
Dale Johannesen
0ef6f3119d Make sure HasDebugValue is initialized. This should fix 
the buildbot running valgrind.

llvm-svn: 98216
 2010-03-11 00:52:12 +00:00
Chris Lattner
d6d11e53ab add support, testcases, and dox for the new GHC calling 
convention.  Patch by David Terei!

llvm-svn: 98212
 2010-03-11 00:22:57 +00:00
Bill Wendling
df325dee9d Add a bit along with the MCSymbols stored in the MachineModuleInfo maps that 
indicates that an MCSymbol is external or not. (It's true if it's external.)
This will be used to specify the correct information to add to non-lazy
pointers. That will be explained further when this bit is used.

llvm-svn: 98199
 2010-03-10 22:34:10 +00:00
Dale Johannesen
987770c05d Progress towards shepherding debug info through SelectionDAG. 
No functional effect yet.  This is still evolving and should
not be viewed as final.

llvm-svn: 98195
 2010-03-10 22:13:47 +00:00
Daniel Dunbar
fc99f844eb MC: Move the backend section and symbol data maps to MCAssembler. 
llvm-svn: 98186
 2010-03-10 20:58:29 +00:00
Daniel Dunbar
8e45a4269e Remove unneeded declarations. 
llvm-svn: 98185
 2010-03-10 20:58:25 +00:00
Dan Gohman
07eb9cb4c2 Add a DominatorTree argument to isLCSSA so that it doesn't have to 
compute a set of reachable blocks for itself each time it is called, which
is fairly frequently.

llvm-svn: 98179
 2010-03-10 19:38:49 +00:00
Benjamin Kramer
adf47face1 Remove duplicated code. No functionality change. 
llvm-svn: 98156
 2010-03-10 16:04:20 +00:00
Chris Lattner
e34dde1e83 move three lowering hooks from MAI to TLOF and make one of them 
semantic instead of syntactic.  This completes MCization of
darwin/x86[-64]!

llvm-svn: 98145
 2010-03-10 07:20:42 +00:00
Chris Lattner
ed0b8d36e4 set the temporary bit on MCSymbols correctly. 
llvm-svn: 98124
 2010-03-10 02:25:11 +00:00
Chris Lattner
554f323da8 eliminate MCContext::CreateSymbol and CreateTemporarySymbol. 
Add a new GetOrCreateTemporarySymbol method and a version that
takes a twine.

llvm-svn: 98118
 2010-03-10 01:29:27 +00:00
Jakob Stoklund Olesen
189a55cc16 Try to keep the cached inliner costs around for a bit longer for big functions. 
The Caller cost info would be reset everytime a callee was inlined. If the
caller has lots of calls and there is some mutual recursion going on, the
caller cost info could be calculated many times.

This patch reduces inliner runtime from 240s to 0.5s for a function with 20000
small function calls.

This is a more conservative version of r98089 that doesn't break the clang
test CodeGenCXX/temp-order.cpp. That test relies on rather extreme inlining
for constant folding.

llvm-svn: 98099
 2010-03-09 23:02:17 +00:00
Jakob Stoklund Olesen
24bdfeee51 Revert r98089, it was breaking a clang test. 
llvm-svn: 98094
 2010-03-09 22:43:37 +00:00
Jakob Stoklund Olesen
0e8f00292c Try to keep the cached inliner costs around for a bit longer for big functions. 
The Caller cost info would be reset everytime a callee was inlined. If the
caller has lots of calls and there is some mutual recursion going on, the
caller cost info could be calculated many times.

This patch reduces inliner runtime from 240s to 0.5s for a function with 20000
small function calls.

llvm-svn: 98089
 2010-03-09 22:17:11 +00:00
Jim Grosbach
f328c5334f Change the Value argument to eliminateFrameIndex to a type-tagged value. This 
is preparatory to having PEI's scavenged frame index value reuse logic
properly distinguish types of frame values (e.g., whether the value is
stack-pointer relative or frame-pointer relative).

No functionality change.

llvm-svn: 98086
 2010-03-09 21:45:49 +00:00
Chris Lattner
d51f1bdc58 reapply r98035: 
Now that setStartLabel takes an MCSymbol, we can de-ID'ize
beginScope and RecordSourceLine.

llvm-svn: 98047
 2010-03-09 04:54:43 +00:00
Eric Christopher
8875eba06a Speculatively revert r98035. It appears to have caused a set of buildbot 
failures.

llvm-svn: 98039
 2010-03-09 02:36:31 +00:00
Chris Lattner
c4a74bf48b Now that setStartLabel takes an MCSymbol, we can de-ID'ize 
beginScope and RecordSourceLine.

llvm-svn: 98035
 2010-03-09 02:08:02 +00:00
Chris Lattner
d4ce7a73e8 strength reduce MMI::MappedLabel to MMI::isLabelDeleted, 
and add a FIXME about how we are eventually going to zap this
lookup table once mc world domination is complete.

llvm-svn: 98031
 2010-03-09 01:51:43 +00:00
Chris Lattner
73de790f59 inline RemapLabel into its only caller and simplify. 
llvm-svn: 98029
 2010-03-09 01:29:59 +00:00
Devang Patel
4995bb0450 Start using DIFile. See updated SourceLevelDebugging.html for more information. 
This patch updates LLVMDebugVersion to 8.
Debug info descriptors encoded using LLVMDebugVersion 7 is supported.

Corresponding llvmgcc and clang FE commits are required.

llvm-svn: 98020
 2010-03-09 00:44:10 +00:00
Chris Lattner
8147c144d9 add a EmitSymbolValue convenience method to MCStreamer. 
llvm-svn: 98017
 2010-03-09 00:39:24 +00:00
Chris Lattner
99ca33d324 move .set generation out of DwarfPrinter into AsmPrinter and 
MCize it.

llvm-svn: 98010
 2010-03-08 23:58:37 +00:00
Devang Patel
a7387f4ecc Introduce DIFile. This will be used to represent header files and source file(s) in debug info. 
llvm-svn: 97994
 2010-03-08 22:27:22 +00:00
Devang Patel
ea239f6e0a Derive DIType from DIScope. This simplifies getContext() where for members the context is a type. This also eliminates need of CompileUnitMaps maintained by dwarf writer. 
llvm-svn: 97990
 2010-03-08 22:02:50 +00:00
Devang Patel
21633192f3 Remove DbgNode checks in constructor. Debug descriptors are intended to be light weight wrappers. 
llvm-svn: 97988
 2010-03-08 21:32:10 +00:00
Devang Patel
a975a7e590 isNull() is not used any more. 
llvm-svn: 97979
 2010-03-08 21:00:27 +00:00
Devang Patel
176dc29a62 Avoid using DIDescriptor.isNull(). 
This is a first step towards eliminating checks in Descriptor constructors.

llvm-svn: 97975
 2010-03-08 20:52:55 +00:00
Andrew Lenharth
4f4af9d95c Iterator traits and swap. closes PR6548 and PR6549 
llvm-svn: 97974
 2010-03-08 20:45:52 +00:00
Devang Patel
a716e313d6 Revert r97947. 
llvm-svn: 97963
 2010-03-08 19:20:38 +00:00
Devang Patel
1527b2657b Avoid using DIDescriptor.isNull(). 
This is a first step towards eliminating unncessary constructor checks in light weight DIDescriptor wrappers.

llvm-svn: 97947
 2010-03-08 18:25:48 +00:00
Douglas Gregor
c52fc8f922 Revert r97917, which was causing Clang Debug self-host failures. 
llvm-svn: 97932
 2010-03-08 02:58:37 +00:00