RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-21 03:53:04 +02:00
Code Issues Projects Releases Wiki Activity
54,046 Commits 4 Branches 5 Tags 704 MiB
6d1ca5d976
Commit Graph

10418 Commits

Author SHA1 Message Date
Chris Lattner
6d1ca5d976 Add a new getPredicateOnEdge method which returns more rich information for 
constant constraints.  Improve the LVI lattice to include inequality 
constraints.

llvm-svn: 86950
 2009-11-12 04:36:58 +00:00
Jim Grosbach
f373f8c459 Move the utility function UpdateTerminator() from CodePlacementOpt() into 
MachineBasicBlock so other passes can utilize it.

llvm-svn: 86947
 2009-11-12 03:55:33 +00:00
Nick Lewycky
936ae2d76d Add CreateNUWAdd and CreateNUWSub to complement the existing CreateNSWAdd and 
CreateNSWSub functions.

llvm-svn: 86930
 2009-11-12 02:08:11 +00:00
Chris Lattner
b5bb115ece expose edge information and switch j-t to use it. 
llvm-svn: 86920
 2009-11-12 01:29:10 +00:00
Devang Patel
c70b8eefb7 Do not use StringRef in DebugInfo interface. 
This allows StringRef to skip controversial if(str) check in constructor.
Buildbots, wait for corresponding clang and llvm-gcc FE check-ins!

llvm-svn: 86914
 2009-11-12 00:50:58 +00:00
Jakob Stoklund Olesen
01582996dd Fix liveness calculation when splitting critical edges during PHI elimination. 
- Edges are split before any phis are eliminated, so the code is SSA.

- Create a proper IR BasicBlock for the split edges.

- LiveVariables::addNewBlock now has same syntax as
  MachineDominatorTree::addNewBlock. Algorithm calculates predecessor live-out
  set rather than successor live-in set.

This feature still causes some miscompilations.

llvm-svn: 86867
 2009-11-11 19:31:31 +00:00
Devang Patel
304b516363 Add SetDebugLocation() variant to 
add debug info location to an instruction.

llvm-svn: 86859
 2009-11-11 19:06:06 +00:00
Evan Cheng
a11308742c Add TargetLowering::isLegalICmpImmediate. It tells LSR what immediate can be folded into target icmp instructions. 
llvm-svn: 86858
 2009-11-11 19:05:52 +00:00
Dan Gohman
574137b4c0 Fix a copy+pasto in a comment. 
llvm-svn: 86852
 2009-11-11 18:14:02 +00:00
Duncan Sands
f0d9823d0b Don't trivially delete unused calls to llvm.invariant.start. This allows 
llvm.invariant.start to be used without necessarily being paired with a call
to llvm.invariant.end.  If you run the entire optimization pipeline then such
calls are in fact deleted (adce does it), but that's actually a good thing since
we probably do want them to be zapped late in the game.  There should really be
an integration test that checks that the llvm.invariant.start call lasts long
enough that all passes that do interesting things with it get to do their stuff
before it is deleted.  But since no passes do anything interesting with it yet
this will have to wait for later.

llvm-svn: 86840
 2009-11-11 15:34:13 +00:00
Chris Lattner
36009e416c remove the now dead condprop pass, PR3906. 
llvm-svn: 86810
 2009-11-11 05:56:35 +00:00
Daniel Dunbar
da387a1c25 Add StringRef::split(StringRef), to complement StringRef::split(char). 
llvm-svn: 86803
 2009-11-11 05:19:11 +00:00
Chris Lattner
b45381c3f0 stub out some LazyValueInfo interfaces, and have JumpThreading 
start using them in a trivial way when -enable-jump-threading-lvi
is passed.  enable-jump-threading-lvi will be my playground for 
awhile.

llvm-svn: 86789
 2009-11-11 02:08:33 +00:00
Daniel Dunbar
aa5d256b19 Add Triple::str() which returns the contents of the Triple as a string, as a more readable alternative to getTriple(). 
llvm-svn: 86773
 2009-11-11 00:43:14 +00:00
Daniel Dunbar
16a5387db2 Add From arguments to StringRef search functions, and tweak doxyments. 
Also, add unittests for find_first_of and find_first_not_of.

llvm-svn: 86770
 2009-11-11 00:28:53 +00:00
Chris Lattner
6c04051d2a Stub out a new lazy value info pass, which will eventually 
vend value constraint information to the optimizer.

llvm-svn: 86767
 2009-11-11 00:22:30 +00:00
Chris Lattner
c60b41d336 remove redundant foward declaration. This function is already in 
Analysis/Passes.h

llvm-svn: 86765
 2009-11-11 00:21:21 +00:00
