RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-28 14:32:51 +01:00
Code Issues Projects Releases Wiki Activity
53,904 Commits 4 Branches 5 Tags 704 MiB
c2b669b3b2
Commit Graph

33568 Commits

Author SHA1 Message Date
Devang Patel
799b8cc191 Fix DW_AT_data_member_location for bit-fields. It points to the location of annonymous field that covers respective field. 
llvm-svn: 86054
 2009-11-04 22:06:12 +00:00
Bob Wilson
25738f9e79 Add PowerPC codegen for indirect branches. 
llvm-svn: 86050
 2009-11-04 21:31:18 +00:00
Lang Hames
2b16464904 Handle empty/tombstone keys for LiveIndex more cleanly. Check for index sanity when constructing index list entries. 
llvm-svn: 86049
 2009-11-04 21:24:15 +00:00
Duncan Sands
7d20275318 A value is only assigned to errno if NumRead equals -1, so do 
not reason based on errno if NumRead has a different value.

llvm-svn: 86046
 2009-11-04 20:50:23 +00:00
Eric Christopher
f20f6980cb Add some options to disable various code gen optimizations. 
llvm-svn: 86044
 2009-11-04 19:57:50 +00:00
Devang Patel
773993746e Array element size does not match array size but array is not a bitfield. 
llvm-svn: 86043
 2009-11-04 19:37:40 +00:00
Jakob Stoklund Olesen
f775e222e0 Print out an informative comment for KILL instructions. 
The KILL pseudo-instruction may survive to the asm printer pass, just like the IMPLICIT_DEF. Print the KILL as a comment instead of just leaving a blank line in the output.

With -asm-verbose=0, a blank line is printed, like IMPLICIT?DEF.

llvm-svn: 86041
 2009-11-04 19:24:37 +00:00
Chris Lattner
4864198071 Fix an iterator invalidation bug that happens when a hashtable 
resizes in IPSCCP.  This fixes PR5394.

llvm-svn: 86036
 2009-11-04 18:57:42 +00:00
Evan Cheng
801415706c RangeIsDefinedByCopyFromReg() should check for subreg_to_reg, insert_subreg, 
and extract_subreg as a "copy" that defines a valno.
Also fixes a typo. These two issues prevent a simple subreg coalescing from
happening before.

llvm-svn: 86022
 2009-11-04 08:33:14 +00:00
Chris Lattner
d8ab8fbe9f move two functions up higher in the file. Delete a useless argument 
to EmitGEPOffset.  

Implement some new transforms for optimizing 
subtracts of two pointer to ints into the same vector.  This happens
for C++ iterator idioms for example, stringmap takes a const char*
that points to the start and end of a string.  Once inlined, we want
the pointer difference to turn back into a length.

This is rdar://7362831.

llvm-svn: 86021
 2009-11-04 08:05:20 +00:00
Evan Cheng
22121f4c69 The .n suffix must go after the predicate. 
llvm-svn: 86019
 2009-11-04 07:38:48 +00:00
Douglas Gregor
4cd9c97c74 Fix CMake makefiles 
llvm-svn: 85994
 2009-11-04 01:32:06 +00:00
Evan Cheng
1a06b12330 Use ldr.n to workaround a darwin assembler bug. 
llvm-svn: 85980
 2009-11-04 00:00:39 +00:00
Lang Hames
deed780bc6 The Indexes Patch. 
This introduces a new pass, SlotIndexes, which is responsible for numbering
instructions for register allocation (and other clients). SlotIndexes numbering
is designed to match the existing scheme, so this patch should not cause any
changes in the generated code.

For consistency, and to avoid naming confusion, LiveIndex has been renamed
SlotIndex.

The processImplicitDefs method of the LiveIntervals analysis has been moved
into its own pass so that it can be run prior to SlotIndexes. This was
necessary to match the existing numbering scheme.

llvm-svn: 85979
 2009-11-03 23:52:08 +00:00
