RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00
Code Issues Projects Releases Wiki Activity
46,448 Commits 4 Branches 5 Tags 704 MiB
dad97e1bfc
Commit Graph

28334 Commits

Author SHA1 Message Date
Anton Korobeynikov
cebc97d79c Properly handle ExternalSymbol's 
llvm-svn: 70752
 2009-05-03 13:14:46 +00:00
Anton Korobeynikov
9b84c6b633 Expand muls (all mulls!) to libcalls for now 
llvm-svn: 70751
 2009-05-03 13:14:25 +00:00
Anton Korobeynikov
7f560f113d Proper name 16 bit libcalls 
llvm-svn: 70750
 2009-05-03 13:14:08 +00:00
Anton Korobeynikov
b4da45ecd8 Add libcall expansion for 16 and 128 bit muls 
llvm-svn: 70749
 2009-05-03 13:13:51 +00:00
Anton Korobeynikov
80d0bdc789 Provide addc and subc 
llvm-svn: 70748
 2009-05-03 13:13:34 +00:00
Anton Korobeynikov
1f80bde7ad Add left shift 
llvm-svn: 70747
 2009-05-03 13:13:17 +00:00
Anton Korobeynikov
d9b4143e47 Add direct branch 
llvm-svn: 70746
 2009-05-03 13:12:58 +00:00
Anton Korobeynikov
c5a13f6a3f It's error-prone to maintain two separate variants of asmprinting stuff, one of which is even used. Drop second (aka 'intel') variant of operands. It can be added later, if needed. 
llvm-svn: 70745
 2009-05-03 13:12:37 +00:00
Anton Korobeynikov
f7943f8df6 Lower select with custom inserted and make condjumps generic 
llvm-svn: 70744
 2009-05-03 13:12:23 +00:00
Anton Korobeynikov
d55d6586ae Add first draft for conditions, conditional branches, etc 
llvm-svn: 70743
 2009-05-03 13:12:06 +00:00
Anton Korobeynikov
2b8085a3f5 Hanle i8 returns 
llvm-svn: 70742
 2009-05-03 13:11:48 +00:00
Anton Korobeynikov
67b1a5c20b Small tweaking 
llvm-svn: 70741
 2009-05-03 13:11:35 +00:00
Anton Korobeynikov
c428224a89 Add prologue/epilogue emission. Fix frame pointer handling. 
llvm-svn: 70740
 2009-05-03 13:11:20 +00:00
Anton Korobeynikov
10d199fa80 Add code for save/restore of callee-saved registers 
llvm-svn: 70739
 2009-05-03 13:11:04 +00:00
Anton Korobeynikov
6a63537ff0 Two more hooks for RA and FP registers 
llvm-svn: 70738
 2009-05-03 13:10:40 +00:00
Anton Korobeynikov
06d645c199 Proper handle loading of effective address of stack slot stuff 
llvm-svn: 70737
 2009-05-03 13:10:26 +00:00
Anton Korobeynikov
88cc152a78 Match frame indexes 
llvm-svn: 70736
 2009-05-03 13:10:11 +00:00
Anton Korobeynikov
e7639579a3 First draft of stack slot loads / stores lowering 
llvm-svn: 70735
 2009-05-03 13:09:57 +00:00
Anton Korobeynikov
1f9d4dc64d Reverse order of memory arguments 
llvm-svn: 70734
 2009-05-03 13:09:40 +00:00
Anton Korobeynikov
f3fadcbbda Remove bogus pattern 
llvm-svn: 70733
 2009-05-03 13:09:24 +00:00
Anton Korobeynikov
47c1450013 Correct asmprinting of memory operands 
llvm-svn: 70732
 2009-05-03 13:09:10 +00:00
Anton Korobeynikov
eea3a58bbf Match wrapper node for address 
llvm-svn: 70731
 2009-05-03 13:08:51 +00:00
Anton Korobeynikov
cd06be1d13 Add lowering for global address nodes. Not pretty efficient though. 
llvm-svn: 70730
 2009-05-03 13:08:33 +00:00
Anton Korobeynikov
e02a674ee0 Some early full call lowering draft for direct calls 
llvm-svn: 70729
 2009-05-03 13:08:13 +00:00
Anton Korobeynikov
b396742d02 Add call frame setup instruction elimination and lowerid for bunch of call-related stuff. 
llvm-svn: 70728
 2009-05-03 13:07:54 +00:00
Anton Korobeynikov
4fa710b300 Add CALL lowering. 
llvm-svn: 70727
 2009-05-03 13:07:31 +00:00
Anton Korobeynikov
582d2a335b Add bunch of mem-whatever patterns 
llvm-svn: 70726
 2009-05-03 13:07:10 +00:00
Anton Korobeynikov
d14ee9eeae Add bunch of reg-mem inst patterns 
llvm-svn: 70725
 2009-05-03 13:06:46 +00:00
Anton Korobeynikov
7b7a743ea8 Add normal and trunc stores 
llvm-svn: 70724
 2009-05-03 13:06:26 +00:00
Anton Korobeynikov
91359dcc3b Basic support for mem=>reg moves 
llvm-svn: 70723
 2009-05-03 13:06:03 +00:00
Anton Korobeynikov
83122b7ef0 Add 8-bit insts. zext behaviour is not modelled yet 
llvm-svn: 70722
 2009-05-03 13:05:42 +00:00
Anton Korobeynikov
1c0af22261 Add 8-bit regclass and pattern for sext_inreg 
llvm-svn: 70721
 2009-05-03 13:05:22 +00:00
Anton Korobeynikov
d74b7ab46d Add pattern for OR 
llvm-svn: 70720
 2009-05-03 13:05:00 +00:00
