Bob Wilson [Thu, 4 Mar 2010 21:42:36 +0000 (21:42 +0000)]
pr6478: The frame pointer spill frame index is only defined when there is a
frame pointer.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97755
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Thu, 4 Mar 2010 21:28:09 +0000 (21:28 +0000)]
Run machine licm before machine cse to avoid messing up licm opportunities.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97752
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Thu, 4 Mar 2010 21:18:08 +0000 (21:18 +0000)]
Avoid cse load instructions unless they are known to be invariant loads.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97747
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Wilson [Thu, 4 Mar 2010 21:04:38 +0000 (21:04 +0000)]
pr6480: Don't try producing ld/st-multiple instructions when the address is
an undef value. This is only going to come up for bugpoint-reduced tests --
correct programs will not access memory at undefined addresses -- so it's not
worth the effort of doing anything more aggressive.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97745
91177308-0d34-0410-b5e6-
96231b3b80d8
Erick Tryzelaar [Thu, 4 Mar 2010 20:56:19 +0000 (20:56 +0000)]
Rewrite makefiles to explicitly reference DESTDIR to fix bug 3153.
We need this so can not bake DESTDIR into the O'Caml symlinks.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97743
91177308-0d34-0410-b5e6-
96231b3b80d8
Jakob Stoklund Olesen [Thu, 4 Mar 2010 20:42:07 +0000 (20:42 +0000)]
Fix the remaining MUL8 and DIV8 to define AX instead of AL,AH.
These instructions technically define AL,AH, but a trick in X86ISelDAGToDAG
reads AX in order to avoid reading AH with a REX instruction.
Fix PR6489.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97742
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 4 Mar 2010 19:58:08 +0000 (19:58 +0000)]
Fix recognition of 16-bit bswap for C front-ends which emit the
clobber registers in a different order.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97741
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 4 Mar 2010 19:54:45 +0000 (19:54 +0000)]
not committing what you test = bad.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97740
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 4 Mar 2010 19:48:19 +0000 (19:48 +0000)]
make gep matching in fastisel match the base of the gep as a
register if it isn't possible to match the indexes *and* the base.
This fixes some fast isel rejects of load instructions on oggenc.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97739
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 4 Mar 2010 19:46:56 +0000 (19:46 +0000)]
add a statistic for # times fastisel fails.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97738
91177308-0d34-0410-b5e6-
96231b3b80d8
Jeffrey Yasskin [Thu, 4 Mar 2010 19:45:09 +0000 (19:45 +0000)]
Fix PR6360. It's easy for a stub's address to escape to user code, so we can't
just count references to it from JIT output to decide when to destroy it. This
patch waits to destroy the JIT's memory of a stub until the Function it refers
to is destroyed. External function stubs and GVIndirectSyms aren't destroyed
until the JIT itself is.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97737
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 4 Mar 2010 19:11:28 +0000 (19:11 +0000)]
Fix a typo Duncan noticed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97735
91177308-0d34-0410-b5e6-
96231b3b80d8
Johnny Chen [Thu, 4 Mar 2010 17:40:44 +0000 (17:40 +0000)]
Added 32-bit Thumb instructions for Preload Data (PLD, PLDW) and Preload
Instruction (PLI) for disassembly only.
According to A8.6.120 PLI (immediate, literal), for example, different
instructions are generated for "pli [pc, #0]" and "pli [pc, #-0"]. The
disassembler solves it by mapping -0 (negative zero) to -1, -1 to -2, ..., etc.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97731
91177308-0d34-0410-b5e6-
96231b3b80d8
John McCall [Thu, 4 Mar 2010 11:48:42 +0000 (11:48 +0000)]
Simplify the condition-checking logic and hopefully clear up a build failure
that somehow got through my testing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97728
91177308-0d34-0410-b5e6-
96231b3b80d8
John McCall [Thu, 4 Mar 2010 09:36:50 +0000 (09:36 +0000)]
Teach lit to honor conditional directives. The syntax is:
IF(condition(value)):
If the value satisfies the condition, the line is processed by lit; otherwise
it is skipped. A test with no unignored directives is resolved as Unsupported.
The test suite is responsible for defining conditions; conditions are unary
functions over strings. I've defined two conditions in the LLVM test suite,
TARGET (with values like those in TARGETS_TO_BUILD) and BINDING (with values
like those in llvm_bindings). So for example you can write:
IF(BINDING(ocaml)): RUN: %blah %s -o -
and the RUN line will only execute if LLVM was configured with the ocaml
bindings.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97726
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Thu, 4 Mar 2010 06:54:10 +0000 (06:54 +0000)]
Make the 'icmp pred trunc(ext(X)), CST --> icmp pred X, ext(trunc(CST))'
transformation much more careful. Truncating binary '01' to '1' sounds like it's
safe until you realize that it switched from positive to negative under a signed
interpretation, and that depends on the icmp predicate.
Also a few miscellaneous cleanups.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97721
91177308-0d34-0410-b5e6-
96231b3b80d8
Jeffrey Yasskin [Thu, 4 Mar 2010 06:50:01 +0000 (06:50 +0000)]
Fix PR5291, in which a SmallPtrSet iterator was held across an insertion into
the set.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97720
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Thu, 4 Mar 2010 02:08:04 +0000 (02:08 +0000)]
Rename -machine-cse to -enable-machine-cse.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97713
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 4 Mar 2010 01:43:43 +0000 (01:43 +0000)]
add a comment.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97709
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 4 Mar 2010 01:34:29 +0000 (01:34 +0000)]
so hey, it turns out that the histogram was completely wrong, because
we sometimes emit nodes multiple times to string buffers to size them.
Compute the histogram correctly.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97708
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Thu, 4 Mar 2010 01:33:55 +0000 (01:33 +0000)]
Look ahead a bit to determine if a physical register def that is not marked dead is really alive. This is necessary to catch a lot of common cse opportunities for targets like x86.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97706
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 4 Mar 2010 01:26:00 +0000 (01:26 +0000)]
zap fixme.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97705
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 4 Mar 2010 01:25:36 +0000 (01:25 +0000)]
now that complexpatterns are all emitted at the end of the match
sequence, just emit instruction predicates right before them. This
exposes yet more factoring opportunitites, shrinking the X86 table
to 79144 bytes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97704
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 4 Mar 2010 01:23:08 +0000 (01:23 +0000)]
change the new isel matcher to emit ComplexPattern matches
as the very last thing before node emission. This should
dramatically reduce the number of times we do 'MatchAddress'
on X86, speeding up compile time. This also improves comments
in the tables and shrinks the table a bit, now down to
80506 bytes for x86.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97703
91177308-0d34-0410-b5e6-
96231b3b80d8
Jeffrey Yasskin [Thu, 4 Mar 2010 00:32:33 +0000 (00:32 +0000)]
Make sure JITResolvers don't leave any stubs behind. When a JITResolver was
destroyed, it could leave stubs in the StubToResolverMap, which would confuse
the lookup for subsequent lazy compilations.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97698
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 4 Mar 2010 00:28:05 +0000 (00:28 +0000)]
enhance comment output to specify what recorded slot
numbers a ComplexPat will match into.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97696
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 4 Mar 2010 00:23:16 +0000 (00:23 +0000)]
Fix more code to work properly with vector operands. Based on
a patch my Micah Villmow for PR6465.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97692
91177308-0d34-0410-b5e6-
96231b3b80d8
John McCall [Thu, 4 Mar 2010 00:21:47 +0000 (00:21 +0000)]
Teach the pic16 target to recognize pic16-*-* triples.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97691
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 4 Mar 2010 00:21:16 +0000 (00:21 +0000)]
inline CannotYetSelectIntrinsic into CannotYetSelect and simplify.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97690
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 23:59:08 +0000 (23:59 +0000)]
Fix a logic error. An instruction that has a live physical register def cannot be CSE'ed, but it *can* be used to replace a common subexpression.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97688
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 23:55:49 +0000 (23:55 +0000)]
Remove PHINodeTraits and use MachineInstrExpressionTrait instead.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97687
91177308-0d34-0410-b5e6-
96231b3b80d8
Erick Tryzelaar [Wed, 3 Mar 2010 23:51:34 +0000 (23:51 +0000)]
Expose the rest of the llvm-c scalar opts to ocaml.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97685
91177308-0d34-0410-b5e6-
96231b3b80d8
Erick Tryzelaar [Wed, 3 Mar 2010 23:51:30 +0000 (23:51 +0000)]
Rename some ocaml functions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97684
91177308-0d34-0410-b5e6-
96231b3b80d8
Erick Tryzelaar [Wed, 3 Mar 2010 23:51:28 +0000 (23:51 +0000)]
Expose the external functions for ocaml's execution engine as an optimization.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97683
91177308-0d34-0410-b5e6-
96231b3b80d8
Erick Tryzelaar [Wed, 3 Mar 2010 23:51:25 +0000 (23:51 +0000)]
Expose alignment and stack alignment attributes to llvm-c and ocaml.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97682
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 23:37:30 +0000 (23:37 +0000)]
Move MachineInstrExpressionTrait::getHashValue() out of line so it can skip over only virtual register defs. This matches what isEqual() is doing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97680
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 23:27:36 +0000 (23:27 +0000)]
Re-apply r97667 but with a little bit of thought put into the patch. This implements a special DenseMapInfo trait for DenseMap<MachineInstr*> that compare the value of the MachineInstr rather than the pointer value. Since the hashing and equality test functions ignore defs it's useful for doing CSE kind optimization.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97678
91177308-0d34-0410-b5e6-
96231b3b80d8
Johnny Chen [Wed, 3 Mar 2010 23:15:43 +0000 (23:15 +0000)]
Modified the asm string of 16-bit Thumb MUL instruction so that it prints:
MULS <Rdm>, <Rn>, <Rdm>
according to A8.6.105 MUL Encoding T1.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97675
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 3 Mar 2010 22:40:03 +0000 (22:40 +0000)]
Revert 97667. It broke a bunch of tests.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97673
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 21:54:14 +0000 (21:54 +0000)]
Fix funky indentation and add comments.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97670
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 21:47:16 +0000 (21:47 +0000)]
Move DenseMapInfo for MachineInstr* to MachineInstr.h
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97667
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 3 Mar 2010 21:33:37 +0000 (21:33 +0000)]
Fix a bug in SelectionDAG's ReplaceAllUsesWith in the case where
CSE and recursive RAUW calls delete a node from the use list,
invalidating the use list iterator. There's currently no known
way to reproduce this in an unmodified LLVM, however there's no
fundamental reason why a SelectionDAG couldn't be formed which
would trigger this case.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97665
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 21:20:05 +0000 (21:20 +0000)]
Machine CSE work in progress. It's doing some CSE now. But implicit def of physical registers are getting in the way.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97664
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 21:18:38 +0000 (21:18 +0000)]
Add MachineRegisterInfo::hasOneUse and hasOneNonDBGUse.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97663
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 3 Mar 2010 20:47:12 +0000 (20:47 +0000)]
don't use always_inline with gcc 3.4, it has some unimplemented features
and is too old to really care about the performance of the generated
compiler.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97662
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 20:46:48 +0000 (20:46 +0000)]
TopLevelMap[] reference is a pointer.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97661
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Lenharth [Wed, 3 Mar 2010 20:15:31 +0000 (20:15 +0000)]
Fix PR6444, note still doesn't compile libgcc2 all the way, but fixes that error. May not fix it in an ABI complient way. It wasn't clear what gcc does
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97660
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 3 Mar 2010 19:46:03 +0000 (19:46 +0000)]
fix incorrect folding of icmp with undef, PR6481.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97659
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Wed, 3 Mar 2010 19:31:05 +0000 (19:31 +0000)]
Revert...
--- Reverse-merging r97592 into '.':
U lib/CodeGen/TargetLoweringObjectFileImpl.cpp
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97657
91177308-0d34-0410-b5e6-
96231b3b80d8
Johnny Chen [Wed, 3 Mar 2010 18:45:36 +0000 (18:45 +0000)]
Added 32-bit Thumb instructions LDRT, LDRBT, LDRHT,,LDRSBT, LDRSHT, STRT, STRBT,
and STRHT for disassembly only.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97655
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 3 Mar 2010 07:46:25 +0000 (07:46 +0000)]
add some of the more obscure predicate types to the
Scope accelerator.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97652
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 3 Mar 2010 07:31:15 +0000 (07:31 +0000)]
speed up scope node processing: if the first element of a scope
entry we're about to process is obviously going to fail, don't
bother pushing a scope only to have it immediately be popped.
This avoids a lot of scope stack traffic in common cases.
Unfortunately, this requires duplicating some of the predicate
dispatch. To avoid duplicating the actual logic I pulled each
predicate out to its own static function which gets used in
both places.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97651
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 3 Mar 2010 06:28:15 +0000 (06:28 +0000)]
introduce a new SwitchTypeMatcher node (which is analogous to
SwitchOpcodeMatcher) and have DAGISelMatcherOpt form it. This
speeds up selection, particularly for X86 which has lots of
variants of instructions with only type differences.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97645
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Wed, 3 Mar 2010 05:40:40 +0000 (05:40 +0000)]
Fix comment.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97644
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 3 Mar 2010 05:29:13 +0000 (05:29 +0000)]
Make SCEVExpander and LSR more aggressive about hoisting expressions out
of loops.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97642
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 3 Mar 2010 04:36:42 +0000 (04:36 +0000)]
Revert r97580; that's not the right way to fix this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97639
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 02:48:20 +0000 (02:48 +0000)]
Work in progress. Finding some cse now.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97635
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 3 Mar 2010 02:14:54 +0000 (02:14 +0000)]
remove nvload and two patterns that use it which are
better done by dag combine.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97633
91177308-0d34-0410-b5e6-
96231b3b80d8
Johnny Chen [Wed, 3 Mar 2010 02:09:43 +0000 (02:09 +0000)]
Added 32-bit Thumb instructions t2NOP, t2YIELD, t2WFE, t2WFI, t2SEV, and t2DBG
for disassembly only.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97632
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Wed, 3 Mar 2010 01:58:01 +0000 (01:58 +0000)]
Use APInt instead of zext value.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97631
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 3 Mar 2010 01:52:59 +0000 (01:52 +0000)]
factor the 'in the default address space' check out to a single
'dsload' pattern. tblgen doesn't check patterns to see if they're
textually identical. This allows better factoring.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97630
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 3 Mar 2010 01:45:01 +0000 (01:45 +0000)]
factor the 'sign extended from 8 bit' patterns better so
that they are not destination type specific. This allows
tblgen to factor them and the type check is redundant with
what the isel does anyway.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97629
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 01:44:33 +0000 (01:44 +0000)]
- Change MachineInstr::isIdenticalTo to take a new option that determines whether it should skip checking defs or at least virtual register defs. This subsumes part of the TargetInstrInfo::isIdentical functionality.
- Eliminate TargetInstrInfo::isIdentical and replace it with produceSameValue. In the default case, produceSameValue just checks whether two machine instructions are identical (except for virtual register defs). But targets may override it to check for unusual cases (e.g. ARM pic loads from constant pools).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97628
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 01:38:35 +0000 (01:38 +0000)]
Add an option to enable machine cse (it's not doing anything yet.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97627
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 01:37:50 +0000 (01:37 +0000)]
Ordering forward declarations.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97626
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Wed, 3 Mar 2010 01:13:55 +0000 (01:13 +0000)]
Don't turn assertions on by default.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97623
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 3 Mar 2010 00:43:15 +0000 (00:43 +0000)]
Eliminate unused instruction classes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97617
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Wed, 3 Mar 2010 00:35:56 +0000 (00:35 +0000)]
This test case:
long test(long x) { return (x & 123124) | 3; }
Currently compiles to:
_test:
orl $3, %edi
movq %rdi, %rax
andq $123127, %rax
ret
This is because instruction and DAG combiners canonicalize
(or (and x, C), D) -> (and (or, D), (C | D))
However, this is only profitable if (C & D) != 0. It gets in the way of the
3-addressification because the input bits are known to be zero.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97616
91177308-0d34-0410-b5e6-
96231b3b80d8
Johnny Chen [Wed, 3 Mar 2010 00:16:28 +0000 (00:16 +0000)]
Added 32-bit Thumb instructions t2DMB variants, t2DSB variants, and t2ISBsy for
disassembly only.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97614
91177308-0d34-0410-b5e6-
96231b3b80d8
Erick Tryzelaar [Tue, 2 Mar 2010 23:59:08 +0000 (23:59 +0000)]
Use the ocaml tag 0 since we are just returning an option value.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97612
91177308-0d34-0410-b5e6-
96231b3b80d8
Erick Tryzelaar [Tue, 2 Mar 2010 23:59:05 +0000 (23:59 +0000)]
Don't use an ocaml keyword in an ocamldoc comment.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97611
91177308-0d34-0410-b5e6-
96231b3b80d8
Erick Tryzelaar [Tue, 2 Mar 2010 23:59:03 +0000 (23:59 +0000)]
Expose the optimization level for the jit in ocaml.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97610
91177308-0d34-0410-b5e6-
96231b3b80d8
Erick Tryzelaar [Tue, 2 Mar 2010 23:59:00 +0000 (23:59 +0000)]
Remove module providers from ocaml.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97609
91177308-0d34-0410-b5e6-
96231b3b80d8
Erick Tryzelaar [Tue, 2 Mar 2010 23:58:54 +0000 (23:58 +0000)]
Add Module functions in place of module providers.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97608
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 2 Mar 2010 23:12:51 +0000 (23:12 +0000)]
merge two loops over all nodes in the graph into one.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97606
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 2 Mar 2010 22:33:56 +0000 (22:33 +0000)]
eliminate PreprocessForRMW now that isel handles it.
We still preprocess calls and fp return stuff.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97598
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 2 Mar 2010 22:30:08 +0000 (22:30 +0000)]
remove 300 lines of code that is now dead in the MSP430 backend
now that isel handles chains more aggressively. This also
allows us to make isLegalToFold non-virtual.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97597
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 2 Mar 2010 22:20:06 +0000 (22:20 +0000)]
Fix some issues in WalkChainUsers dealing with
CopyToReg/CopyFromReg/INLINEASM. These are annoying because
they have the same opcode before an after isel. Fix this by
setting their NodeID to -1 to indicate that they are selected,
just like what automatically happens when selecting things that
end up being machine nodes.
With that done, give IsLegalToFold a new flag that causes it to
ignore chains. This lets the HandleMergeInputChains routine be
the one place that validates chains after a match is successful,
enabling the new hotness in chain processing. This smarter
chain processing eliminates the need for "PreprocessRMW" in the
X86 and MSP430 backends and enables MSP to start matching it's
multiple mem operand instructions more aggressively.
I currently #if out the dead code in the X86 backend and MSP
backend, I'll remove it for real in a follow-on patch.
The testcase changes are:
test/CodeGen/X86/sse3.ll: we generate better code
test/CodeGen/X86/store_op_load_fold2.ll: PreprocessRMW was
miscompiling this before, we now generate correct code
Convert it to filecheck while I'm at it.
test/CodeGen/MSP430/Inst16mm.ll: Add a testcase for mem/mem
folding to make anton happy. :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97596
91177308-0d34-0410-b5e6-
96231b3b80d8
Johnny Chen [Tue, 2 Mar 2010 22:11:06 +0000 (22:11 +0000)]
Added 32-bit Thumb instruction CLREX (Clear-Exclusive) for disassembly only.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97595
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Tue, 2 Mar 2010 22:10:24 +0000 (22:10 +0000)]
Allow specialization of ScopedHashTable of non-default DenseMapInfo.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97594
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Tue, 2 Mar 2010 21:50:35 +0000 (21:50 +0000)]
Okay. One last attempt:
Place the LSDA into the TEXT section on Mach-O. This saves space.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97592
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 2 Mar 2010 20:48:24 +0000 (20:48 +0000)]
this testcase is failing because pic16 doesn't define a reg/reg
xor pattern. I have no plans to fix this XFAIL.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97587
91177308-0d34-0410-b5e6-
96231b3b80d8
Erick Tryzelaar [Tue, 2 Mar 2010 20:32:32 +0000 (20:32 +0000)]
Add support for use to ocaml.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97586
91177308-0d34-0410-b5e6-
96231b3b80d8
Erick Tryzelaar [Tue, 2 Mar 2010 20:32:28 +0000 (20:32 +0000)]
Rename LLVMUseIteratorRef to LLVMUseRef since we don't refer to iterators in llvm-c.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97585
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 2 Mar 2010 19:53:25 +0000 (19:53 +0000)]
xfail this for now.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97584
91177308-0d34-0410-b5e6-
96231b3b80d8
Johnny Chen [Tue, 2 Mar 2010 19:38:59 +0000 (19:38 +0000)]
Removed the extra S from the multiclass def T2I_adde_sube_s_irs as well as from
the opc string passed in, since it's a given from the class inheritance of T2sI.
The fixed the extra 's' in adcss & sbcss when disassembly printing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97582
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 2 Mar 2010 19:34:59 +0000 (19:34 +0000)]
run HandleMergeInputChains even if we only have one input chain.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97581
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Tue, 2 Mar 2010 19:32:21 +0000 (19:32 +0000)]
When expanding an expression such as (A + B + C + D), sort the operands
by loop depth and emit loop-invariant subexpressions outside of loops.
This speeds up MultiSource/Applications/viterbi and others.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97580
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Tue, 2 Mar 2010 19:03:01 +0000 (19:03 +0000)]
Swap parameters of isSafeToMove and isSafeToReMat for consistency.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97578
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Tue, 2 Mar 2010 19:02:27 +0000 (19:02 +0000)]
Fix typo.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97577
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 2 Mar 2010 18:56:03 +0000 (18:56 +0000)]
clean up some testcases.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97576
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 2 Mar 2010 18:15:02 +0000 (18:15 +0000)]
the sorting predicate should work for comparing an element
to itself, even though this isn't wildly useful.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97574
91177308-0d34-0410-b5e6-
96231b3b80d8
Johnny Chen [Tue, 2 Mar 2010 18:14:57 +0000 (18:14 +0000)]
Added 32-bit Thumb instructions: CPS, SDIV, UDIV, SXTB16, SXTAB16, UXTAB16, SEL,
SMMULR, SMMLAR, SMMLSR, TBB, TBH, and 16-bit Thumb instruction CPS for
disassembly only.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97573
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Tue, 2 Mar 2010 17:58:15 +0000 (17:58 +0000)]
Fix grammar.
Thanks Duncan!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97572
91177308-0d34-0410-b5e6-
96231b3b80d8
Johnny Chen [Tue, 2 Mar 2010 17:57:15 +0000 (17:57 +0000)]
AL is an optional mnemonic extension for always, except in IT instructions.
Add printMandatoryPredicateOperand() PrintMethod for IT predicate printing.
Ref: A8.3 Conditional execution
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97571
91177308-0d34-0410-b5e6-
96231b3b80d8
Johnny Chen [Tue, 2 Mar 2010 17:03:18 +0000 (17:03 +0000)]
Change some asm shift opcode strings to lowercase.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97567
91177308-0d34-0410-b5e6-
96231b3b80d8
Xerxes Ranby [Tue, 2 Mar 2010 13:42:03 +0000 (13:42 +0000)]
fix typo add missing (
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97565
91177308-0d34-0410-b5e6-
96231b3b80d8
Xerxes Ranby [Tue, 2 Mar 2010 13:26:18 +0000 (13:26 +0000)]
Unbreak llvm-arm-linux buildbot and fix PR5309.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97564
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Tue, 2 Mar 2010 11:18:43 +0000 (11:18 +0000)]
Rather than passing "false" for InsertBefore, AddressSpace for ThreadLocal,
and nothing for AddressSpace, pass 0 for InsertBefore, "false" for ThreadLocal
and AddressSpace for AddressSpace. Spotted by gcc-4.5.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97563
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 2 Mar 2010 07:50:03 +0000 (07:50 +0000)]
Fix the xfail I added a couple of patches back. The issue
was that we weren't properly handling the case when interior
nodes of a matched pattern become dead after updating chain
and flag uses. Now we handle this explicitly in
UpdateChainsAndFlags.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97561
91177308-0d34-0410-b5e6-
96231b3b80d8