oota-llvm.git
11 years agoAdd llvm.fabs intrinsic.
Peter Collingbourne [Mon, 28 May 2012 21:48:37 +0000 (21:48 +0000)]
Add llvm.fabs intrinsic.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157594 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoFix suspicous hasOneUse() check, found by PVS Studio (PR12357).
Benjamin Kramer [Mon, 28 May 2012 20:52:48 +0000 (20:52 +0000)]
Fix suspicous hasOneUse() check, found by PVS Studio (PR12357).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157592 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoInstCombine: Fix infinite loop when encountering switch on trivial icmp.
Benjamin Kramer [Mon, 28 May 2012 19:18:16 +0000 (19:18 +0000)]
InstCombine: Fix infinite loop when encountering switch on trivial icmp.

The test case feeds the following into InstCombine's visitSelect:
%tobool8 = icmp ne i32 0, 0
%phitmp = select i1 %tobool8, i32 3, i32 0
Then instcombine replaces the right side of the switch with 0, doesn't notice
that nothing changes and tries again indefinitely.

This fixes PR12897.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157587 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoRemove unused variable.
David Blaikie [Mon, 28 May 2012 18:23:36 +0000 (18:23 +0000)]
Remove unused variable.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157586 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoPR12696: Attribute bits above 1<<30 are not encoded in bitcode
Meador Inge [Mon, 28 May 2012 15:45:43 +0000 (15:45 +0000)]
PR12696: Attribute bits above 1<<30 are not encoded in bitcode

Attribute bits above 1<<30 are now encoded correctly.  Additionally,
the encoding/decoding functionality has been hoisted to helper functions
in Attributes.h in an effort to help the encoding/decoding to stay in
sync with the Attribute bitcode definitions.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157581 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoRandom BitcodeReader cleanups.
Benjamin Kramer [Mon, 28 May 2012 14:10:31 +0000 (14:10 +0000)]
Random BitcodeReader cleanups.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157577 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoPR1255: Case Ranges
Stepan Dyatkovskiy [Mon, 28 May 2012 12:39:09 +0000 (12:39 +0000)]
PR1255: Case Ranges
Implemented IntItem - the wrapper around APInt. Why not to use APInt item directly right now?
1. It will very difficult to implement case ranges as series of small patches. We got several large and heavy patches. Each patch will about 90-120 kb. If you replace ConstantInt with APInt in SwitchInst you will need to changes at the same time all Readers,Writers and absolutely all passes that uses SwitchInst.
2. We can implement APInt pool inside and save memory space. E.g. we use several switches that works with 256 bit items (switch on signatures, or strings). We can avoid value duplicates in this case.
3. IntItem can be easyly easily replaced with APInt.
4. Currenly we can interpret IntItem both as ConstantInt and as APInt. It allows to provide SwitchInst methods that works with ConstantInt for non-updated passes.

