RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 19:52:54 +01:00
Code Issues Projects Releases Wiki Activity
34,685 Commits 4 Branches 5 Tags 704 MiB
e46d6dbd99
Commit Graph

20284 Commits

Author SHA1 Message Date
Evan Cheng
a58633d67b New style x87 cmp instructions. 
llvm-svn: 42312
 2007-09-25 19:08:02 +00:00
Devang Patel
d98abb62ce Handle multiple induction variables. 
This fixes PR714.

llvm-svn: 42309
 2007-09-25 18:24:48 +00:00
Dan Gohman
1bb346f9f1 When both x/y and x%y are needed (x and y both scalar integer), compute 
both results with a single div or idiv instruction. This uses new X86ISD
nodes for DIV and IDIV which are introduced during the legalize phase
so that the SelectionDAG's CSE can automatically eliminate redundant
computations.

llvm-svn: 42308
 2007-09-25 18:23:27 +00:00
Devang Patel
ab58843813 Do not reserve DOM check for GetElementPtrInst. 
llvm-svn: 42306
 2007-09-25 17:55:50 +00:00
Devang Patel
f35e6c1181 doh.. 
llvm-svn: 42300
 2007-09-25 17:43:08 +00:00
Devang Patel
de9d1c3654 Add transformation to update loop interation space. Now, 
for (i=A; i<N; i++) {
  if (i < X && i > Y)
    do_something();
}

is transformed into

U=min(N,X); L=max(A,Y);
for (i=L;i<U;i++)
  do_somethihg();                            

llvm-svn: 42299
 2007-09-25 17:31:19 +00:00
Dale Johannesen
ee2f3359f4 Fix long double<->shorter FP type conversions 
of zero, infinity, and NaNs.

llvm-svn: 42298
 2007-09-25 17:25:00 +00:00
Dan Gohman
8385890394 Move the setOperationAction(ISD::DEBUG_LOC, MVT::Other, Expand) and 
the check to see if the assembler supports .loc from X86TargetLowering
into the superclass TargetLowering.

llvm-svn: 42297
 2007-09-25 15:10:49 +00:00
Duncan Sands
130f4e01fa Add missing end-of-file newlines. 
llvm-svn: 42294
 2007-09-25 07:10:01 +00:00
Evan Cheng
36b3babfde Added support for new condition code modeling scheme (i.e. physical register dependency). These are a bunch of instructions that are duplicated so the x86 backend can support both the old and new schemes at the same time. They will be deleted after 
all the kinks are worked out.

llvm-svn: 42285
 2007-09-25 01:57:46 +00:00
Evan Cheng
6d8f155a63 Added major new capabilities to scheduler (only BURR for now) to support physical register dependency. The BURR scheduler can now backtrace and duplicate instructions in order to avoid "expensive / impossible to copy" values (e.g. status flag EFLAGS for x86) from being clobbered. 
llvm-svn: 42284
 2007-09-25 01:54:36 +00:00
Evan Cheng
6bfaf13dd9 New temporary option -new-cc-modeling-scheme to test the new cc modeling scheme. 
llvm-svn: 42283
 2007-09-25 01:50:04 +00:00
Evan Cheng
0a3651a70d Rename keyword "modify" -> "implicit". 
llvm-svn: 42282
 2007-09-25 01:48:59 +00:00
Dale Johannesen
5ea6a9bc3a When mixing SSE and x87 codegen, it's possible to 
have situations where an SSE instruction turns into
multiple blocks, with the live range of an x87
register crossing them.  To do this correctly make
sure we examine all blocks when inserting
FP_REG_KILL.  PR 1697.  (This was exposed by my
fix for PR 1681, but the same thing could happen
mixing x87 long double with SSE.)

llvm-svn: 42281
 2007-09-24 22:52:39 +00:00
Bill Wendling
9390abcf16 Don't execute dump unless NDEBUG isn't defined. 
llvm-svn: 42280
 2007-09-24 22:43:48 +00:00
Daniel Berlin
f6cb4c3d65 Comment fixups 
llvm-svn: 42279
 2007-09-24 22:20:45 +00:00
Dan Gohman
96d5f979bc Add support on x86 for having Legalize lower ISD::LOCATION to ISD::DEBUG_LOC 
instead of ISD::LABEL with a manual .debug_line entry when the assembler
supports .file and .loc directives.

llvm-svn: 42278
 2007-09-24 21:54:14 +00:00
Dan Gohman
db6903c748 Don't emit .debug_line header data if there aren't any lines to put in it, 
such as will happen when .loc directives are used.

llvm-svn: 42277
 2007-09-24 21:43:52 +00:00
Dan Gohman
a5a089d5f9 Move the Asm->EOL() call for EmitDebugARanges outside the #ifdef for 
consistency with the other currently empty sections.

llvm-svn: 42276
 2007-09-24 21:36:21 +00:00
Dan Gohman
7de5440570 Add support for emitting .file directives to set up file numbers for 
use with .loc directives.

llvm-svn: 42275
 2007-09-24 21:32:18 +00:00
Dan Gohman
b642a1ddf8 Merge hasDotLoc and hasDotFile into hasDotLocAndDotFile since .loc and .file 
aren't really usable without each other. 

llvm-svn: 42274
 2007-09-24 21:09:53 +00:00
Dale Johannesen
4208f4103d float->int conversion rounds toward 0. Duh. 
Fixes PR1698.

llvm-svn: 42273
 2007-09-24 21:06:09 +00:00
Dan Gohman
d005faa65d Add a routine for emitting .file directives, for setting up 
file numbers to use with .loc directives.

