oota-llvm.git
15 years agoMake jump threading eliminate blocks that just contain phi nodes,
Chris Lattner [Tue, 10 Nov 2009 21:40:01 +0000 (21:40 +0000)]
Make jump threading eliminate blocks that just contain phi nodes,
debug intrinsics, and an unconditional branch when possible.  This
reuses the TryToSimplifyUncondBranchFromEmptyBlock function split
out of simplifycfg.

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

15 years agoGeneralize lsr code that optimize loop to count down towards zero.
Evan Cheng [Tue, 10 Nov 2009 21:14:05 +0000 (21:14 +0000)]
Generalize lsr code that optimize loop to count down towards zero.

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

15 years agoOptimize test more.
Dan Gohman [Tue, 10 Nov 2009 21:02:18 +0000 (21:02 +0000)]
Optimize test more.

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

15 years agomake this handle redefinition of malloc function with different prototype correctly
Victor Hernandez [Tue, 10 Nov 2009 19:53:28 +0000 (19:53 +0000)]
make this handle redefinition of malloc function with different prototype correctly

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

15 years agoChange Thumb1 address mode printing, instead of
Evan Cheng [Tue, 10 Nov 2009 19:48:13 +0000 (19:48 +0000)]
Change Thumb1 address mode printing, instead of
[r0, #2 * 4]
Now
[r0, #8]

This makes Thumb2 assembly more uniform and frankly the scale doesn't add much.

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

15 years agoAdd a comment.
Evan Cheng [Tue, 10 Nov 2009 19:44:56 +0000 (19:44 +0000)]
Add a comment.

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

15 years agoAdd defensive break.
Duncan Sands [Tue, 10 Nov 2009 19:36:40 +0000 (19:36 +0000)]
Add defensive break.

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

15 years agoAdd a monstrous hack to improve X86ISelDAGToDAG compile time.
Daniel Dunbar [Tue, 10 Nov 2009 18:24:37 +0000 (18:24 +0000)]
Add a monstrous hack to improve X86ISelDAGToDAG compile time.
 - Force NDEBUG on in any Release build. This drops the compile time to ~100s
   from ~600s, in Release mode.

 - This may just be a temporary workaround, I don't know the true nature of the
   gcc-4.2 compile time performance problem.

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

15 years agoFix obvious typo.
Duncan Sands [Tue, 10 Nov 2009 18:21:37 +0000 (18:21 +0000)]
Fix obvious typo.

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

15 years agoclarify logic.
Chris Lattner [Tue, 10 Nov 2009 17:00:47 +0000 (17:00 +0000)]
clarify logic.

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

15 years agoCMake: Add Darwin-specific linker flags for building loadable modules
Douglas Gregor [Tue, 10 Nov 2009 15:30:33 +0000 (15:30 +0000)]
CMake: Add Darwin-specific linker flags for building loadable modules

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

15 years agoTeach DSE to eliminate useless trampolines.
Duncan Sands [Tue, 10 Nov 2009 13:49:50 +0000 (13:49 +0000)]
Teach DSE to eliminate useless trampolines.

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

15 years agoAdd brackets to make gcc-4.4 happy.
Duncan Sands [Tue, 10 Nov 2009 09:32:10 +0000 (09:32 +0000)]
Add brackets to make gcc-4.4 happy.

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

15 years agoCodegen support for the llvm.invariant/lifetime.start/end intrinsics:
Duncan Sands [Tue, 10 Nov 2009 09:08:09 +0000 (09:08 +0000)]
Codegen support for the llvm.invariant/lifetime.start/end intrinsics:
just throw them away.

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

15 years agoUpdate computeArraySize() to use ComputeMultiple() to determine the array size associ...
Victor Hernandez [Tue, 10 Nov 2009 08:32:25 +0000 (08:32 +0000)]
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

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

15 years agoAdd ComputeMultiple() analysis function that recursively determines if a Value V...
Victor Hernandez [Tue, 10 Nov 2009 08:28:35 +0000 (08:28 +0000)]
Add ComputeMultiple() analysis function that recursively determines if a Value V is a multiple of unsigned Base

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

15 years agooptimize test
Chris Lattner [Tue, 10 Nov 2009 07:44:36 +0000 (07:44 +0000)]
optimize test

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

15 years agounify the code that determines whether it is a good idea to change the type
Chris Lattner [Tue, 10 Nov 2009 07:23:37 +0000 (07:23 +0000)]
unify the code that determines whether it is a good idea to change the type
of a computation.  This fixes some infinite loops when dealing with TD that
has no native types.

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

15 years agoSimplify.
Nick Lewycky [Tue, 10 Nov 2009 07:00:43 +0000 (07:00 +0000)]
Simplify.

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

15 years agoReapply r86359, "Teach dead store elimination that certain intrinsics write to
Nick Lewycky [Tue, 10 Nov 2009 06:46:40 +0000 (06:46 +0000)]
Reapply r86359, "Teach dead store elimination that certain intrinsics write to
memory just like a store" with bug fixed (partial-overwrite.ll is the
regression test).

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

15 years agorefactor TryToSimplifyUncondBranchFromEmptyBlock out of SimplifyCFG.
Chris Lattner [Tue, 10 Nov 2009 05:59:26 +0000 (05:59 +0000)]
refactor TryToSimplifyUncondBranchFromEmptyBlock out of SimplifyCFG.

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

15 years agoCMake: Support for building llvm loadable modules.
Oscar Fuentes [Tue, 10 Nov 2009 02:45:37 +0000 (02:45 +0000)]
CMake: Support for building llvm loadable modules.

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

15 years agolit: Start documentation testing architecture.
Daniel Dunbar [Tue, 10 Nov 2009 02:41:27 +0000 (02:41 +0000)]
lit: Start documentation testing architecture.

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

15 years agolit: Add ExampleTests, for testing lit and demonstrating test suite features.
Daniel Dunbar [Tue, 10 Nov 2009 02:41:17 +0000 (02:41 +0000)]
lit: Add ExampleTests, for testing lit and demonstrating test suite features.

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

15 years agolit: Fix bug in --show-suites which accidentally override the list of tests.
Daniel Dunbar [Tue, 10 Nov 2009 02:40:21 +0000 (02:40 +0000)]
lit: Fix bug in --show-suites which accidentally override the list of tests.

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

15 years agoFix PR5445
Bruno Cardoso Lopes [Tue, 10 Nov 2009 02:35:13 +0000 (02:35 +0000)]
Fix PR5445

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

15 years agoI misread the parens, not so redundant after all.
Chris Lattner [Tue, 10 Nov 2009 02:04:54 +0000 (02:04 +0000)]
I misread the parens, not so redundant after all.

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

15 years agomake jump threading recursively simplify expressions instead of doing it
Chris Lattner [Tue, 10 Nov 2009 01:57:31 +0000 (01:57 +0000)]
make jump threading recursively simplify expressions instead of doing it
just one level deep.  On the testcase we go from getting this:

F1:                                               ; preds = %T2
  %F = and i1 true, %cond                         ; <i1> [#uses=1]
  br i1 %F, label %X, label %Y

to a fully threaded:

F1:                                               ; preds = %T2
  br label %Y

This changes gets us to the point where we're forming (too many) switch
instructions on doug's strswitch testcase.

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

15 years agoremove some redundant parens.
Chris Lattner [Tue, 10 Nov 2009 01:56:04 +0000 (01:56 +0000)]
remove some redundant parens.

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

15 years agoCMake: Remove unnecessary `unset' which was not supported by old cmake
Oscar Fuentes [Tue, 10 Nov 2009 01:45:05 +0000 (01:45 +0000)]
CMake: Remove unnecessary `unset' which was not supported by old cmake
releases.

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

15 years agoRemove an unused variable.
Dan Gohman [Tue, 10 Nov 2009 01:37:57 +0000 (01:37 +0000)]
Remove an unused variable.

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

15 years agoMinor code simplification.
Dan Gohman [Tue, 10 Nov 2009 01:36:20 +0000 (01:36 +0000)]
Minor code simplification.

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

15 years agoTrim a bunch of unneeded code from this testcase.
Dan Gohman [Tue, 10 Nov 2009 01:33:08 +0000 (01:33 +0000)]
Trim a bunch of unneeded code from this testcase.

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

15 years agodon't invalidate PN, rewrite of this code is in progress anyway.
Chris Lattner [Tue, 10 Nov 2009 01:19:06 +0000 (01:19 +0000)]
don't invalidate PN, rewrite of this code is in progress anyway.

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

15 years agoadd a new SimplifyInstruction API, which is like ConstantFoldInstruction,
Chris Lattner [Tue, 10 Nov 2009 01:08:51 +0000 (01:08 +0000)]
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.

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

15 years agoFix DenseMap iterator constness.
Jeffrey Yasskin [Tue, 10 Nov 2009 01:02:17 +0000 (01:02 +0000)]
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!

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

15 years agofactor simplification logic for AND and OR out to InstSimplify from instcombine.
Chris Lattner [Tue, 10 Nov 2009 00:55:12 +0000 (00:55 +0000)]
factor simplification logic for AND and OR out to InstSimplify from instcombine.

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

15 years agoFixed to address code review. No functional changes.
David Goodwin [Tue, 10 Nov 2009 00:48:55 +0000 (00:48 +0000)]
Fixed to address code review. No functional changes.

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

15 years agoFix MemoryBuffer::getSTDIN to *not* return null if stdin is empty, this is a lame...
Daniel Dunbar [Tue, 10 Nov 2009 00:43:58 +0000 (00:43 +0000)]
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.

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

15 years agoAllow targets to specify register classes whose member registers should not be rename...
David Goodwin [Tue, 10 Nov 2009 00:15:47 +0000 (00:15 +0000)]
Allow targets to specify register classes whose member registers should not be renamed to break anti-dependencies.

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

15 years agopull a bunch of logic out of instcombine into instsimplify for compare
Chris Lattner [Mon, 9 Nov 2009 23:55:12 +0000 (23:55 +0000)]
pull a bunch of logic out of instcombine into instsimplify for compare
simplification, this handles the foldable fcmp x,x cases among many others.

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

15 years agoPass the (optional) TargetData object to ConstantFoldInstOperands
Dan Gohman [Mon, 9 Nov 2009 23:34:17 +0000 (23:34 +0000)]
Pass the (optional) TargetData object to ConstantFoldInstOperands
and ConstantFoldCompareInstOperands.

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

15 years agoinline a simple function.
Chris Lattner [Mon, 9 Nov 2009 23:31:49 +0000 (23:31 +0000)]
inline a simple function.

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

15 years agorename SimplifyCompare -> SimplifyCmpInst and split it into
Chris Lattner [Mon, 9 Nov 2009 23:28:39 +0000 (23:28 +0000)]
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.

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

15 years agoNow that the default is 'enabled,' a separate command line option for ARM is
Jim Grosbach [Mon, 9 Nov 2009 23:11:45 +0000 (23:11 +0000)]
Now that the default is 'enabled,' a separate command line option for ARM is
not necessary.

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

15 years agoAdd testcase for recent checkin.
Mike Stump [Mon, 9 Nov 2009 23:10:49 +0000 (23:10 +0000)]
Add testcase for recent checkin.

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

15 years agofix ConstantFoldCompareInstOperands to take the LHS/RHS as
Chris Lattner [Mon, 9 Nov 2009 23:06:58 +0000 (23:06 +0000)]
fix ConstantFoldCompareInstOperands to take the LHS/RHS as
individual operands instead of taking a temporary array

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

15 years agoAdd StringSwitch::Cases overloads, for matching multiple strings to a single
Daniel Dunbar [Mon, 9 Nov 2009 23:05:44 +0000 (23:05 +0000)]
Add StringSwitch::Cases overloads, for matching multiple strings to a single
value.

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

15 years agouse instructionsimplify instead of a weak clone of ad-hoc folding stuff.
Chris Lattner [Mon, 9 Nov 2009 23:00:14 +0000 (23:00 +0000)]
use instructionsimplify instead of a weak clone of ad-hoc folding stuff.

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

15 years agoUpdate test
Jim Grosbach [Mon, 9 Nov 2009 22:59:01 +0000 (22:59 +0000)]
Update test

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

15 years agostub out a new libanalysis "instruction simplify" interface that
Chris Lattner [Mon, 9 Nov 2009 22:57:59 +0000 (22:57 +0000)]
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.

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

15 years agoRemove dlsym stubs, with Nate Begeman's permission.
Jeffrey Yasskin [Mon, 9 Nov 2009 22:34:19 +0000 (22:34 +0000)]
Remove dlsym stubs, with Nate Begeman's permission.

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

15 years agoEnable dynamic stack realignment by default.
Jim Grosbach [Mon, 9 Nov 2009 22:32:40 +0000 (22:32 +0000)]
Enable dynamic stack realignment by default.

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

15 years agostub out a new form of BasicBlock::RemovePredecessorAndSimplify which
Chris Lattner [Mon, 9 Nov 2009 22:32:36 +0000 (22:32 +0000)]
stub out a new form of BasicBlock::RemovePredecessorAndSimplify which
simplifies instruction users of PHIs when the phi is eliminated.  This
will be moved to transforms/utils after some other refactoring.

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

15 years agoSet dynamic stack realignment to real values.
Jim Grosbach [Mon, 9 Nov 2009 22:32:03 +0000 (22:32 +0000)]
Set dynamic stack realignment to real values.

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

15 years agoRemove an unneeded #include.
Dan Gohman [Mon, 9 Nov 2009 22:28:30 +0000 (22:28 +0000)]
Remove an unneeded #include.

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

15 years agoFix for 64-bit builds.
Mike Stump [Mon, 9 Nov 2009 22:28:21 +0000 (22:28 +0000)]
Fix for 64-bit builds.

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

15 years agoSimilar to r86588, but for Darwin this time.
Bill Wendling [Mon, 9 Nov 2009 21:45:26 +0000 (21:45 +0000)]
Similar to r86588, but for Darwin this time.

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

15 years agoThe jump table was being generated before the end label for exception handling
Bill Wendling [Mon, 9 Nov 2009 21:20:14 +0000 (21:20 +0000)]
The jump table was being generated before the end label for exception handling
was generated. This caused code like this:

## The asm code for the function
        .section        __TEXT,__const
        .align  2
lJTI11_0:
LJTI11_0:
        .long    LBB11_16
        .long    LBB11_4
        .long    LBB11_5
        .long    LBB11_6
        .long    LBB11_7
        .long    LBB11_8
        .long    LBB11_9
        .long    LBB11_10
        .long    LBB11_11
        .long    LBB11_12
        .long    LBB11_13
        .long    LBB11_14
Leh_func_end11:   ## <---now in the wrong section!

The `Leh_func_end11' would then end up in the wrong section, causing the
resulting EH frame information to be wrong:

__ZL11CheckRightsjPKcbRbRP6NSData.eh:
    .set    Lset500eh,Leh_frame_end11-Leh_frame_begin11
    .long   Lset500eh  ; Length of Frame Information Entry
Leh_frame_begin11:
    .long   Leh_frame_begin11-Leh_frame_common
    .long   Leh_func_begin11-.
    .set    Lset501eh,Leh_func_end11-Leh_func_begin11
    .long   Lset501eh                                   ; FDE address range
`Lset501eh' is now something huge instead of the real value.

The X86 back-end generates the jump table after the EH information is
emitted. Do the same here.

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

15 years agoPrint "..." instead of all the uninteresting register clobbers on call
Dan Gohman [Mon, 9 Nov 2009 19:38:45 +0000 (19:38 +0000)]
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>, ...

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

15 years agoDefault-addressspace null pointers don't alias anything. This allows
Dan Gohman [Mon, 9 Nov 2009 19:29:11 +0000 (19:29 +0000)]
Default-addressspace null pointers don't alias anything. This allows
GVN to be more aggressive. Patch by Hans Wennborg! (with a comment added by me)

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

15 years agoFix dependencies added to model memory aliasing for post-RA scheduling. The dependenc...
David Goodwin [Mon, 9 Nov 2009 19:22:17 +0000 (19:22 +0000)]
Fix dependencies added to model memory aliasing for post-RA scheduling. The dependencies were overly conservative for memory access that are known not to alias.

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

15 years agoThe inbounds keyword isn't relevant to overindexing of
Dan Gohman [Mon, 9 Nov 2009 19:01:53 +0000 (19:01 +0000)]
The inbounds keyword isn't relevant to overindexing of
static array types. Thanks to Duncan for pointing this out!

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

15 years agoFix a comment in a typo that Duncan noticed.
Dan Gohman [Mon, 9 Nov 2009 18:59:22 +0000 (18:59 +0000)]
Fix a comment in a typo that Duncan noticed.

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

15 years agoRemove the "special case" for zero-length arrays, and rephrase this
Dan Gohman [Mon, 9 Nov 2009 18:40:39 +0000 (18:40 +0000)]
Remove the "special case" for zero-length arrays, and rephrase this
paragraph to be more precise.

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

15 years agoGeneralize LCSSA to handle loops with exits with predecessors outside
Dan Gohman [Mon, 9 Nov 2009 18:28:24 +0000 (18:28 +0000)]
Generalize LCSSA to handle loops with exits with predecessors outside
the loop. This is needed because with indirectbr it may not be possible
for LoopSimplify to guarantee that all loop exit predecessors are
inside the loop. This fixes PR5437.

LCCSA no longer actually requires LoopSimplify form, but for now it
must still have the dependency because the PassManager doesn't know
how to schedule LoopSimplify otherwise.

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

15 years agoFix an 80-column violation.
Dan Gohman [Mon, 9 Nov 2009 18:20:38 +0000 (18:20 +0000)]
Fix an 80-column violation.

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

15 years agoMinor tidiness fixes.
Dan Gohman [Mon, 9 Nov 2009 18:19:43 +0000 (18:19 +0000)]
Minor tidiness fixes.

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

15 years agoConstify MachineFunctionAnalysis' TargetMachine reference.
Dan Gohman [Mon, 9 Nov 2009 18:18:49 +0000 (18:18 +0000)]
Constify MachineFunctionAnalysis' TargetMachine reference.

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

15 years agoFix a comment.
Dan Gohman [Mon, 9 Nov 2009 17:06:51 +0000 (17:06 +0000)]
Fix a comment.

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

15 years agoSuppress implicit copy ctor and copy assignment for MachineFunction.
Dan Gohman [Mon, 9 Nov 2009 17:06:23 +0000 (17:06 +0000)]
Suppress implicit copy ctor and copy assignment for MachineFunction.

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

15 years agoUse ',' separation in XFAILs, lit doesn't evaluate them as regexs (easy to add,
Daniel Dunbar [Mon, 9 Nov 2009 16:38:15 +0000 (16:38 +0000)]
Use ',' separation in XFAILs, lit doesn't evaluate them as regexs (easy to add,
but might as well use the more standard syntax).

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

15 years agoadd zextOrTrunc and sextOrTrunc methods, that are similar to the ones in APInt
Nuno Lopes [Mon, 9 Nov 2009 15:36:28 +0000 (15:36 +0000)]
add zextOrTrunc and sextOrTrunc methods, that are similar to the ones in APInt

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

15 years agoWork around assembler not recognizing #0.0 form immediate for vmcp
Jim Grosbach [Mon, 9 Nov 2009 15:27:51 +0000 (15:27 +0000)]
Work around assembler not recognizing #0.0 form immediate for vmcp

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

15 years agoCMake: Detect gv, circo, twopi, neato, fdo, dot and dotty.
Oscar Fuentes [Mon, 9 Nov 2009 15:26:40 +0000 (15:26 +0000)]
CMake: Detect gv, circo, twopi, neato, fdo, dot and dotty.

Patch by Arnaud Allard de Grandmaison!

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

15 years agoMake lib/Support/Debug.cpp SetCurrentDebugType implementation part of llvm namespace...
Xerxes Ranby [Mon, 9 Nov 2009 14:50:34 +0000 (14:50 +0000)]
Make lib/Support/Debug.cpp SetCurrentDebugType implementation part of llvm namespace to match function declaration in Debug.h.

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

15 years agoFix PR5149.
Bruno Cardoso Lopes [Mon, 9 Nov 2009 14:27:49 +0000 (14:27 +0000)]
Fix PR5149.

http://llvm.org/bugs/show_bug.cgi?id=5149

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

15 years agomake this handle redefinition of malloc with different prototype correctly.
Chris Lattner [Mon, 9 Nov 2009 07:12:01 +0000 (07:12 +0000)]
make this handle redefinition of malloc with different prototype correctly.

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

15 years agoif a 'with overflow' intrinsic just has the normal result used, simplify
Chris Lattner [Mon, 9 Nov 2009 07:07:56 +0000 (07:07 +0000)]
if a 'with overflow' intrinsic just has the normal result used, simplify
it to a normal binop.  Patch by Alastair Lynn, testcase by me.

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

15 years agoHide a couple of options.
Evan Cheng [Mon, 9 Nov 2009 06:49:37 +0000 (06:49 +0000)]
Hide a couple of options.

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

15 years ago80 col.
Evan Cheng [Mon, 9 Nov 2009 06:49:22 +0000 (06:49 +0000)]
80 col.

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

15 years agofix PR5104: when printing a single character, return the result of
Chris Lattner [Mon, 9 Nov 2009 04:57:04 +0000 (04:57 +0000)]
fix PR5104: when printing a single character, return the result of
putchar in case there is an error.

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

15 years agofix some bogus asserts, PR5049
Chris Lattner [Mon, 9 Nov 2009 04:47:27 +0000 (04:47 +0000)]
fix some bogus asserts, PR5049

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

15 years agorandom tidy
Chris Lattner [Mon, 9 Nov 2009 04:18:23 +0000 (04:18 +0000)]
random tidy

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

15 years agoremove a redundant printout, LinkInArchive prints this as well.
Chris Lattner [Mon, 9 Nov 2009 04:15:28 +0000 (04:15 +0000)]
remove a redundant printout, LinkInArchive prints this as well.

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

15 years agoenhance PHI slicing to handle the case when a slicable PHI is begin
Chris Lattner [Mon, 9 Nov 2009 01:38:00 +0000 (01:38 +0000)]
enhance PHI slicing to handle the case when a slicable PHI is begin
used by a chain of other PHIs.

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

15 years agoSmall cleanups.
Owen Anderson [Mon, 9 Nov 2009 00:48:15 +0000 (00:48 +0000)]
Small cleanups.

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

15 years agoRevert my previous patch to ABCD and fix things the right way. There are two problem...
Owen Anderson [Mon, 9 Nov 2009 00:44:44 +0000 (00:44 +0000)]
Revert my previous patch to ABCD and fix things the right way.  There are two problems addressed
here:

1) We need to avoid processing sigma nodes as phi nodes for constraint generation.
2) We need to generate constraints for comparisons against constants properly.