Why I need it right now? Currently I need to update SimplifyCFG pass (EqualityComparisons). I need to work with APInts directly a lot, so peaces of code
ConstantInt *V = ...;
if (V->getValue().ugt(AnotherV->getValue()) {
  ...
}
will look awful. Much more better this way:
IntItem V = ConstantIntVal->getValue();
if (AnotherV < V) {
}

Of course any reviews are welcome.

P.S.: I'm also going to rename ConstantRangesSet to IntegersSubset, and CRSBuilder to IntegersSubsetMapping (allows to map individual subsets of integers to the BasicBlocks).
Since in future these classes will founded on APInt, it will possible to use them in more generic ways.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157576 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoSwitchInst: Due to bad readability case iterators definition was moved to the end...
Stepan Dyatkovskiy [Mon, 28 May 2012 10:11:27 +0000 (10:11 +0000)]
SwitchInst: Due to bad readability case iterators definition was moved to the end of SwitchInst.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157575 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoImplement the indirect counter increment code in a better way. Instead of
Bill Wendling [Mon, 28 May 2012 06:10:56 +0000 (06:10 +0000)]
Implement the indirect counter increment code in a better way. Instead of
replicating the code for every place it's needed, we instead generate a function
that does that for us. This function is local to the executable, so there
shouldn't be any writing violations.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157564 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoswitch AttrListPtr::get to take an ArrayRef, simplifying a lot of clients.
Chris Lattner [Mon, 28 May 2012 01:47:44 +0000 (01:47 +0000)]
switch AttrListPtr::get to take an ArrayRef, simplifying a lot of clients.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157556 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agosimplify code.
Chris Lattner [Mon, 28 May 2012 01:37:08 +0000 (01:37 +0000)]
simplify code.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157555 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoadd some helper methods to make the type more uniform.
Chris Lattner [Mon, 28 May 2012 01:29:59 +0000 (01:29 +0000)]
add some helper methods to make the type more uniform.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157554 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agordar://11542750 - llvm.trap should be marked no return.
Chris Lattner [Sun, 27 May 2012 23:20:41 +0000 (23:20 +0000)]
rdar://11542750 - llvm.trap should be marked no return.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157551 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoDenseMap: Use an early exit when there is nothing to do in DestroyAll().
Benjamin Kramer [Sun, 27 May 2012 22:53:10 +0000 (22:53 +0000)]
DenseMap: Use an early exit when there is nothing to do in DestroyAll().

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157550 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoPR12967: Don't crash when trying to fold a shift that's larger than the type's size.
Benjamin Kramer [Sun, 27 May 2012 22:03:32 +0000 (22:03 +0000)]
PR12967: Don't crash when trying to fold a shift that's larger than the type's size.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157548 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoIntrusiveRefCntPtr: Use the same pattern as the other operator= overloads when using...
Benjamin Kramer [Sun, 27 May 2012 20:46:04 +0000 (20:46 +0000)]
IntrusiveRefCntPtr: Use the same pattern as the other operator= overloads when using rvalue refs.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157546 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoReimplement the intrinsic verifier to use the same table as Intrinsic::getDefinition,
Chris Lattner [Sun, 27 May 2012 19:37:05 +0000 (19:37 +0000)]
Reimplement the intrinsic verifier to use the same table as Intrinsic::getDefinition,
making it stronger and more sane.

Delete the code from tblgen that produced the old code.

Besides being a path forward in intrinsic sanity, this also eliminates a bunch of
machine generated code that was compiled into Function.o

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157545 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoThese tests used intrinsics with the wrong prototype. They weren't caught because
Chris Lattner [Sun, 27 May 2012 19:35:41 +0000 (19:35 +0000)]
These tests used intrinsics with the wrong prototype.  They weren't caught because
the old verifier just checked that something "was a pointer", but not that the pointee
was correct.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157544 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoremove two (useless) tests that use incorrect intrinsic prototypes, detected by the...
Chris Lattner [Sun, 27 May 2012 19:31:00 +0000 (19:31 +0000)]
remove two (useless) tests that use incorrect intrinsic prototypes, detected by the new intrinsic verifier.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157543 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agogeneralize this to allow any argument.
Chris Lattner [Sun, 27 May 2012 19:17:16 +0000 (19:17 +0000)]
generalize this to allow any argument.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157542 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoHave getOrCreateSubprogramDIE store the DIE for a subprogram
Peter Collingbourne [Sun, 27 May 2012 18:36:44 +0000 (18:36 +0000)]
Have getOrCreateSubprogramDIE store the DIE for a subprogram
definition in the map before calling itself to retrieve the
DIE for the declaration.  Without this change, if this causes
getOrCreateSubprogramDIE to be recursively called on the definition,
it will create multiple DIEs for that definition.  Fixes PR12831.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157541 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agomove some code around so that Verifier.cpp can get access to the intrinsic info table.
Chris Lattner [Sun, 27 May 2012 18:28:35 +0000 (18:28 +0000)]
move some code around so that Verifier.cpp can get access to the intrinsic info table.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157540 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoDenseMap: Provide a move ctor and move semantics for operator[] and FindAndConstruct.
Benjamin Kramer [Sun, 27 May 2012 17:38:30 +0000 (17:38 +0000)]
DenseMap: Provide a move ctor and move semantics for operator[] and FindAndConstruct.

The only missing part is insert(), which uses a pair of parameters and I haven't
figured out how to convert it to rvalue references. It's now possible to use a
DenseMap with std::unique_ptr values :)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157539 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoDenseMap: Factor destruction into a common helper method.
Benjamin Kramer [Sun, 27 May 2012 17:38:18 +0000 (17:38 +0000)]
DenseMap: Factor destruction into a common helper method.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157538 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoenhance the intrinsic info table to encode what *kind* of Any argument
Chris Lattner [Sun, 27 May 2012 16:39:08 +0000 (16:39 +0000)]
enhance the intrinsic info table to encode what *kind* of Any argument
it is (at the cost of 45 bytes of extra table space) so that the verifier can
start using it.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157536 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoMove-enable IntrusiveRefCntPtr.
Benjamin Kramer [Sun, 27 May 2012 16:22:08 +0000 (16:22 +0000)]
Move-enable IntrusiveRefCntPtr.