llvm-svn: 42272
 2007-09-24 20:58:13 +00:00
Bruno Cardoso Lopes
23468a24c9 Added "LoadEffective" pattern to handle stack locations. 
Fixed some comments

llvm-svn: 42271
 2007-09-24 20:15:11 +00:00
Devang Patel
65f8d0c2d7 Do not promote null values because it may be unsafe to do so. 
llvm-svn: 42270
 2007-09-24 20:02:42 +00:00
Daniel Berlin
f900d1295f Implement offline variable substitution in order to reduce memory 
and time usage.
Fixup operator == to make this work, and add a resize method to DenseMap
so we can resize our hashtable once we know how big it should be.

llvm-svn: 42269
 2007-09-24 19:45:49 +00:00
Dan Gohman
a264777dc1 Fix the syntax for the .loc directive in preparation for using it. 
llvm-svn: 42268
 2007-09-24 19:25:06 +00:00
Dan Gohman
32b1df2aa3 The code that used the StartLabelId label was removed, so remove the 
code that creates the label too.

llvm-svn: 42265
 2007-09-24 16:44:26 +00:00
Dan Gohman
dd675a5064 Use the correct result value type instead of using getValueType(0) 
in ExpandEXTRACT_VECTOR_ELT and SplitVectorOp. This fixes an abort
in the included testcase.

llvm-svn: 42264
 2007-09-24 15:54:53 +00:00
Dan Gohman
ed361aa114 explicit keywords. 
llvm-svn: 42262
 2007-09-24 15:48:49 +00:00
Chris Lattner
594d3aa066 claim that "st" is from the 80-bit register file. This causes x87-using inline 
asm to die with:

ScheduleDAG.cpp:269: failed assertion `false && "Couldn't find the register class"'

instead of:
failed assertion `RegMap->getRegClass(VReg) == RC && "Register class of operand and regclass of use don't agree!"'

yay.

llvm-svn: 42259
 2007-09-24 05:27:37 +00:00
Chris Lattner
0fc154af3d When emitting .set directives, make sure the EH and Debug labels can't conflict. 
llvm-svn: 42257
 2007-09-24 03:35:37 +00:00
Owen Anderson
a0a11ee8b9 Merge significant portions of the DomTree and PostDomTree implementations. 
The two remaining unmerged parts are DFSPass, and the Calculate().

llvm-svn: 42255
 2007-09-24 02:29:29 +00:00
Dale Johannesen
f7e8b1262b Just use APFloat for const / const. Fixes 
-1. / -0.

llvm-svn: 42254
 2007-09-24 00:32:45 +00:00
Owen Anderson
bc099e74d8 Factor the calculation details for PostDomTree out of PostDominators.cpp and 
into a separate header file.

Next step: merging PostDominatorCalculation.h with DominatorCalculation.h.

llvm-svn: 42251
 2007-09-23 22:21:00 +00:00
Owen Anderson
677db80624 Move DFSPass back down into DominatorTree. I need to figure out what the difference is between it 
and the PostDomTree version first.

llvm-svn: 42250
 2007-09-23 22:16:38 +00:00
Owen Anderson
e04633f0ff Fix header. 
llvm-svn: 42249
 2007-09-23 21:32:55 +00:00
Owen Anderson
de1937fcee Factor the dominator tree calculation details out into DominatorCalculation.h. This 
change is not useful in and of itself, but it lays the groundwork for combining
the dominator and postdominator implementations.

Also, factor a few methods that are common to DominatorTree and PostDominatorTree
into DominatorTreeBase.  Again, this will make merging the two calculation methods
simpler in the future.

llvm-svn: 42248
 2007-09-23 21:31:44 +00:00
Dale Johannesen
ea6ffa0b36 Fix PR 1681. When X86 target uses +sse -sse2, 
keep f32 in SSE registers and f64 in x87.  This
is effectively a new codegen mode.
Change addLegalFPImmediate to permit float and
double variants to do different things.
Adjust callers.

llvm-svn: 42246
 2007-09-23 14:52:20 +00:00
Chris Lattner
03d0e8d0ff Fix PR1679, by printing GEP indices as signed values instead of unsigned. 
llvm-svn: 42239
 2007-09-22 20:16:48 +00:00
Chris Lattner
12ed5081b8 initialize isstore/isload fields in ctor, fixing PR1695 
llvm-svn: 42222
 2007-09-22 07:02:12 +00:00
Neil Booth
8cb885c389 Handle storage complications of float->float conversions. 
llvm-svn: 42220
 2007-09-22 02:56:19 +00:00
Dale Johannesen
c7279629cc Change APFloat::convertFromInteger to take the incoming 
bit width instead of number of words allocated, which
makes it actually work for int->APF conversions.
Adjust callers.  Add const to one of the APInt constructors
to prevent surprising match when called with const
argument.

llvm-svn: 42210
 2007-09-21 22:09:37 +00:00
Devang Patel
b741c56cfc Fix PR1692 
llvm-svn: 42209
 2007-09-21 21:18:19 +00:00
Chris Lattner
6820dc306f #ifdef out unsafe tracing code, which fixes PR1689 
llvm-svn: 42205
 2007-09-21 18:30:39 +00:00
Chris Lattner
e82eb89d0f don't read Block after it is freed. This fixes PR1684 
llvm-svn: 42204
 2007-09-21 18:25:53 +00:00
Chris Lattner
eed3e42816 initialize SetCCResultContents, fixing PR1693 
llvm-svn: 42193
 2007-09-21 17:06:39 +00:00