This includes our first working ABCD test!

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

15 years agocomment typos pointed out by Duncan
Chris Lattner [Mon, 9 Nov 2009 00:41:49 +0000 (00:41 +0000)]
comment typos pointed out by Duncan

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

15 years agoUse Unified Assembly Syntax for the ARM backend.
Jim Grosbach [Mon, 9 Nov 2009 00:11:35 +0000 (00:11 +0000)]
Use Unified Assembly Syntax for the ARM backend.

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

15 years agoFix an issue where the ordering of blocks within a function could lead to different...
Owen Anderson [Sun, 8 Nov 2009 22:36:55 +0000 (22:36 +0000)]
Fix an issue where the ordering of blocks within a function could lead to different constraint
graphs being produced.  The cause was that we were incorrectly marking sigma instructions as
processed after handling the sigma-specific constraints for them, potentially neglecting to
process them as normal instructions as well.

Unfortunately, the testcase that inspired this still doesn't work because of a bug in the solver,
which is next on the list to debug.

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

15 years agoAdd a 'zkill' script, which is more-or-less a fancy (although not necessarily
Daniel Dunbar [Sun, 8 Nov 2009 21:51:53 +0000 (21:51 +0000)]
Add a 'zkill' script, which is more-or-less a fancy (although not necessarily
very robust) version of killall. Because I like making shiny new wheels out of
spare parts.

For use by buildbots when people insist on making cc1 infinite loop. :)

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