Anton Korobeynikov
aff90ae4f2 Add reg-imm variants 
llvm-svn: 70719
 2009-05-03 13:04:41 +00:00
Anton Korobeynikov
ff4332fcde Add hint to nop 
llvm-svn: 70718
 2009-05-03 13:04:23 +00:00
Anton Korobeynikov
a46b46fa46 Add more instructions 
llvm-svn: 70717
 2009-05-03 13:04:06 +00:00
Anton Korobeynikov
1921caf185 Cleanup 
llvm-svn: 70716
 2009-05-03 13:03:50 +00:00
Anton Korobeynikov
262c4b9ff9 Add dummy lowering for shifts 
llvm-svn: 70715
 2009-05-03 13:03:33 +00:00
Anton Korobeynikov
f21d1d0d2c We don't have any div at all - thus mark it as expensive 
llvm-svn: 70714
 2009-05-03 13:03:14 +00:00
Anton Korobeynikov
df71fb8a3a We're not going to spend 100% of time in interrupts, do we? :) 
llvm-svn: 70713
 2009-05-03 13:02:57 +00:00
Anton Korobeynikov
627e169e8e Add simple reg-reg add. 
llvm-svn: 70712
 2009-05-03 13:02:39 +00:00
Anton Korobeynikov
be8018ff1d gas uses lower letter for register names 
llvm-svn: 70711
 2009-05-03 13:02:22 +00:00
Anton Korobeynikov
e9e0353b21 Add code enough for emission of reg-reg and reg-imm moves. This allows us to compile "ret i16 0" properly! 
llvm-svn: 70710
 2009-05-03 13:02:04 +00:00
Anton Korobeynikov
8b763cb6ec Add function body printing routine 
llvm-svn: 70709
 2009-05-03 13:01:41 +00:00
Anton Korobeynikov
5f8e2ee553 Add 'msp430' target triple recognizer 
llvm-svn: 70708
 2009-05-03 13:01:23 +00:00
Anton Korobeynikov
f5317831da Make emit{Prologue,Epilogue}() noop for now 
llvm-svn: 70707
 2009-05-03 13:01:04 +00:00
Anton Korobeynikov
57d55e96cd Add callee-saved regs & reg classes getter hooks 
llvm-svn: 70706
 2009-05-03 13:00:46 +00:00
Anton Korobeynikov
70dbb3eb2f Add simple FP indicator for given function hook 
llvm-svn: 70705
 2009-05-03 13:00:28 +00:00
Anton Korobeynikov
4c91b3a6f2 Provide set of reserved registers 
llvm-svn: 70704
 2009-05-03 13:00:11 +00:00
Anton Korobeynikov
ebab62b827 Add proper ISD::RET lowering 
llvm-svn: 70703
 2009-05-03 12:59:50 +00:00
Anton Korobeynikov
e74a06c068 Add first draft of MSP430 calling convention stuff and draft of ISD::FORMAL_ARGUMENTS node lowering. 
llvm-svn: 70702
 2009-05-03 12:59:33 +00:00
Anton Korobeynikov
b85740bf76 Fix register names, fix register allocation order, handle frame pointer. 
llvm-svn: 70701
 2009-05-03 12:59:16 +00:00
Anton Korobeynikov
5af68b43bc Clearify the usage and add some debug stuff 
llvm-svn: 70700
 2009-05-03 12:58:58 +00:00
Anton Korobeynikov
840e251a16 Cleanup 
llvm-svn: 70699
 2009-05-03 12:58:40 +00:00
Anton Korobeynikov
372921c7be Add cmake script. No idea whether it works or not :) 
llvm-svn: 70698
 2009-05-03 12:58:22 +00:00
Anton Korobeynikov
0eec6e6c0a Add a note 
llvm-svn: 70697
 2009-05-03 12:58:05 +00:00
Anton Korobeynikov
be51fd1388 Typo 
llvm-svn: 70695
 2009-05-03 12:57:47 +00:00
Anton Korobeynikov
d49e584da5 Dummy MSP430 backend 
llvm-svn: 70694
 2009-05-03 12:57:15 +00:00
Argyrios Kyrtzidis
a034549d67 -Move the DwarfWriter::ValidDebugInfo check to a static DIDescriptor::ValidDebugInfo 
-Create DebugLocs without the need to have a DwarfWriter around

llvm-svn: 70682
 2009-05-03 08:50:41 +00:00
Dan Gohman
8e4b9e586b Revert r70645 for now; it's causing a variety of regressions. 
llvm-svn: 70661
 2009-05-03 05:46:20 +00:00
Nick Lewycky
01b22399ef Revert r70630. Go back to appending ".b" to internal globals when shrinking 
them to bool.

llvm-svn: 70653
 2009-05-03 03:49:08 +00:00
Dan Gohman
7d98736ca6 Convert ScalarEvolution to use CallbackVH for its internal map. This 
makes ScalarEvolution::deleteValueFromRecords, and it's code that
subtly needed to be called before ReplaceAllUsesWith, unnecessary.

It also makes ValueDeletionListener unnecessary.

llvm-svn: 70645
 2009-05-02 21:19:20 +00:00
Dan Gohman
dc96a23780 Apply Jeffrey Yasskin's CallbackVH patch, with minor tweaks from me 
to make the copy constructor and destructor protected, and corresponding
adjustments to the unittests.

llvm-svn: 70644
 2009-05-02 21:10:48 +00:00
Dan Gohman
7c5f68dd5c The second argument to RecursivelyDeleteTriviallyDeadInstructions has 
a default value, and will hopefully be going away soon.

llvm-svn: 70642
 2009-05-02 20:22:10 +00:00
