llvm/test
Dan Gohman 97121ba2af Implement support for using modeling implicit-zero-extension on x86-64
with SUBREG_TO_REG, teach SimpleRegisterCoalescing to coalesce
SUBREG_TO_REG instructions (which are similar to INSERT_SUBREG
instructions), and teach the DAGCombiner to take advantage of this on
targets which support it. This eliminates many redundant
zero-extension operations on x86-64.

This adds a new TargetLowering hook, isZExtFree. It's similar to
isTruncateFree, except it only applies to actual definitions, and not
no-op truncates which may not zero the high bits.

Also, this adds a new optimization to SimplifyDemandedBits: transform
operations like x+y into (zext (add (trunc x), (trunc y))) on targets
where all the casts are no-ops. In contexts where the high part of the
add is explicitly masked off, this allows the mask operation to be
eliminated. Fix the DAGCombiner to avoid undoing these transformations
to eliminate casts on targets where the casts are no-ops.

Also, this adds a new two-address lowering heuristic. Since
two-address lowering runs before coalescing, it helps to be able to
look through copies when deciding whether commuting and/or
three-address conversion are profitable.

Also, fix a bug in LiveInterval::MergeInClobberRanges. It didn't handle
the case that a clobber range extended both before and beyond an
existing live range. In that case, multiple live ranges need to be
added. This was exposed by the new subreg coalescing code.

Remove 2008-05-06-SpillerBug.ll. It was bugpoint-reduced, and the
spiller behavior it was looking for no longer occurrs with the new
instruction selection.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@68576 91177308-0d34-0410-b5e6-96231b3b80d8
2009-04-08 00:15:30 +00:00
..
Analysis change this to test for an alias result more directly. 2009-03-16 18:28:27 +00:00
Archive
Assembler Fix a bug in our autoupgrade support: in an argument list to a function 2009-03-25 06:36:36 +00:00
Bindings/Ocaml tweak this to accept asmprinter changes. I have no way to verify this, hopefully 2009-03-01 01:28:40 +00:00
Bitcode
BugPoint Re-commit r67334 and r67349 with fix. 2009-03-21 18:12:24 +00:00
CodeGen Implement support for using modeling implicit-zero-extension on x86-64 2009-04-08 00:15:30 +00:00
DebugInfo Global variables don't have a corresponding llvm.dbg.declare, yet it is possible 2009-03-10 13:41:26 +00:00
ExecutionEngine remove a testcase that depends on -debug existing. 2009-03-13 20:31:25 +00:00
Feature Add support for embedded metadata to LLVM. This introduces two new types of 2009-04-04 07:22:01 +00:00
FrontendAda Adjust this test for recent sroa improvements. 2009-03-12 11:56:12 +00:00
FrontendC Add a __builtin___memset_chk test. 2009-03-27 02:45:14 +00:00
FrontendC++ These tests pass on linux. 2009-03-25 16:43:59 +00:00
FrontendFortran Testcase for PR2437. 2009-02-09 09:41:49 +00:00
FrontendObjC And now, not so elegant, test case... 2009-02-17 22:48:18 +00:00
FrontendObjC++
Integer Converted a1.ll to unittests. 2009-03-24 21:36:09 +00:00
lib Re-commit r67334 and r67349 with fix. 2009-03-21 18:12:24 +00:00
Linker
LLVMC Add a comment. 2009-03-06 17:59:58 +00:00
Other Update call graph after inlining invoke. 2009-03-31 17:36:12 +00:00
Scripts
TableGen add support for a few simple escape characters in tblgen strings. 2009-03-13 21:03:27 +00:00
Transforms fix rdar://6762290, a crash compiling cxx filt with clang. 2009-04-07 05:03:34 +00:00
Verifier
Makefile Re-commit r67334 and r67349 with fix. 2009-03-21 18:12:24 +00:00
Makefile.tests
TestRunner.sh