Bob Wilson
8209e942a6 Fix branch folding bug for indirect branches: for a block containing only 
an unconditional branch (possibly from tail merging), this code is
trying to redirect all of its predecessors to go directly to the branch
target, but that isn't feasible for indirect branches.  The other
predecessors (that don't end with indirect branches) could theoretically
still be handled, but that is not easily done right now.

The AnalyzeBranch interface doesn't currently let us distinguish jump table
branches from indirect branches, and this code is currently handling
jump tables.  To avoid punting on address-taken blocks, we would have to give
up handling jump tables.  That seems like a bad tradeoff.

llvm-svn: 85975
 2009-11-03 23:44:31 +00:00
Chris Lattner
b634c6cdb5 reimplement multiple return value handling in IPSCCP, making it 
more aggressive an correct.  This survives building llvm in 64-bit
mode with optimizations and the built llvm passes make check.

llvm-svn: 85973
 2009-11-03 23:40:48 +00:00
Evan Cheng
b50510c510 Fix t2Int_eh_sjlj_setjmp. Immediate form of orr is a 32-bit instruction. So it should be 22 bytes instead of 20 bytes long. 
llvm-svn: 85965
 2009-11-03 23:13:34 +00:00
Evan Cheng
caab17007b fconsts / fconstd immediate should be proceeded with #. 
llvm-svn: 85952
 2009-11-03 21:59:33 +00:00
Evan Cheng
d783406059 Re-apply 85799. It turns out my code isn't buggy. 
llvm-svn: 85947
 2009-11-03 21:40:02 +00:00
David Goodwin
629a685f05 Do a scheduling pass ignoring anti-dependencies to identify candidate registers that should be renamed. 
llvm-svn: 85939
 2009-11-03 20:57:50 +00:00
Chris Lattner
10c341e8fa finish half thunk thought 
llvm-svn: 85937
 2009-11-03 20:52:57 +00:00
Victor Hernandez
628b65ea6e Changes requested (avoid getFunction(), avoid Type creation via isVoidTy(), and avoid redundant isFreeCall cases) in feedback to r85176 
llvm-svn: 85936
 2009-11-03 20:39:35 +00:00
David Goodwin
9f1cf41932 <rdar://problem/7352605>. When building schedule graph use mayAlias information to avoid chaining loads/stores of spill slots with non-aliased memory ops. 
llvm-svn: 85934
 2009-11-03 20:15:00 +00:00
Victor Hernandez
046375ac3f Changes (* location in pointer variables, avoiding include, and using APInt::getLimitedValue) based on feedback to r85814 
llvm-svn: 85933
 2009-11-03 20:02:35 +00:00
Chris Lattner
2aa5962af6 fix an IPSCCP bug I introduced when I changed IPSCCP to start working on 
functions that don't have local linkage.  Basically, we need to be more
careful about propagating argument information to functions whose results
we aren't tracking.  This fixes a miscompilation of 
LLVMCConfigurationEmitter.cpp when built with an llvm-gcc that has ipsccp
enabled.

llvm-svn: 85923
 2009-11-03 19:24:51 +00:00
Duncan Sands
d4b8f9ee93 Make this code more robust by not thinking we are making progress 
if zero bytes were read.

llvm-svn: 85922
 2009-11-03 19:10:22 +00:00
Devang Patel
5b0aaf3a1f Parse debug info attached with insertvalue and extractvalue instructions. 
llvm-svn: 85921
 2009-11-03 19:06:07 +00:00
Anton Korobeynikov
de7cbab064 Move subtarget check upper for NEON reg-reg fixup pass. 
llvm-svn: 85914
 2009-11-03 18:46:11 +00:00
Devang Patel
7cb7017106 Ignore unnamed variables. 
llvm-svn: 85909
 2009-11-03 18:30:27 +00:00
Chris Lattner
bfe755788f fix a subtle bug I introduced when refactoring SCCP. Testcase 
to follow.

llvm-svn: 85903
 2009-11-03 16:50:11 +00:00
Benjamin Kramer
c6b59b889b Eliminate some temporaries. 
llvm-svn: 85896
 2009-11-03 12:52:50 +00:00
Evan Cheng
1d4575274c Trim unnecessary include. 
llvm-svn: 85878
 2009-11-03 07:08:08 +00:00
Bob Wilson
97331f70ca For Thumb indirect branches, use "mov pc, reg" which does not switch 
between ARM/Thumb modes and does not require the low bit of the target
address to be set for Thumb.

llvm-svn: 85874
 2009-11-03 06:29:56 +00:00
Jeffrey Yasskin
bc6f9d7e70 Fix a funky "declared with greater visibility than the type of its field" 
warning from gcc by removing VISIBILITY_HIDDEN attributes.  

llvm-svn: 85873
 2009-11-03 06:29:36 +00:00
Evan Cheng
ed22395c61 Fix PR5367. QPR_8 is the super regclass of DPR_8 and SPR_8. 
llvm-svn: 85871
 2009-11-03 05:52:54 +00:00
Evan Cheng
2807af42c0 Clean up copyRegToReg. 
llvm-svn: 85870
 2009-11-03 05:51:39 +00:00
Evan Cheng
9bedf1b587 Add QPR_8 as a superreg class of SPR_8 and DPR_8. 
llvm-svn: 85869
 2009-11-03 05:50:57 +00:00
Chris Lattner
7585c1f162 remove unneeded checks of isFreeCall 
llvm-svn: 85866
 2009-11-03 05:35:19 +00:00
Chris Lattner
cbd903cd12 remove a check of isFreeCall: the argument to free is already nocapture so the generic call code works fine. 
llvm-svn: 85865
 2009-11-03 05:34:51 +00:00
Chris Lattner
9d0f925cf0 remove a isFreeCall check: it is a callinst that can write to memory already. 
llvm-svn: 85863
 2009-11-03 05:33:46 +00:00
Ted Kremenek
a474928cda Update CMake file. 
llvm-svn: 85861
 2009-11-03 04:14:12 +00:00
Ted Kremenek
cd7ab8bfa0 Alphabetize. 
llvm-svn: 85859
 2009-11-03 04:01:53 +00:00
Chris Lattner
b1dfdadabd turn IPSCCP back on now that the iterator invalidation bug is fixed. 
llvm-svn: 85858
 2009-11-03 03:42:51 +00:00
Anton Korobeynikov
ff29071cc6 Turn neon reg-reg moves fixup code into separate pass. This should reduce the compile time. 
llvm-svn: 85850
 2009-11-03 01:04:26 +00:00
Anton Korobeynikov
48b30c79be Revert r85049, it is causing PR5367 
llvm-svn: 85847
 2009-11-03 00:24:48 +00:00
Bob Wilson
7e071e14eb Revert previous change to a comment. The BlockAddresses go in the 
constant pool so they don't get wrapped separately.

llvm-svn: 85844
 2009-11-03 00:02:05 +00:00
Chris Lattner
00c9eb665d fix a nasty iterator invalidation bug from my conversion from 
std::map to DenseMap, exposed on release llvm-gcc bootstrap.

llvm-svn: 85840
 2009-11-02 23:25:39 +00:00
Evan Cheng
ca5847665b Revert 85799 for now. It might be breaking llvm-gcc driver. 
llvm-svn: 85827
 2009-11-02 21:49:14 +00:00
Bob Wilson
3144715b53 Put BlockAddresses into ARM constant pools. 
llvm-svn: 85824
 2009-11-02 20:59:23 +00:00
Kevin Enderby
633b294095 Fix ARMAsmParser::ParseMemoryOffsetReg() where the parameter OffsetRegNum should 
have been passed as a reference.

llvm-svn: 85823
 2009-11-02 20:14:39 +00:00
Chris Lattner
6f515d4ba8 revert r8579[56], which are causing unhappiness in buildbot land. 
llvm-svn: 85818
 2009-11-02 19:31:10 +00:00
Victor Hernandez
1d2fd19df6 Set bit instead of calling pow() to compute 2 << n 
llvm-svn: 85814
 2009-11-02 18:51:28 +00:00
Chris Lattner
874e573d61 typo 
llvm-svn: 85812
 2009-11-02 18:28:45 +00:00
Chris Lattner
a1776913ab disable IPSCCP support for multiple return values, it is buggy, so just 
disable it until I can fix it.

llvm-svn: 85810
 2009-11-02 18:22:51 +00:00
David Goodwin
9aa890eab6 Fix schedule model for BFC. 
llvm-svn: 85809
 2009-11-02 17:28:36 +00:00
Bob Wilson
0c213bed8b Hyphenate some comments. 
llvm-svn: 85808
 2009-11-02 17:10:37 +00:00
David Goodwin
0668ac893d Chain dependencies used to enforce memory order should have latency of 0 (except for true dependency of Store followed by aliased Load... we estimate that case with a single cycle of latency assuming the hardware will bypass) 
llvm-svn: 85807
 2009-11-02 17:06:28 +00:00
Bob Wilson
6eb4f53d90 Add support for BlockAddress values in ARM constant pools. 
llvm-svn: 85806
 2009-11-02 16:59:06 +00:00
Bob Wilson
ac53e0c640 Prune unnecessary include. 
llvm-svn: 85805
 2009-11-02 16:58:31 +00:00
Evan Cheng
ec5cb0cdbd Initilize the machine LICM CSE map upon the first time an instruction is hoisted to 
the loop preheader. Add instructions which are already in the preheader block that
may be common expressions of those that are hoisted out. These does get a few more
instructions CSE'ed.

llvm-svn: 85799
 2009-11-02 08:09:49 +00:00
Evan Cheng
e79ff8a615 These are done / no longer care. 
llvm-svn: 85798
 2009-11-02 07:58:25 +00:00
Evan Cheng
532dfd431f Add an entry. 
llvm-svn: 85797
 2009-11-02 07:51:19 +00:00
Chris Lattner
f1afb57935 improve IPSCCP to be able to propagate the result of "!mayBeOverridden" 
function to calls of that function, regardless of whether it has local
linkage or has its address taken.  Not escaping should only affect 
whether we make an aggressive assumption about the arguments to a 
function, not whether we can track the result of it.

llvm-svn: 85795
 2009-11-02 07:33:59 +00:00
Chris Lattner
c9279a9b4d don't mark the arguments of prototype overdefined, they will never be queried. 
llvm-svn: 85793
 2009-11-02 06:34:04 +00:00
Chris Lattner
9c7e443b07 restore some code I removed in r85788, refactor it into 
a shared place instead of duplicating it 4 times.

llvm-svn: 85792
 2009-11-02 06:28:16 +00:00
Chris Lattner
23f5603692 remove some confused code that dates from when we had 
"multiple return values" but not "first class aggregates"

llvm-svn: 85791
 2009-11-02 06:17:06 +00:00
Chris Lattner
c670f866ce avoid redundant lookups in BBExecutable, and make it a SmallPtrSet. 
llvm-svn: 85790
 2009-11-02 06:11:23 +00:00
Chris Lattner
16b825e51f Use the libanalysis 'ConstantFoldLoadFromConstPtr' function 
instead of reinventing SCCP-specific logic.  This gives us
new powers.

llvm-svn: 85789
 2009-11-02 06:06:14 +00:00
Chris Lattner
32acebedf7 switch the main 'ValueState' map from being an std::map to being 
a DenseMap.  Doing this required being aware of subtle iterator
invalidation issues, but it provides a big speedup.  In a 
release-asserts build, this sped up optimizing 403.gcc from
1.34s -> 0.79s (IPSCCP) and 1.11s -> 0.44s (SCCP).

This commit also conflates in a bunch of general cleanups, sorry.

llvm-svn: 85788
 2009-11-02 05:55:40 +00:00
Evan Cheng
57f7c7c914 Unbreak ARMBaseRegisterInfo::copyRegToReg. 
llvm-svn: 85787
 2009-11-02 04:44:55 +00:00
Chris Lattner
9fc809ca55 fix a bug exposed by moving SRoA earlier which caused a crash building kc++ 
llvm-svn: 85786
 2009-11-02 04:37:17 +00:00
Chris Lattner
7e74831e52 only IPSCCP incoming arguments if the function is executable, this fixes 
an assertion on the buildbot.

llvm-svn: 85784
 2009-11-02 03:25:55 +00:00
Chris Lattner
0a8c553eb2 add a new ValueState::getConstantInt() helper, use it to 
simplify some code.

llvm-svn: 85783
 2009-11-02 03:21:36 +00:00
Edward O'Callaghan
ad76c7541b Fix malloc.h is deprecated warning on DragonFly BSD. 
llvm-svn: 85782
 2009-11-02 03:20:57 +00:00
Edward O'Callaghan
e91c6a1a44 Fix for warning seen on DF-BSD, Victor, please fix this to use a shift instead of pow() 
llvm-svn: 85781
 2009-11-02 03:14:31 +00:00
Chris Lattner
4372b58329 tidy up some more: remove some extraneous inline specifiers, return harder. 
llvm-svn: 85780
 2009-11-02 03:03:42 +00:00
Edward O'Callaghan
64a2e8f6a5 Apply fix for PR5135, Credit to Andreas Neustifter. 
llvm-svn: 85779
 2009-11-02 02:55:39 +00:00
Chris Lattner
1c8cb53667 eliminate the SCCPSolver::getValueMapping method. 
llvm-svn: 85778
 2009-11-02 02:54:24 +00:00
Chris Lattner
f02562df08 fix failures introduced in r85774 
llvm-svn: 85777
 2009-11-02 02:48:17 +00:00
Chris Lattner
d4f286cb0c factor duplicated code into a new DeleteInstructionInBlock 
function, eliminate temporary (and pointless) smallvector.

llvm-svn: 85776
 2009-11-02 02:47:51 +00:00
Chris Lattner
a806b18c99 Chris used to use '...' instead of proper grammar. 
llvm-svn: 85775
 2009-11-02 02:33:50 +00:00
Chris Lattner
37dc1cb0fb remove some extraneous llvmcontext stuff. 
llvm-svn: 85774
 2009-11-02 02:30:06 +00:00
Chris Lattner
28db47c45a change LatticeVal to use PointerIntPair to save some space. 
llvm-svn: 85773
 2009-11-02 02:20:32 +00:00
Chris Lattner
b94afb778c fix instcombine to only do store sinking when the alignments 
of the two loads agree.  Propagate that onto the new store.

llvm-svn: 85772
 2009-11-02 02:06:37 +00:00
Anton Korobeynikov
09147da530 Handle splats of undefs properly. This includes the testcase for PR5364 as well. 
llvm-svn: 85767
 2009-11-02 00:12:06 +00:00
Anton Korobeynikov
9737bfedeb Do not infer the target type for COPY_TO_REGCLASS from dest regclass, this won't work if it can contain several types. Require explicit result type for the node for now. This fixes PR5364. 
PS: It seems that blackfin usage of copy_to_regclass is completely bogus!
llvm-svn: 85766
 2009-11-02 00:11:39 +00:00
Anton Korobeynikov
ed410a8ee3 64-bit FP loads & stores operate on both NEON and VFP pipelines. 
llvm-svn: 85765
 2009-11-02 00:11:06 +00:00
Anton Korobeynikov
3ba3789153 Use NEON reg-reg moves, where profitable. This reduces "domain-cross" stalls, when we used to mix vfp and neon code (the former were used for reg-reg moves) 
llvm-svn: 85764
 2009-11-02 00:10:38 +00:00
Evan Cheng
80a8ae9a3a Add PseudoSourceValue::mayAlias. It returns true if the object can ever alias any LLVM IR value. 
llvm-svn: 85762
 2009-11-01 23:50:04 +00:00
Evan Cheng
a409c074c8 Fix a couple more places where we are creating ld / st instructions without memoperands. 
llvm-svn: 85746
 2009-11-01 22:04:35 +00:00
Evan Cheng
4a0d47f209 Make use of imm12 version of Thumb2 ldr / str instructions more aggressively. 
llvm-svn: 85743
 2009-11-01 21:12:51 +00:00
Chris Lattner
f3c2039dde when merging two loads, make sure to take the min of their alignment, 
not the max.  This didn't matter until the previous patch because
instcombine would refuse to sink loads with differenting alignments.

llvm-svn: 85738
 2009-11-01 20:07:07 +00:00
Chris Lattner
e7b1e067e9 split load sinking out to its own function, like gep sinking. 
llvm-svn: 85737
 2009-11-01 20:04:24 +00:00
Chris Lattner
b3fe1009a5 fix a bug noticed by inspection: when instcombine sinks loads through 
phis, it didn't preserve the alignment of the load.  This is a missed
optimization of the alignment is high and a miscompilation when the
alignment is low.

llvm-svn: 85736
 2009-11-01 19:50:13 +00:00
Duncan Sands
fd3669403c Add a missing closing parenthesis, and tweak to fit in 80 
columns.

llvm-svn: 85732
 2009-11-01 19:12:43 +00:00
Chris Lattner
888d78216f cleanups, switch GlobalDCE to SmallPtrSet instead of std::set 
llvm-svn: 85730
 2009-11-01 19:03:42 +00:00
Chris Lattner
ad2926bbb4 remove a bunch of locking from LLVMContextImpl. Since only one thread 
can be banging on a context at a time, this isn't needed.  Owen, please
review.

llvm-svn: 85728
 2009-11-01 18:42:03 +00:00
Chris Lattner
02e43b65d1 improve comment. 
llvm-svn: 85725
 2009-11-01 18:17:37 +00:00
Chris Lattner
11944e39d4 add a comment about why we don't allow inlining indbr. 
llvm-svn: 85724
 2009-11-01 18:16:30 +00:00
Chris Lattner
55a53e4e79 the verifier shouldn't modify the IR. 
llvm-svn: 85722
 2009-11-01 18:11:50 +00:00
Douglas Gregor
16c6819959 Reverting 85714, 85715, 85716, which are breaking the build 
llvm-svn: 85717
 2009-11-01 16:42:53 +00:00
Dan Gohman
58714b62b6 Add a function to Passes.h to allow clients to create instances 
of the ScalarEvolution pass without needing to #include ScalarEvolution.h.

llvm-svn: 85716
 2009-11-01 15:28:36 +00:00
Dan Gohman
9cdf5185a3 Don't #include Pass.h from CallGraph.h. 
llvm-svn: 85715
 2009-11-01 15:23:35 +00:00
Dan Gohman
1d0b06c139 Remove the #include of Pass.h from PassManager.h. This breaks a significant 
#include dependency, as frontends commonly pull in PassManager.h.

llvm-svn: 85714
 2009-11-01 15:20:19 +00:00
Chris Lattner
d8f9d01b76 teach ipsccp and ipconstprop that a blockaddress doesn't 'take the address' of a function 
in a way that should prevent ip constprop.  This allows clang/test/CodeGen/indirect-goto.c
to pass with the new indirect goto lowering.

llvm-svn: 85709
 2009-11-01 06:11:53 +00:00
Chris Lattner
c340ce422d change llvm::MergeBlockIntoPredecessor to not merge two blocks BB1->BB2 
when BB2 has its address taken.  Since it ends up doing BB2->rauw(BB1),
this can cause the address of the entry block to be taken.  Since it is
generally undesirable to nuke blocks whose address is taken, even when
we can, just unconditionally stop this xform.

llvm-svn: 85708
 2009-11-01 04:57:33 +00:00
Chris Lattner
746b4c0b20 strengthen an assumption: RevectorBlockTo knows that PredBB 
ended in an uncond branch because the pass requires BreakCriticalEdges.

However, BCE doesn't eliminate critical adges from indbrs.

llvm-svn: 85707
 2009-11-01 04:23:20 +00:00
Chris Lattner
baa216cd33 fix an issue where the verifier would reject a function whose entry 
block had its address taken even if the blockaddress was dead.

llvm-svn: 85706
 2009-11-01 04:08:01 +00:00
Chris Lattner
0ee6bbbeb1 if CostMetrics says to never duplicate some code, don't unswitch a loop. 
This prevents unswitching from duplicating indbr's.

llvm-svn: 85705
 2009-11-01 03:42:55 +00:00
Chris Lattner
e7dc33941b constant fold indirectbr(blockaddress(%bb)) -> br label %bb. 
llvm-svn: 85704
 2009-11-01 03:40:38 +00:00
Chris Lattner
4cf2980e59 improve x86 codegen support for blockaddress. We now compile 
the testcase into:

_test1:                                                     ## @test1
## BB#0:                                                    ## %entry
	leaq	L_test1_bb6(%rip), %rax
	jmpq	*%rax
L_test1_bb:                                                 ## Address Taken
LBB1_1:                                                     ## %bb
	movb	$1, %al
	ret
L_test1_bb6:                                                ## Address Taken
LBB1_2:                                                     ## %bb6
	movb	$2, %al
	ret

Note, it is very very strange that BlockAddressSDNode doesn't carry 
around TargetFlags.  Dan, please fix this.

llvm-svn: 85703
 2009-11-01 03:25:03 +00:00
Chris Lattner
7a60ef5e23 pull check for return inst out of loop, never inline a callee that contains 
an indirectbr.

llvm-svn: 85702
 2009-11-01 03:07:53 +00:00
Chris Lattner
6e87bdadb9 Fix BlockAddress::replaceUsesOfWithOnConstant to correctly 
maintain the block use count in SubclassData.

llvm-svn: 85701
 2009-11-01 03:03:03 +00:00
Chris Lattner
e3b5cc7fe6 implement linker support for BlockAddress. 
llvm-svn: 85700
 2009-11-01 02:46:39 +00:00
Chris Lattner
2bbe57b2b8 Revert 85678/85680. The decision is to stay with the current form of 
indirectbr, thus we don't need "blockaddr(@func, null)".  Eliminate it
for simplicity.

llvm-svn: 85699
 2009-11-01 01:27:45 +00:00
Evan Cheng
de16fff3e8 Use cbz and cbnz instructions. 
llvm-svn: 85698
 2009-10-31 23:46:45 +00:00
Jim Grosbach
5b094f3b36 vml[as].f32 cause stalls in following advanced SIMD instructions. Avoid using 
them for scalar floating point operations for now.

llvm-svn: 85697
 2009-10-31 22:57:36 +00:00
Chris Lattner
1f101c7a1a Make sure PRE doesn't split crit edges from indirectbr. 
llvm-svn: 85692
 2009-10-31 22:11:15 +00:00
Chris Lattner
43591a021a llvm::SplitEdge should refuse to split an edge from an indirectbr. 
Fix CodeGenPrepare to not try to split edges from indirectbr.

llvm-svn: 85690
 2009-10-31 22:04:43 +00:00
Chris Lattner
ea1bebaa65 update the comment above llvm::SplitCriticalEdge, and make 
it abort on IndirectBrInst as describe in the comment.

llvm-svn: 85688
 2009-10-31 21:51:10 +00:00
Jim Grosbach
ace75c4288 Expand 64-bit logical shift right inline 
llvm-svn: 85687
 2009-10-31 21:42:19 +00:00
Jim Grosbach
16ae289667 Expand 64-bit arithmetic shift right inline 
llvm-svn: 85685
 2009-10-31 21:00:56 +00:00
Dan Gohman
423e97a5ad Fix a missing newline in the dwarf output code. 
llvm-svn: 85684
 2009-10-31 20:59:09 +00:00
Dan Gohman
a66239e39f Make -print-machineinstrs more readable. 
- Be consistent when referring to MachineBasicBlocks: BB#0.
 - Be consistent when referring to virtual registers: %reg1024.
 - Be consistent when referring to unknown physical registers: %physreg10.
 - Be consistent when referring to known physical registers: %RAX
 - Be consistent when referring to register 0: %reg0
 - Be consistent when printing alignments: align=16
 - Print jump table contents.
 - Don't print host addresses, in general.
 - and various other cleanups.

llvm-svn: 85682
 2009-10-31 20:19:03 +00:00
Dan Gohman
de460ebecb Factor out more code into addCommonCodeGenPasses. The JIT wasn't 
previously running CodePlacementOpt. Also print headers before
each dump in -print-machineinstrs mode, so that it's clear which
dump is which.

llvm-svn: 85681
 2009-10-31 20:17:39 +00:00
Chris Lattner
48de74645e adjust a couple xforms to work with null bb's in BlockAddress. 
llvm-svn: 85680
 2009-10-31 20:13:24 +00:00
Chris Lattner
cbab35746f Make blockaddress(@func, null) be valid, and make 'deleting a basic 
block with a blockaddress still referring to it' replace the invalid 
blockaddress with a new blockaddress(@func, null) instead of a 
inttoptr(1).

This changes the bitcode encoding format, and still needs codegen 
support (this should produce a non-zero value, referring to the entry
block of the function would also be quite reasonable).

llvm-svn: 85678
 2009-10-31 20:08:37 +00:00
Jim Grosbach
534d2cb249 Expand 64 bit left shift inline rather than using the libcall. For now, this 
is unconditional. Making it still use the libcall when optimizing for size
would be a good adjustment.

llvm-svn: 85675
 2009-10-31 19:38:01 +00:00
Chris Lattner
0be6fcef18 add a comment. 
llvm-svn: 85671
 2009-10-31 17:48:31 +00:00
Dan Gohman
61e806613f Revert r85667. LoopUnroll currently can't call utility functions which 
auto-update the DominatorTree because it doesn't keep the DominatorTree
current while it works.

llvm-svn: 85670
 2009-10-31 17:33:01 +00:00
Dan Gohman
cb32fa9e90 Remove redundant code. 
llvm-svn: 85668
 2009-10-31 16:16:41 +00:00
Dan Gohman
40cec16be1 Merge the enhancements from LoopUnroll's FoldBlockIntoPredecessor into 
MergeBlockIntoPredecessor. This makes SimplifyCFG slightly more aggressive,
and makes it unnecessary for LoopUnroll to have its own copy of this code.

llvm-svn: 85667
 2009-10-31 16:08:00 +00:00
Dan Gohman
0079f87732 Rename forgetLoopBackedgeTakenCount to forgetLoop, because it 
clears out more information than just the stored backedge taken count.

llvm-svn: 85664
 2009-10-31 15:04:55 +00:00
Dan Gohman
de593b49b6 Replace LoopUnrollPass.cpp's custom code-size estimation code using 
the new common CodeMetrics code.

llvm-svn: 85663
 2009-10-31 14:54:17 +00:00
Dan Gohman
14d0be4693 Simplify this code. 
llvm-svn: 85662
 2009-10-31 14:46:50 +00:00
Dan Gohman
0f8d034e2f Remove an unnecessary #include. 
llvm-svn: 85661
 2009-10-31 14:39:43 +00:00
Dan Gohman
793119ef88 Update CMakeLists for recent renames. 
llvm-svn: 85660
 2009-10-31 14:38:25 +00:00
Dan Gohman
0186fd092a Rename UnrollLoop.cpp to LoopUnroll.cpp, and LoopUnroll.cpp to 
LoopUnrollPass.cpp, for consistency with other passes which are
similarly split.

llvm-svn: 85659
 2009-10-31 14:37:31 +00:00
Dan Gohman
04c536dff6 Remove CodeGenLICM. It's largely obsoleted by MachineLICM's new ability 
to unfold loop-invariant loads.

llvm-svn: 85657
 2009-10-31 14:35:41 +00:00
Dan Gohman
7d09ca3e5b Make ScalarEvolutionAliasAnalysis slightly more aggressive, by making an 
underlying alias call even for non-identified-object values.

llvm-svn: 85656
 2009-10-31 14:32:25 +00:00
Dan Gohman
25091aa227 Reapply r85634, with the bug fixed. 
llvm-svn: 85655
 2009-10-31 14:22:52 +00:00
Dan Gohman
02e34cd465 When discarding SrcValue information, discard all of it so that code 
that uses this information knows to behave conservatively.

llvm-svn: 85654
 2009-10-31 14:14:04 +00:00
Dan Gohman
9c7c19f264 Fix 80-column violation. 
llvm-svn: 85653
 2009-10-31 14:12:53 +00:00
Eric Christopher
dec076697a Fix warning with gcc-4.0 and signed/unsigned. 
llvm-svn: 85648
 2009-10-31 09:24:35 +00:00
Evan Cheng
9178904e56 It's safe to remat t2LDRpci; Add PseudoSourceValue to load / store's to enable more machine licm. More changes coming. 
llvm-svn: 85643
 2009-10-31 03:39:36 +00:00
Evan Cheng
a0457853b2 Revert 85634. It's breaking consumer-typeset (and others). 
llvm-svn: 85641
 2009-10-31 01:28:06 +00:00
Dan Gohman
c917bbdeae Add assertion checks here to turn silent miscompiles into aborts. 
llvm-svn: 85639
 2009-10-30 23:59:06 +00:00
Dan Gohman
3d1f3f707f Don't mark registers dead here when processing nodes with MVT::Flag 
results. This works around a problem affecting targets which rely on
MVT::Flag to handle physical register defs.

llvm-svn: 85638
 2009-10-30 23:57:47 +00:00
Dan Gohman
c8a5a5ece2 Add a comment about a missed opportunity. 
llvm-svn: 85635
 2009-10-30 23:15:43 +00:00
Dan Gohman
a532f755f7 Optimize around the fact that pred_iterator is slow: instead of sorting 
PHI operands by the predecessor order, sort them by the order used by the
first PHI in the block. This is still suffucient to expose duplicates.

llvm-svn: 85634
 2009-10-30 23:15:21 +00:00
Kevin Enderby
c8d047130a Updates to the ARM target assembler for llvm-mc per review comments from 
Daniel Dunbar.
- Reordered the fields in the ARMOperand Mem struct to make the struct smaller.
Making bool's into 1 bit fields and put the MCExpr* fields adjacent to each
other.
- Fixed a number of places in ARMAsmParser.cpp so they have doxygen comments.
- Change the name of ARMAsmParser::ParseRegister() to MaybeParseRegister and
added the bool ParseWriteBack parameter.
- Changed ARMAsmParser::ParseMemory() to call MaybeParseRegister().
- Added ARMAsmParser::ParseMemoryOffsetReg to factor out parsing the offset of a
memory operand.  And use it for both parsing both preindexed and post indexing
addressing forms in ARMAsmParser::ParseMemory.
- Changed the first argument to ParseShift() to a reference.
- Changed ParseShift() to check for Rrx first and return to reduce nesting.

llvm-svn: 85632
 2009-10-30 22:55:57 +00:00
Devang Patel
b16ace1014 If string field is empty then return NULL. 
llvm-svn: 85630
 2009-10-30 22:52:47 +00:00
Chris Lattner
3982885b51 if basic blocks are destroyed while there are *just* BlockAddress' hanging 
around, then zap them.  This is analogous to dangling constantexprs hanging
off functions.

llvm-svn: 85627
 2009-10-30 22:39:36 +00:00
Dan Gohman
48f3169c77 Teach SimplifyCFG how to eliminate duplicate PHI nodes within a block. 
This reduces codesize on a variety of codes by 1-2% on x86-64. It also
helps clean up after SSAUpdater.

llvm-svn: 85626
 2009-10-30 22:39:04 +00:00
Chris Lattner
74ed905748 make hasAddressTaken() constant time by storing a refcount in BB's subclass data. 
llvm-svn: 85625
 2009-10-30 22:33:29 +00:00
Bob Wilson
1c2cbe3945 Add a note about Robert Muth's alternate jump table implementation. 
llvm-svn: 85624
 2009-10-30 22:22:46 +00:00
Dan Gohman
82139ffc65 Sort the incoming values in PHI nodes to match the predecessor order. 
This helps expose duplicate PHIs, which will make it easier for them
to be eliminated.

llvm-svn: 85623
 2009-10-30 22:22:22 +00:00
Dan Gohman
ad6c6a3d33 Fix MachineLICM to use the correct virtual register class when 
unfolding loads for hoisting.  getOpcodeAfterMemoryUnfold returns the
opcode of the original operation without the load, not the load
itself, MachineLICM needs to know the operand index in order to get
the correct register class. Extend getOpcodeAfterMemoryUnfold to
return this information.

llvm-svn: 85622
 2009-10-30 22:18:41 +00:00
Chris Lattner
5b38f2ec49 it isn't valid to take the address of the entry block. 
llvm-svn: 85621
 2009-10-30 22:15:48 +00:00
Devang Patel
2b9d1ade65 If a type is derived from a derived type then calculate size appropriately. 
llvm-svn: 85619
 2009-10-30 22:09:30 +00:00
Bob Wilson
94d79c1f43 Fix a comment. 
llvm-svn: 85610
 2009-10-30 20:13:25 +00:00
Evan Cheng
8db8f72185 Add option to createGVNPass to disable PRE. 
llvm-svn: 85609
 2009-10-30 20:12:24 +00:00
Lang Hames
68c94340cb Stop the iterator in ValueLiveAt from potentially running off the end of the interval. 
llvm-svn: 85599
 2009-10-30 18:12:09 +00:00
Rafael Espindola
d4fadd76da This fixes functions like 
void f (int a1, int a2, int a3, int a4, int a5,...)

In ARMTargetLowering::LowerFormalArguments if the function has 4 or
more regular arguments we used to set VarArgsFrameIndex using an
offset of 0, which is only correct if the function has exactly 4
regular arguments.

llvm-svn: 85590
 2009-10-30 14:33:14 +00:00
Bob Wilson
95064e348a Add ARM codegen for indirect branches. 
clang/test/CodeGen/indirect-goto.c runs! (unoptimized)

llvm-svn: 85577
 2009-10-30 05:45:42 +00:00
Dan Gohman
84554e8eb2 Most stack straces don't need 3 digits worth of levels. 
llvm-svn: 85575
 2009-10-30 02:45:10 +00:00
Dan Gohman
2f18203b64 Don't delete blocks which have their address taken. 
llvm-svn: 85572
 2009-10-30 02:13:27 +00:00
Dan Gohman
2a0216ff1c Mention if a block has its address taken in debug output. 
llvm-svn: 85571
 2009-10-30 02:08:26 +00:00
Dan Gohman
42e985b07a Simplify this code and avoid an extra space character in the output. 
llvm-svn: 85568
 2009-10-30 02:01:10 +00:00
Dan Gohman
468aef9289 Add support for BlockAddress static initializers. 
llvm-svn: 85562
 2009-10-30 01:45:18 +00:00
Dan Gohman
aa62f675db Add a FIXME comment. 
llvm-svn: 85559
 2009-10-30 01:38:20 +00:00
Dan Gohman
a0fc491716 Add some comments. 
llvm-svn: 85558
 2009-10-30 01:34:35 +00:00
Dan Gohman
2767aa065e Initial x86 support for BlockAddresses. 
llvm-svn: 85557
 2009-10-30 01:28:02 +00:00
Dan Gohman
6b7d1390d7 Initial target-independent CodeGen support for BlockAddresses. 
llvm-svn: 85556
 2009-10-30 01:27:03 +00:00
Jim Grosbach
95e1ff2dba Dial back the realignment a bit. 
llvm-svn: 85546
 2009-10-30 00:08:40 +00:00
David Goodwin
9a91b1fe3d Between scheduling regions, correctly maintain anti-dep breaking state so that we don't incorrectly rename registers that span these regions. 
llvm-svn: 85537
 2009-10-29 23:30:59 +00:00
Dan Gohman
ed15829b83 Remove some unnecessary spaces in debug output. 
llvm-svn: 85536
 2009-10-29 23:30:06 +00:00
Dan Gohman
7f5acc4b57 Move some code from being emitted as boilerplate duplicated in every 
*ISelDAGToDAG.cpp to being regular code in SelectionDAGISel.cpp.

llvm-svn: 85530
 2009-10-29 22:30:23 +00:00
David Goodwin
ad8a169be4 Fix a couple of bugs in aggressive anti-dep breaking. 
llvm-svn: 85522
 2009-10-29 19:17:04 +00:00
Bob Wilson
e99d5530a3 Refactor complicated predicate into a separate function. 
llvm-svn: 85519
 2009-10-29 18:40:06 +00:00
Devang Patel
093d35bd8a First bitcase use may not lead to a dbg.declare intrinsic. Iterate uses until one find's dbg.declare intrinsic. 
Patch by Sunae Seo.

llvm-svn: 85518
 2009-10-29 18:20:34 +00:00
Dan Gohman
3393a4c997 Rename usesCustomDAGSchedInserter to usesCustomInserter, and update a 
bunch of associated comments, because it doesn't have anything to do
with DAGs or scheduling. This is another step in decoupling MachineInstr
emitting from scheduling.

llvm-svn: 85517
 2009-10-29 18:10:34 +00:00
Dan Gohman
4620ed7bb7 Refactor the code for unfolding a load into a separate function. 
llvm-svn: 85515
 2009-10-29 17:47:20 +00:00
Bill Wendling
c0aefdd3db Reapply r85338. 
llvm-svn: 85514
 2009-10-29 17:39:46 +00:00
Benjamin Kramer
c2ed14cdb8 Fix MSVC build. 
llvm-svn: 85505
 2009-10-29 12:55:32 +00:00
Nick Lewycky
5207d16c05 Apply some cleanups. No functionality changes. 
llvm-svn: 85498
 2009-10-29 07:35:15 +00:00
Chris Lattner
57a8d8d4e0 add sanity check for indbr. 
llvm-svn: 85496
 2009-10-29 05:53:32 +00:00
Chris Lattner
e83554145a just for the hell of it, allow globalopt to statically evaluate 
static constructors with indirect gotos :)

