llvm/lib
Chris Lattner 86ca3cacc5 In SDISel, for targets that support FORMAL_ARGUMENTS nodes, lower this
node as soon as we create it in SDISel.  Previously we would lower it in
legalize.  The problem with this is that it only exposes the argument
loads implied by FORMAL_ARGUMENTs after legalize, so that only dag combine 2
can hack on them.  This causes us to miss some optimizations because 
datatype expansion also happens here.

Exposing the loads early allows us to do optimizations on them.  For example
we now compile arg-cast.ll to:

_foo:
	movl	$2147483647, %eax
	andl	8(%esp), %eax
	ret

where we previously produced:

_foo:
	subl	$12, %esp
	movsd	16(%esp), %xmm0
	movsd	%xmm0, (%esp)
	movl	$2147483647, %eax
	andl	4(%esp), %eax
	addl	$12, %esp
	ret

It might also make sense to do this for ISD::CALL nodes, which have implicit
stores on many targets.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47054 91177308-0d34-0410-b5e6-96231b3b80d8
2008-02-13 07:39:09 +00:00
..
Analysis Re-apply the patch to improve the optimizations of memcpy's, with several 2008-02-12 21:15:18 +00:00
Archive Use empty() instead of comparing size() with zero. 2008-01-29 13:02:09 +00:00
AsmParser Back out mods to llvmAsmParser, incorrectly committed 2008-01-30 03:10:00 +00:00
Bitcode Use empty() instead of comparing size() with zero. 2008-01-29 13:02:09 +00:00
CodeGen In SDISel, for targets that support FORMAL_ARGUMENTS nodes, lower this 2008-02-13 07:39:09 +00:00
Debugger Remove attribution from file headers, per discussion on llvmdev. 2007-12-29 20:36:04 +00:00
ExecutionEngine Use empty() instead of comparing size() with zero. 2008-01-29 13:02:09 +00:00
Linker Remove attribution from file headers, per discussion on llvmdev. 2007-12-29 20:36:04 +00:00
Support Added "Profile" method to APFloat for use with FoldingSet. 2008-02-11 17:24:50 +00:00
System Set error message. 2008-02-04 20:57:54 +00:00
Target don't try to avoid inserting loads when lowering FORMAL_ARGUMENTS. 2008-02-13 07:35:30 +00:00
Transforms Re-apply the patch to improve the optimizations of memcpy's, with several 2008-02-12 21:15:18 +00:00
VMCore check that terminators only occur at the end of a block. This catches the 2008-02-09 01:06:01 +00:00
Makefile remove attribution from lib Makefiles. 2007-12-29 20:09:26 +00:00