oota-llvm.git
14 years agoPass callsite return type to TargetLowering::LowerCall and use that to check sibcall...
Evan Cheng [Tue, 2 Feb 2010 21:29:10 +0000 (21:29 +0000)]
Pass callsite return type to TargetLowering::LowerCall and use that to check sibcall eligibility.

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

14 years agoMake DenseSet's erase pass on the return value rather than swallowing it.
Dan Gohman [Tue, 2 Feb 2010 21:11:22 +0000 (21:11 +0000)]
Make DenseSet's erase pass on the return value rather than swallowing it.

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

14 years agoFix function names in comments. Thanks Duncan!
Dan Gohman [Tue, 2 Feb 2010 21:10:27 +0000 (21:10 +0000)]
Fix function names in comments. Thanks Duncan!

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

14 years agoeliminate FileModel::Model, just use CodeGenFileType. The client
Chris Lattner [Tue, 2 Feb 2010 21:06:45 +0000 (21:06 +0000)]
eliminate FileModel::Model, just use CodeGenFileType.  The client
of the code generator shouldn't care what object format a target
uses.

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

14 years agothis apparently depends on the host somehow.
Chris Lattner [Tue, 2 Feb 2010 20:57:28 +0000 (20:57 +0000)]
this apparently depends on the host somehow.

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

14 years agoXFAIL for PPC Darwin.
Bill Wendling [Tue, 2 Feb 2010 20:56:02 +0000 (20:56 +0000)]
XFAIL for PPC Darwin.

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

14 years agodisable this test for now.
Chris Lattner [Tue, 2 Feb 2010 20:41:39 +0000 (20:41 +0000)]
disable this test for now.

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

14 years ago...and fixed the Makefile.
Sean Callanan [Tue, 2 Feb 2010 20:20:30 +0000 (20:20 +0000)]
...and fixed the Makefile.

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

14 years agoRenamed the ed directory to edis, as suggested
Sean Callanan [Tue, 2 Feb 2010 20:11:23 +0000 (20:11 +0000)]
Renamed the ed directory to edis, as suggested
yesterday.  This eliminates possible confusion
about what exactly in this directory; the name
is still short, though.

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

14 years agoremove the remnants of TargetMachOWriterInfo.
Chris Lattner [Tue, 2 Feb 2010 19:41:23 +0000 (19:41 +0000)]
remove the remnants of TargetMachOWriterInfo.

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

14 years agoAdd a new top-level MachO.h file for manifest constants, fixing
Chris Lattner [Tue, 2 Feb 2010 19:38:14 +0000 (19:38 +0000)]
Add a new top-level MachO.h file for manifest constants, fixing
a layering violation from MC -> Target.

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

14 years agoAdded t2BFI (Bitfield Insert) entry for disassembler, with blank pattern field.
Johnny Chen [Tue, 2 Feb 2010 19:31:58 +0000 (19:31 +0000)]
Added t2BFI (Bitfield Insert) entry for disassembler, with blank pattern field.

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

14 years agoremove PPCMachOWriterInfo.
Chris Lattner [Tue, 2 Feb 2010 19:23:55 +0000 (19:23 +0000)]
remove PPCMachOWriterInfo.

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

14 years agoeliminate all forms of addPassesToEmitMachineCode except
Chris Lattner [Tue, 2 Feb 2010 19:14:27 +0000 (19:14 +0000)]
eliminate all forms of addPassesToEmitMachineCode except
the one used by the JIT.  Remove all forms of
addPassesToEmitFileFinish except the one used by the static
code generator.  Inline the remaining version of
addPassesToEmitFileFinish into its only caller.

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

14 years agoAdded another version of the X86 assembler matcher test case.
Kevin Enderby [Tue, 2 Feb 2010 19:05:57 +0000 (19:05 +0000)]
Added another version of the X86 assembler matcher test case.
This test case is different subset of the full auto generated test case, and a
larger subset that is in x86_32-bit.s (that set will encode correctly).  These
instructions can pass though llvm-mc as it were a logical cat(1) and then
reassemble to the same instruction.  It is useful as we bring up the parser and
matcher so we don't break things that currently work.

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