These tend to be copied around a lot, moving it instead saves a ton of memory
accesses.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157535 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoPath::GetTemporaryDirectory(): Add an assertion if TempDirectory is alive, to check...
NAKAMURA Takumi [Sun, 27 May 2012 13:02:04 +0000 (13:02 +0000)]
Path::GetTemporaryDirectory(): Add an assertion if TempDirectory is alive, to check when someone would remove the tempdir.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157529 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoMissed parens.
Benjamin Kramer [Sun, 27 May 2012 10:56:55 +0000 (10:56 +0000)]
Missed parens.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157527 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agor157525 didn't work, just disable iterator checking.
Benjamin Kramer [Sun, 27 May 2012 10:24:52 +0000 (10:24 +0000)]
r157525 didn't work, just disable iterator checking.

This is obviosly right but I don't see how to do this with proper vector
iterators without building a horrible mess of workarounds.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157526 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoSDAGBuilder: Avoid iterator invalidation harder.
Benjamin Kramer [Sun, 27 May 2012 09:44:52 +0000 (09:44 +0000)]
SDAGBuilder: Avoid iterator invalidation harder.

vector.begin()-1 is invalid too.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157525 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agorearrange some code, no functionality change.
Chris Lattner [Sat, 26 May 2012 23:03:52 +0000 (23:03 +0000)]
rearrange some code, no functionality change.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157523 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoSDAGBuilder: Don't create an invalid iterator when there is only one switch case.
Benjamin Kramer [Sat, 26 May 2012 21:19:12 +0000 (21:19 +0000)]
SDAGBuilder: Don't create an invalid iterator when there is only one switch case.

Found by libstdc++'s debug mode.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157522 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoSelectionDAGBuilder: When emitting small compare chains for switches order them by...
Benjamin Kramer [Sat, 26 May 2012 20:01:32 +0000 (20:01 +0000)]
SelectionDAGBuilder: When emitting small compare chains for switches order them by using edge weights.

SimplifyCFG tends to form a lot of 2-3 case switches when merging branches. Move
the most likely condition to the front so it is checked first and the others can
be skipped. This is currently not as effective as it could be because SimplifyCFG
destroys profiling metadata when merging branches and switches. Merging branch
weight metadata is tricky though.