Chris Lattner
1f7f78ea94 jump threading does everything that condprop does any more. This passes 
bootstrap on darwin i386.

llvm-svn: 86758
 2009-11-10 23:54:10 +00:00
Devang Patel
5c983cb2ab Implement support to debug inlined functions. 
llvm-svn: 86748
 2009-11-10 23:06:00 +00:00
Chris Lattner
958f41d9a4 in -dot-cfg and -dot-cfg-only, when rendering switch instructions, 
put the switch value in the successor boxes like we put T/F for branches.

llvm-svn: 86747
 2009-11-10 22:56:15 +00:00
Chris Lattner
ec4264fbb0 move some generally useful functions out of jump threading 
into libanalysis and transformutils.

llvm-svn: 86735
 2009-11-10 22:26:15 +00:00
Devang Patel
e70bec27b0 Process InlinedAt location info. 
Update InsertDeclare to return newly inserted llvm.dbg.declare intrinsic.

llvm-svn: 86727
 2009-11-10 22:05:35 +00:00
Jakob Stoklund Olesen
b92c9347ba Teach PHIElimination to split critical edges when -split-phi-edges is enabled. 
Critical edges leading to a PHI node are split when the PHI source variable is
live out from the predecessor block. This help the coalescer eliminate more
PHI joins.

llvm-svn: 86725
 2009-11-10 22:01:05 +00:00
Victor Hernandez
3c98070f2c Update computeArraySize() to use ComputeMultiple() to determine the array size associated with a malloc; also extend PerformHeapAllocSRoA() to check if the optimized malloc's arg had its highest bit set, so that it is safe for ComputeMultiple() to look through sext instructions while determining the optimized malloc's array size 
llvm-svn: 86676
 2009-11-10 08:32:25 +00:00
Victor Hernandez
89c04dbe2f Add ComputeMultiple() analysis function that recursively determines if a Value V is a multiple of unsigned Base 
llvm-svn: 86675
 2009-11-10 08:28:35 +00:00
Chris Lattner
9428f34d89 refactor TryToSimplifyUncondBranchFromEmptyBlock out of SimplifyCFG. 
llvm-svn: 86666
 2009-11-10 05:59:26 +00:00
Chris Lattner
a279728372 add a new SimplifyInstruction API, which is like ConstantFoldInstruction, 
except that the result may not be a constant.  Switch jump threading to 
use it so that it gets things like (X & 0) -> 0, which occur when phi preds
are deleted and the remaining phi pred was a zero.

llvm-svn: 86637
 2009-11-10 01:08:51 +00:00
Jeffrey Yasskin
23ac706aab Fix DenseMap iterator constness. 
This patch forbids implicit conversion of DenseMap::const_iterator to
DenseMap::iterator which was possible because DenseMapIterator inherited
(publicly) from DenseMapConstIterator. Conversion the other way around is now
allowed as one may expect.

The template DenseMapConstIterator is removed and the template parameter
IsConst which specifies whether the iterator is constant is added to
DenseMapIterator.

Actually IsConst parameter is not necessary since the constness can be
determined from KeyT but this is not relevant to the fix and can be addressed
later.

Patch by Victor Zverovich!

llvm-svn: 86636
 2009-11-10 01:02:17 +00:00
Chris Lattner
3730cf6fef factor simplification logic for AND and OR out to InstSimplify from instcombine. 
llvm-svn: 86635
 2009-11-10 00:55:12 +00:00
David Goodwin
93a4f29c67 Fixed to address code review. No functional changes. 
llvm-svn: 86634
 2009-11-10 00:48:55 +00:00
Daniel Dunbar
886e51b5c1 Fix MemoryBuffer::getSTDIN to *not* return null if stdin is empty, this is a lame API. 
Also, Stringrefify some more MemoryBuffer functions, and add two performance FIXMEs.

llvm-svn: 86630
 2009-11-10 00:43:58 +00:00
David Goodwin
538f9c25f8 Allow targets to specify register classes whose member registers should not be renamed to break anti-dependencies. 
llvm-svn: 86628
 2009-11-10 00:15:47 +00:00
Chris Lattner
25700676d4 rename SimplifyCompare -> SimplifyCmpInst and split it into 
Simplify[IF]Cmp pieces.  Add some predicates to CmpInst to 
determine whether a predicate is fp or int.

llvm-svn: 86624
 2009-11-09 23:28:39 +00:00
Chris Lattner
131172dc76 fix ConstantFoldCompareInstOperands to take the LHS/RHS as 
individual operands instead of taking a temporary array

llvm-svn: 86619
 2009-11-09 23:06:58 +00:00
