RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-21 03:53:04 +02:00
Code Issues Projects Releases Wiki Activity
45,489 Commits 4 Branches 5 Tags 704 MiB
f4247ff478
Commit Graph

27697 Commits

Author SHA1 Message Date
Sanjiv Gupta
766590cde2 Mark the Defs and Uses of STATUS register correctly, plus some reformatting. 
llvm-svn: 66540
 2009-03-10 10:35:34 +00:00
Evan Cheng
c147115cdf If a function is marked alwaysinline, it must be inlined (possibly for correctness). Do so even if the callee has dynamic alloca and the caller doesn't. 
llvm-svn: 66539
 2009-03-10 07:57:50 +00:00
Chris Lattner
03060f6d50 wire up support for emitting "special" values from inline asm 
format strings with the standard ${:foo} syntax.

llvm-svn: 66527
 2009-03-10 05:37:13 +00:00
Dan Gohman
e15d8f03c3 Add more information to the EFLAGS note. 
llvm-svn: 66515
 2009-03-10 00:26:23 +00:00
Dan Gohman
995c3dd344 Add a note about EFLAGS optimization. 
llvm-svn: 66508
 2009-03-09 23:47:02 +00:00
Devang Patel
54b17d998a Ignore debug info while evaluating function. 
llvm-svn: 66490
 2009-03-09 23:04:12 +00:00
Dan Gohman
d22d16e519 Don't record the increment instruction; just recompute it from the Phi 
if needed. This simplifies the code a little, and is needed for an
upcoming refactoring.

llvm-svn: 66479
 2009-03-09 22:04:01 +00:00
Chris Lattner
5eccc173d1 Fix PR3724 by searching for the largest free block when 
allocating memory in the JIT.  This is insanely inefficient, but
hey, most people implement their own memory managers anyway.

Patch by Eric Yew!

llvm-svn: 66472
 2009-03-09 21:34:10 +00:00
Devang Patel
b01d0497e4 Remove llvm.dbg.global_variables also. 
llvm-svn: 66471
 2009-03-09 21:32:28 +00:00
Dan Gohman
cdabf073b9 Fix a few more places where induction variable types were used 
where memory access types are needed.

llvm-svn: 66470
 2009-03-09 21:22:12 +00:00
Dan Gohman
b65c69ed4b Use ReplacedTy instead of recomputing the same value. 
llvm-svn: 66469
 2009-03-09 21:19:58 +00:00
Dan Gohman
108b5dd79c Use LoopInfo's getLoopLatch() instead of doing what it does manualy. 
llvm-svn: 66467
 2009-03-09 21:14:16 +00:00
Dan Gohman
5a3a1117e7 Don't use an induction variable type as a memory access type. 
Use VoidTy instead, to be properly conservative.

llvm-svn: 66463
 2009-03-09 21:04:19 +00:00
Dan Gohman
2827ecebbe Factor out the code that determines the memory access type 
of an instruction into a helper function.

llvm-svn: 66460
 2009-03-09 21:01:17 +00:00
Devang Patel
f0b46d438a Add helper pass to remove llvm.dbg.declare intrinsics. 
llvm-svn: 66454
 2009-03-09 20:49:37 +00:00
Dan Gohman
c0b702199e Move the sorting of the StrideOrder array earlier so that it doesn't 
have to be done twice.

llvm-svn: 66449
 2009-03-09 20:46:50 +00:00
Dan Gohman
37c7177303 Delete the isOnlyStride argument, which is unused. 
llvm-svn: 66446
 2009-03-09 20:41:15 +00:00
Dan Gohman
ddec04d564 Tidy some LSR debug output: announce the loop it's about to process 
before it does any processing.

llvm-svn: 66443
 2009-03-09 20:34:59 +00:00
Evan Cheng
8d01b15f19 ARM target now also recognize triplets like thumbv6-apple-darwin and set thumb mode and arch subversion. Eventually thumb triplets will go way and replaced with function notes. 
llvm-svn: 66435
 2009-03-09 20:25:39 +00:00
Chris Lattner
93662edfb8 Fix PR3763 by using proper APInt methods instead of uint64_t's. 
llvm-svn: 66434
 2009-03-09 20:22:18 +00:00
Evan Cheng
3c9a084a1b ARM isLegalAddressImmediate should check if type is a simple type now that optimizer can create values of funky scalar types. 
llvm-svn: 66429
 2009-03-09 19:15:00 +00:00
Evan Cheng
8b47b553f9 Yet another case where the spiller marked two uses of the same register on the same instruction as kill. This fixes PR3706. 
llvm-svn: 66428
 2009-03-09 19:00:05 +00:00
Duncan Sands
b185e63225 This debug info special case should no longer 
be needed now that these intrinsics are marked
as not accessing memory.

llvm-svn: 66420
 2009-03-09 11:57:08 +00:00
Chris Lattner
7917d8fd89 just remove the use_empty() check entirely, the only reason it 
existed was for llvm-gcc 3.4 (which used the __main hack) which 
is really really long dead.

llvm-svn: 66417
 2009-03-09 08:18:48 +00:00
Chris Lattner
6b52b88467 Make the code generator rip of dead constant expr uses before deciding 
whether a global is dead or not.  This should fix PR3749 - linker adds 
spurious use to appending globals.  I can't reasonably add a testcase
for this, because the bc writer/reader strip dead constant users.

llvm-svn: 66404
 2009-03-09 05:52:15 +00:00
Chris Lattner
4d3876ada0 make GlobalValue::removeDeadConstantUsers() const. 
llvm-svn: 66403
 2009-03-09 05:50:45 +00:00
Owen Anderson
0a24181b95 Ignore debug intrinsics when computing dependences. 
llvm-svn: 66399
 2009-03-09 05:12:38 +00:00
Chris Lattner
d5dd4590b5 reimplement AliasSetTracker in terms of DenseMap instead of hash_map, 
hopefully no functionality change.

llvm-svn: 66398
 2009-03-09 05:11:09 +00:00
Bill Wendling
13fcab1ef3 Pass in a std::string when getting the names of debugging things. This cuts down 
on the number of times a std::string is created and copied.

llvm-svn: 66396
 2009-03-09 05:04:40 +00:00
Chris Lattner
7253459805 fix Analysis/BasicAA/2004-12-08-BasicAACrash.ll by allowing opaque types. 
llvm-svn: 66395
 2009-03-09 04:56:22 +00:00
Chris Lattner
2db6dc1753 Fix two classes of bugs. First: 
validate an invariant so that the asmparser rejects a bad construct
instead of the verifier.  Before:

llvm-as: assembly parsed, but does not verify as correct!
Invalid struct return type!
i64 (%struct.Type*, %struct.Type*)* @foo

after:

llvm-as: t.ll:5:8: functions with 'sret' argument must return void
define i64 @foo(%struct.Type* noalias nocapture sret %agg.result, %struct.Type* nocapture byval %t) nounwind {
       ^


Second, check that void is only used where allowed (in function return types) not in
arbitrary places, fixing PR3747 - Crash in llvm-as with void field in struct.  We
now reject that example with:

$ llvm-as t.ll
llvm-as: t.ll:1:12: struct element can not have void type
%x = type {void}
           ^

llvm-svn: 66394
 2009-03-09 04:49:14 +00:00
Chris Lattner
8c4f4e1852 Fix PR3746 - Crash in isel with GEP of function pointer 
by checking that the top-level type of a gep is sized. This
causes us to reject the example with:

llvm-as: t2.ll:2:16: invalid getelementptr indices
getelementptr i32()* null, i32 1
              ^

llvm-svn: 66393
 2009-03-09 04:46:40 +00:00
Chris Lattner
778f77667d add some explicit llvm:: qualifiers to the unix side, fix problems on the windows side. 
llvm-svn: 66386
 2009-03-08 19:13:45 +00:00
Nick Lewycky
55ff36a552 Keep calling-convention and tail-call bit when creating new invoke or call. 
llvm-svn: 66384
 2009-03-08 19:02:17 +00:00
Chris Lattner
b89dbcd448 do not export all the X86FastISel symbols, ever. 
llvm-svn: 66382
 2009-03-08 18:44:31 +00:00
Nick Lewycky
5355d525f8 Fix comments, pointed out by Duncan Sands. 
llvm-svn: 66381
 2009-03-08 17:08:09 +00:00
Duncan Sands
26ab759672 Apply ODR linkage changes accidentally dropped during 
final cleaning.  This fixes a bunch of testsuite failures.

llvm-svn: 66380
 2009-03-08 13:35:23 +00:00
Sebastian Redl
538a21a5a9 Test commit 
llvm-svn: 66378
 2009-03-08 11:43:20 +00:00
Nick Lewycky
365f21b20f Mark function returns as noalias. 
llvm-svn: 66369
 2009-03-08 06:20:47 +00:00
Chris Lattner
f05ebf0849 teach SROA to handle promoting vector allocas with a memset into them into 
a vector type instead of into an integer type.

llvm-svn: 66368
 2009-03-08 04:17:04 +00:00
Chris Lattner
950cbfb6c0 fix typo 
llvm-svn: 66367
 2009-03-08 04:06:26 +00:00
Chris Lattner
54d2292fe5 Enhance SROA to "promote to scalar" allocas which are 
memcpy/memmove'd into or out of.  This fixes a serious
perf issue that Nate ran into.

llvm-svn: 66366
 2009-03-08 04:04:21 +00:00
Evan Cheng
67ccd79e39 Recognize triplets starting with armv5-, armv6- etc. And set the ARM arch version accordingly. 
llvm-svn: 66365
 2009-03-08 04:02:49 +00:00
Chris Lattner
e367477979 change the MemIntrinsic get/setAlignment method to take an unsigned 
instead of a Constant*, which is what the clients of it really want.

llvm-svn: 66364
 2009-03-08 03:59:00 +00:00
Evan Cheng
483ece4d2e If a MI uses the same register more than once, only mark one of them as 'kill'. 
llvm-svn: 66363
 2009-03-08 03:58:35 +00:00
Chris Lattner
7ddad92288 use MemTransferInst. 
llvm-svn: 66362
 2009-03-08 03:37:35 +00:00
Chris Lattner
f827ae4fa5 Introduce a new MemTransferInst pseudo class, which is a common 
parent between MemCpyInst and MemMoveInst, simplify some code to
use it.

llvm-svn: 66361
 2009-03-08 03:37:16 +00:00
Chris Lattner
3342ba06d4 add a note. 
llvm-svn: 66360
 2009-03-08 03:04:26 +00:00
Chris Lattner
8ace06fdda add a note. 
llvm-svn: 66359
 2009-03-08 01:54:43 +00:00
Chris Lattner
578b634f56 implement an optimization to codegen c ? 1.0 : 2.0 as load { 2.0, 1.0 } + c*4. 
For 2009-03-07-FPConstSelect.ll we now produce:

_f:
	xorl	%eax, %eax
	testl	%edi, %edi
	movl	$4, %ecx
	cmovne	%rax, %rcx
	leaq	LCPI1_0(%rip), %rax
	movss	(%rcx,%rax), %xmm0
	ret

previously we produced:

_f:
	subl	$4, %esp
	cmpl	$0, 8(%esp)
	movss	LCPI1_0, %xmm0
	je	LBB1_2	## entry
LBB1_1:	## entry
	movss	LCPI1_1, %xmm0
LBB1_2:	## entry
	movss	%xmm0, (%esp)
	flds	(%esp)
	addl	$4, %esp
	ret

on PPC the code also improves to:

_f:
	cntlzw r2, r3
	srwi r2, r2, 5
	li r3, lo16(LCPI1_0)
	slwi r2, r2, 2
	addis r3, r3, ha16(LCPI1_0)
	lfsx f1, r3, r2
	blr 

from:

_f:
	li r2, lo16(LCPI1_1)
	cmplwi cr0, r3, 0
	addis r2, r2, ha16(LCPI1_1)
	beq cr0, LBB1_2	; entry
LBB1_1:	; entry
	li r2, lo16(LCPI1_0)
	addis r2, r2, ha16(LCPI1_0)
LBB1_2:	; entry
	lfs f1, 0(r2)
	blr 

This also improves the existing pic-cpool case from:

foo:
	subl	$12, %esp
	call	.Lllvm$1.$piclabel
.Lllvm$1.$piclabel:
	popl	%eax
	addl	$_GLOBAL_OFFSET_TABLE_ + [.-.Lllvm$1.$piclabel], %eax
	cmpl	$0, 16(%esp)
	movsd	.LCPI1_0@GOTOFF(%eax), %xmm0
	je	.LBB1_2	# entry
.LBB1_1:	# entry
	movsd	.LCPI1_1@GOTOFF(%eax), %xmm0
.LBB1_2:	# entry
	movsd	%xmm0, (%esp)
	fldl	(%esp)
	addl	$12, %esp
	ret

to:

foo:
	call	.Lllvm$1.$piclabel
.Lllvm$1.$piclabel:
	popl	%eax
	addl	$_GLOBAL_OFFSET_TABLE_ + [.-.Lllvm$1.$piclabel], %eax
	xorl	%ecx, %ecx
	cmpl	$0, 4(%esp)
	movl	$8, %edx
	cmovne	%ecx, %edx
	fldl	.LCPI1_0@GOTOFF(%eax,%edx)
	ret

This triggers a few dozen times in spec FP 2000.

llvm-svn: 66358
 2009-03-08 01:51:30 +00:00
Chris Lattner
f89a9c9d74 random cleanups. 
llvm-svn: 66357
 2009-03-08 01:47:41 +00:00
Chris Lattner
fc43115972 fix a serious pessimization that Tron on IRC pointed out where we would 
"boolify" pointers, generating really awful code because getting the pointer
value requires a load itself.  Before:

_foo:
	movb	$1, _X.b
	ret
_get:
	xorl	%ecx, %ecx
	movb	_X.b, %al
	testb	%al, %al
	movl	$_Y, %eax
	cmove	%ecx, %eax
	ret

With the xform disabled:

_foo:
	movl	$_Y, _X
	ret
_get:
	movl	_X, %eax
	ret

llvm-svn: 66351
 2009-03-07 23:32:02 +00:00
Duncan Sands
5ab54d488f Introduce new linkage types linkonce_odr, weak_odr, common_odr 
and extern_weak_odr.  These are the same as the non-odr versions,
except that they indicate that the global will only be overridden
by an *equivalent* global.  In C, a function with weak linkage can
be overridden by a function which behaves completely differently.
This means that IP passes have to skip weak functions, since any
deductions made from the function definition might be wrong, since
the definition could be replaced by something completely different
at link time.   This is not allowed in C++, thanks to the ODR
(One-Definition-Rule): if a function is replaced by another at
link-time, then the new function must be the same as the original
function.  If a language knows that a function or other global can
only be overridden by an equivalent global, it can give it the
weak_odr linkage type, and the optimizers will understand that it
is alright to make deductions based on the function body.  The
code generators on the other hand map weak and weak_odr linkage
to the same thing.

llvm-svn: 66339
 2009-03-07 15:45:40 +00:00
Gabor Greif
02b0968a7a simplify the way how traits get hold of the symbol table 
llvm-svn: 66336
 2009-03-07 12:33:24 +00:00
Gabor Greif
37f450f486 further simplifications arising from peruse of the more declarative interface 
llvm-svn: 66333
 2009-03-07 10:49:57 +00:00
Chris Lattner
005d001719 When a crash signal is delivered do two things: remove all of our 
signal handlers to prevent reentrance on unrelated things (a sigabort
where the handle bus errors) also, clear the signal mask so that the
signal doesn't infinitely reissue.  This fixes rdar://6654827 -
Crash causes clang to loop

llvm-svn: 66330
 2009-03-07 08:15:47 +00:00
Nate Begeman
24605efdaf Finish cross-process JIT work, and clean up previous work. 
1. When the JIT is asked to remove a function, updating it's
   mapping to 0, we invalidate any function stubs used only 
   by that function.  Now, also invalidate the JIT's mapping
   from the GV the stub pointed to, to the address of the GV.

2. When dlsym stubs for cross-process JIT are enabled, do not
   abort just because a named function cannot be found in the
   JIT's process.

3. Fix various assumptions about when it is ok to use the lazy
   resolver when non-lazy JITing is enabled.

llvm-svn: 66324
 2009-03-07 06:41:19 +00:00
Dan Gohman
b9c32f1aca Arithmetic instructions don't set EFLAGS bits OF and CF bits 
the same say the "test" instruction does in overflow cases,
so eliminating the test is only safe when those bits aren't
needed, as is the case for COND_E and COND_NE, or if it
can be proven that no overflow will occur. For now, just
restrict the optimization to COND_E and COND_NE and don't
do any overflow analysis.

llvm-svn: 66318
 2009-03-07 01:58:32 +00:00
Daniel Dunbar
d9a5a0cf1f Add Module::getNamedValue; use to normalize access to Module symbol 
table.
 - No functionality change.

llvm-svn: 66289
 2009-03-06 22:04:43 +00:00
Dale Johannesen
0643e4e36c Fix another case where debug info interferes with 
an optimization.

llvm-svn: 66288
 2009-03-06 21:08:33 +00:00
Dan Gohman
23d7aa62d4 Use c_str() to force the string to be nul-terminated. 
llvm-svn: 66279
 2009-03-06 18:13:15 +00:00
Chris Lattner
c5dba8954e add a bunch more passes to the C bindings (PR3734), patch by 
Lennart Augustsson!

llvm-svn: 66272
 2009-03-06 16:52:18 +00:00
Duncan Sands
26567dea82 While thinking about the one-definition-rule and trying 
to find a tiny mouse hole to squeeze through, it struck
me that globals without a name can be considered internal
since they can't be referenced from outside the current
module.  This patch makes GlobalOpt give them internal
linkage.  Also done for aliases even though they always
have names, since in my opinion anonymous aliases should
be allowed for consistency with global variables and
functions.  So if that happens one day, this code is ready!

llvm-svn: 66267
 2009-03-06 10:21:56 +00:00
Chris Lattner
bf3dee4ec7 on apple systems, integrate nicely with crash reporter. 
llvm-svn: 66264
 2009-03-06 07:19:54 +00:00
Devang Patel
12e9aa7629 While converting an aggregate to scalare, ignore and remove aggregate's debug info. 
llvm-svn: 66262
 2009-03-06 07:03:54 +00:00
Chris Lattner
33852b4f35 Sprinkle some PrettyStackEntry magic into the passmanager. With this, we now 
get nice and happy stack traces when we crash in an optimizer or codegen.  For
example, an abort put in UnswitchLoops now looks like this:

Stack dump:
0.	Program arguments: clang pr3399.c -S -O3 
1.	<eof> parser at end of file
2.	per-module optimization passes
3.	Running pass 'CallGraph Pass Manager' on module 'pr3399.c'.
4.	Running pass 'Loop Pass Manager' on function '@foo'
5.	Running pass 'Unswitch loops' on basic block '%for.inc'
Abort

llvm-svn: 66260
 2009-03-06 06:45:05 +00:00
Zhou Sheng
e3fb6cafd0 Remove this as dbginfo intrinsics has been defined as 
IntrNoMem.

llvm-svn: 66256
 2009-03-06 06:05:01 +00:00
Devang Patel
3ae9d5d375 While hoisting instruction to speculatively execute simple bb, ignore dbg intrinsics. 
llvm-svn: 66255
 2009-03-06 06:00:17 +00:00
Chris Lattner
86966da4a3 various cosmetic cleanups. 
llvm-svn: 66254
 2009-03-06 05:53:14 +00:00
Chris Lattner
a66675581a this wasn't intended to go in. 
llvm-svn: 66252
 2009-03-06 05:42:30 +00:00
Chris Lattner
1b05680d5f Change various llvm utilities to use PrettyStackTraceProgram in 
their main routines.  This makes the tools print their argc/argv
commands if they crash.

llvm-svn: 66248
 2009-03-06 05:34:10 +00:00
Devang Patel
ff51ec061c Do not count DbgInfoIntrinsic while estimating loop header size. 
llvm-svn: 66245
 2009-03-06 03:51:30 +00:00
Devang Patel
9abfbc2e14 Skip DbgInfoIntrinsic. 
llvm-svn: 66244
 2009-03-06 02:59:27 +00:00
Dan Gohman
42049dafd7 Fix ScheduleDAGRRList::CopyAndMoveSuccessors' handling of nodes 
with multiple chain operands. This can occur when the scheduler
has added chain operands to a node that already has a chain
operand, in order to handle physical register dependencies.

This fixes an llvm-gcc bootstrap failure on x86-64 introduced
in r66058.

llvm-svn: 66240
 2009-03-06 02:23:01 +00:00
Dale Johannesen
e07f7b0e3d Don't assign rank numbers to debug intrinsic "calls". 
This is needed so debug info doesn't change codegen.

llvm-svn: 66235
 2009-03-06 01:41:59 +00:00
Bill Wendling
5ddde1a24c When we split a basic block, there's a default branch to the newly created BB. 
Delete this default branch, because we're going to generate our own.

llvm-svn: 66234
 2009-03-06 01:41:15 +00:00
Devang Patel
c751e83e2b Revert 66224. 
llvm-svn: 66233
 2009-03-06 01:39:36 +00:00
Devang Patel
205f80b2f3 Revert rev. 66167. 
We are still not out of woods yet.

llvm-svn: 66232
 2009-03-06 01:37:41 +00:00
Evan Cheng
918955bbc4 SRThreshold is meant to be inclusive. 
llvm-svn: 66227
 2009-03-06 00:56:43 +00:00
Dale Johannesen
83c13c2ace Tweak the check for promotable alloca's to handle 
debug intrinsics correctly.

llvm-svn: 66225
 2009-03-06 00:42:50 +00:00
Devang Patel
f815005dfb Do not let debug info prevert globalopt from shriking a global vars to boolean. 
llvm-svn: 66224
 2009-03-06 00:21:00 +00:00
Devang Patel
28a28a2588 Add "check/remove dbg var" helper routines. 
llvm-svn: 66223
 2009-03-06 00:19:37 +00:00
Dan Gohman
f9599e6c5f Don't use plain INC32 and DEC32 on x86-64; it needs 
INC64_32r and INC64_16r, because these instructions are encoded
differently on x86-64. This fixes JIT regressions on x86-64 in
kimwitu++ and others.

llvm-svn: 66207
 2009-03-05 21:32:23 +00:00
Dan Gohman
1e9db7c1a1 When creating X86ISD::INC and X86ISD::DEC nodes, only add one operand. 
The extra operand didn't appear to cause any trouble, but it was
erroneous regardless.

llvm-svn: 66206
 2009-03-05 21:29:28 +00:00
Dan Gohman
f6f684b206 Fix the "test" optimization to recognize "dec" as an add of 
negative one, as subtracts of immediates are canonicalized
to adds.

llvm-svn: 66180
 2009-03-05 19:32:48 +00:00
Chris Lattner
0743280d7a move some code to gracefully handle the case when a handler crashes. 
llvm-svn: 66171
 2009-03-05 18:22:14 +00:00
Devang Patel
34889f5bed GlobalOpt only process non constant local GVs while optimizing global vars. 
If non constant local GV named A is used by a constant local GV named B (e.g. llvm.dbg.variable) and B is not used by anyone else then eliminate A as well as B.

In other words, debug info should not interfere in removal of unused GV.
--This life, and those below, will be ignored--

M    test/Transforms/GlobalOpt/2009-03-03-dbg.ll
M    lib/Transforms/IPO/GlobalOpt.cpp

llvm-svn: 66167
 2009-03-05 18:12:02 +00:00
Duncan Sands
e53256c66c Add missing file. 
llvm-svn: 66160
 2009-03-05 09:19:13 +00:00
Owen Anderson
39e5f053c4 (Hopefully) silence a warning. 
llvm-svn: 66158
 2009-03-05 08:23:20 +00:00
Owen Anderson
744e33c12b Be more careful about choosing restore points when doing restore folding. This fixes some subtle miscompilations. 
llvm-svn: 66147
 2009-03-05 07:19:18 +00:00
Chris Lattner
c4f40d1f53 Daniel wanted the stack printed upside down. Perhaps he 
feels a kinship to machine stacks that grow down.  Now we get
stuff like this:

Stack dump:
0.	Program arguments: clang clang_crash_Iw2Osj.mi 
1.	/Developer/SDKs/MacOSX10.5.sdk/usr/lib/gcc/i686-apple-darwin9/4.0.1/include/xmmintrin.h:624:1: parsing function body '_mm_cvtpi16_ps'
2.	/Developer/SDKs/MacOSX10.5.sdk/usr/lib/gcc/i686-apple-darwin9/4.0.1/include/xmmintrin.h:624:1: in compound statement ('{}')
Abort

llvm-svn: 66145
 2009-03-05 07:03:49 +00:00
Chris Lattner
982c3491ff indicate what the program args line is. 
llvm-svn: 66144
 2009-03-05 06:51:42 +00:00
Chris Lattner
7e98d87d98 switch this message back to only being in -debug mode. 
llvm-svn: 66143
 2009-03-05 06:48:16 +00:00
Nate Begeman
ec80b49533 When allocating stubs, keep track of which Functions are referencing the stub. 
This invalidates the stubs in the resolver map when they are no longer referenced,
and should the JIT memory manager ever pick up a deallocateStub interface, the
JIT could reclaim the memory for unused stubs as well.

llvm-svn: 66141
 2009-03-05 06:34:37 +00:00
Evan Cheng
24c138a1cd Do not split edges to EH landing pads. It will cause code size explosion. 
llvm-svn: 66140
 2009-03-05 06:31:26 +00:00
Evan Cheng
90d25a92c2 Fix how livein live intervals are handled. Previously it could end at MBB start. Sorry, no small test case possible. 
llvm-svn: 66129
 2009-03-05 03:34:26 +00:00
Dale Johannesen
a73a4ee680 Fix another case where debug info was affecting 
codegen.  I convinced myself it was OK to skip all
pointer bitcasts here too.

llvm-svn: 66122
 2009-03-05 02:06:48 +00:00
Zhou Sheng
cfe68231e7 Ignore the debug info intrinsics when looking for dependency through basic block. 
llvm-svn: 66119
 2009-03-05 01:45:43 +00:00
Bill Wendling
edc936acb4 Add comment to emphasize that the while body is empty. 
llvm-svn: 66115
 2009-03-05 01:08:35 +00:00
Dale Johannesen
428972ecad Fix another case where a dbg.declare meant something 
had 2 uses instead of 1.

llvm-svn: 66112
 2009-03-05 00:39:02 +00:00
Bill Wendling
2eef9340a8 Temporarily revert r65994. It was causing rdar://6646455. 
llvm-svn: 66083
 2009-03-04 22:02:09 +00:00
Chris Lattner
84424b02bb add some helper classes for building light-weight symbolic stack traces 
that get printed when a program crashes.  This is the first step of many.

llvm-svn: 66076
 2009-03-04 21:40:23 +00:00
Dale Johannesen
448293322b Re-commit 65975 and a fix for the problem that 
was causing llvm-gcc to fail to build.  I've
verified it bootstraps now; good enough for me.

llvm-svn: 66073
 2009-03-04 21:24:04 +00:00
Chris Lattner
faf39c40d4 Add a new 'AddSignalHandler' function to Signals.h that allows 
arbitrary functions to be run when a crash happens.  Delete 
RemoveDirectoryOnSignal as it is dead and has never had clients.

Change PrintStackTraceOnErrorSignal to be implemented in terms of
AddSignalHandler.

I updated the Win32 versions of these APIs, but can't test them.
If there are any problems, I'd be happy to fix them as well.

llvm-svn: 66072
 2009-03-04 21:21:36 +00:00
Dan Gohman
5eb18fa0bf Fix this comment. 
llvm-svn: 66065
 2009-03-04 20:50:23 +00:00
Dan Gohman
70fd52251c Add an assertion for a condition that's always true, and not 
immediately obvious.

llvm-svn: 66062
 2009-03-04 20:49:01 +00:00
Dan Gohman
31fb085c2e Re-apply 66008, now that the unfoldMemoryOperand bug is fixed. 
llvm-svn: 66058
 2009-03-04 19:44:21 +00:00
Dan Gohman
f41e54c5af Correct this comment. 
llvm-svn: 66057
 2009-03-04 19:24:25 +00:00
Dan Gohman
04453ca36c When using MachineInstr operand indices on SDNodes, the number 
of MachineInstr def operands must be subtracted out. This bug
was uncovered by the recent x86 EFLAGS optimization. Before
that, the only instructions that ever needed unfolding were
things like CMP32rm, where NumDefs is zero.

llvm-svn: 66056
 2009-03-04 19:23:38 +00:00
Chris Lattner
9cfff838eb complete comment. 
llvm-svn: 66055
 2009-03-04 19:23:25 +00:00
Chris Lattner
a0d9cc96fe this wasn't intended to be committed. 
llvm-svn: 66054
 2009-03-04 19:22:30 +00:00
Chris Lattner
5051e7afde Fix PR3720 by properly propagating alignment information from memcpy/memmove 
onto element accesses.

llvm-svn: 66053
 2009-03-04 19:20:50 +00:00
Nate Begeman
511a668cd1 Fix a thinko in the JIT where the address of a GV was only recorded in the map 
on failure to resolve it.
Do not abort on failure to resolve an external symbol when using dlsym stubs,
  since the symbol may not be in the JIT's address space.  Just use 0.
Allow dlsym stubs to differentiate between GlobalVars and Functions.

llvm-svn: 66050
 2009-03-04 19:10:38 +00:00
Bob Wilson
b75225556d Fix BuildVectorSDNode::isConstantSplat to handle one-element vectors. 
It is an error to call APInt::zext with a size that is equal to the value's
current size, so use zextOrTrunc instead.

llvm-svn: 66039
 2009-03-04 17:47:01 +00:00
Owen Anderson
fb7f64ea0d Add a restore folder, which shaves a dozen or so machineinstrs off oggenc. Update a testcase to check this. 
llvm-svn: 66029
 2009-03-04 08:52:31 +00:00
Evan Cheng
7d9019d0f3 Fix PR3666: isel calls to constant addresses. 
llvm-svn: 66024
 2009-03-04 06:48:53 +00:00
Eli Friedman
1bed40b86a PR3686: make the legalizer handle bitcast from i80 to x86 long double. 
llvm-svn: 66021
 2009-03-04 06:23:34 +00:00
Dan Gohman
6831e2c2a6 Revert r66004 for now; it's causing a variety of test failures. 
llvm-svn: 66008
 2009-03-04 03:54:19 +00:00
Dan Gohman
c6c669cc1e Teach the x86 backend to eliminate "test" instructions by using the EFLAGS 
result from add, sub, inc, and dec instructions in simple cases.

llvm-svn: 66004
 2009-03-04 02:33:24 +00:00
Dale Johannesen
8ca4d24371 Revert unintended commmit. 
llvm-svn: 66001
 2009-03-04 02:09:48 +00:00
Dale Johannesen
c6bfdb8253 Skip ptr-to-ptr bitcasts when counting in another case. 
llvm-svn: 66000
 2009-03-04 02:06:53 +00:00
Dale Johannesen
e184480072 Always skip ptr-to-ptr bitcasts when counting, 
per Chris' suggestion.  Slightly faster.

llvm-svn: 65999
 2009-03-04 01:53:05 +00:00
Evan Cheng
db402a7a49 Fix PR3701. 1. X86 target renamed eflags register to flags. This matches what llvm-gcc generates so codegen knows flags register is being clobbered by inline asm. 2. BURR scheduler should also check if inline asm nodes can clobber "live" physical registers. Previously it was only checking target nodes with implicit defs. 
llvm-svn: 65996
 2009-03-04 01:41:49 +00:00
Devang Patel
94ef615585 If a global constant is dead then global's debug info should not prevent the optimizer in deleting the global. And while deleting global, delete global's debug info also. 
llvm-svn: 65994
 2009-03-04 01:22:23 +00:00
Dale Johannesen
a6f7a45366 Make my earlier patch to skip debug intrinsics 
when counting work; it was only off by 1.

llvm-svn: 65993
 2009-03-04 01:20:34 +00:00
Bill Wendling
93eeea0493 The DAG combiner was performing a BT combine. The BT combine had a value of -1, 
so it changed it into a 31 via the TLO.ShrinkDemandedConstant() call. Then it
would go through the DAG combiner again. This time it had a value of 31, which
was turned into a -1 by TLI.SimplifyDemandedBits(). This would ping pong
forever.

Teach the TLO.ShrinkDemandedConstant() call not to lower a value if the demanded
value is an XOR of all ones.

llvm-svn: 65985
 2009-03-04 00:18:06 +00:00
Dale Johannesen
e611f70764 Marking debug info intrinsics as not touching memory 
caused them to be considered trivially dead.  Fix this.

llvm-svn: 65979
 2009-03-03 23:30:00 +00:00
Dale Johannesen
81b6cd8ce5 Instruction counters must skip the bitcasts that 
feed into llvm.dbg.declare nodes, as well as
the debug directives themselves.

llvm-svn: 65976
 2009-03-03 22:36:47 +00:00
Devang Patel
9b7c78086b Recursively remove dead argument while removing llvm.dbg.declare intrinsic. 
llvm-svn: 65971
 2009-03-03 21:31:02 +00:00
Dale Johannesen
ceed180d4c When removing a store to an alloca that has only one 
use, check also for the case where it has two uses,
the other being a llvm.dbg.declare.  This is needed so
debug info doesn't affect codegen.

llvm-svn: 65970
 2009-03-03 21:26:39 +00:00
Chris Lattner
db4a8af064 don't #include a header into the middle of an anon namespace. 
llvm-svn: 65967
 2009-03-03 20:10:23 +00:00
Dan Gohman
3c6c7754b2 Add '(implicit EFLAGS)' for AND, OR, XOR, NEG, INC, and DEC 
instructions. These aren't used yet.

llvm-svn: 65965
 2009-03-03 19:53:46 +00:00
Bob Wilson
17cf012d93 Use early exit to reduce indentation. No functional change. 
llvm-svn: 65962
 2009-03-03 19:26:27 +00:00
Bill Wendling
7fdda71ad7 Remove accidental check-ins in r65960. :-( 
llvm-svn: 65961
 2009-03-03 19:25:16 +00:00
Bill Wendling
8244b700bf Use > instead of >=. We want to promote aggregates of 128-bytes. 
llvm-svn: 65960
 2009-03-03 19:18:49 +00:00
Bill Wendling
a77bedb70b Reapply r65755, but reversing "<" to ">=". 
llvm-svn: 65945
 2009-03-03 12:12:58 +00:00
Mikhail Glushenkov
a4a724f737 Oops. 
llvm-svn: 65942
 2009-03-03 10:04:23 +00:00
Mikhail Glushenkov
1d23d4e16b 80-column violation + trailing whitespace. 
llvm-svn: 65936
 2009-03-03 07:22:23 +00:00
Zhou Sheng
1e7e86fec4 Ignore the debug info intrinsics when adding instructions into alias sets. 
llvm-svn: 65934
 2009-03-03 06:02:04 +00:00
Dan Gohman
51d4e8db6a Fix a bunch of Doxygen syntax issues. Escape special characters, 
and put @file directives on their own comment line.

llvm-svn: 65920
 2009-03-03 02:55:14 +00:00
Dale Johannesen
d4a205b300 Don't count DebugInfo instructions in another limit 
(lest they affect codegen).

llvm-svn: 65915
 2009-03-03 01:43:03 +00:00
Dale Johannesen
33fa9dc8a9 When sinking an insn in InstCombine bring its debug 
info with it.
Don't count debug info insns against the scan maximum
in FindAvailableLoadedValue (lest they affect codegen).

llvm-svn: 65910
 2009-03-03 01:09:07 +00:00
Devang Patel
b69b449ce8 Ignore debug info intrinsics. 
llvm-svn: 65908
 2009-03-03 00:28:44 +00:00
Devang Patel
e98e6bc27c If branch conditions' one successor is dominating another non-latch successor then this loop's iteration space can not be restricted. In this example block bb5 is always executed. 
llvm-svn: 65902
 2009-03-02 23:39:14 +00:00
Bob Wilson
5b276b6bc9 Generalize BuildVectorSDNode::isConstantSplat to use APInts and handle 
arbitrary vector sizes.  Add an optional MinSplatBits parameter to specify
a minimum for the splat element size.  Update the PPC target to use the
revised interface.

llvm-svn: 65899
 2009-03-02 23:24:16 +00:00
Nate Begeman
094f4d810f Fix the calculation for how big the allocated stub needs to be. 
llvm-svn: 65895
 2009-03-02 23:10:14 +00:00
Devang Patel
5220700e0d Remove all dbg symobls, including those with circular references. 
This is ugly, but I can't figure out a quick way out of this.

llvm-svn: 65889
 2009-03-02 22:50:58 +00:00
Chris Lattner
492d973ba0 Fix main executable path name resolution on FreeBSD, patch by 
Ed Schouten!

llvm-svn: 65882
 2009-03-02 22:17:15 +00:00
Duncan Sands
51ce06c788 Fix PR3694: add an instcombine micro-optimization that helps 
clean up when using variable length arrays in llvm-gcc.

llvm-svn: 65832
 2009-03-02 09:18:21 +00:00
Mikhail Glushenkov
3cde18e191 Reorganize llvmc code. 
Move the code from 'llvmc/driver' into a new CompilerDriver library, and change
the build system accordingly. Makes it easier for projects using LLVM to build
their own llvmc-based drivers.

Tested with objdir != srcdir.

llvm-svn: 65821
 2009-03-02 09:01:14 +00:00
Nate Begeman
6b41d33726 Fix a problem with DAGCombine on 64b targets where folding 
extracts + build_vector into a shuffle would fail, because the
type of the new build_vector would not be legal.  Try harder to
create a legal build_vector type.  Note: this will be totally 
irrelevant once vector_shuffle no longer takes a build_vector for
shuffle mask.

New:
_foo:
	xorps	%xmm0, %xmm0
	xorps	%xmm1, %xmm1
	subps	%xmm1, %xmm1
	mulps	%xmm0, %xmm1
	addps	%xmm0, %xmm1
	movaps	%xmm1, 0

Old:
_foo:
	xorps	%xmm0, %xmm0
	movss	%xmm0, %xmm1
	xorps	%xmm2, %xmm2
	unpcklps	%xmm1, %xmm2
	pshufd	$80, %xmm1, %xmm1
	unpcklps	%xmm1, %xmm2
	pslldq	$16, %xmm2
	pshufd	$57, %xmm2, %xmm1
	subps	%xmm0, %xmm1
	mulps	%xmm0, %xmm1
	addps	%xmm0, %xmm1
	movaps	%xmm1, 0

llvm-svn: 65791
 2009-03-01 23:44:07 +00:00
Gabor Greif
3f56efbf04 Another sentinel optimization. This one should always 
be a win, since almost every interesting function has at least one Argument.

llvm-svn: 65778
 2009-03-01 17:13:15 +00:00
Gabor Greif
dc34b050a2 Reuse a technique (pioneered for BasicBlocks) of superposing ilist with 
its sentinel. This is quite a win when a function really has a basic block.                  
When the function is just a declaration (and stays so) the old way did not
allocate a sentinel. So this change is most beneficial when the ratio of
function definition to declaration is high. I.e. linkers etc. Incidentally  
these are the most resource demanding applications, so I expect that the
reduced malloc traffic, locality and space savings outweigh the cost of
addition of two pointers to Function.

llvm-svn: 65776
 2009-03-01 16:38:10 +00:00
Bill Wendling
0dd6d44518 Temporarily revert r65755. It was causing failures in the self-hosting 
testsuite:

Running /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/CodeGen/X86/dg.exp ...
FAIL: /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/CodeGen/X86/nancvt.ll
Failed with exit(1) at line 2
while running: grep 2147027116 nancvt.ll.tmp | count 3
count: expected 3 lines and got        0.
child process exited abnormally
FAIL: /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/CodeGen/X86/vec_ins_extract.ll
Failed with exit(1) at line 1
while running:  llvm-as < /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/CodeGen/X86/vec_ins_extract.ll |  opt -scalarrepl -instcombine |   llc -march=x86 -mcpu=yonah | not /usr/bin/grep sub.*esp
      subl      $28, %esp
      subl      $28, %esp
child process exited abnormally

And more.

llvm-svn: 65758
 2009-03-01 03:55:12 +00:00
Chris Lattner
7228db7662 hoist the check for alloca size up so that it controls CanConvertToScalar 
as well as isSafeAllocaToScalarRepl.

llvm-svn: 65755
 2009-03-01 02:26:47 +00:00
Evan Cheng
276f9b02c5 Minor optimization: 
Look for situations like this:                                                                                                                                                              
%reg1024<def> = MOV r1                                                                                                                                                                      
%reg1025<def> = MOV r0                                                                                                                                                                      
%reg1026<def> = ADD %reg1024, %reg1025                                                                                                                                                      
r0            = MOV %reg1026                                                                                                                                                                
Commute the ADD to hopefully eliminate an otherwise unavoidable copy.

llvm-svn: 65752
 2009-03-01 02:03:43 +00:00
Chris Lattner
0cefb564d4 simplify handling "don't print top level name" processing, so that we get 
stuff like %A = type { %A*} instead of an upref.

llvm-svn: 65748
 2009-03-01 01:16:21 +00:00
Bob Wilson
7482f84ae6 Combine PPC's GetConstantBuildVectorBits and isConstantSplat functions to a new 
method in a BuildVectorSDNode "pseudo-class".

llvm-svn: 65747
 2009-03-01 01:13:55 +00:00
Chris Lattner
a9611661b0 Fix a pretty awesome bug that only happened in a strange case with anonymous 
types.  This was reading the uint for the keyword after the token was advanced.

llvm-svn: 65743
 2009-03-01 00:53:13 +00:00
Chris Lattner
94224fe3d1 walk type symbol table also, so we get: 
type opaque		; type %0
	%C = type { %0, %0 }

instead of:

	%C = type { opaque, opaque }

when appropriate.

llvm-svn: 65742
 2009-03-01 00:32:33 +00:00
Chris Lattner
f270618038 Fix a long-standing bug and misfeature of the disassembler: when dealing with a 
stripped .bc file, it didn't make any attempt to try to reuse anonymous types.
This causes an amazing type explosion due to types getting duplicated everywhere
they are referenced and other problems.

This also caused correctness issues, because opaque types are unique for each time
they are uttered in the file.  This means that stripping a .bc file could produce
a .ll file that could not be assembled (e.g. 2009-02-28-StripOpaqueName.ll).

This patch fixes both of these issues.

llvm-svn: 65738
 2009-03-01 00:03:38 +00:00
Chris Lattner
1a7eac8434 move type name population out of TypePrinting class into a static 
AsmWriter.cpp method.

llvm-svn: 65736
 2009-02-28 23:20:19 +00:00
Chris Lattner
666bf65fa3 switch to densemap for pointer->word map. 
llvm-svn: 65735
 2009-02-28 23:03:55 +00:00
Chris Lattner
2396ce476a delete a bunch of duplicated type printing logic, using the type printing 
stuff in AsmWriter.cpp for Type::getDescription().

llvm-svn: 65734
 2009-02-28 23:01:57 +00:00
Chris Lattner
2b04164c1d make this work when constructed with a null module* 
llvm-svn: 65733
 2009-02-28 23:01:30 +00:00
Chris Lattner
03e16b833f expose TypePrinting as a public API. 
llvm-svn: 65729
 2009-02-28 22:34:45 +00:00
Chris Lattner
5b8bf4f327 rename 'Result' to 'OS' in CalcTypeName for consistency 
llvm-svn: 65724
 2009-02-28 21:27:31 +00:00
Chris Lattner
5eaaf4a96d do not embed the raw_ostream into TypePrinting, pass it as an argument to print etc. 
llvm-svn: 65723
 2009-02-28 21:26:53 +00:00
Chris Lattner
e0a45a4296 stop calling Type::getDescription(). 
llvm-svn: 65722
 2009-02-28 21:18:43 +00:00
Chris Lattner
c75ef1bf12 simplifications 
llvm-svn: 65721
 2009-02-28 21:11:05 +00:00
Chris Lattner
f47615197e Change WriteTypeSymbolic to not put a space out before types, also, remove 
the old std::ostream version.

llvm-svn: 65720
 2009-02-28 21:05:51 +00:00
Chris Lattner
9e0c90d568 make CalcTypeName take a stream instead of a string to concat onto, 
eliminate redundant opaque handling code.

llvm-svn: 65716
 2009-02-28 20:49:40 +00:00
Chris Lattner
e89d5cf8ea remove a bunch of nearly-duplicated code. 
llvm-svn: 65715
 2009-02-28 20:40:29 +00:00
Chris Lattner
6a44ecb340 fix indentation, remove dead integer case. 
llvm-svn: 65714
 2009-02-28 20:35:42 +00:00
Chris Lattner
ad8d445e97 pull calcTypeName into TypePrinting class, make its type stack 
be a smallvector instead of vector.

llvm-svn: 65713
 2009-02-28 20:34:19 +00:00
Chris Lattner
e0fb715ace inline method into its only use and simplify the result. 
llvm-svn: 65712
 2009-02-28 20:31:14 +00:00
Chris Lattner
0d6a6602c5 simplify condition 
llvm-svn: 65711
 2009-02-28 20:28:50 +00:00
Chris Lattner
9fd658a250 start refactoring the .ll printer: introduce a new TypePrinting class 
and move all related stuff to it.

llvm-svn: 65710
 2009-02-28 20:25:14 +00:00
Chris Lattner
af8467a57f reject 0 element vectors with: 
@a = internal constant void bitcast(<0 x i8> <> to void)
                                     ^

Fixes PR3685

llvm-svn: 65698
 2009-02-28 18:12:41 +00:00
Evan Cheng
9c3ce7905e Last commit accidentially deleted this code. 
llvm-svn: 65679
 2009-02-28 06:02:14 +00:00
Mon P Wang
0258a27c5a Added another darwin subtarget 
llvm-svn: 65662
 2009-02-28 00:25:30 +00:00
Devang Patel
c908eb0dba It is possible that subprgoram definition is only encoding return value directly, instsad of an DIArray of all argument types. 
llvm-svn: 65643
 2009-02-27 18:05:21 +00:00
Rafael Espindola
880e63bf01 Refactor TLS code and add some tests. The tests and expected results are: 
pic |  declaration | linkage  | visibility |

!pic |  declaration | external | default    | tls1.ll     tls2.ll     | local exec
 pic |  declaration | external | default    | tls1-pic.ll tls2-pic.ll | general dynamic
!pic | !declaration | external | default    | tls3.ll     tls4.ll     | initial exec
 pic | !declaration | external | default    | tls3-pic.ll tls4-pic.ll | general dynamic

!pic |  declaration | external | hidden     | tls7.ll     tls8.ll     | local exec
 pic |  declaration | external | hidden     | X                       | local dynamic
!pic | !declaration | external | hidden     | tls9.ll     tls10.ll    | local exec
 pic | !declaration | external | hidden     | X                       | local dynamic

!pic |  declaration | internal | default    | tls5.ll     tls6.ll     | local exec
 pic |  declaration | internal | default    | X                       | local dynamic

The ones marked with an X have not been implemented since local dynamic is not implemented.

llvm-svn: 65632
 2009-02-27 13:37:18 +00:00
Gabor Greif
9b51fe4ab1 Introduce a new technique for merging BasicBlock with Instruction sentinel by superposition. 
This looks dangerous, but isn't because the sentinel is accessed in special way only,
namely the Next and Prev fields of it, and these are guaranteed to exist.

llvm-svn: 65626
 2009-02-27 08:41:37 +00:00
Nick Lewycky
44b8675102 Silence compiler warning about use of uninitialized variables (in reality these 
are always set by reference on the path that uses them.) No functional change.

llvm-svn: 65621
 2009-02-27 06:37:39 +00:00
Nick Lewycky
f5563f28d3 Fix compiler warning about uninitialized variables. No functional change. 
llvm-svn: 65620
 2009-02-27 06:29:31 +00:00
Dale Johannesen
8f76578347 Alignment values for i64 and f64 on ppc64 were wrong, 
possibly for the reason suggested by the comment.
No wonder it didn't work very well.  This unblocks
bootstrap with assertions on ppc.

llvm-svn: 65601
 2009-02-27 00:56:35 +00:00
Evan Cheng
0ca6e3dba5 MachineLICM CSE should match destination register classes; avoid hoisting implicit_def's. 
llvm-svn: 65592
 2009-02-27 00:02:22 +00:00
Zhou Sheng
670d50e102 Ignore dbg info intrinsics when folding conditional branch to 
conditional branch predecessors.

llvm-svn: 65509
 2009-02-26 06:56:37 +00:00
Owen Anderson
32d31bc5cc Enable stack slot coloring DCE. Evan's spiller fixes were needed before this could happen. 
llvm-svn: 65501
 2009-02-26 04:47:57 +00:00
Evan Cheng
4014a9a5b8 ADDS{D|S}rr_Int and MULS{D|S}rr_Int are not commutable. The users of these intrinsics expect the high bits will not be modified. 
llvm-svn: 65499
 2009-02-26 03:12:02 +00:00
Evan Cheng
86fc9440db The last commit was overly conservative. It's ok to reuse value that's already marked livein. 
llvm-svn: 65498
 2009-02-26 03:02:21 +00:00
Evan Cheng
435dbd4665 If an available register falls through to a succ block, unset the last kill. Sorry, it's impossible to reduce a sensible test case. It basically requires the moon and stars to align in order to cause a failure. 
llvm-svn: 65497
 2009-02-26 02:30:42 +00:00
Evan Cheng
ec34226c2b Revert BuildVectorSDNode related patches: 65426, 65427, and 65296. 
llvm-svn: 65482
 2009-02-25 22:49:59 +00:00
Dale Johannesen
9a6ca304f1 Fix big-endian codegen bug. We're splitting up 
overly long ints, e.g. i96, into pieces at PHIs
and the nodes that feed into them; however big-endian
reverses the order of the pieces (for some reason), and
wasn't doing it the same way on both sides, so
the pieces didn't match and runtime failures ensued.
Fixes 188.ammp and sqlite3 on ppc32.

llvm-svn: 65481
 2009-02-25 22:39:13 +00:00
Devang Patel
2fd41ecef5 Print variable's display name in dwarf DIE. 
llvm-svn: 65468
 2009-02-25 19:41:35 +00:00
Chris Lattner
1443cb8f77 Fix PR3667 
llvm-svn: 65464
 2009-02-25 18:20:01 +00:00
Zhou Sheng
241d74737b Don't block basic block with only SwitchInst to fold into predecessors. 
llvm-svn: 65456
 2009-02-25 15:34:27 +00:00
Evan Cheng
befebff8fc Clean up dwarf writer, part 1. This eliminated the horrible recursive getGlobalVariablesUsing and replaced it something readable. It eliminated use of slow UniqueVector and replaced it with StringMap, SmallVector, and DenseMap, etc. It also fixed some non-deterministic behavior. 
This is a very minor compile time win.

llvm-svn: 65438
 2009-02-25 07:04:34 +00:00
Nick Lewycky
8672fb675c Add a totally synthetic situation I came up with while looking at a bug in 
related code.

llvm-svn: 65437
 2009-02-25 06:52:48 +00:00
Scott Michel
3f273a8412 Expand tabs to spaces (overlooked in previous commit) 
llvm-svn: 65427
 2009-02-25 03:57:49 +00:00
Scott Michel
29d7559c09 Remove all "cached" data from BuildVectorSDNode, preferring to retrieve 
results via reference parameters.

This patch also appears to fix Evan's reported problem supplied as a
reduced bugpoint test case.

llvm-svn: 65426
 2009-02-25 03:12:50 +00:00
Mon P Wang
c9b4dab417 Added support to have TableGen provide information if an intrinsic (core 
or target) can be overloaded or not.

llvm-svn: 65404
 2009-02-24 23:17:49 +00:00
Devang Patel
936c18daca If compile unit's language is not set then don't crash while dump'ing compile unit. 
llvm-svn: 65402
 2009-02-24 23:15:09 +00:00
Daniel Dunbar
d5e0934e30 Extension of GEP in constant folder was broken (apparently this code 
has never been run!).
 - Sorry, don't know how to make an LLVM test case for this.

llvm-svn: 65383
 2009-02-24 19:10:46 +00:00
Dan Gohman
dd9c79d45b Rename ScalarEvolution's getIterationCount to getBackedgeTakenCount, 
to more accurately describe what it does. Expand its doxygen comment
to describe what the backedge-taken count is and how it differs
from the actual iteration count of the loop. Adjust names and
comments in associated code accordingly.

llvm-svn: 65382
 2009-02-24 18:55:53 +00:00
Bill Wendling
9d4eb136da Overhaul my earlier submission due to feedback. It's a large patch, but most of 
them are generic changes.

- Use the "fast" flag that's already being passed into the asm printers instead
  of shoving it into the DwarfWriter.

- Instead of calling "MI->getParent()->getParent()" for every MI, set the
  machine function when calling "runOnMachineFunction" in the asm printers.

llvm-svn: 65379
 2009-02-24 08:30:20 +00:00
Owen Anderson
ffcb59129f Add a debugging option for SSC DCE. 
llvm-svn: 65375
 2009-02-24 05:44:18 +00:00
Bill Wendling
0d8316c5e0 - Use the "Fast" flag instead of "OptimizeForSize" to determine whether to emit 
a DBG_LABEL or not. We want to fall back to the original way of emitting debug
  info when we're in -O0/-fast mode.
- Add plumbing in to pass the "Fast" flag to places that need it.
- XFAIL DebugInfo/deaddebuglabel.ll. This is finding 11 labels instead of 8. I
  need to investigate still.

llvm-svn: 65367
 2009-02-24 02:35:30 +00:00
Dan Gohman
1197d46ccf Fix a ValueTracking rule: RHS means operand 1, not 0. Add a simple 
ashr instcombine to help expose this code. And apply the fix to
SelectionDAG's copy of this code too.

llvm-svn: 65364
 2009-02-24 02:00:40 +00:00
Dan Gohman
f5bb2d8747 Generalize the ChangeCompareStride code, in preparation for 
handling non-constant strides. No functionality change.

llvm-svn: 65363
 2009-02-24 01:58:00 +00:00
Dan Gohman
3a3b51162b Preserve the DominanceFrontier analysis in the LoopDeletion pass. 
llvm-svn: 65359
 2009-02-24 01:21:53 +00:00
Devang Patel
49b26ded5d gdb uses DW_AT_prototyped to identify K&R style in C based languages. 
This fixes objc.dg/dwarf-prototypes.m scan-assembler DW_AT_prototyped from llvmgcc42 test suite.

llvm-svn: 65357
 2009-02-24 00:52:19 +00:00
Devang Patel
702836b2dd While folding unconditional return move DbgRegionEndInst into the predecessor, instead of removing it. This fixes following tests from llvmgcc42 testsuite. 
gcc.c-torture/execute/20000605-3.c
gcc.c-torture/execute/20020619-1.c
gcc.c-torture/execute/20030920-1.c
gcc.c-torture/execute/loop-ivopts-1.c

llvm-svn: 65353
 2009-02-24 00:05:16 +00:00
Devang Patel
98ea831c24 If there is not any debug info available for any global variables and any subprograms then there is not any debug info to emit. 
llvm-svn: 65352
 2009-02-24 00:02:15 +00:00
Dan Gohman
1d93a1d2cb Back out the change in 64918 that used sign-extensions when promoting 
trip counts that use signed comparisons. It's not obviously the best
approach for preserving trip count information, and at any rate there
isn't anything in the tree right now that makes use of that, so for
now always using zero-extensions is preferable.

llvm-svn: 65347
 2009-02-23 23:20:35 +00:00
Dan Gohman
3766eeea36 Fast-isel can't do TLS yet, so it should fall back to SDISel 
if it sees TLS addresses.

llvm-svn: 65341
 2009-02-23 22:03:08 +00:00
Dan Gohman
f7d0d6fe22 LoopDeletion needs to inform ScalarEvolution when a loop is deleted, 
so that ScalarEvolution doesn't hang onto a dangling Loop*, which
could be a problem if another Loop happens to get allocated at the
same address.

llvm-svn: 65323
 2009-02-23 17:10:29 +00:00
Dan Gohman
67530bbc77 IndVarSimplify preserves ScalarEvolution. In the 
-std-compile-opts sequence, this avoids the need for ScalarEvolution to
be rerun before LoopDeletion.

llvm-svn: 65318
 2009-02-23 16:29:41 +00:00
Zhou Sheng
d3008c8b1c Should reset DBI_Prev if DBI_Next == 0. 
llvm-svn: 65314
 2009-02-23 10:14:11 +00:00
Evan Cheng
dd139e795c Only v1i16 (i.e. _m64) is returned via RAX / RDX. 
llvm-svn: 65313
 2009-02-23 09:03:22 +00:00
Nate Begeman
e0093d2501 Generate better code for v8i16 shuffles on SSE2 
Generate better code for v16i8 shuffles on SSE2 (avoids stack)
Generate pshufb for v8i16 and v16i8 shuffles on SSSE3 where it is fewer uops.
Document the shuffle matching logic and add some FIXMEs for later further
  cleanups.
New tests that test the above.

Examples:

New:
_shuf2:
	pextrw	$7, %xmm0, %eax
	punpcklqdq	%xmm1, %xmm0
	pshuflw	$128, %xmm0, %xmm0
	pinsrw	$2, %eax, %xmm0

Old:
_shuf2:
	pextrw	$2, %xmm0, %eax
	pextrw	$7, %xmm0, %ecx
	pinsrw	$2, %ecx, %xmm0
	pinsrw	$3, %eax, %xmm0
	movd	%xmm1, %eax
	pinsrw	$4, %eax, %xmm0
	ret

=========

New:
_shuf4:
	punpcklqdq	%xmm1, %xmm0
	pshufb	LCPI1_0, %xmm0

Old:
_shuf4:
	pextrw	$3, %xmm0, %eax
	movsd	%xmm1, %xmm0
	pextrw	$3, %xmm1, %ecx
	pinsrw	$4, %ecx, %xmm0
	pinsrw	$5, %eax, %xmm0

========

New:
_shuf1:
	pushl	%ebx
	pushl	%edi
	pushl	%esi
	pextrw	$1, %xmm0, %eax
	rolw	$8, %ax
	movd	%xmm0, %ecx
	rolw	$8, %cx
	pextrw	$5, %xmm0, %edx
	pextrw	$4, %xmm0, %esi
	pextrw	$3, %xmm0, %edi
	pextrw	$2, %xmm0, %ebx
	movaps	%xmm0, %xmm1
	pinsrw	$0, %ecx, %xmm1
	pinsrw	$1, %eax, %xmm1
	rolw	$8, %bx
	pinsrw	$2, %ebx, %xmm1
	rolw	$8, %di
	pinsrw	$3, %edi, %xmm1
	rolw	$8, %si
	pinsrw	$4, %esi, %xmm1
	rolw	$8, %dx
	pinsrw	$5, %edx, %xmm1
	pextrw	$7, %xmm0, %eax
	rolw	$8, %ax
	movaps	%xmm1, %xmm0
	pinsrw	$7, %eax, %xmm0
	popl	%esi
	popl	%edi
	popl	%ebx
	ret

Old:
_shuf1:
	subl	$252, %esp
	movaps	%xmm0, (%esp)
	movaps	%xmm0, 16(%esp)
	movaps	%xmm0, 32(%esp)
	movaps	%xmm0, 48(%esp)
	movaps	%xmm0, 64(%esp)
	movaps	%xmm0, 80(%esp)
	movaps	%xmm0, 96(%esp)
	movaps	%xmm0, 224(%esp)
	movaps	%xmm0, 208(%esp)
	movaps	%xmm0, 192(%esp)
	movaps	%xmm0, 176(%esp)
	movaps	%xmm0, 160(%esp)
	movaps	%xmm0, 144(%esp)
	movaps	%xmm0, 128(%esp)
	movaps	%xmm0, 112(%esp)
	movzbl	14(%esp), %eax
	movd	%eax, %xmm1
	movzbl	22(%esp), %eax
	movd	%eax, %xmm2
	punpcklbw	%xmm1, %xmm2
	movzbl	42(%esp), %eax
	movd	%eax, %xmm1
	movzbl	50(%esp), %eax
	movd	%eax, %xmm3
	punpcklbw	%xmm1, %xmm3
	punpcklbw	%xmm2, %xmm3
	movzbl	77(%esp), %eax
	movd	%eax, %xmm1
	movzbl	84(%esp), %eax
	movd	%eax, %xmm2
	punpcklbw	%xmm1, %xmm2
	movzbl	104(%esp), %eax
	movd	%eax, %xmm1
	punpcklbw	%xmm1, %xmm0
	punpcklbw	%xmm2, %xmm0
	movaps	%xmm0, %xmm1
	punpcklbw	%xmm3, %xmm1
	movzbl	127(%esp), %eax
	movd	%eax, %xmm0
	movzbl	135(%esp), %eax
	movd	%eax, %xmm2
	punpcklbw	%xmm0, %xmm2
	movzbl	155(%esp), %eax
	movd	%eax, %xmm0
	movzbl	163(%esp), %eax
	movd	%eax, %xmm3
	punpcklbw	%xmm0, %xmm3
	punpcklbw	%xmm2, %xmm3
	movzbl	188(%esp), %eax
	movd	%eax, %xmm0
	movzbl	197(%esp), %eax
	movd	%eax, %xmm2
	punpcklbw	%xmm0, %xmm2
	movzbl	217(%esp), %eax
	movd	%eax, %xmm4
	movzbl	225(%esp), %eax
	movd	%eax, %xmm0
	punpcklbw	%xmm4, %xmm0
	punpcklbw	%xmm2, %xmm0
	punpcklbw	%xmm3, %xmm0
	punpcklbw	%xmm1, %xmm0
	addl	$252, %esp
	ret

llvm-svn: 65311
 2009-02-23 08:49:38 +00:00
Mon P Wang
75d957dba4 Changed option name from inline-threshold to basic-inline-threshold because 
inline-threshold option is used by the inliner.

llvm-svn: 65309
 2009-02-23 07:07:56 +00:00
Chris Lattner
29437eb4c3 fix some typos that Duncan noticed 
llvm-svn: 65306
 2009-02-23 05:56:17 +00:00
Bill Wendling
3151437f5c Propagate debug loc info through prologue/epilogue. 
llvm-svn: 65298
 2009-02-23 00:42:30 +00:00
Scott Michel
3f8637305f Introduce the BuildVectorSDNode class that encapsulates the ISD::BUILD_VECTOR 
instruction. The class also consolidates the code for detecting constant
splats that's shared across PowerPC and the CellSPU backends (and might be
useful for other backends.) Also introduces SelectionDAG::getBUID_VECTOR() for
generating new BUILD_VECTOR nodes.

llvm-svn: 65296
 2009-02-22 23:36:09 +00:00
Dan Gohman
b105ab4e42 Revert the part of 64623 that attempted to align the source in a 
memcpy to match the alignment of the destination. It isn't necessary
for making loads and stores handled like the SSE loadu/storeu
intrinsics, and it was causing a performance regression in
MultiSource/Applications/JM/lencod.

The problem appears to have been a memcpy that copies from some
highly aligned array into an alloca; the alloca was then being
assigned a large alignment, which required codegen to perform
dynamic stack-pointer re-alignment, which forced the enclosing
function to have a frame pointer, which led to increased spilling.

llvm-svn: 65289
 2009-02-22 18:06:32 +00:00
Dan Gohman
a78fb41553 Properly parenthesize this expression, fixing a real bug in the new 
-full-lsr code, as well as a GCC warning.

llvm-svn: 65288
 2009-02-22 16:40:52 +00:00
Evan Cheng
41687ff389 If a use operand is marked isKill, don't forget to add kill to its live interval as well. 
llvm-svn: 65279
 2009-02-22 08:35:56 +00:00
Evan Cheng
3ea8bd42f3 Add a note. 
llvm-svn: 65275
 2009-02-22 08:13:45 +00:00
Evan Cheng
4385f393f7 Be bug compatible with gcc by returning MMX values in RAX. 
llvm-svn: 65274
 2009-02-22 08:05:12 +00:00
Evan Cheng
9d9688ec15 Do not consider MMX_MOVD64rr a move instructions. The source register is in GR32, the destination is VR64. They are not compatible. 
llvm-svn: 65273
 2009-02-22 08:04:23 +00:00
Evan Cheng
ba3f6fa814 Only try to sink immediate when TLI is not null. It needs to check if immediate would fit in target addressing field. 
llvm-svn: 65268
 2009-02-22 07:31:19 +00:00
Nick Lewycky
2c8f0fd57f Don't sign extend the char when expanding char -> int during 
load(bitcast(char[4] to i32*)) evaluation.

llvm-svn: 65246
 2009-02-21 20:50:42 +00:00
Richard Pennington
7a2ebd7d09 bug 3610: Floating point vaarg not softened. 
llvm-svn: 65239
 2009-02-21 19:11:18 +00:00
Anton Korobeynikov
5df82e3e25 Drop bunch of half-working stuff in the ext_weak linkage support. 
Now we're using one gross, but quite robust hack :) (previous ones
did not work, for example, when ext_weak symbol was used deep inside
constant expression in the initializer).