15 years agoTeach an instcombine to not pull trunc instructions through PHI nodes
Chris Lattner [Sun, 8 Nov 2009 21:20:06 +0000 (21:20 +0000)]
Teach an instcombine to not pull trunc instructions through PHI nodes
when both the source and dest are illegal types, since it would cause
the phi to grow (for example, we shouldn't transform test14b's phi to
a phi on i320).  This fixes an infinite loop on i686 bootstrap with
phi slicing turned on, so turn it back on.

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

15 years agoRevert commit 81144, and add a comment. It caused bugpoint timeouts
Duncan Sands [Sun, 8 Nov 2009 20:55:48 +0000 (20:55 +0000)]
Revert commit 81144, and add a comment.  It caused bugpoint timeouts
not to work any more on linux.

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

15 years agoreapply r8644[3-5] with only the scary part
Chris Lattner [Sun, 8 Nov 2009 19:23:30 +0000 (19:23 +0000)]
reapply r8644[3-5] with only the scary part
(SliceUpIllegalIntegerPHI) disabled.

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

15 years agoSpeculatively revert r8644[3-5], they seem to be leading to infinite loops in
Daniel Dunbar [Sun, 8 Nov 2009 17:52:47 +0000 (17:52 +0000)]
Speculatively revert r8644[3-5], they seem to be leading to infinite loops in
llvm-gcc bootstrap.

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

15 years agoAdd and-not (bic) patterns. Based heavily on patch by Brian Lucas!
Anton Korobeynikov [Sun, 8 Nov 2009 15:33:12 +0000 (15:33 +0000)]
Add and-not (bic) patterns. Based heavily on patch by Brian Lucas!

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

15 years agoMove OR patterns upper to all logical stuff. No functionality change.
Anton Korobeynikov [Sun, 8 Nov 2009 15:32:44 +0000 (15:32 +0000)]
Move OR patterns upper to all logical stuff. No functionality change.

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

15 years agoSome nice peephole patterns. Based on patch by Brian Lucas!
Anton Korobeynikov [Sun, 8 Nov 2009 15:32:28 +0000 (15:32 +0000)]
Some nice peephole patterns. Based on patch by Brian Lucas!

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

15 years agoPrint tab before operand of jcc
Anton Korobeynikov [Sun, 8 Nov 2009 15:32:11 +0000 (15:32 +0000)]
Print tab before operand of jcc

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