Rafael Espindola
11ee0898b9 Don't add a default STACK_ALIGN (use the generic ABI alignment) 
Implement calls to functions with byval arguments on X86

llvm-svn: 42192
 2007-09-21 15:50:22 +00:00
Rafael Espindola
b0b536b597 small cleanup: use LowerMemArgument in LowerFastCCArguments also 
llvm-svn: 42189
 2007-09-21 14:55:38 +00:00
Owen Anderson
9070cf6dea Add partial caching of non-local memory dependence queries. This provides a modest 
speedup for GVN.

llvm-svn: 42185
 2007-09-21 03:53:52 +00:00
Evan Cheng
d675ed5400 Honor user-defined section specification of a global, ignores whether its initializer is null. 
llvm-svn: 42182
 2007-09-21 00:41:19 +00:00
Dale Johannesen
346a949bd8 Fix PR 1688. See comments there. 
llvm-svn: 42181
 2007-09-20 23:47:58 +00:00
Devang Patel
632653ce8f Update aux. info associated with an instruction before erasing instruction. 
llvm-svn: 42180
 2007-09-20 23:45:50 +00:00
Devang Patel
a6a6e699a1 Do not override user specified section. 
llvm-svn: 42179
 2007-09-20 23:07:37 +00:00
Devang Patel
57b0b31257 Don't increment invalid iterator. 
llvm-svn: 42178
 2007-09-20 23:01:50 +00:00
Dale Johannesen
dd802b7960 Fix dumb regression in constant folding (Regression/C/casts) 
llvm-svn: 42165
 2007-09-20 16:50:21 +00:00
Dan Gohman
eb622df2ef Fix several more entries in the x86 reload/remat folding tables. 
llvm-svn: 42162
 2007-09-20 14:17:21 +00:00
Dale Johannesen
ab5a68edd5 another long double buglet 
llvm-svn: 42159
 2007-09-20 01:27:54 +00:00
Nick Lewycky
3baa4cde1c Fix optimization. %x = sub %x, %y does not imply that %y is zero. 
llvm-svn: 42157
 2007-09-20 00:48:36 +00:00
Evan Cheng
267f595834 Enable if-conversion for ARM by default. 
llvm-svn: 42156
 2007-09-20 00:48:22 +00:00
Dale Johannesen
04682bdc81 More long double fixes. x86_64 should build now. 
llvm-svn: 42155
 2007-09-19 23:55:34 +00:00
Evan Cheng
9e2db47639 Avoid referencing deleted instruction. 
llvm-svn: 42153
 2007-09-19 21:48:07 +00:00
Devang Patel
648d7a1074 Avoid unsafe promotion. 
llvm-svn: 42149
 2007-09-19 20:18:51 +00:00
Evan Cheng
ec83699473 PSHUFDmi, etc. are actually folding a load, not a store. 
llvm-svn: 42147
 2007-09-19 19:02:47 +00:00
Dale Johannesen
9e04c2d5af Fix longdouble -> uint conversion. 
llvm-svn: 42143
 2007-09-19 17:53:26 +00:00
Chris Lattner
d1abd00b04 reject things like "declare internal @foo" 
llvm-svn: 42140
 2007-09-19 17:14:45 +00:00
Owen Anderson
5454d4cbc9 Add a flag to mark a dirty cache entry. This is not yet used, but will eventually 
help non-local memdep caching.

llvm-svn: 42137
 2007-09-19 16:13:57 +00:00
Dale Johannesen
f9e06fa29b Fix some long double issues. 
llvm-svn: 42133
 2007-09-19 14:22:58 +00:00
Duncan Sands
f7abe75944 Improve comment. 
llvm-svn: 42132
 2007-09-19 10:25:38 +00:00
Duncan Sands
dd6fc40100 Partial fix for PR1678: correct some parts of constant 
fold that were missed in the fix for PR1646.  Probably
this null/not-null logic should be factorized somewhere.

llvm-svn: 42131
 2007-09-19 10:16:17 +00:00
Duncan Sands
d88f60ed32 A global variable with external weak linkage can be null, while 
an alias could alias such a global variable.

llvm-svn: 42130
 2007-09-19 10:10:31 +00:00
Evan Cheng
4a117958df Use struct SDep instead of std::pair for SUnit pred and succ lists. First step 
in tracking physical register output dependencies.

llvm-svn: 42125
 2007-09-19 01:38:40 +00:00
Evan Cheng
8e459700fe Set CCR (EFLAGS) copy cost to -1, i.e. extremely expensive to copy. 
llvm-svn: 42124
 2007-09-19 01:36:39 +00:00
Evan Cheng
859720c33b Add CopyCost to TargetRegisterClass. This specifies the cost of copying a value 
between two registers in the specific class.

llvm-svn: 42123
 2007-09-19 01:35:01 +00:00
Devang Patel
339bee9291 Relax loop ExitCondition predicate restriction. 
llvm-svn: 42122
 2007-09-19 00:28:47 +00:00
Devang Patel
2883f5cc94 Filter loops where split condition's false branch is not empty. For example 
for (int i = 0; i < N; ++i) {
  if (i == somevalue)
    dosomething();
   else
    dosomethingelse();
}

llvm-svn: 42121
 2007-09-19 00:15:16 +00:00
Devang Patel
03df2adc31 Bail out early, before modifying anything. 
llvm-svn: 42120
 2007-09-19 00:11:01 +00:00