The proper fix of this problem will require some quite huge asmprinter
changes and that's why was postponed. This fixes PR3629 by the way :)

llvm-svn: 65230
 2009-02-21 11:53:32 +00:00
Evan Cheng
74d0dda00f Add AddrModeMatcher.cpp 
llvm-svn: 65228
 2009-02-21 07:05:11 +00:00
Evan Cheng
d4dc06f55a If two-address def is dead and the instruction does not define other registers, and it doesn't produce side effects, just delete the instruction. 
llvm-svn: 65218
 2009-02-21 03:14:25 +00:00
Evan Cheng
56b43045f6 Teach LSR sink to sink the immediate portion of the common expression back into uses if they fit in address modes of all the uses. 
llvm-svn: 65215
 2009-02-21 02:06:47 +00:00
Bill Wendling
bfc216c45a Make sure this doesn't access .end() too. 
llvm-svn: 65213
 2009-02-21 01:11:36 +00:00
Bill Wendling
96430050a5 Make sure we don't dereference the .end() of the container. 
llvm-svn: 65211
 2009-02-21 01:07:26 +00:00
Chris Lattner
3adae91c70 rename a function to indicate that it checks for profitability as well 
as legality.  Make load sinking and gep sinking more careful: we only
do it when it won't pessimize loads from the stack.  This has the added
benefit of not producing code that is unanalyzable to SROA.