14 years agoremove dead code, we're requesting TargetMachine::AssemblyFile here.
Chris Lattner [Tue, 2 Feb 2010 19:03:39 +0000 (19:03 +0000)]
remove dead code, we're requesting TargetMachine::AssemblyFile here.

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

14 years agoTest revert 95050; there's a good chance it's causing
Dale Johannesen [Tue, 2 Feb 2010 18:52:56 +0000 (18:52 +0000)]
Test revert 95050; there's a good chance it's causing
buildbot failure.

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

14 years agoInline addAssemblyEmitter into its one real caller and delete
Chris Lattner [Tue, 2 Feb 2010 18:44:12 +0000 (18:44 +0000)]
Inline addAssemblyEmitter into its one real caller and delete
the -print-emitted-asm option.  The JIT shouldn't have to pull
in the asmprinter.

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

14 years agoAdding missing methods for creating Add, Mul, Neg and Sub with NUW.
Duncan Sands [Tue, 2 Feb 2010 12:53:04 +0000 (12:53 +0000)]
Adding missing methods for creating Add, Mul, Neg and Sub with NUW.

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

14 years agoReturn value on every path.
Zhongxing Xu [Tue, 2 Feb 2010 07:05:31 +0000 (07:05 +0000)]
Return value on every path.

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

14 years agosimplify code.
Zhongxing Xu [Tue, 2 Feb 2010 06:33:32 +0000 (06:33 +0000)]
simplify code.

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

14 years agoMore logic correction: RemoveOverlap should always create new tree. Add a
Zhongxing Xu [Tue, 2 Feb 2010 06:22:08 +0000 (06:22 +0000)]
More logic correction: RemoveOverlap should always create new tree. Add a
parameter to record whether changes actually happened.

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

14 years agoAdd a lookup method to the IntervalMap. The difference from the original
Zhongxing Xu [Tue, 2 Feb 2010 05:23:23 +0000 (05:23 +0000)]
Add a lookup method to the IntervalMap. The difference from the original
lookup is that if the lookup key is contained in the key, we return the data.

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

14 years agoApparently gdb is not amused by empty lines in pubtypes section.
Devang Patel [Tue, 2 Feb 2010 03:47:27 +0000 (03:47 +0000)]
Apparently gdb is not amused by empty lines in pubtypes section.

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

14 years agoNULL terminate name in pubtypes sections.
Devang Patel [Tue, 2 Feb 2010 03:37:03 +0000 (03:37 +0000)]
NULL terminate name in pubtypes sections.

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

14 years agodon't turn (A & (C0?-1:0)) | (B & ~(C0?-1:0)) -> C0 ? A : B
Chris Lattner [Tue, 2 Feb 2010 02:43:51 +0000 (02:43 +0000)]
don't turn (A & (C0?-1:0)) | (B & ~(C0?-1:0)) ->  C0 ? A : B
for vectors.  Codegen is generating awful code or segfaulting
in various cases (e.g. PR6204).

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

14 years agoFix a bunch of errors in the old logic.
Zhongxing Xu [Tue, 2 Feb 2010 02:40:56 +0000 (02:40 +0000)]
Fix a bunch of errors in the old logic.

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

14 years agofix a crash in loop unswitch on a loop invariant vector condition.
Chris Lattner [Tue, 2 Feb 2010 02:26:54 +0000 (02:26 +0000)]
fix a crash in loop unswitch on a loop invariant vector condition.

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

14 years agoremove an unreduced testcase, rename another.
Chris Lattner [Tue, 2 Feb 2010 02:23:37 +0000 (02:23 +0000)]
remove an unreduced testcase, rename another.

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

14 years agoPerform sibcall in some cases when arguments are passes memory. Look for cases
Evan Cheng [Tue, 2 Feb 2010 02:22:50 +0000 (02:22 +0000)]
Perform sibcall in some cases when arguments are passes memory. Look for cases
where callee's arguments are already in the caller's own caller's stack and
they line up perfectly. e.g.

extern int foo(int a, int b, int c);