Devang Patel
9806df698b Work is incomplete. Loop is not modified at all right now. 
llvm-svn: 42119
 2007-09-19 00:08:13 +00:00
Devang Patel
d9c8d99cac ooops... 
llvm-svn: 42118
 2007-09-18 23:58:14 +00:00
Evan Cheng
2716b97b13 Fix a bogus splat xform: 
shuffle <undef, undef, x, undef>, <undef, undef, undef, undef>, <2, 2, 2, 2>
!=
<undef, undef, x, undef>

llvm-svn: 42111
 2007-09-18 21:54:37 +00:00
Dale Johannesen
83b2001d42 Prevent crash on long double. 
llvm-svn: 42103
 2007-09-18 18:36:59 +00:00
Gordon Henriksen
9deea8ed1a Tests of the ocaml (and thus C) bindings for constants. 
llvm-svn: 42101
 2007-09-18 18:07:51 +00:00
Dan Gohman
be3b005b2d Move the entries for 64-bit CMP, IMUL, and a few others into the correct 
tables so that they are eligible for reload/remat folding. And add
entries for JMP and CALL.

llvm-svn: 42094
 2007-09-18 14:59:14 +00:00
Gordon Henriksen
765525cc71 Incorporating review feedback for GC verifier patch. 
llvm-svn: 42087
 2007-09-18 10:14:30 +00:00
Bill Wendling
bfd2f2f6d7 Don't pass back a reference to a temporary. 
llvm-svn: 42086
 2007-09-18 09:10:16 +00:00
Bill Wendling
537b869514 The exception handling function info should be reset for each new 
function. The information isn't used heavily -- it's only used at the end
of exception handling emission -- so there's no need to cache it.

llvm-svn: 42078
 2007-09-18 05:03:44 +00:00
Gordon Henriksen
3dc9d9f145 C bindings for libLLVMCore.a and libLLVMBitWriter.a. 
- The naming prefix is LLVM.
- All types are represented using opaque references.
- Functions are not named LLVM{Type}{Method}; the names became
  unreadable goop. Instead, they are named LLVM{ImperativeSentence}.
- Where an attribute only appears once in the class hierarchy (e.g.,
  linkage only applies to values; parameter types only apply to
  function types), the class is omitted from identifiers for
  brevity. Tastes like methods.
- Strings are C strings or string/length tuples on a case-by-case
  basis.
- APIs which give the caller ownership of an object are not mapped
  (removeFromParent, certain constructor overloads). This keeps
  keep memory management as simple as possible.

For each library with bindings:

  llvm-c/<LIB>.h       - Declares the bindings.
  lib/<LIB>/<LIB>.cpp  - Implements the bindings.

So just link with the library of your choice and use the C header
instead of the C++ one.

llvm-svn: 42077
 2007-09-18 03:18:57 +00:00
Devang Patel
4014965efb Fix PR1657 
llvm-svn: 42075
 2007-09-18 01:54:42 +00:00
Bill Wendling
803e0d9970 Objective-C was generating EH frame info like this: 
"_-[NSString(local) isNullOrNil]".eh = 0
        .no_dead_strip  "_-[NSString(local) isNullOrNil]".eh

The ".eh" should be inside the quotes.

llvm-svn: 42074
 2007-09-18 01:47:22 +00:00
Bill Wendling
d269356b02 Add support for appending a suffix to the end of a mangled name. 
llvm-svn: 42071
 2007-09-17 22:39:32 +00:00
Devang Patel
547d418b8e Do not hide APInt::dump() inside #ifndef NDEBUG. 
llvm-svn: 42068
 2007-09-17 22:24:00 +00:00
Devang Patel
578a1ae12a Do not eliminate loop when it is invalid to do so. For example, 
for(int i = 0; i < N; i++) {
	if ( i == XYZ) {
		A;
	else
		B;
	}
	C;
	D;
}

llvm-svn: 42058
 2007-09-17 21:01:05 +00:00
Devang Patel
14b9a01c02 Skeleton for transformations to truncate loop's iteration space. 
llvm-svn: 42054
 2007-09-17 20:39:48 +00:00
Gordon Henriksen
fa3a5915b1 Fix for PR1633: Verifier doesn't fully verify GC intrinsics 
LLVM now enforces the following prototypes for the write barriers:

<ty>* @llvm.gcread(<ty2>*, <ty>**)
void @llvm.gcwrite(<ty>*, <ty2>*, <ty>**)

And for @llvm.gcroot, the first stack slot is verified to be an alloca or a 
bitcast of an alloca.

Fixes test/CodeGen/Generic/GC/lower_gcroot.ll, which violated these.

llvm-svn: 42051
 2007-09-17 20:30:04 +00:00
Dale Johannesen
46adce144c Remove RSTRegClass case from loadRegFromStackSlot 
and storeRegToStackSlot.  Evan and I concluded this
should never be needed and it appears to be true.
(It if is needed, adjustment would be needed for
long double to work.)

llvm-svn: 42049
 2007-09-17 20:15:38 +00:00
Devang Patel
f4411aa165 Fix comment. 
llvm-svn: 42048
 2007-09-17 20:07:40 +00:00
Devang Patel
c7cfb7ebfc This is not ideal but unbreaks build failure. 
APInt::dump() is inside #ifndef NDEBUG, however SelectionDAG dump() routines are not.

llvm-svn: 42047
 2007-09-17 20:03:03 +00:00
Dale Johannesen
9ce8a9d633 Implement x86 long double in jit (not really 
complete, but common cases work)

llvm-svn: 42043
 2007-09-17 18:44:13 +00:00