Dan Gohman
a79cce4aef Previously, RecursivelyDeleteDeadInstructions provided an option 
of returning a list of pointers to Values that are deleted. This was
unsafe, because the pointers in the list are, by nature of what
RecursivelyDeleteDeadInstructions does, always dangling. Replace this
with a simple callback mechanism. This may eventually be removed if
all clients can reasonably be expected to use CallbackVH.

Use this to factor out the dead-phi-cycle-elimination code from LSR
utility function, and generalize it to use the
RecursivelyDeleteTriviallyDeadInstructions utility function.

This makes LSR more aggressive about eliminating dead PHI cycles;
adjust tests to either be less trivial or to simply expect fewer
instructions.

llvm-svn: 70636
 2009-05-02 18:29:22 +00:00
Dan Gohman
9608880839 When ScalarEvolution is told to forget the trip count for a loop, have 
it also forget any SCEVs associated with loop-header PHIs in the loop,
as they may be dependent on trip count information.

llvm-svn: 70633
 2009-05-02 17:43:35 +00:00
Dan Gohman
cc3edfaa6c Tell ScalarEvolution that the loop is being deleted before actually 
deleting it.  This will let ScalarEvolution be more complete about
updating its records.

llvm-svn: 70632
 2009-05-02 17:29:26 +00:00
Nick Lewycky
3e85ff61b3 Don't append ".b" to the names of globals that are being shrunk to booleans. 
llvm-svn: 70630
 2009-05-02 16:21:50 +00:00
Dan Gohman
a4b28ca3c9 Don't split critical edges during the AddUsersIfInteresting phase 
of LSR. This makes the AddUsersIfInteresting phase of LSR a pure
analysis instead of a phase that potentially does CFG modifications.

The conditions where this code would actually perform a split are
rare, and in the cases where it actually would do a split the split
is usually undone by CodeGenPrepare, and in cases where splits
actually survive into codegen, they appear to hurt more often than
they help.

llvm-svn: 70625
 2009-05-02 05:36:01 +00:00
Chris Lattner
c6d561ed27 'The attached patch fixes an issue where llc -march=cpp fails with 
"Invalid primitive type" on input containing the x86_fp80 type.'
Patch by Collin Winter!

llvm-svn: 70610
 2009-05-01 23:54:26 +00:00
Dan Gohman
6aa1fd5065 Change the description string of the LoopInfo pass. 
"Construction" makes it sound like a pass that might
modify the CFG to construct natural loops.

llvm-svn: 70580
 2009-05-01 21:58:05 +00:00
Bob Wilson
da90bf9e40 Allow CONCAT_VECTORS nodes to be legal or have custom lowering for some targets. 
Changes to take advantage of this will come later.

llvm-svn: 70560
 2009-05-01 17:55:32 +00:00
Dan Gohman
d57099a9eb Actually insert inserted instructions into the InsertedValues map. 
llvm-svn: 70557
 2009-05-01 17:13:31 +00:00
Dan Gohman
bdc33dc988 Make RequiresTypeConversion canonicalize the types before calling the 
target hooks canLosslesslyBitCastTo and isTruncateFree. This allows
targets to avoid worrying about handling all combinations of integer
and pointer types.

llvm-svn: 70555
 2009-05-01 17:07:43 +00:00
Dan Gohman
0dc2b769b0 When printing a SCEVUnknown with pointer type, don't print an 
artificial "ptrtoint", as it tends to clutter up complicated
expressions. The cast operators now print both source and
destination types, which is usually sufficient.

llvm-svn: 70554
 2009-05-01 17:02:22 +00:00
Dan Gohman
bc336eab6e Short-circuit inttoptr-ptrtoint constant expressions; these aren't 
always folded by the regular constant folder because it doesn't have
TargetData information.

llvm-svn: 70553
 2009-05-01 17:00:00 +00:00
Dan Gohman
9dd3e99217 Minor whitespace fix. 
llvm-svn: 70551
 2009-05-01 16:56:32 +00:00
Dan Gohman
7eab4d2fa2 Fix an 80-column violation. 
llvm-svn: 70550
 2009-05-01 16:44:56 +00:00
Dan Gohman
24b592972d When creating cast scevs, canonicalize the destination type. This 
avoids duplicate scevs that differ only in type.

llvm-svn: 70549
 2009-05-01 16:44:18 +00:00
Dan Gohman
a55fce998e Fix some code to work if TargetLowering is not available. 
llvm-svn: 70546
 2009-05-01 16:29:14 +00:00
Bill Wendling
2da6a65b62 Simplify more code and add timer stuff. 
llvm-svn: 70539
 2009-05-01 08:40:06 +00:00
Bill Wendling
0bab670012 Simplify more code. 
llvm-svn: 70537
 2009-05-01 08:35:12 +00:00
Torok Edwin
63c28133ae hasSCEV() was declared in ScalarEvolution.h, but never defined. This must have 
gone lost during the pImpl conversion.

llvm-svn: 70536
 2009-05-01 08:33:47 +00:00
Bill Wendling
662dfea32e Simplify some code. 
llvm-svn: 70534
 2009-05-01 08:32:14 +00:00
Bill Wendling
2f01fd9bf1 Fix whitespace. It was confusing me. 
llvm-svn: 70533
 2009-05-01 08:25:13 +00:00
Evan Cheng
d6a780a181 Code clean up. Bye bye PhysRegTracker. 
llvm-svn: 70524
 2009-05-01 01:03:49 +00:00
Argyrios Kyrtzidis
123a0fb56f Fix compilation for some targets other than x86. 
llvm-svn: 70522
 2009-04-30 23:50:26 +00:00
Argyrios Kyrtzidis
9956976b76 Make DebugLoc independent of DwarfWriter. 
-Replace DebugLocTuple's Source ID with CompileUnit's GlobalVariable*
-Remove DwarfWriter::getOrCreateSourceID
-Make necessary changes for the above (fix callsites, etc.)