This code touches at most 3 cases so I didn't use a proper sorting algorithm.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157521 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoSince commit 157467, if reassociate isn't actually going to change an expression
Duncan Sands [Sat, 26 May 2012 16:42:52 +0000 (16:42 +0000)]
Since commit 157467, if reassociate isn't actually going to change an expression
then it doesn't alter the instructions composing it, however it would continue
to move the instructions to just before the expression root.  Ensure it doesn't
move them either, so now it really does nothing if there is nothing to do.  That
commit also ensured that nsw etc flags weren't cleared if the expression was not
being changed.  Tweak this a bit so that it doesn't clear flags on the initial
part of a computation either if that part didn't change but later bits did.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157518 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoSimplifyCFG: Turn the ad-hoc std::pair that represents switch cases into an explicit...
Benjamin Kramer [Sat, 26 May 2012 14:29:37 +0000 (14:29 +0000)]
SimplifyCFG: Turn the ad-hoc std::pair that represents switch cases into an explicit struct.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157516 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoAdd support for branch weight metadata to MDBuilder and use it in various places.
Benjamin Kramer [Sat, 26 May 2012 13:59:43 +0000 (13:59 +0000)]
Add support for branch weight metadata to MDBuilder and use it in various places.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157515 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoScoreboardHazardRecognizer: Remove dead conditional in debug code.
Benjamin Kramer [Sat, 26 May 2012 11:37:37 +0000 (11:37 +0000)]
ScoreboardHazardRecognizer: Remove dead conditional in debug code.

Negative cycles are filtered out earlier.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157514 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoMove this debug statement earlier so it is easy to see the order in
Duncan Sands [Sat, 26 May 2012 07:47:48 +0000 (07:47 +0000)]
Move this debug statement earlier so it is easy to see the order in
which operands come flying out of the linearization stage.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157512 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoThe llvm_gcda_increment_indirect_counter function writes to the arguments that
Bill Wendling [Fri, 25 May 2012 23:55:00 +0000 (23:55 +0000)]
The llvm_gcda_increment_indirect_counter function writes to the arguments that
are passed in. However, those arguments may be in a write-protected area, as far
as the runtime library is concerned. For instance, the data could be placed into
a 'linkedit' section, which isn't writable. Emit the code from
llvm_gcda_increment_indirect_counter directly into the function instead.

Note: The code for this is ugly, and can lead to bloat. We should look into
simplifying this code instead of having all of these branches.

<rdar://problem/11181370>

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157505 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoFix predicate HasStandardEncoding in MipsInstrInfo.td per suggestion of
Akira Hatanaka [Fri, 25 May 2012 22:15:15 +0000 (22:15 +0000)]
Fix predicate HasStandardEncoding in MipsInstrInfo.td per suggestion of
Benjamin Kramer.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157504 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoSmall code cleanup. No functionality change.
Bill Wendling [Fri, 25 May 2012 21:57:59 +0000 (21:57 +0000)]
Small code cleanup. No functionality change.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157502 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoOpen in read/write mode, creating the file if it doesn't exist.
Bill Wendling [Fri, 25 May 2012 21:55:06 +0000 (21:55 +0000)]
Open in read/write mode, creating the file if it doesn't exist.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157501 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agobounds checking: add support for byval arguments
Nuno Lopes [Fri, 25 May 2012 21:15:17 +0000 (21:15 +0000)]
bounds checking: add support for byval arguments

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157498 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoDelete MipsExpandPseudo.cpp.
Akira Hatanaka [Fri, 25 May 2012 20:54:48 +0000 (20:54 +0000)]
Delete MipsExpandPseudo.cpp.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157496 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoMove the code in MipsExpandPseudo to MipsInstrInfo::expandPostRAPseudo.
Akira Hatanaka [Fri, 25 May 2012 20:52:52 +0000 (20:52 +0000)]
Move the code in MipsExpandPseudo to MipsInstrInfo::expandPostRAPseudo.
Delete MipsExpandPseudo.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157495 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoRemove the code that expands MIPS' .cpload directive.
Akira Hatanaka [Fri, 25 May 2012 20:46:52 +0000 (20:46 +0000)]
Remove the code that expands MIPS' .cpload directive.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157494 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoRemove the code that emits MIPS' .cprestore directive.
Akira Hatanaka [Fri, 25 May 2012 20:42:55 +0000 (20:42 +0000)]
Remove the code that emits MIPS' .cprestore directive.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157493 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoRemove pseudo instructions that are no longer used.
Akira Hatanaka [Fri, 25 May 2012 20:37:40 +0000 (20:37 +0000)]
Remove pseudo instructions that are no longer used.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157492 91177308-0d34-0410-b5e6-96231b3b80d8