Chris Lattner
cc315726f7 Merge DenseMapKeyInfo & DenseMapValueInfo into DenseMapInfo 
Add a new DenseMapInfo::isEqual method to allow clients to redefine
the equality predicate used when probing the hash table.

llvm-svn: 42042
 2007-09-17 18:34:04 +00:00
Evan Cheng
d7742e7939 X86ISD::TEST is dead. 
llvm-svn: 42037
 2007-09-17 17:42:53 +00:00
Dan Gohman
2de5779a99 Instcombine x-((x/y)*y) into a remainder operator. 
llvm-svn: 42035
 2007-09-17 17:31:57 +00:00
Dan Gohman
b096221b3e Add 64-bit jmp instructions to the list of instructions that 
can terminate a block with no fall-through.

llvm-svn: 42029
 2007-09-17 15:19:08 +00:00
Dan Gohman
41a6dea029 Use xorl instead of xorq to enter a zero into a 64-bit register. 
llvm-svn: 42027
 2007-09-17 14:55:08 +00:00
Dan Gohman
1aeaeec570 Emit integer x<1 as x<=0, as comparisons with zero (now includeing 
64-bit) can use test instead of cmp with an immediate.

llvm-svn: 42026
 2007-09-17 14:49:27 +00:00
Dan Gohman
b9449c9118 Use "test reg,reg" in place of "cmp reg,0" for 64-bit operands. This was 
previously only done for 32-bit and smaller operands.

llvm-svn: 42024
 2007-09-17 14:35:24 +00:00
Duncan Sands
901cb2662d Factor the trampoline transformation into a subroutine. 
llvm-svn: 42021
 2007-09-17 10:26:40 +00:00
Dale Johannesen
0ea2cc2e51 Implement x86 long double (uses host long double, 
so only works on x86 target).

llvm-svn: 42019
 2007-09-17 00:38:27 +00:00
Daniel Berlin
d44b2016ca Fix bug in andersen's related to test_and_set. 
Add operator == and != to SparseBitVector.
Simplify code for test_and_set

llvm-svn: 42018
 2007-09-16 23:59:53 +00:00
Daniel Berlin
3625ac77e4 Rewrite of andersen's to be about 100x faster, cleaner, and begin to support field sensitivity 
llvm-svn: 42016
 2007-09-16 21:45:02 +00:00
Bill Wendling
f1335f46d4 Follow-up to patch r41999. Make the conditional that emits the personality stub 
match the conditional that turns on exception handling emittion in the asm
printer.

llvm-svn: 42008
 2007-09-16 19:21:08 +00:00
Dale Johannesen
78628a9108 Adjust per revew comments. 
llvm-svn: 42002
 2007-09-16 16:51:49 +00:00
Bill Wendling
7932341cef Only emit the personality function as a global value if the backend actually 
supports it. This solves this error on the Darwin x86-64 platform:

$ cat testcase.ii
struct A {
  A();
};

A *bork() {
  return new A;
}
$ llvm-g++ -arch x86_64 -c testcase.ii
/var/tmp//cc3U8fd8.s:52:unknown section type: non_lazy_symbol_pointers
/var/tmp//cc3U8fd8.s:52:Rest of line ignored. 1st junk character valued 76 (L).
/var/tmp//cc3U8fd8.s:53:Unknown pseudo-op: .indirect_symbol
/var/tmp//cc3U8fd8.s:53:Rest of line ignored. 1st junk character valued 95 (_).

llvm-svn: 41999
 2007-09-16 10:36:17 +00:00
Owen Anderson
fd6ec5cf82 Be more careful when constant-folding PHI nodes. 
llvm-svn: 41998
 2007-09-16 08:04:16 +00:00
Chris Lattner
1b622ad721 Fix PR1666, SPASS with the CBE and 254.gap with the CBE. 
GCC optimizes away things like ptr < NULL  to false.  To "fix" this,
have the CBE emit casts of pointers to intptr_t when doing relational
pointer comparisons.

llvm-svn: 41983
 2007-09-15 06:51:03 +00:00
Dan Gohman
df419c2b4f Add patterns for SHLD64* and SHRD64*. 
llvm-svn: 41975
 2007-09-14 23:17:45 +00:00
Chris Lattner
bb109aed3d fix a gcc warning: comparison between signed and unsigned integer expressions 
llvm-svn: 41972
 2007-09-14 22:57:00 +00:00
Owen Anderson
fe5adad9c4 Remove RLE. It is subsumed by GVN. 
llvm-svn: 41968
 2007-09-14 22:33:52 +00:00
Dale Johannesen
575bd6070a Remove the assumption that FP's are either float or 
double from some of the many places in the optimizers
it appears, and do something reasonable with x86
long double.
Make APInt::dump() public, remove newline, use it to
dump ConstantSDNode's.
Allow APFloats in FoldingSet.
Expand X86 backend handling of long doubles (conversions
to/from int, mostly).

llvm-svn: 41967
 2007-09-14 22:26:36 +00:00
Evan Cheng
13797e4a74 Add implicit def of EFLAGS on those instructions that may modify flags. 
llvm-svn: 41962
 2007-09-14 21:48:26 +00:00
Dan Gohman
1c9bf0bfb9 And an FoldingSetImpl::NodeID::AddInteger overload for int64_t, to avoid 
ambiguity.

llvm-svn: 41960
 2007-09-14 20:48:42 +00:00
Dan Gohman
fb60c0dfed Remove isReg, isImm, and isMBB, and change all their users to use 
isRegister, isImmediate, and isMachineBasicBlock, which are equivalent,
and more popular.