llvm-svn: 70520
 2009-04-30 23:22:31 +00:00
Argyrios Kyrtzidis
ad07acf07a Set FnEnd in JITEmitter::finishFunction to point strictly to the end of function's machine code. 
Don't include memory allocated for global variables during relocations resolution.

llvm-svn: 70517
 2009-04-30 23:01:58 +00:00
Jakob Stoklund Olesen
17d292db73 Join cross class copies using getCommonSubClass() 
llvm-svn: 70513
 2009-04-30 21:24:03 +00:00
Jakob Stoklund Olesen
bcb5d651a3 getCommonSubClass() - Calculate the largest common sub-class of two register 
classes.

This is implemented as a function rather than a method on TargetRegisterClass
because it is symmetric in its arguments.

llvm-svn: 70512
 2009-04-30 21:23:32 +00:00
Dan Gohman
6d5f693ede Add some comments, and tidy up some whitespace. 
llvm-svn: 70510
 2009-04-30 20:48:53 +00:00
Dan Gohman
3c9f4f765c Extend ScalarEvolution's getBackedgeTakenCount to be able to 
compute an upper-bound value for the trip count, in addition to
the actual trip count. Use this to allow getZeroExtendExpr and
getSignExtendExpr to fold casts in more cases.

This may eventually morph into a more general value-range
analysis capability; there are certainly plenty of places where
more complete value-range information would allow more folding.

llvm-svn: 70509
 2009-04-30 20:47:05 +00:00
Evan Cheng
a4c868f1d4 Add a smarter heuristic to determine when to coalesce a virtual register with a physical one. More specifically, it avoid tying a virtual register in the loop with a physical register defined / used outside the loop. When it determines it's not profitable, it will use the physical register as the allocation preference instead. 
This is *not* turned on by default. Testing indicates this is just as likely to pessimize code. The main issue seems to be allocation preference doesn't work effectively. That will change once I've taught register allocator "swapping".

llvm-svn: 70503
 2009-04-30 18:39:57 +00:00
Dan Gohman
25d21786d3 Don't try to mix integers and pointers in an icmp instruction 
in getSCEVAtScope.

llvm-svn: 70495
 2009-04-30 16:40:30 +00:00
Jay Foad
9768cabf4a Move helper functions for optimizing division by constant into the APInt 
class.

llvm-svn: 70488
 2009-04-30 10:15:35 +00:00
Dan Gohman
8a0e27efb2 Set mayLoad on MOVZX32_NOREXrm8 too. 
llvm-svn: 70466
 2009-04-30 03:11:48 +00:00
Dan Gohman
fac9c52fd8 Fix ScalarEvolution::print to print a value for any Instruction with 
a SCEVable type, not just integer types.

llvm-svn: 70463
 2009-04-30 01:30:18 +00:00
Evan Cheng
b7d41a6680 Mark MOV8mr_NOREX and MOV8rm_NOREX as mayStore / mayLoad respectively. 
llvm-svn: 70461
 2009-04-30 00:58:57 +00:00
Chris Lattner
794fb5b4b3 fix a regression handling indirect results: these need to be considered 
memory operands otherwise the writebacks get lost when the inline asm 
doesn't otherwise have side effects.  This fixes rdar://6839427, though
clang really shouldn't generate these anymore.

llvm-svn: 70455
 2009-04-30 00:48:50 +00:00
Bill Wendling
68ac27094d Fix the JIT bindings for ocaml. 
llvm-svn: 70454
 2009-04-30 00:43:39 +00:00
Chris Lattner
25991c4e7d remove progname which is never set. PR4085 
llvm-svn: 70453
 2009-04-30 00:24:33 +00:00
Bill Wendling
40a162f75f Instead of passing in an unsigned value for the optimization level, use an enum, 
which better identifies what the optimization is doing. And is more flexible for
future uses.

llvm-svn: 70440
 2009-04-29 23:29:43 +00:00
Bill Wendling
3f4c6171d1 Add support for a character after a command line option. Like '-Os'. 
llvm-svn: 70437
 2009-04-29 23:26:16 +00:00
Dale Johannesen
be38eaf1d4 Print correct instruction in dump. 
llvm-svn: 70427
 2009-04-29 22:57:20 +00:00
Nate Begeman
b407809122 Fix infinite recursion in the C++ code which handles movddup by making it unnecessary. 
llvm-svn: 70425
 2009-04-29 22:47:44 +00:00
Dan Gohman
63bab48951 Implement getSCEVAtScope for SCEV cast expressions. 
llvm-svn: 70422
 2009-04-29 22:29:01 +00:00
Dan Gohman
06aff30f01 Generalize the cast-of-addrec folding to handle folding of SCEVs like 
(sext i8 {-128,+,1} to i64) to i64 {-128,+,1}, where the iteration
crosses from negative to positive, but is still safe if the trip
count is within range.

llvm-svn: 70421
 2009-04-29 22:28:28 +00:00
Dan Gohman
8b1b8d5891 Reword and tidy up some comments. 
llvm-svn: 70416
 2009-04-29 22:01:05 +00:00
Jakob Stoklund Olesen
0bfaaea2a4 MachineInstr::isRegTiedTo{Use,Def}Operand can safely be made const. 
llvm-svn: 70408
 2009-04-29 20:57:16 +00:00
Dan Gohman
55befacc69 Include the source type in SCEV cast expression debug output, and 
print sext, zext, and trunc, instead of signextend, zeroextend,
and truncate, respectively, for consistency with the main IR.

llvm-svn: 70405
 2009-04-29 20:27:52 +00:00
Nate Begeman
e4dd5a96ba Update comment, replace theoretically impossible check with an assert. 
llvm-svn: 70391
 2009-04-29 18:13:31 +00:00