11 years ago[NVPTX] Add a new test case for the newly-enabled call handling
Justin Holewinski [Fri, 25 May 2012 17:20:38 +0000 (17:20 +0000)]
[NVPTX] Add a new test case for the newly-enabled call handling

NV_CONTRIB

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157485 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoboundschecking:
Nuno Lopes [Fri, 25 May 2012 16:54:04 +0000 (16:54 +0000)]
boundschecking:
add support for select
add experimental support for alloc_size metadata

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157481 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoChange interface for TargetLowering::LowerCallTo and TargetLowering::LowerCall
Justin Holewinski [Fri, 25 May 2012 16:35:28 +0000 (16:35 +0000)]
Change interface for TargetLowering::LowerCallTo and TargetLowering::LowerCall
to pass around a struct instead of a large set of individual values.  This
cleans up the interface and allows more information to be added to the struct
for future targets without requiring changes to each and every target.

NV_CONTRIB

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157479 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agotest/CodeGen/X86/bigstructret.ll: Suppress one test. It is msvc-incompatible. (compat...
NAKAMURA Takumi [Fri, 25 May 2012 15:40:54 +0000 (15:40 +0000)]
test/CodeGen/X86/bigstructret.ll: Suppress one test. It is msvc-incompatible. (compatible to mingw32 and netbsd, though)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157474 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agotest/CodeGen/X86/bigstructret.ll: Relax stack offsets for hosts of stack-align=8...
NAKAMURA Takumi [Fri, 25 May 2012 15:12:21 +0000 (15:12 +0000)]
test/CodeGen/X86/bigstructret.ll: Relax stack offsets for hosts of stack-align=8, eg. win32 and netbsd.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157471 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoMake the reassociation pass more powerful so that it can handle expressions
Duncan Sands [Fri, 25 May 2012 12:03:02 +0000 (12:03 +0000)]
Make the reassociation pass more powerful so that it can handle expressions
with arbitrary topologies (previously it would give up when hitting a diamond
in the use graph for example).  The testcase from PR12764 is now reduced from
a pile of additions to the optimal 1617*%x0+208.  In doing this I changed the
previous strategy of dropping all uses for expression leaves to one of dropping
all but one use.  This works out more neatly (but required a bunch of tweaks)
and is also safer: some recently fixed bugs during recursive linearization were
because the linearization code thinks it completely owns a node if it has no uses
outside the expression it is linearizing.  But if the node was also in another
expression that had been linearized (and thus all uses of the node from that
expression dropped) then the conclusion that it is completely owned by the
expression currently being linearized is wrong.  Keeping one use from within each
linearized expression avoids this kind of mistake.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157467 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agomisched: trace formatting
Andrew Trick [Fri, 25 May 2012 02:02:39 +0000 (02:02 +0000)]
misched: trace formatting

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157455 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoEarly-continue.Reducing indentation.
Bill Wendling [Fri, 25 May 2012 00:57:21 +0000 (00:57 +0000)]
Early-continue.Reducing indentation.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157451 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoDon't call exit from a runtime.
Bill Wendling [Fri, 25 May 2012 00:55:38 +0000 (00:55 +0000)]
Don't call exit from a runtime.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157450 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoCompress MCRegisterInfo register name tables.
Jakob Stoklund Olesen [Fri, 25 May 2012 00:21:41 +0000 (00:21 +0000)]
Compress MCRegisterInfo register name tables.

Store (debugging) register names as offsets into a string table instead
of as char pointers.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157449 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoSimplify code for calling a function where CanLowerReturn fails, fixing a small bug...
Eli Friedman [Fri, 25 May 2012 00:09:29 +0000 (00:09 +0000)]
Simplify code for calling a function where CanLowerReturn fails, fixing a small bug in the process.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157446 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoSilence unused variable warnings from when assertions are disabled.
Kaelyn Uhrain [Thu, 24 May 2012 23:37:49 +0000 (23:37 +0000)]
Silence unused variable warnings from when assertions are disabled.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157438 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agomisched: Use the same scheduling heuristics with -misched-topdown/bottomup.
Andrew Trick [Thu, 24 May 2012 23:11:17 +0000 (23:11 +0000)]
misched: Use the same scheduling heuristics with -misched-topdown/bottomup.

(except the part about choosing direction)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157437 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoShrink.
Jakob Stoklund Olesen [Thu, 24 May 2012 22:17:44 +0000 (22:17 +0000)]
Shrink.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157433 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoAdd support for range expressions in TableGen foreach loops.
Jakob Stoklund Olesen [Thu, 24 May 2012 22:17:39 +0000 (22:17 +0000)]
Add support for range expressions in TableGen foreach loops.

Like this:

  foreach i = 0-127 in ...

Use braces for composite ranges:

  foreach i = {0-3,9-7} in ...

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157432 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoDon't put TGParser scratch results in the output.
Jakob Stoklund Olesen [Thu, 24 May 2012 22:17:36 +0000 (22:17 +0000)]
Don't put TGParser scratch results in the output.

Only fully expanded Records should go into RecordKeeper.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157431 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoSimplify TGParser::ProcessForEachDefs.
Jakob Stoklund Olesen [Thu, 24 May 2012 22:17:33 +0000 (22:17 +0000)]
Simplify TGParser::ProcessForEachDefs.

Use static type checking.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157430 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agomisched: Trace regpressure.
Andrew Trick [Thu, 24 May 2012 22:11:14 +0000 (22:11 +0000)]
misched: Trace regpressure.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157429 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agomisched: Give each ReadyQ a unique ID
Andrew Trick [Thu, 24 May 2012 22:11:12 +0000 (22:11 +0000)]
misched: Give each ReadyQ a unique ID

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157428 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agomisched: Added ScoreboardHazardRecognizer.
Andrew Trick [Thu, 24 May 2012 22:11:09 +0000 (22:11 +0000)]
misched: Added ScoreboardHazardRecognizer.

The Hazard checker implements in-order contraints, or interlocked
resources. Ready instructions with hazards do not enter the available
queue and are not visible to other heuristics.

The major code change is the addition of SchedBoundary to encapsulate
the state at the top or bottom of the schedule, including both a
pending and available queue.

The scheduler now counts cycles in sync with the hazard checker. These
are minimum cycle counts based on known hazards.

Targets with no itinerary (x86_64) currently remain at cycle 0. To fix
this, we need to provide some maximum issue width for all targets. We
also need to add the concept of expected latency vs. minimum latency.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157427 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agomisched: Release bottom roots in reverse order.
Andrew Trick [Thu, 24 May 2012 22:11:05 +0000 (22:11 +0000)]
misched: Release bottom roots in reverse order.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157426 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agomisched: rename ReadyQ class
Andrew Trick [Thu, 24 May 2012 22:11:03 +0000 (22:11 +0000)]
misched: rename ReadyQ class

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157425 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agomisched: copy comments so compareRPDelta is readable by itself.
Andrew Trick [Thu, 24 May 2012 22:11:01 +0000 (22:11 +0000)]
misched: copy comments so compareRPDelta is readable by itself.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157424 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoregpressure: Added RegisterPressure::dump
Andrew Trick [Thu, 24 May 2012 22:10:59 +0000 (22:10 +0000)]
regpressure: Added RegisterPressure::dump

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157423 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoregpressure: physreg livein/out fix
Andrew Trick [Thu, 24 May 2012 22:10:57 +0000 (22:10 +0000)]
regpressure: physreg livein/out fix

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157422 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoFix for CHECK-NOT misspelling.
David Blaikie [Thu, 24 May 2012 22:08:29 +0000 (22:08 +0000)]
Fix for CHECK-NOT misspelling.

Patch by Nicklas Bo Jensen.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157421 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoRemove the PTX back-end and all of its artifacts (triple, etc.)
Justin Holewinski [Thu, 24 May 2012 21:38:21 +0000 (21:38 +0000)]
Remove the PTX back-end and all of its artifacts (triple, etc.)

This back-end was deprecated in favor of the NVPTX back-end.

NV_CONTRIB

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157417 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoTeach tblgen's set theory "sequence" operator to support an optional stride operand.
Owen Anderson [Thu, 24 May 2012 21:37:08 +0000 (21:37 +0000)]
Teach tblgen's set theory "sequence" operator to support an optional stride operand.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157416 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoTypo. Patch by Nicklas Bo Jensen <nbjensen@gmail.com>.
Chad Rosier [Thu, 24 May 2012 21:17:47 +0000 (21:17 +0000)]
Typo. Patch by Nicklas Bo Jensen <nbjensen@gmail.com>.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157415 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoTurn on mips16 pseudo op when compiling for mips16.
Akira Hatanaka [Thu, 24 May 2012 18:37:43 +0000 (18:37 +0000)]
Turn on mips16 pseudo op when compiling for mips16.
Expand test case for this.

Patch by Reed Kotler.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157410 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoEnable Mips16 compiler to compile a null program.
Akira Hatanaka [Thu, 24 May 2012 18:32:33 +0000 (18:32 +0000)]
Enable Mips16 compiler to compile a null program.
First code from the Mips16 compiler. Includes trivial test program.

Patch by Reed Kotler.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157408 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoSilence Clang's -Wlogical-op-parentheses warning.
David Blaikie [Thu, 24 May 2012 17:11:00 +0000 (17:11 +0000)]
Silence Clang's -Wlogical-op-parentheses warning.

I'm not sure it's really worth expressing this as a range rather than 3 specific equalities, but it doesn't seem fundamentally wrong either.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157398 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoAdd half support to LLVM (for OpenCL)
Tobias Grosser [Thu, 24 May 2012 15:59:06 +0000 (15:59 +0000)]
Add half support to LLVM (for OpenCL)

Submitted by: Anton Lokhmotov  <Anton.Lokhmotov@arm.com>

Approved by: o Anton Korobeynikov
             o Micah Villmow
             o David Neto

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157393 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoTesting commit access
Meador Inge [Thu, 24 May 2012 14:20:13 +0000 (14:20 +0000)]
Testing commit access

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157389 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoPR1255 related changes (case ranges):
Stepan Dyatkovskiy [Thu, 24 May 2012 09:33:20 +0000 (09:33 +0000)]
PR1255 related changes (case ranges):
LowerSwitch::Clusterify : main functinality was replaced with CRSBuilder::optimize, so big part of Clusterify's code was reduced.
test/Transform/LowerSwitch/feature.ll - this test was refactored: grep + count was replaced with FileCheck usage.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157384 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoFix -Wcovered-switch-default warning.
Patrik Hägglund [Thu, 24 May 2012 07:51:46 +0000 (07:51 +0000)]
Fix -Wcovered-switch-default warning.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157381 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoConvert assert(0) to llvm_unreachable.
Craig Topper [Thu, 24 May 2012 07:02:50 +0000 (07:02 +0000)]
Convert assert(0) to llvm_unreachable.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157380 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoRemove old release notes. Ready them for additions from current development
Bill Wendling [Thu, 24 May 2012 06:38:09 +0000 (06:38 +0000)]
Remove old release notes. Ready them for additions from current development
cycle.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157378 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoMark some static arrays as const.
Craig Topper [Thu, 24 May 2012 06:35:32 +0000 (06:35 +0000)]
Mark some static arrays as const.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157377 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoUse uint16_t to store registers in static tables. Matches other tables.
Craig Topper [Thu, 24 May 2012 06:09:56 +0000 (06:09 +0000)]
Use uint16_t to store registers in static tables. Matches other tables.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157375 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoUse uint16_t to store register number in static tables to match other tables.
Craig Topper [Thu, 24 May 2012 05:55:47 +0000 (05:55 +0000)]
Use uint16_t to store register number in static tables to match other tables.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157374 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoMake some opcode tables static and const. Allows code to avoid making copies to pass...
Craig Topper [Thu, 24 May 2012 05:17:00 +0000 (05:17 +0000)]
Make some opcode tables static and const. Allows code to avoid making copies to pass the tables around.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157373 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoReflect that tblgen is now llvm-tblgen
Joel Jones [Thu, 24 May 2012 04:38:50 +0000 (04:38 +0000)]
Reflect that tblgen is now llvm-tblgen

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157371 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoMark a couple arrays as static and const. Use array_lengthof instead of sizeof/sizeof.
Craig Topper [Thu, 24 May 2012 04:22:05 +0000 (04:22 +0000)]
Mark a couple arrays as static and const. Use array_lengthof instead of sizeof/sizeof.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157369 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoMark a static array as const.
Craig Topper [Thu, 24 May 2012 04:11:15 +0000 (04:11 +0000)]
Mark a static array as const.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157368 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoMark a static table as const. Shrink opcode size in static tables to uint16_t. Simpli...
Craig Topper [Thu, 24 May 2012 03:59:11 +0000 (03:59 +0000)]
Mark a static table as const. Shrink opcode size in static tables to uint16_t. Simplify loop iterating over one of those tables. No functional change intended.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157367 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoTidy up naming for consistency and other cleanup. No functional change intended.
Chad Rosier [Wed, 23 May 2012 23:45:10 +0000 (23:45 +0000)]
Tidy up naming for consistency and other cleanup.  No functional change intended.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157358 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoAdd a test case for global live range splitting.
Jakob Stoklund Olesen [Wed, 23 May 2012 23:42:23 +0000 (23:42 +0000)]
Add a test case for global live range splitting.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157357 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoAdd a last resort tryInstructionSplit() to RAGreedy.
Jakob Stoklund Olesen [Wed, 23 May 2012 22:37:27 +0000 (22:37 +0000)]
Add a last resort tryInstructionSplit() to RAGreedy.

Live ranges with a constrained register class may benefit from splitting
around individual uses. It allows the remaining live range to use a
larger register class where it may allocate. This is like spilling to a
different register class.

This is only attempted on constrained register classes.

<rdar://problem/11438902>

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157354 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoForgot to reverse conditional.
Bill Wendling [Wed, 23 May 2012 22:12:50 +0000 (22:12 +0000)]
Forgot to reverse conditional.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157349 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agoReduce indentation by early detection of 'continue'. No functionality change.
Bill Wendling [Wed, 23 May 2012 22:09:50 +0000 (22:09 +0000)]
Reduce indentation by early detection of 'continue'. No functionality change.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157348 91177308-0d34-0410-b5e6-96231b3b80d8

11 years agollvm-ld does not exist anymore, use llvm-link instead.
Nicolas Geoffray [Wed, 23 May 2012 20:34:19 +0000 (20:34 +0000)]
llvm-ld does not exist anymore, use llvm-link instead.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157342 91177308-0d34-0410-b5e6-96231b3b80d8