llvm-svn: 41958
 2007-09-14 20:33:02 +00:00
Dan Gohman
5f29ab68e1 Change "tmp." to "tmp" for temporaries created by ScalarEvolutionExpander 
for consistency with many other transforms.

llvm-svn: 41957
 2007-09-14 20:11:40 +00:00
Dan Gohman
53119779c2 Remove spurious consts. This fixes warnings with compilers that 
are strict about such things.

llvm-svn: 41956
 2007-09-14 20:08:19 +00:00
Rafael Espindola
5d8b225881 Add support for functions with byval arguments on x86 
llvm-svn: 41953
 2007-09-14 15:48:13 +00:00
Chris Lattner
601d09bf08 Fix a logic error in ValueIsOnlyUsedLocallyOrStoredToOneGlobal that caused 
miscompilation of 188.ammp.  Reject select and bitcast in 
ValueIsOnlyUsedLocallyOrStoredToOneGlobal because RewriteHeapSROALoadUser can't handle it.

llvm-svn: 41950
 2007-09-14 03:41:21 +00:00
Chris Lattner
9c3cd36dd0 silence a bogus gcc warning. 
llvm-svn: 41949
 2007-09-14 03:07:24 +00:00
Evan Cheng
3aafca793b Fix comments. 
llvm-svn: 41947
 2007-09-14 01:57:02 +00:00
Bill Wendling
843ac5aebe Temporary reverting r41817 
(http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20070910/053370.html). It's
causing SPASS to fail.

llvm-svn: 41938
 2007-09-14 01:13:55 +00:00
Chris Lattner
f3448236f8 Teach GlobalLoadUsesSimpleEnoughForHeapSRA and the SROA rewriter how to handle 
a limited form of PHI nodes.  This finally fixes PR1639, speeding 179.art up
from 7.84s to 3.13s on PPC.

llvm-svn: 41933
 2007-09-13 21:31:36 +00:00
Chris Lattner
c5d83b7270 be tolerant of PHI nodes when rewriting heap SROA code. This is a step 
along the way of PR1639

llvm-svn: 41930
 2007-09-13 18:00:31 +00:00
Chris Lattner
c9f2f2dd92 refactor some code, no functionality change. On the path to PR1639 
llvm-svn: 41929
 2007-09-13 17:29:05 +00:00
Chris Lattner
31d34baa89 Make ValueIsOnlyUsedLocallyOrStoredToOneGlobal smart enough to see through 
bitcasts and phis.  This is a step to fixing PR1639.

llvm-svn: 41928
 2007-09-13 16:37:20 +00:00
Chris Lattner
b83dee72ee Make AllUsesOfLoadedValueWillTrapIfNull strong enough to see through PHI 
nodes.  This is the first step of the fix for PR1639.

llvm-svn: 41927
 2007-09-13 16:30:19 +00:00
Chris Lattner
f672250ee0 Fix build problems on Cygwin (PR1652), patch by Patrick Walton. 
llvm-svn: 41923
 2007-09-13 06:09:48 +00:00
Evan Cheng
7adc0f3eff Bug fixes. 
llvm-svn: 41900
 2007-09-13 00:06:00 +00:00
Evan Cheng
d9d3176de3 Remove dead code. 
llvm-svn: 41899
 2007-09-12 23:45:46 +00:00
Evan Cheng
e88f30877d Yet another getTargetNode variant. 
llvm-svn: 41898
 2007-09-12 23:39:49 +00:00
Evan Cheng
bd4b11cfa9 Initial support for multi-result patterns: 
1.
[(set GR32:$dst, (add GR32:$src1, GR32:$src2)),
 (modify EFLAGS)]
This indicates the source pattern expects the instruction would produce 2 values. The first is the result of the addition. The second is an implicit definition in register EFLAGS.
2.
def : Pat<(parallel (addc GR32:$src1, GR32:$src2), (modify EFLAGS)), ()>
Similar to #1 except this is used for def : Pat patterns.

llvm-svn: 41897
 2007-09-12 23:30:14 +00:00
Evan Cheng
0d738fff6d Fixed a typo that's causing a missing kill marker. 
llvm-svn: 41893
 2007-09-12 23:02:04 +00:00
Chris Lattner
d58e0026ec Change llvm.gcroot to not init the root to null at runtime, this prevents 
using it for live-in values etc.

llvm-svn: 41879
 2007-09-12 17:53:10 +00:00
Dale Johannesen
967ee09f04 Generated files for previous patch. 
llvm-svn: 41876
 2007-09-12 03:31:28 +00:00
Dale Johannesen
4784ee3431 Revise previous patch per review comments. 
Next round of x87 long double stuff.
Getting close now, basically works.

llvm-svn: 41875
 2007-09-12 03:30:33 +00:00
Dale Johannesen
4b03ae1ff5 Compensate for partCount change in Bogus definition 
(could break hash table in ConstantFP)

llvm-svn: 41874
 2007-09-12 01:22:05 +00:00
Bill Wendling
89ced2f9b1 Enable indirect encoding for the personality function 
llvm-svn: 41873
 2007-09-11 23:55:40 +00:00
Evan Cheng
b9a6798216 Sometimes a MI can define a register as well as defining a super-register at the 
same time. Do not mark the "smaller" def as dead.

llvm-svn: 41871
 2007-09-11 22:34:47 +00:00
Evan Cheng
b43255bc68 Remove (somewhat confusing) Imp<> helper, use let Defs = [], Uses = [] instead. 
llvm-svn: 41863
 2007-09-11 19:55:27 +00:00