Dale Johannesen
15486ddd95 Fix recent regression in gcc.dg/pr26719.c (6835035). 
llvm-svn: 70386
 2009-04-29 16:38:47 +00:00
Evan Cheng
62fdc300dd spillPhysRegAroundRegDefsUses() may have invalidated iterators stored in fixed_ IntervalPtrs. Reset them. 
llvm-svn: 70378
 2009-04-29 07:16:34 +00:00
Nate Begeman
414534b3eb Implement review feedback for vector shuffle work. 
llvm-svn: 70372
 2009-04-29 05:20:52 +00:00
Sanjiv Gupta
b1c777e865 Add a public method called getAddressSpace() to the GlobalAddressSDNode. 
llvm-svn: 70366
 2009-04-29 04:43:24 +00:00
Chris Lattner
e1eefefdc3 Disable the load-shrinking optimization from looking at 
anything larger than 64-bits, avoiding a crash.  This should
really be fixed to use APInts, though type legalization happens
to help us out and we get good code on the attached testcase at
least.

This fixes rdar://6836460

llvm-svn: 70360
 2009-04-29 03:45:07 +00:00
Dan Gohman
4f8ccd5bc8 Update comments to reflect the current code. 
llvm-svn: 70357
 2009-04-29 01:54:20 +00:00
Evan Cheng
51727d25b2 Determine allocation 'preference' with right register class. I haven't seen this changing codegen so no test case. 
llvm-svn: 70351
 2009-04-29 00:42:27 +00:00
Bill Wendling
50971fd69c The second part of the change from -fast to -O#. This changes the JIT to accept 
an optimization level instead of a simple boolean telling it to generate code
"fast" or the other type of "fast".

llvm-svn: 70347
 2009-04-29 00:32:19 +00:00
Bill Wendling
7546bed590 Second attempt: 
Massive check in. This changes the "-fast" flag to "-O#" in llc. If you want to
use the old behavior, the flag is -O0. This change allows for finer-grained
control over which optimizations are run at different -O levels.

Most of this work was pretty mechanical. The majority of the fixes came from
verifying that a "fast" variable wasn't used anymore. The JIT still uses a
"Fast" flag. I'll change the JIT with a follow-up patch.

llvm-svn: 70343
 2009-04-29 00:15:41 +00:00
Anton Korobeynikov
1799ac4b55 Properly print 'P' modifier on inline asm memory operands. 
This should fix PR3379 and PR4064.
Patch inspired by Edwin Török!

llvm-svn: 70328
 2009-04-28 21:49:33 +00:00
Evan Cheng
46e0ff09e5 Move getMatchingSuperReg() out of coalescer and into TargetRegisterInfo. 
llvm-svn: 70309
 2009-04-28 18:29:27 +00:00
Sanjiv Gupta
19e7fe61ce GlobalValue is always pointer type, so an assert isn't required. 
llvm-svn: 70300
 2009-04-28 16:39:45 +00:00
Stefanus Du Toit
984008e1d7 Fix choice of version of Windows callback to use to consider not only the Visual Studio version, but also the Windows SDK version. 
Patch by Tareq Siraj.

llvm-svn: 70299
 2009-04-28 16:37:58 +00:00
Jakob Stoklund Olesen
6a489c6d7e Don't coalesce a physical register with an incompatible virtual register. 
If the physical register does not belong to the virtual register's regclass,
don't coalesce. The physical register could be an invalid operand for an
instruction using the vreg.

The regclass matching is done after determining the actual subregisters being copied.

llvm-svn: 70298
 2009-04-28 16:34:35 +00:00
Sanjiv Gupta
51c8ca2ca6 Initialized arrays can be in any address space. 
llvm-svn: 70297
 2009-04-28 16:34:20 +00:00
Jakob Stoklund Olesen
26d9b11da5 Move getSubRegisterRegClass from ScheduleDagSDNodesEmit.cpp to a TargetRegisterClass method. 
Also make the method non-asserting. It will return NULL when given an invalid subreg index.

The method is needed by an upcoming patch.

llvm-svn: 70296
 2009-04-28 16:34:09 +00:00
Evan Cheng
754a0d2f9e Fix PR4034. Bug in LiveInterval::join when it's compacting new valno's. 
llvm-svn: 70291
 2009-04-28 06:24:09 +00:00
Evan Cheng
8a9736a26c Fix for PR4051. When 2address pass delete an instruction, update kill info when necessary. 
llvm-svn: 70279
 2009-04-28 02:12:36 +00:00
Bill Wendling
ef47ace92f r70270 isn't ready yet. Back this out. Sorry for the noise. 
llvm-svn: 70275
 2009-04-28 01:04:53 +00:00
Bill Wendling
2799e916c3 Massive check in. This changes the "-fast" flag to "-O#" in llc. If you want to 
use the old behavior, the flag is -O0. This change allows for finer-grained
control over which optimizations are run at different -O levels.

Most of this work was pretty mechanical. The majority of the fixes came from
verifying that a "fast" variable wasn't used anymore. The JIT still uses a
"Fast" flag. I'm not 100% sure if it's necessary to change it there...

llvm-svn: 70270
 2009-04-28 00:21:31 +00:00
Dan Gohman
418f294b3b Remove an obsolete comment. 
llvm-svn: 70262
 2009-04-27 22:12:34 +00:00
Dale Johannesen
626b0a32f7 Fix PR 4086, a bug in FP IV elimination. 
llvm-svn: 70247
 2009-04-27 21:03:15 +00:00
Evan Cheng
c315cf24e3 Fix PR4076. Correctly create live interval of physical register with two-address update. 
llvm-svn: 70245
 2009-04-27 20:42:46 +00:00
Dan Gohman
e1a532cb4f Permit ChangeCompareStride to rewrite a comparison when the factor 
between the comparison's iv stride and the candidate stride is
exactly -1.