int bar(int a, int b, int c) {
  return foo(a, b, c);
}

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

14 years agoRemoved an unnecessary class from the EDDisassembler
Sean Callanan [Tue, 2 Feb 2010 02:18:20 +0000 (02:18 +0000)]
Removed an unnecessary class from the EDDisassembler
implementation.  Also made sure that the register maps
were created during disassembler initialization.

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

14 years agoMake local RA smarter about reusing input register of a copy
Dale Johannesen [Tue, 2 Feb 2010 02:08:02 +0000 (02:08 +0000)]
Make local RA smarter about reusing input register of a copy
as output.  Needed for (functional) correctness in inline asm,
and should be generally beneficial.  7361612.

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

14 years ago11.8p1: A nested class is a member and as such has the same access rights as
Zhongxing Xu [Tue, 2 Feb 2010 01:57:01 +0000 (01:57 +0000)]
11.8p1: A nested class is a member and as such has the same access rights as
any other member.

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

14 years agoLangRef.html says that inttoptr and ptrtoint always use zero-extension
Dan Gohman [Tue, 2 Feb 2010 01:44:02 +0000 (01:44 +0000)]
LangRef.html says that inttoptr and ptrtoint always use zero-extension
when the cast is extending.

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

14 years agoFactor out alignof expression folding into a separate function and
Dan Gohman [Tue, 2 Feb 2010 01:41:39 +0000 (01:41 +0000)]
Factor out alignof expression folding into a separate function and
generalize it to handle more cases.

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

14 years agoVarious code simplifications.
Dan Gohman [Tue, 2 Feb 2010 01:38:49 +0000 (01:38 +0000)]
Various code simplifications.

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

14 years agoUpdate CMake.
Daniel Dunbar [Tue, 2 Feb 2010 01:12:20 +0000 (01:12 +0000)]
Update CMake.

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

14 years agoDon't need to check the last argument since it'll always be bool. We also
Eric Christopher [Tue, 2 Feb 2010 00:51:45 +0000 (00:51 +0000)]
Don't need to check the last argument since it'll always be bool. We also
don't use TargetData here.

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

14 years agoMore indentation/tabification fixes.
Eric Christopher [Tue, 2 Feb 2010 00:13:06 +0000 (00:13 +0000)]
More indentation/tabification fixes.

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

14 years agoUntabify previous commit.
Eric Christopher [Tue, 2 Feb 2010 00:06:55 +0000 (00:06 +0000)]
Untabify previous commit.

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

14 years agoChanged to Chris Lattner's suggested approach, which
Sean Callanan [Tue, 2 Feb 2010 00:04:46 +0000 (00:04 +0000)]
Changed to Chris Lattner's suggested approach, which
merely stubs out the blocks-based disassembly functions
if the library wasn't built with blocks, which allows a
constant .exports file and also properly deals with
situations in which the compiler used to build a client
is different from the compiler used to build the library.

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

14 years agoKill the Mach-O writer, and temporarily make filetype=obj an error.
Nate Begeman [Mon, 1 Feb 2010 23:56:58 +0000 (23:56 +0000)]
Kill the Mach-O writer, and temporarily make filetype=obj an error.
The MCStreamer based assemblers will take over for this functionality.

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

14 years agoFix for builds with separate source and build
Sean Callanan [Mon, 1 Feb 2010 23:27:57 +0000 (23:27 +0000)]
Fix for builds with separate source and build
directories (like, oh, say, any multistage build)

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

14 years agoFormatting.
Eric Christopher [Mon, 1 Feb 2010 23:25:03 +0000 (23:25 +0000)]
Formatting.

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

14 years agoMOVi16 should also be marked as a UnaryDP instruction, i.e., it doesn't have a
Johnny Chen [Mon, 1 Feb 2010 23:06:04 +0000 (23:06 +0000)]
MOVi16 should also be marked as a UnaryDP instruction, i.e., it doesn't have a
Rn operand.

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

14 years agoUpdated to use the proper .exports file for the
Sean Callanan [Mon, 1 Feb 2010 23:01:38 +0000 (23:01 +0000)]
Updated to use the proper .exports file for the
target platform, depending on whether the target
supports the blocks API or not

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