Evan Cheng
ce8087de3e Added status flags register: EFLAGS. 
llvm-svn: 41862
 2007-09-11 19:53:28 +00:00
Dale Johannesen
4ee2a51844 Generated files for previous patch. 
llvm-svn: 41859
 2007-09-11 18:33:39 +00:00
Dale Johannesen
7bc3969cea Add APInt interfaces to APFloat (allows directly 
access to bits).  Use them in place of float and
double interfaces where appropriate.
First bits of x86 long double constants handling 
(untested, probably does not work).

llvm-svn: 41858
 2007-09-11 18:32:33 +00:00
Bill Wendling
74888e63e7 Add a bool to indicate if we should set the "indirect encoding" bit in the Dwarf 
information for EH.

llvm-svn: 41852
 2007-09-11 17:20:55 +00:00
Duncan Sands
4106f87b42 Two ParamAttrsVectors which differ by a permutation 
of their elements do not yield the same ParamAttrsList,
though they should.  On the other hand, everyone seems
to pass such vectors with elements ordered by increasing
index, so rather than sorting the elements simply assert
that the elements are ordered in this way.

llvm-svn: 41845
 2007-09-11 14:40:04 +00:00
Duncan Sands
c63fd15cd9 Turn calls to trampolines into calls to the underlying 
nested function.

llvm-svn: 41844
 2007-09-11 14:35:41 +00:00
Duncan Sands
c358890f73 Fold the adjust_trampoline intrinsic into 
init_trampoline.  There is now only one
trampoline intrinsic.

llvm-svn: 41841
 2007-09-11 14:10:23 +00:00
Duncan Sands
8640185d45 My compiler warns about the semicolon. 
llvm-svn: 41840
 2007-09-11 12:30:25 +00:00
Bill Wendling
3c6a8b2814 The personality function on Darwin needs a global stub. We then refer to 
that global stub instead of doing the ".set" thingy we were doing before.

llvm-svn: 41838
 2007-09-11 08:27:17 +00:00
Owen Anderson
3a7df6cf67 Fix a typo in memdep, which was causing PR1648. 
llvm-svn: 41833
 2007-09-11 04:31:00 +00:00
Devang Patel
8f8fe2f0da Avoid negative logic. 
llvm-svn: 41829
 2007-09-11 01:10:45 +00:00
Devang Patel
9bc265b94a Refactor code into a separate method. 
llvm-svn: 41826
 2007-09-11 00:42:56 +00:00
Devang Patel
49ffe783eb Clear split info object. 
llvm-svn: 41823
 2007-09-11 00:23:56 +00:00
Devang Patel
8394964f1a Split condition does not have to be ICmpInst in all cases. 
llvm-svn: 41822
 2007-09-11 00:12:56 +00:00
Devang Patel
82374f7476 Check all terminators inside loop. 
llvm-svn: 41821
 2007-09-10 23:57:58 +00:00
Chris Lattner
3ace09794b remove some dead code, this is handled by constant folding. 
llvm-svn: 41819
 2007-09-10 23:46:29 +00:00
Chris Lattner
f08a077fa9 Fix a buggy constant folding transformation when handling aliases. 
llvm-svn: 41818
 2007-09-10 23:42:42 +00:00
Devang Patel
ce76c29be0 Swap exit condition operands if it works. 
llvm-svn: 41817
 2007-09-10 23:34:06 +00:00
Chris Lattner
9f93ab3579 regenerate 
llvm-svn: 41816
 2007-09-10 23:24:14 +00:00
Chris Lattner
c94e3e9361 Fix PR1645 by resolving forward alias references. 
llvm-svn: 41815
 2007-09-10 23:23:53 +00:00
Evan Cheng
24e8e4d6ef 80 col. 
llvm-svn: 41812
 2007-09-10 22:22:23 +00:00
Evan Cheng
b639648fc5 New entry. 
llvm-svn: 41810
 2007-09-10 22:16:37 +00:00
Evan Cheng
8501592984 Observation of rematerialization. 
llvm-svn: 41809
 2007-09-10 22:11:18 +00:00
Chris Lattner
d4602cc0e7 Add some notes about better flag handling. 
llvm-svn: 41808
 2007-09-10 21:43:18 +00:00
Chris Lattner
2add65570c Emit: 
cmpl    %eax, %ecx
        setae   %al
        movzbl  %al, %eax

instead of:

        cmpl    %eax, %ecx
        setb    %al
        xorb    $1, %al
        movzbl  %al, %eax

when using logical not of a C comparison.

llvm-svn: 41807
 2007-09-10 21:39:07 +00:00
Chris Lattner
ca656d2007 1. Don't call Value::getName(), which is slow. 
2. Lower calls to fabs and friends to FABS nodes etc unless the function has
   internal linkage.  Before we wouldn't lower if it had a definition, which
   is incorrect.  This allows us to compile:

define double @fabs(double %f) {
        %tmp2 = tail call double @fabs( double %f )
        ret double %tmp2
}

into:

_fabs:
        fabs f1, f1
        blr 

llvm-svn: 41805
 2007-09-10 21:15:22 +00:00
Chris Lattner
ab8aa7d61a Prevent tailcallelim from breaking "recursive" calls to builtins. 
llvm-svn: 41804
 2007-09-10 20:58:55 +00:00
Evan Cheng
4715ccb29c It's not safe to rematerialize MOV32r0 etc. by simply cloning the original 
instruction. These are implemented with xor which will modify the conditional
code. They should be rematerialized as move instructions.