llvm-svn: 70244
 2009-04-27 20:35:32 +00:00
Dan Gohman
ff30ebd710 Teach getZeroExtendExpr and getSignExtendExpr to use trip-count 
information to simplify [sz]ext({a,+,b}) to {zext(a),+,[zs]ext(b)},
as appropriate.

These functions and the trip count code each call into the other, so
this requires careful handling to avoid infinite recursion. During
the initial trip count computation, conservative SCEVs are used,
which are subsequently discarded once the trip count is actually
known.

Among other benefits, this change lets LSR automatically eliminate
some unnecessary zext-inreg and sext-inreg operation where the
operand is an induction variable.

llvm-svn: 70241
 2009-04-27 20:16:15 +00:00
Owen Anderson
b313524b03 Don't skip the CopyMI when removing kill markers. 
This should have no effect on generated code, but makes the intermediate state
of the coalescer more sane.

llvm-svn: 70238
 2009-04-27 19:55:47 +00:00
Duncan Sands
ae8fb3fbcb Now that PR2957 is resolved, remove a bunch of 
no-longer needed workarounds.

llvm-svn: 70234
 2009-04-27 19:33:03 +00:00
Nate Begeman
9d121924fd 2nd attempt, fixing SSE4.1 issues and implementing feedback from duncan. 
PR2957

ISD::VECTOR_SHUFFLE now stores an array of integers representing the shuffle
mask internal to the node, rather than taking a BUILD_VECTOR of ConstantSDNodes
as the shuffle mask.  A value of -1 represents UNDEF.

In addition to eliminating the creation of illegal BUILD_VECTORS just to 
represent shuffle masks, we are better about canonicalizing the shuffle mask,
resulting in substantially better code for some classes of shuffles.

llvm-svn: 70225
 2009-04-27 18:41:29 +00:00
Evan Cheng
43fc90ae59 Fix PR4056. It's possible a physical register def is dead if its implicit use is deleted by two-address pass. 
llvm-svn: 70213
 2009-04-27 17:36:47 +00:00
Evan Cheng
c346651d6f Also delete last unused val#. 
llvm-svn: 70212
 2009-04-27 17:35:19 +00:00
Dan Gohman
a241dec2fc Rename GR8_ABCD to GR8_ABCD_L and create GR8_ABCD_H, and use these 
to precisely describe the h-register subreg register classes.
Thanks to Jakob Stoklund Olesen for spotting this and for the
initial patch!

Also, make getStoreRegOpcode and getLoadRegOpcode aware of the
needs of h registers.

llvm-svn: 70211
 2009-04-27 16:41:36 +00:00
Dan Gohman
180fa04e35 Rename GR8_, GR16_, GR32_, and GR64_ to GR8_ABCD, GR16_ABCD, 
GR32_ABCD, and GR64_ABCD, respectively, to help describe them.

llvm-svn: 70210
 2009-04-27 16:33:14 +00:00
Dan Gohman
885b9c3688 Break up long multi-mnemonic strings into separate lines for readability. 
llvm-svn: 70209
 2009-04-27 15:13:28 +00:00
Mon P Wang
904d654436 Revised 68749 to allow matching of load/stores for address spaces < 256. 
llvm-svn: 70197
 2009-04-27 07:22:10 +00:00
Nick Lewycky
5c4f46c2e9 Under unusual circumstances (jitting a function that causes the creation of 
another stub, but then never calling the jitted function) can cause the JIT to
leave a stub in place. Judging by the comments this is a known deficiency, so
we're just not going to use AssertingVH for the StubToFunctionTy map.

Also shorten some lines longer than 80 columns.

This fixes the "make check" failure with ocaml on x86-64 linux.

llvm-svn: 70185
 2009-04-27 05:09:44 +00:00
Dan Gohman
744f455d55 When transforming sext(trunc(load(x))) into sext(smaller load(x)), 
the trunc is directly replaced with the smaller load, so don't
try to create a new sext node. This fixes PR4050.

llvm-svn: 70179
 2009-04-27 02:00:55 +00:00
Dan Gohman
820b45049b Handle ands with ~0 correctly too. This fixes PR4052. 
llvm-svn: 70176
 2009-04-27 01:41:10 +00:00
Chris Lattner
a43dcba929 Make a major API change to BitstreamReader: split all the reading 
state out of the BitstreamReader class into a BitstreamCursor class.
Doing this allows the client to have multiple cursors into the same
file, each with potentially different live block stacks and
abbreviation records.

llvm-svn: 70157
 2009-04-26 20:59:02 +00:00
Sanjiv Gupta
0877e1eabe Any size of integral indices are allowed in gep for indexing into sequential types. Also adding a test case to check the indices type allowed into struct. 
llvm-svn: 70134
 2009-04-26 17:14:35 +00:00
Chris Lattner
f795b63fb2 testcase and asmparser fix for PR4066 
llvm-svn: 70080
 2009-04-25 21:26:00 +00:00
Chris Lattner
034358326a Allow aliasee to be a GEP or bitcast instead of just a bitcast. 
The real fix for this whole mess is to require the operand of the
alias to be a *GlobalValue* (not a general constant, including 
constant exprs) but allow the operand and the alias type to be
unrelated.

This fixes PR4066

llvm-svn: 70079
 2009-04-25 21:23:19 +00:00
Evan Cheng
cd5a58a3e4 Reuse unused val#'s to avoid running out of memory in extreme cases. 
llvm-svn: 70069
 2009-04-25 20:20:15 +00:00
Chris Lattner
d68b203337 Fix PR4040: APInt's string constructor is too strict 
patch by Jeff Yasskin!

llvm-svn: 70058
 2009-04-25 18:34:04 +00:00