llvm-svn: 65209
 2009-02-21 00:46:50 +00:00
Bill Wendling
66c3ffa2de Propagate more debug loc infos. This also includes some code cleaning. 
llvm-svn: 65207
 2009-02-21 00:43:56 +00:00
Bill Wendling
09289bc433 We need to propagate the debug location information even when dealing with the 
prologue/epilogue.

llvm-svn: 65206
 2009-02-21 00:32:08 +00:00
Dan Gohman
c9cfc596a3 Fix a bug that David Greene found in the DAGCombiner's logic 
that checks whether it's safe to transform a store of a bitcast
value into a store of the original value.

llvm-svn: 65201
 2009-02-20 23:29:13 +00:00
Evan Cheng
c2541a4450 Fix strange logic in CollectIVUsers used to determine whether all uses are 
addresses, part 1. This fixes an obvious logic bug. Previously if the only
in-loop use is a PHI, it would return AllUsesAreAddresses as true.

llvm-svn: 65178
 2009-02-20 22:16:49 +00:00
Dan Gohman
b8783d240b Simplify code and reduce indentation. No functionality change. 
llvm-svn: 65167
 2009-02-20 21:27:23 +00:00
Dan Gohman
4612c1d92f Fix 80-column violations. 
llvm-svn: 65159
 2009-02-20 21:06:57 +00:00
Dan Gohman
33c5714553 It's not necessary to check if Base is null here. 
llvm-svn: 65157
 2009-02-20 21:05:23 +00:00
Evan Cheng
c40c3e28f7 Support return of MMX values in 64-bit mode. 
llvm-svn: 65152
 2009-02-20 20:43:02 +00:00