llvm-svn: 85495
 2009-10-29 05:51:50 +00:00
Chris Lattner
9bc4a421e2 add interpreter support for indirect goto / blockaddress. The interpreter 
now correctly runs clang's test/CodeGen/indirect-goto.c.  The JIT will abort
on it until someone feels compelled to implement this.

llvm-svn: 85488
 2009-10-29 05:26:09 +00:00
Zhongxing Xu
93af2d027f fix 80-col. 
llvm-svn: 85480
 2009-10-29 04:41:24 +00:00
Zhongxing Xu
45d8013f73 Explicitly convert to double to suppress Visual C++ 2008 build error C2668 pow is ambiguous call to overloaded function 
llvm-svn: 85478
 2009-10-29 03:43:06 +00:00
Jim Grosbach
071b4ec891 To get more thorough testing from llc-beta nightly runs, do dynamic stack 
realignment regardless of whether it's strictly necessary.

llvm-svn: 85476
 2009-10-29 02:41:21 +00:00
Jim Grosbach
220e39263c When the function is doing dynamic stack realignment, the spill slot will be 
indexed via the stack pointer, even if a frame pointer is present. Update the
heuristic to place it nearest the stack pointer in that case, rather than
nearest the frame pointer.

llvm-svn: 85474
 2009-10-29 02:33:47 +00:00