14 years agoAdd "dump" method to IVUsersOneStride.
Bill Wendling [Mon, 1 Feb 2010 22:51:23 +0000 (22:51 +0000)]
Add "dump" method to IVUsersOneStride.

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

14 years agoTestcase for 94996 (PR 6157)
Dale Johannesen [Mon, 1 Feb 2010 22:46:05 +0000 (22:46 +0000)]
Testcase for 94996 (PR 6157)

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

14 years agoFix PR6196. GV callee may not be a function.
Evan Cheng [Mon, 1 Feb 2010 22:40:09 +0000 (22:40 +0000)]
Fix PR6196. GV callee may not be a function.

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

14 years agoAdd test case for 95013.
Evan Cheng [Mon, 1 Feb 2010 22:32:42 +0000 (22:32 +0000)]
Add test case for 95013.

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

14 years agoImprove EXTRACT_VECTOR_ELT patch based on comments from Duncan
Mon P Wang [Mon, 1 Feb 2010 22:15:09 +0000 (22:15 +0000)]
Improve EXTRACT_VECTOR_ELT patch based on comments from Duncan

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

14 years agoRollback on including blocks functionality in .exports
Sean Callanan [Mon, 1 Feb 2010 21:57:50 +0000 (21:57 +0000)]
Rollback on including blocks functionality in .exports
because some platforms don't support blocks and then
break because the symbols aren't present

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

14 years agoAdd an option to GVN to remove all partially redundant loads. This is currently
Bob Wilson [Mon, 1 Feb 2010 21:17:14 +0000 (21:17 +0000)]
Add an option to GVN to remove all partially redundant loads.  This is currently
disabled by default.  This divides the existing load PRE code into 2 phases:
first it checks that it is safe to move the load to each of the predecessors
where it is unavailable, and then if it is safe, the code is changed to move
the load.  Radar 7571861.

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

14 years agoDo an early exit when the result is known cheaply.
Duncan Sands [Mon, 1 Feb 2010 20:57:35 +0000 (20:57 +0000)]
Do an early exit when the result is known cheaply.

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

14 years agoeliminate a bunch of pointless LLVMContext arguments.
Chris Lattner [Mon, 1 Feb 2010 20:48:08 +0000 (20:48 +0000)]
eliminate a bunch of pointless LLVMContext arguments.

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

14 years agoFix typo "of" -> "or" and change the way a line was formatted to fit
Duncan Sands [Mon, 1 Feb 2010 20:42:02 +0000 (20:42 +0000)]
Fix typo "of" -> "or" and change the way a line was formatted to fit
into 80 columns to match my artistic preferences.

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

14 years agofix PR6195, a bug constant folding scalar -> vector compares.
Chris Lattner [Mon, 1 Feb 2010 20:04:40 +0000 (20:04 +0000)]
fix PR6195, a bug constant folding scalar -> vector compares.

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

14 years agofix PR 6157. Testcase pending.
Dale Johannesen [Mon, 1 Feb 2010 19:54:53 +0000 (19:54 +0000)]
fix PR 6157.  Testcase pending.

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

14 years agocleanups.
Chris Lattner [Mon, 1 Feb 2010 19:54:45 +0000 (19:54 +0000)]
cleanups.

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

14 years agofix PR6197 - infinite recursion in ipsccp due to block addresses
Chris Lattner [Mon, 1 Feb 2010 19:35:08 +0000 (19:35 +0000)]
fix PR6197 - infinite recursion in ipsccp due to block addresses

evaluateICmpRelation wasn't handling blockaddress.

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

14 years agoFixed a couple of optimization with EXTRACT_VECTOR_ELT that assumes the result
Mon P Wang [Mon, 1 Feb 2010 19:03:18 +0000 (19:03 +0000)]
Fixed a couple of optimization with EXTRACT_VECTOR_ELT that assumes the result
type is the same as the element type of the vector.  EXTRACT_VECTOR_ELT can
be used to extended the width of an integer type.  This fixes a bug for
Generic/vector-casts.ll on a ppc750.

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