llvm-svn: 41802
 2007-09-10 20:48:53 +00:00
Devang Patel
76790c1b28 Filter exit conditions which are not yet handled. 
llvm-svn: 41800
 2007-09-10 18:33:42 +00:00
Devang Patel
7a759cdfd7 Require SCEV before LCSSA. 
llvm-svn: 41798
 2007-09-10 18:08:23 +00:00
Owen Anderson
ab8a978ed7 Remove an un-needed dependence query. This improves compile time marginally on 401.bzip2. 
llvm-svn: 41792
 2007-09-09 21:43:49 +00:00
Dale Johannesen
9dfdc452d9 Implement misaligned FP loads and stores. 
llvm-svn: 41786
 2007-09-08 19:29:23 +00:00
Evan Cheng
e6c68e7668 Smarter Reset(). Instead of deallocating all memory regions and reallocate the 
first region, just deallocate all but the last region in the list.

llvm-svn: 41782
 2007-09-08 00:02:17 +00:00
Evan Cheng
65df926ced TableGen no longer emit CopyFromReg nodes for implicit results in physical 
registers. The scheduler is now responsible for emitting them.

llvm-svn: 41781
 2007-09-07 23:59:02 +00:00
Bill Wendling
04a6163921 Add missing index versions of instructions to the map. 
llvm-svn: 41776
 2007-09-07 22:01:02 +00:00
Dan Gohman
3bc1bc2590 Avoid storing and reloading zeros and other constants from stack slots 
by flagging the associated instructions as being trivially rematerializable.

llvm-svn: 41775
 2007-09-07 21:32:51 +00:00
Dale Johannesen
783215c630 Apply feedback from previous patch. 
llvm-svn: 41774
 2007-09-07 21:07:57 +00:00
Dale Johannesen
81660f7d7b Revert previous change to IR. 
llvm-svn: 41769
 2007-09-07 18:31:50 +00:00
Rafael Espindola
8c57e70f93 Add support for having different alignment for objects on call frames. 
The x86-64 ABI states that objects passed on the stack have
8 byte alignment. Implement that.

llvm-svn: 41768
 2007-09-07 14:52:14 +00:00
Anton Korobeynikov
899c0c9c8d Split eh.select / eh.typeid.for intrinsics into i32/i64 versions. This is needed, because they just "mark" register 
liveins and we let frontend solve type issue, not lowering code :)

llvm-svn: 41763
 2007-09-07 11:39:35 +00:00
Chris Lattner
8e6c39d961 Don't zap back to back volatile load/stores 
llvm-svn: 41759
 2007-09-07 05:33:03 +00:00
Owen Anderson
4b71e55287 Add lengthof and endof templates that hide a lot of sizeof computations. 
Patch by Sterling Stein!

llvm-svn: 41758
 2007-09-07 04:06:50 +00:00
David Greene
04a132ad5f Constify to catch bugs. 
llvm-svn: 41751
 2007-09-06 19:46:46 +00:00
Dale Johannesen
86f367a6b7 Next round of APFloat changes. 
Use APFloat in UpgradeParser and AsmParser.
Change all references to ConstantFP to use the
APFloat interface rather than double.  Remove
the ConstantFP double interfaces.
Use APFloat functions for constant folding arithmetic
and comparisons.
(There are still way too many places APFloat is
just a wrapper around host float/double, but we're
getting there.)

llvm-svn: 41747
 2007-09-06 18:13:44 +00:00
Anton Korobeynikov
0e3789f07a Proper handle case, when aliasee is external weak symbol referenced only by alias itself. 
Also, fix a case, when target doesn't have weak symbols supported.

llvm-svn: 41746
 2007-09-06 17:21:48 +00:00
David Greene
6df3ab79be Add instruction dump output. This helps find bugs. 
llvm-svn: 41744
 2007-09-06 16:36:39 +00:00
David Greene
2ca4b270db Pluggable coalescers inplementation. 
llvm-svn: 41743
 2007-09-06 16:18:45 +00:00
Nick Lewycky
79e179ff1f Use isTrueWhenEqual. Thanks Chris! 
llvm-svn: 41741
 2007-09-06 02:40:25 +00:00
Nick Lewycky
2f66503c0a When the two operands of an icmp are equal, there are five possible predicates 
that would make the icmp true. Fixes PR1637.

llvm-svn: 41740
 2007-09-06 01:10:22 +00:00
Evan Cheng
15c07fb194 Fix a memory leak. 
llvm-svn: 41739
 2007-09-06 01:07:24 +00:00
Evan Cheng
896c1ed385 Fix a bug in X86InstrInfo::convertToThreeAddress that caused it to codegen: 
leal    (,%rcx,8), %rcx
It should be
leal    (,%rcx,8), %ecx

llvm-svn: 41735
 2007-09-06 00:14:41 +00:00
Bill Wendling
46d5fb4e5d LVXL and STVXL are also a load and store resp. 
llvm-svn: 41733
 2007-09-05 23:47:12 +00:00
Evan Cheng
3bda699975 Use pool allocator for all the VNInfo's to improve memory access locality. This reduces coalescing time on siod Mac OS X PPC by 35%. Also remove the back ptr from VNInfo to LiveInterval and other tweaks. 
llvm-svn: 41729
 2007-09-05 21:46:51 +00:00
Evan Cheng
5977c55f5d Added Reset() to free all allocated memory regions and reset state to be the same as right after ctor. 
llvm-svn: 41728
 2007-09-05 21:41:34 +00:00