Chris Lattner
a0e35cae82 teach various passes about blockaddress. We no longer 
crash on any clang tests.

llvm-svn: 85465
 2009-10-29 01:21:20 +00:00
Dale Johannesen
2dcd23d6f7 When there is a 2-instruction spill sequence, record 
the second (store) instruction in SpillSlotToUsesMap
consistently.  I don't think this matters functionally,
but it's cleaner and Evan wants it this way.

llvm-svn: 85463
 2009-10-29 01:15:40 +00:00
Bill Wendling
58923e365d Don't put in these EH changes. 
llvm-svn: 85460
 2009-10-29 00:37:35 +00:00
Chris Lattner
0a782eec94 teach ValueMapper about BlockAddress', making bugpoint a lot more useful. 
llvm-svn: 85458
 2009-10-29 00:31:02 +00:00
Chris Lattner
8f70e602d3 unindent massive blocks, no functionality change. 
llvm-svn: 85457
 2009-10-29 00:28:30 +00:00
Bill Wendling
784d38511f Reverting r85338 for now. It's causing a bootstrap failure on PPC darwin9. 
--- Reverse-merging r85338 into '.':
U    lib/CodeGen/SimpleRegisterCoalescing.cpp
U    lib/CodeGen/SimpleRegisterCoalescing.h

llvm-svn: 85454
 2009-10-29 00:22:16 +00:00
Dan Gohman
c80f1a4033 Add a hasAddressTaken for BasicBlock. 
llvm-svn: 85449
 2009-10-29 00:09:08 +00:00