14 years agoUpdate this test for a trivial register allocation difference.
Dan Gohman [Mon, 1 Feb 2010 19:00:32 +0000 (19:00 +0000)]
Update this test for a trivial register allocation difference.

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

14 years agoGeneralize target-independent folding rules for sizeof to handle more
Dan Gohman [Mon, 1 Feb 2010 18:27:38 +0000 (18:27 +0000)]
Generalize target-independent folding rules for sizeof to handle more
cases, and implement target-independent folding rules for alignof and
offsetof. Also, reassociate reassociative operators when it leads to
more folding.

Generalize ScalarEvolution's isOffsetOf to recognize offsetof on
arrays. Rename getAllocSizeExpr to getSizeOfExpr, and getFieldOffsetExpr
to getOffsetOfExpr, for consistency with analagous ConstantExpr routines.

Make the target-dependent folder promote GEP array indices to
pointer-sized integers, to make implicit casting explicit and exposed
to subsequent folding.

And add a bunch of testcases for this new functionality, and a bunch
of related existing functionality.

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

14 years agofix rdar://7590304, a miscompilation of objc apps on arm. The caller
Chris Lattner [Mon, 1 Feb 2010 18:11:34 +0000 (18:11 +0000)]
fix rdar://7590304, a miscompilation of objc apps on arm.  The caller
of objc message send was getting marked arm_apcscc, but the prototype
isn't.  This is fine at runtime because objcmsgsend is implemented in
assembly.  Only turn a mismatched caller and callee into 'unreachable'
if the callee is a definition.

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

14 years agofix rdar://7590304, an infinite loop in instcombine. In the invoke
Chris Lattner [Mon, 1 Feb 2010 18:04:58 +0000 (18:04 +0000)]
fix rdar://7590304, an infinite loop in instcombine.  In the invoke
case, instcombine can't zap the invoke for fear of changing the CFG.
However, we have to do something to prevent the next iteration of
instcombine from inserting another store -> undef before the invoke
thereby getting into infinite iteration between dead store elim and
store insertion.

Just zap the callee to null, which will prevent the next iteration
from doing anything.

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

14 years agoFix pr6198 by moving the isSized() check to an outer conditional.
Bob Wilson [Mon, 1 Feb 2010 17:41:44 +0000 (17:41 +0000)]
Fix pr6198 by moving the isSized() check to an outer conditional.
The testcase from pr6198 does not crash for me -- I don't know what's up with
that -- so I'm not adding it to the tests.

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

14 years agoAdd a getNUWMul function.
Dan Gohman [Mon, 1 Feb 2010 16:38:14 +0000 (16:38 +0000)]
Add a getNUWMul function.

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

14 years agoAdd a generalized form of ConstantExpr::getOffsetOf which works for
Dan Gohman [Mon, 1 Feb 2010 16:37:38 +0000 (16:37 +0000)]
Add a generalized form of ConstantExpr::getOffsetOf which works for
array types as well as struct types, and which accepts arbitrary
Constant indicies.

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

14 years agoMulOp is actually a Mips specific node, so do the match using Opcode. This fixes...
Bruno Cardoso Lopes [Mon, 1 Feb 2010 12:16:39 +0000 (12:16 +0000)]
MulOp is actually a Mips specific node, so do the match using Opcode. This fixes PR6192

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

14 years agoAdd an immutable interval map, prepared to be used by flat memory model
Zhongxing Xu [Mon, 1 Feb 2010 10:43:31 +0000 (10:43 +0000)]
Add an immutable interval map, prepared to be used by flat memory model
in the analyzer. WIP.

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

14 years agoWhoops, left some debugging code in that broke
Sean Callanan [Mon, 1 Feb 2010 09:02:24 +0000 (09:02 +0000)]
Whoops, left some debugging code in that broke
a buildbot.  Removed.

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

14 years agoAdded the enhanced disassembly library's implementation and
Sean Callanan [Mon, 1 Feb 2010 08:49:35 +0000 (08:49 +0000)]
Added the enhanced disassembly library's implementation and
fleshed out the .exports file.  I still have to fix several
details of operand parsing, but the basic functionality is
there and usable.

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