Chris Lattner
b47e34ac59 add support for detecting process features on win64, patch by 
Nicolas Capens!

llvm-svn: 70057
 2009-04-25 18:27:23 +00:00
Dan Gohman
1031d09a38 Refactor the code to grab the low and high parts of a value 
using EXTRACT_ELEMENT into a utility function.

llvm-svn: 70056
 2009-04-25 17:55:53 +00:00
Dan Gohman
d13f1a3b59 Return null instead of false, as appropriate. 
llvm-svn: 70054
 2009-04-25 17:28:45 +00:00
Dan Gohman
a7fae1f865 Add several more icmp simplifications. Transform signed comparisons 
into unsigned ones when the operands are known to have the same
sign bit value.

llvm-svn: 70053
 2009-04-25 17:12:48 +00:00
Dan Gohman
60349bb21e Add a top-level comment about DAGCombiner's role in the compiler. 
llvm-svn: 70052
 2009-04-25 17:09:45 +00:00
Dan Gohman
9eb5ba6eb7 Handle ands with 0 and shifts by 0 correctly. These aren't 
common, but indvars shouldn't crash on them. This fixes PR4054.

llvm-svn: 70051
 2009-04-25 17:05:40 +00:00
Torok Edwin
285a5fb1d5 Fix g++-4.4.0 warning, it was causing llvm-nm to fail on wrapped BC files: 
Path.cpp:59: warning: case label value exceeds maximum value for type
magic[0] is a (signed) char, but some case values are unsigned (e.g. 0xde).
When magic[0] was 0xde, the switch has taken the default branch instead of case
0xde branch.
Apparently this was the behaviour with older versions of gcc too, but not with g++.
Now g++-4.4 behaves as gcc, and ignores unsigned case values out of range signed
range.

llvm-svn: 70038
 2009-04-25 10:25:12 +00:00
Evan Cheng
696a04eba2 Do not share a single unknown val# for all the live ranges merged into a physical sub-register live interval. When coalescer is merging in clobbered virtaul register live interval into a physical register live interval, give each virtual register val# a separate val# in the physical register live interval. Otherwise, the coalescer would have lost track of the definitions information it needs to make correct coalescing decisions. 
llvm-svn: 70026
 2009-04-25 09:25:19 +00:00
Bob Wilson
162870a4b3 Change LowerCallResult method so that CCValAssign::BCvt can be used with 
f64 types.  This is not used for anything yet.

llvm-svn: 70006
 2009-04-25 00:33:20 +00:00