Daniel Dunbar
e458fe6d8e Add StringSwitch::Cases overloads, for matching multiple strings to a single 
value.

llvm-svn: 86618
 2009-11-09 23:05:44 +00:00
Chris Lattner
126d78f1c7 stub out a new libanalysis "instruction simplify" interface that 
takes decimated instructions and applies identities to them.  This
is pretty minimal at this point, but I plan to pull some instcombine
logic out into these and similar routines.

llvm-svn: 86613
 2009-11-09 22:57:59 +00:00
Jeffrey Yasskin
7ad82ff8cf Remove dlsym stubs, with Nate Begeman's permission. 
llvm-svn: 86606
 2009-11-09 22:34:19 +00:00
Dan Gohman
c64e578e5a Print "..." instead of all the uninteresting register clobbers on call 
instructions. This makes CodeGen dumps significantly less noisy.

Example before:
  BL <ga:@bar>, %R0<imp-def>, %R1<imp-def,dead>, %R2<imp-def,dead>, %R3<imp-def,dead>, %R12<imp-def,dead>, %LR<imp-def,dead>, %D0<imp-def,dead>, %D1<imp-def,dead>, %D2<imp-def,dead>, %D3<imp-def,dead>, %D4<imp-def,dead>, %D5<imp-def,dead>, %D6<imp-def,dead>, %D7<imp-def,dead>, %D16<imp-def,dead>, %D17<imp-def,dead>, %D18<imp-def,dead>, %D19<imp-def,dead>, %D20<imp-def,dead>, %D21<imp-def,dead>, %D22<imp-def,dead>, %D23<imp-def,dead>, %D24<imp-def,dead>, %D25<imp-def,dead>, %D26<imp-def,dead>, %D27<imp-def,dead>, %D28<imp-def,dead>, %D29<imp-def,dead>, %D30<imp-def,dead>, %D31<imp-def,dead>, %CPSR<imp-def,dead>, %FPSCR<imp-def,dead>

Same example after:
  BL <ga:@bar>, %R0<imp-def>, %R1<imp-def,dead>, %LR<imp-def,dead>, %CPSR<imp-def,dead>, ...

llvm-svn: 86583
 2009-11-09 19:38:45 +00:00
Dan Gohman
141625abc4 Fix an 80-column violation. 
llvm-svn: 86567
 2009-11-09 18:20:38 +00:00
Dan Gohman
8ef26198d2 Constify MachineFunctionAnalysis' TargetMachine reference. 
llvm-svn: 86564
 2009-11-09 18:18:49 +00:00
Dan Gohman
662f54fd6e Fix a comment. 
llvm-svn: 86558
 2009-11-09 17:06:51 +00:00
Dan Gohman
c194ec89ca Suppress implicit copy ctor and copy assignment for MachineFunction. 
llvm-svn: 86557
 2009-11-09 17:06:23 +00:00
Nuno Lopes
5b15b50af4 add zextOrTrunc and sextOrTrunc methods, that are similar to the ones in APInt 
llvm-svn: 86549
 2009-11-09 15:36:28 +00:00
Oscar Fuentes
b05535f7c5 CMake: Detect gv, circo, twopi, neato, fdo, dot and dotty. 
Patch by Arnaud Allard de Grandmaison!

llvm-svn: 86547
 2009-11-09 15:26:40 +00:00
Chris Lattner
a8847d8409 fix some bogus asserts, PR5049 
llvm-svn: 86514
 2009-11-09 04:47:27 +00:00
Lang Hames
3126c532b2 Moved some ManagedStatics out of the SlotIndexes header. 
llvm-svn: 86446
 2009-11-08 08:49:59 +00:00
Daniel Dunbar
14465c444c Fix class -> struct tag. 
llvm-svn: 86416
 2009-11-07 23:21:30 +00:00
Chris Lattner
31e2c18379 all targets should be required to declare legal integer types. My plan to 
make it optional doesn't work out.  If you don't want to specify this, don't
specify a TD string at all.

llvm-svn: 86394
 2009-11-07 18:53:00 +00:00
Anton Korobeynikov
0a13189111 Add 8 bit libcalls and make use of them for msp430 
llvm-svn: 86384
 2009-11-07 17:14:39 +00:00
Chris Lattner
cdefc1c441 add the ability for TargetData to return information about legal integer 
datatypes on a given CPU.  This is intended to allow instcombine and other
transformations to avoid converting big sequences of operations to an
inconvenient width, and will help clean up after SRoA.  See also "Adding 
legal integer sizes to TargetData" on Feb 1, 2009 on llvmdev, and PR3451.

Comments welcome.

llvm-svn: 86370
 2009-11-07 09:35:34 +00:00