14 years agoSimplify code. We can compare TNew with T in one batch.
Zhongxing Xu [Mon, 1 Feb 2010 07:32:52 +0000 (07:32 +0000)]
Simplify code. We can compare TNew with T in one batch.

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

14 years agoUndo r94946 now all the tests are passing again.
Evan Cheng [Mon, 1 Feb 2010 02:13:39 +0000 (02:13 +0000)]
Undo r94946 now all the tests are passing again.

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

14 years agoFix stack size bug while using o32 abi
Bruno Cardoso Lopes [Mon, 1 Feb 2010 02:03:24 +0000 (02:03 +0000)]
Fix stack size bug while using o32 abi

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

14 years agoFor MVNr and MVNs, we need to set Inst{25} = 0 so as not to confuse the decoder.
Johnny Chen [Sun, 31 Jan 2010 11:22:28 +0000 (11:22 +0000)]
For MVNr and MVNs, we need to set Inst{25} = 0 so as not to confuse the decoder.

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

14 years agoChange TAILJMP's to be varargs and transfer implicit uses over from TCRETURN's. Other...
Evan Cheng [Sun, 31 Jan 2010 07:28:44 +0000 (07:28 +0000)]
Change TAILJMP's to be varargs and transfer implicit uses over from TCRETURN's. Otherwise the missing uses can make post-regalloc scheduling do bad things. This fixes 403.gcc.

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

14 years agoFix a missing check from my last commit.
Evan Cheng [Sun, 31 Jan 2010 07:27:31 +0000 (07:27 +0000)]
Fix a missing check from my last commit.

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

14 years agoAvoid recursive sibcall's.
Evan Cheng [Sun, 31 Jan 2010 06:44:49 +0000 (06:44 +0000)]
Avoid recursive sibcall's.

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

14 years agoRemove a completed item, add a couple new ones.
Eli Friedman [Sun, 31 Jan 2010 04:55:32 +0000 (04:55 +0000)]
Remove a completed item, add a couple new ones.

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

14 years agoRemove test which is no longer relevant.
Eli Friedman [Sun, 31 Jan 2010 04:40:45 +0000 (04:40 +0000)]
Remove test which is no longer relevant.

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

14 years agoSimplify/generalize the xor+add->sign-extend instcombine.
Eli Friedman [Sun, 31 Jan 2010 04:29:12 +0000 (04:29 +0000)]
Simplify/generalize the xor+add->sign-extend instcombine.

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

14 years agoAdd a small transform: transform -(X<<Y) to (-X<<Y) when the shift has a single
Eli Friedman [Sun, 31 Jan 2010 02:30:23 +0000 (02:30 +0000)]
Add a small transform: transform -(X<<Y) to (-X<<Y) when the shift has a single
use and X is free to negate.

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

14 years agoMoved InstallLexer() from the X86-specific AsmLexer
Sean Callanan [Sun, 31 Jan 2010 02:28:18 +0000 (02:28 +0000)]
Moved InstallLexer() from the X86-specific AsmLexer
to the TargetAsmLexer class so that clients can
actually use the TargetAsmLexer they get from a
Target.

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

14 years agoDo not mark no-return calls tail calls. It'll screw up special calls like longjmp...
Evan Cheng [Sun, 31 Jan 2010 00:59:31 +0000 (00:59 +0000)]
Do not mark no-return calls tail calls. It'll screw up special calls like longjmp and it doesn't make much sense for performance reason. If my logic is faulty, please let me know.

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

14 years agoFix PR6144. Reload GP before the emission of CALLSEQ_END to guarantee the right reloa...
Bruno Cardoso Lopes [Sat, 30 Jan 2010 18:32:07 +0000 (18:32 +0000)]
Fix PR6144. Reload GP before the emission of CALLSEQ_END to guarantee the right reload order

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

14 years agoFix mov.d out register by using the FFR register class directly
Bruno Cardoso Lopes [Sat, 30 Jan 2010 18:29:19 +0000 (18:29 +0000)]
Fix mov.d out register by using the FFR register class directly

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