Dale Johannesen
493c3bcdc0 Fix PR 4057, a crash doing float->char const folding. 
This particular one is undefined behavior (although this
isn't related to the crash), so it will no longer do it
at compile time, which seems better.

llvm-svn: 69990
 2009-04-24 21:34:13 +00:00
Bob Wilson
0ac8a0cf95 Adjust a comment to reflect what the code does. Splitting a 64-bit argument 
between registers and the stack may be required with the APCS ABI, but it
isn't tied to using a particular version of the ARM architecture.

llvm-svn: 69978
 2009-04-24 17:05:01 +00:00
Bob Wilson
2a47f01759 Fix up some problems with getCopyToReg and getCopyFromReg nodes being 
chained and "flagged" together.  I also made a few changes to handle the
chain and flag values more consistently.  I found these problems by
inspection so I'm not aware of anything that breaks because of them
(thus no testcase).

llvm-svn: 69977
 2009-04-24 17:00:36 +00:00
Bob Wilson
1067abd956 Remove unnecessary references to f32 types. After specifying that f32 
should be bit-converted to i32, it is sufficient to list only i32 in
subsequent definitions.

llvm-svn: 69973
 2009-04-24 16:55:25 +00:00
Rafael Espindola
4e7a0bf1f1 Fix PR 4004 by including the call to __tls_get_addr in X86tlsaddr. This is not 
very elegant, but neither is the tls specification :-(

llvm-svn: 69968
 2009-04-24 12:59:40 +00:00
Rafael Espindola
0b1037ad26 Revert 69952. Causes testsuite failures on linux x86-64. 
llvm-svn: 69967
 2009-04-24 12:40:33 +00:00
Nate Begeman
c1a09c7dfa PR2957 
ISD::VECTOR_SHUFFLE now stores an array of integers representing the shuffle
mask internal to the node, rather than taking a BUILD_VECTOR of ConstantSDNodes
as the shuffle mask.  A value of -1 represents UNDEF.

In addition to eliminating the creation of illegal BUILD_VECTORS just to 
represent shuffle masks, we are better about canonicalizing the shuffle mask,
resulting in substantially better code for some classes of shuffles.

A clean up of x86 shuffle code, and some canonicalizing in DAGCombiner is next.

llvm-svn: 69952
 2009-04-24 03:42:54 +00:00
Dan Gohman
63dab69b36 Instead of requiring TLI.LowerCallTo to return an ISD::BUILD_PAIR, 
use ISD::EXTRACT_ELEMENT. SelectionDAG has a special fast-path for
the cast of an EXTRACT_ELEMENT with a BUILD_PAIR operand, for the
common case.

llvm-svn: 69948
 2009-04-24 02:40:23 +00:00
Sanjiv Gupta
f1177e1be7 Allow i16 type indices to gep. 
llvm-svn: 69946
 2009-04-24 02:37:54 +00:00
Dan Gohman
9d13b714f5 Factor out a bit of code that appears in several places into a 
utility function.

llvm-svn: 69937
 2009-04-23 23:13:24 +00:00
Dan Gohman
313018c1d3 Handle Void types in ComputeValueVTs. This doesn't currently occur, 
but this change makes the code more general and easier to adapt for
new purposes.

llvm-svn: 69935
 2009-04-23 22:50:03 +00:00
Dan Gohman
46ab8008a8 Fix spurious indentation in a comment. 
llvm-svn: 69934
 2009-04-23 22:41:05 +00:00
Evan Cheng
ff776c8193 Update comments. 
llvm-svn: 69919
 2009-04-23 20:39:31 +00:00
Evan Cheng
f20fb20367 Fix an obvious type. 
llvm-svn: 69918
 2009-04-23 20:18:13 +00:00
Dan Gohman
c0f47d6ec1 Change SCEVExpander's expandCodeFor to provide more flexibility 
with the persistent insertion point, and change IndVars to make
use of it. This fixes a bug where IndVars was holding on to a
stale insertion point and forcing the SCEVExpander to continue to
use it.

This fixes PR4038.

llvm-svn: 69892
 2009-04-23 15:16:49 +00:00
Sanjiv Gupta
0457bf4420 Banksel immediate constant will always immediately follow the GA/ES, so scan an insn from beginnin to find out the banksel operand. 
llvm-svn: 69883
 2009-04-23 10:34:58 +00:00
Nick Lewycky
32cfba44df Simplify trunc(extend(x)) in SCEVs, just for completeness. Also fix some odd 
whitespace in the same file.

llvm-svn: 69870
 2009-04-23 05:15:08 +00:00
Dan Gohman
6a4629e856 Add support for printing MO_ExternalSymbol operands in 
memory operand tuples. This doesn't ever come up in normal
code however.

llvm-svn: 69848
 2009-04-23 00:57:37 +00:00
Evan Cheng
bdfff0ba69 Make sure both operands have binary instructions have the same type. 
llvm-svn: 69844
 2009-04-22 23:39:28 +00:00
Evan Cheng
faa208ae5f A few more places where the check of use_empty is needed. 
llvm-svn: 69842
 2009-04-22 23:09:16 +00:00
Evan Cheng
2af546d5fa Avoid deferencing use_begin() if value does not have a use. 
llvm-svn: 69836
 2009-04-22 22:45:37 +00:00
Devang Patel
7daece3796 Fix cut-n-pasto. 
llvm-svn: 69816
 2009-04-22 18:51:05 +00:00
Dan Gohman
d6edb69103 Simplify trivial cast-of-cast SCEVs. 
llvm-svn: 69809
 2009-04-22 16:20:48 +00:00
Dan Gohman
0ab6ecf6a1 SCEVExpander's InsertCastOfTo knows how to move existing cast 
instructions in order to avoid inserting new ones. However, if
the cast instruction is the SCEVExpander's InsertPt, this
causes subsequently emitted instructions to be inserted near
the cast, and not at the location of the original insert point.
Fix this by adjusting the insert point in such cases.
This fixes PR4009.

llvm-svn: 69808
 2009-04-22 16:11:16 +00:00
Dan Gohman
471996598f Use BasicBlock::iterator instead of Instruction* for insert points, 
to better handle inserting instructions at the end of a block.

llvm-svn: 69807
 2009-04-22 16:05:50 +00:00
Sanjiv Gupta
60c6705684 Make the function begin label start after ther data pointer. 
The address of data frame for function can be obtained by subtracting 2 from the function begin label.

llvm-svn: 69801
 2009-04-22 12:02:36 +00:00
Owen Anderson
309568c469 Real fix for PR3549, by using caching for predecessor counts in addition to the predecessors themselves. This halves the time 
to optimize the testcase, beyond what my previous patch did.

llvm-svn: 69792
 2009-04-22 08:50:12 +00:00
Owen Anderson
b36babc111 Use PredIteratorCache in LCSSA, which gives a 37% overall speedup on the testcase from PR3549. More improvements to come. 
llvm-svn: 69788
 2009-04-22 08:09:13 +00:00
Chris Lattner
60c88b66da use predicate instead of hand-rolled loop 
llvm-svn: 69752
 2009-04-21 23:37:18 +00:00
Dan Gohman
4cb9d25f4a De-pImpl-ify ScalarEvolution. The pImpl pattern doesn't provide much 
practical benefit in the case of ScalarEvolution, and it's otherwise
a nuisance.

llvm-svn: 69749
 2009-04-21 23:15:49 +00:00
Evan Cheng
a36c6c6819 It has finally happened. Spiller is now using live interval info. 
This fixes a very subtle bug. vr defined by an implicit_def is allowed overlap with any register since it doesn't actually modify anything. However, if it's used as a two-address use, its live range can be extended and it can be spilled. The spiller must take care not to emit a reload for the vn number that's defined by the implicit_def. This is both a correctness and performance issue.

llvm-svn: 69743
 2009-04-21 22:46:52 +00:00
Dan Gohman
19990f2310 When turning (ashr(shl(x, n), n)) into sext(trunc(x)), the width of the 
type to truncate to should be the number of bits of the value that are
preserved, not the number that are clobbered with sign-extension.
This fixes regressions in ldecod.

llvm-svn: 69704
 2009-04-21 20:18:36 +00:00
Chris Lattner
95aad4d625 fix a crash on a pointless but valid zero-length memset, rdar://6808691 
llvm-svn: 69680
 2009-04-21 16:52:12 +00:00
Anton Korobeynikov
b53ac333d7 Silence warnings. 
Patch by Jay Foad!

llvm-svn: 69679
 2009-04-21 16:04:56 +00:00
Anton Korobeynikov
0a64083f49 Drop obsolete reference to __eprintf. 
Patch by Jay Foad!

llvm-svn: 69678
 2009-04-21 16:04:41 +00:00
Duncan Sands
58c9c564a9 Get rid of what looks like a copy-and-pasted typo. 
Spotted by gcc-4.5.

llvm-svn: 69673
 2009-04-21 09:44:39 +00:00