14 years agoFix a gross typo: ARMv6+ may or may not support unaligned memory operations.
Anton Korobeynikov [Sat, 30 Jan 2010 14:08:12 +0000 (14:08 +0000)]
Fix a gross typo: ARMv6+ may or may not support unaligned memory operations.
Even if they are suported by the core, they can be disabled
(this is just a configuration bit inside some register).

Allow unaligned memops on darwin and conservatively disallow them otherwise.

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

14 years agoCheck alignment of loads when deciding whether it is safe to execute them
Bob Wilson [Sat, 30 Jan 2010 04:42:39 +0000 (04:42 +0000)]
Check alignment of loads when deciding whether it is safe to execute them
unconditionally.  Besides checking the offset, also check that the underlying
object is aligned as much as the load itself.

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

14 years agoAllow more tailcall optimization: calls with inputs that are all passed in registers.
Evan Cheng [Sat, 30 Jan 2010 01:22:00 +0000 (01:22 +0000)]
Allow more tailcall optimization: calls with inputs that are all passed in registers.

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

14 years agoDon't forget to transfer target flag when inserting a tailcall instruction.
Evan Cheng [Sat, 30 Jan 2010 01:16:15 +0000 (01:16 +0000)]
Don't forget to transfer target flag when inserting a tailcall instruction.

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

14 years agoEmit declaration DIE for the class static variables.
Devang Patel [Sat, 30 Jan 2010 01:08:30 +0000 (01:08 +0000)]
Emit declaration DIE for the class static variables.

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

14 years agoMC/X86 AsmParser: Handle absolute memory operands correctly. We were doing
Daniel Dunbar [Sat, 30 Jan 2010 01:02:48 +0000 (01:02 +0000)]
MC/X86 AsmParser: Handle absolute memory operands correctly. We were doing
something totally broken and parsing them as immediates, but the .td file also
had the wrong match class so things sortof worked. Except, that is, that we
would parse
  movl $0, %eax
as
  movl 0, %eax
Feel free to guess how well that worked.

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

14 years agoAsmMatcher: Create operand classes before use, apparently records aren't visited
Daniel Dunbar [Sat, 30 Jan 2010 01:02:37 +0000 (01:02 +0000)]
AsmMatcher: Create operand classes before use, apparently records aren't visited
in the order they were declared.

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

14 years agoFix a case where debug_value could affect codegen.
Dale Johannesen [Sat, 30 Jan 2010 00:57:47 +0000 (00:57 +0000)]
Fix a case where debug_value could affect codegen.

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

14 years agoUse more specific types to avoid casts. No functionality change.
Bob Wilson [Sat, 30 Jan 2010 00:41:10 +0000 (00:41 +0000)]
Use more specific types to avoid casts.  No functionality change.

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

14 years agoRemove ARM-specific calling convention from this test. Target data is
Bob Wilson [Sat, 30 Jan 2010 00:40:23 +0000 (00:40 +0000)]
Remove ARM-specific calling convention from this test.  Target data is
needed for this test, but otherwise, there's nothing ARM-specific about
it and no need to specify the calling convention.

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

14 years agoX86.td: Refactor to bring operands that use print_pcrel_imm together.
Daniel Dunbar [Sat, 30 Jan 2010 00:24:12 +0000 (00:24 +0000)]
X86.td: Refactor to bring operands that use print_pcrel_imm together.

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

14 years agoFileCheck: When looking for "possible matches", only compare against the prefix
Daniel Dunbar [Sat, 30 Jan 2010 00:24:06 +0000 (00:24 +0000)]
FileCheck: When looking for "possible matches", only compare against the prefix
line. Turns out edit_distance can be slow if the string we are scanning for
happens to be quite large.

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

14 years agoAsmMatcher/X86: Separate out sublass for memory operands that have no segment
Daniel Dunbar [Sat, 30 Jan 2010 00:24:00 +0000 (00:24 +0000)]
AsmMatcher/X86: Separate out sublass for memory operands that have no segment
register, and use to cleanup a FIXME in X86AsmParser.cpp.

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