RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-26 14:33:02 +02:00
Code Issues Projects Releases Wiki Activity
35,043 Commits 4 Branches 5 Tags 704 MiB
15f9f7d669
Commit Graph

4161 Commits

Author SHA1 Message Date
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
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
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
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
Chris Lattner
12ed5081b8 initialize isstore/isload fields in ctor, fixing PR1695 
llvm-svn: 42222
 2007-09-22 07:02:12 +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
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
Dale Johannesen
04682bdc81 More long double fixes. x86_64 should build now. 
llvm-svn: 42155
 2007-09-19 23:55:34 +00:00
Dale Johannesen
9e04c2d5af Fix longdouble -> uint conversion. 
llvm-svn: 42143
 2007-09-19 17:53:26 +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
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
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
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
Devang Patel
547d418b8e Do not hide APInt::dump() inside #ifndef NDEBUG. 
llvm-svn: 42068
 2007-09-17 22:24:00 +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
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
Dale Johannesen
78628a9108 Adjust per revew comments. 
llvm-svn: 42002
 2007-09-16 16:51:49 +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
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
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
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
0d738fff6d Fixed a typo that's causing a missing kill marker. 
llvm-svn: 41893
 2007-09-12 23:02:04 +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
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
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
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
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
Evan Cheng
8501592984 Observation of rematerialization. 
llvm-svn: 41809
 2007-09-10 22:11: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
Dale Johannesen
9dfdc452d9 Implement misaligned FP loads and stores. 
llvm-svn: 41786
 2007-09-08 19:29:23 +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
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
Evan Cheng
15c07fb194 Fix a memory leak. 
llvm-svn: 41739
 2007-09-06 01:07:24 +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
Duncan Sands
aefef49052 Due to label merging, the last label for an invoke 
may be the same as the first label for the following
invoke.  Remove a micro-optimization which was wrong
in this case.

llvm-svn: 41720
 2007-09-05 14:12:46 +00:00
Duncan Sands
ab8eb598be Fix PR1628. When exception handling is turned on, 
labels are generated bracketing each call (not just
invokes).  This is used to generate entries in
the exception table required by the C++ personality.
However it gets in the way of tail-merging.  This
patch solves the problem by no longer placing labels
around ordinary calls.  Instead we generate entries
in the exception table that cover every instruction
in the function that wasn't covered by an invoke
range (the range given by the labels around the invoke).
As an optimization, such entries are only generated for
parts of the function that contain a call, since for
the moment those are the only instructions that can
throw an exception [1].  As a happy consequence, we
now get a smaller exception table, since the same
region can cover many calls.  While there, I also
implemented folding of invoke ranges - successive
ranges are merged when safe to do so.  Finally, if
a selector contains only a cleanup, there's a special
shorthand for it - place a 0 in the call-site entry.
I implemented this while there.  As a result, the
exception table output (excluding filters) is now
optimal - it cannot be made smaller [2].  The
problem with throw filters is that folding them
optimally is hard, and the benefit of folding them is
minimal.

[1] I tested that having trapping instructions (eg
divide by zero) in such a region doesn't cause trouble.
[2] It could be made smaller with the help of higher
layers, eg by having branch folding reorder basic blocks
ending in invokes with the same landing pad so they
follow each other.  I don't know if this is worth doing.

llvm-svn: 41718
 2007-09-05 11:27:52 +00:00
Evan Cheng
bb21883dd3 Fix for PR1632. EHSELECTION always produces a i32 value. 
llvm-svn: 41712
 2007-09-04 20:39:26 +00:00
Anton Korobeynikov
5b49f44609 Silence warning while compiling with gcc 4.2 
llvm-svn: 41676
 2007-09-02 22:11:14 +00:00
Anton Korobeynikov
32567436f8 Emit proper "secrel" directive, where possible. This fixes invalid asm syntax of debug info on mingw32. Also, cleanup 
some stuff.

llvm-svn: 41675
 2007-09-02 22:07:21 +00:00
Evan Cheng
25c46702da More tweaks to improve compile time. 
llvm-svn: 41669
 2007-09-01 02:03:17 +00:00
Dale Johannesen
b34e6b4898 Add mod, copysign, abs operations to APFloat. 
Implement some constant folding in SelectionDAG and
DAGCombiner using APFloat.  Remove double versions
of constructor and getValue from ConstantFPSDNode.

llvm-svn: 41664
 2007-08-31 23:34:27 +00:00
Evan Cheng
e0f2c65756 std::map -> DenseMap for slight compile time benefit. 
llvm-svn: 41650
 2007-08-31 21:23:06 +00:00
Dale Johannesen
a79f7d4068 Revise per review of previous patch. 
llvm-svn: 41645
 2007-08-31 17:03:33 +00:00
Evan Cheng
3157d0991b Remove an unnecessary element, saving 4 bytes per LiveInterval. 
llvm-svn: 41641
 2007-08-31 08:26:44 +00:00
Evan Cheng
a561a94058 Use std::map instead of a (potentially very sparse) array to track val# defined by copy from the other live range. Minor compile time win when number of val# is large. 
llvm-svn: 41640
 2007-08-31 08:04:17 +00:00
Dale Johannesen
81d6ecb886 Enhance APFloat to retain bits of NaNs (fixes oggenc). 
Use APFloat interfaces for more references, mostly
of ConstantFPSDNode.

llvm-svn: 41632
 2007-08-31 04:03:46 +00:00
Evan Cheng
e8c80ad7cd Try fold re-materialized load instructions into its uses. 
llvm-svn: 41598
 2007-08-30 05:53:02 +00:00
Dale Johannesen
e91a908971 Change LegalFPImmediates to use APFloat. 
Add APFloat interfaces to ConstantFP, SelectionDAG.
Fix integer bit in double->APFloat conversion.
Convert LegalizeDAG to use APFloat interface in
ConstantFPSDNode uses.

llvm-svn: 41587
 2007-08-30 00:23:21 +00:00
Anton Korobeynikov
5845c41e4d Fix use of declaration inside case block 
llvm-svn: 41584
 2007-08-29 23:18:48 +00:00
Evan Cheng
5a5046b83f Change LiveRange so it keeps a pointer to the VNInfo rather than an index. 
Changes related modules so VNInfo's are not copied. This decrease
copy coalescing time by 45% and overall compilation time by 10% on siod.

llvm-svn: 41579
 2007-08-29 20:45:00 +00:00
Anton Korobeynikov
a3531f71ca Lower FRAME_TO_ADDR_OFFSET to zero by default (if not custom lowered) 
llvm-svn: 41578
 2007-08-29 19:28:29 +00:00
Dan Gohman
cbb2ee9062 Add an option, -view-sunit-dags, for viewing the actual SUnit DAGs used by 
scheduling.

llvm-svn: 41556
 2007-08-28 20:32:58 +00:00
Evan Cheng
1f3724ee2d Recover most of the compile time regression due to recent live interval changes. 
1. Eliminate the costly live interval "swapping".
2. Change ValueNumberInfo container from SmallVector to std::vector. The former
   performs slowly when the vector size is very large.

llvm-svn: 41536
 2007-08-28 08:28:51 +00:00
Dan Gohman
123b8effaa Make DAGCombiner's global alias analysis query more precise in the case 
where both pointers have non-zero offsets.

llvm-svn: 41491
 2007-08-27 16:32:11 +00:00
Dan Gohman
2e7e251f24 If the source and destination pointers in an llvm.memmove are known 
to not alias each other, it can be translated as an llvm.memcpy.

llvm-svn: 41489
 2007-08-27 16:26:13 +00:00
Duncan Sands
883740b39f There is an impedance matching problem between LLVM and 
gcc exception handling: if an exception unwinds through
an invoke, then execution must branch to the invoke's
unwind target.  We previously tried to enforce this by
appending a cleanup action to every selector, however
this does not always work correctly due to an optimization
in the C++ unwinding runtime: if only cleanups would be
run while unwinding an exception, then the program just
terminates without actually executing the cleanups, as
invoke semantics would require.  I was hoping this
wouldn't be a problem, but in fact it turns out to be the
cause of all the remaining failures in the LLVM testsuite
(these also fail with -enable-correct-eh-support, so turning
on -enable-eh didn't make things worse!).  Instead we need
to append a full-blown catch-all to the end of each
selector.  The correct way of doing this depends on the
personality function, i.e. it is language dependent, so
can only be done by gcc.  Thus this patch which generalizes
the eh.selector intrinsic so that it can handle all possible
kinds of action table entries (before it didn't accomodate
cleanups): now 0 indicates a cleanup, and filters have to be
specified using the number of type infos plus one rather than
the number of type infos.  Related gcc patches will cause
Ada to pass a cleanup (0) to force the selector to always
fire, while C++ will use a C++ catch-all (null).

llvm-svn: 41484
 2007-08-27 15:47:50 +00:00
Dan Gohman
e2c92effea Add explicit keywords and remove spurious trailing semicolons. 
llvm-svn: 41482
 2007-08-27 14:50:10 +00:00
Dale Johannesen
2ceade197b Revise per review comments. 
llvm-svn: 41409
 2007-08-26 01:18:27 +00:00
Dale Johannesen
b52093236e Add APFloat interface to ConstantFPSDNode. Change 
over uses in DAGCombiner.  Fix interfaces to work
with APFloats.

llvm-svn: 41407
 2007-08-25 22:10:57 +00:00
Chris Lattner
093144e147 Allow target constants to be illegal types. The target should 
know how to handle them.  This fixes 
test/CodeGen/Generic/asm-large-immediate.ll

llvm-svn: 41388
 2007-08-25 01:00:22 +00:00
Chris Lattner
666f15ac0a Teach the dag scheduler to handle inline asm nodes with multi-value immediate operands. 
llvm-svn: 41386
 2007-08-25 00:53:07 +00:00
Bill Wendling
da2e7749bb The personality function might need to be declared as: 
.set  Lset0,___gxx_personality_v0-.
    .long Lset0

on some targets. Make it so!

llvm-svn: 41385
 2007-08-25 00:51:55 +00:00
Chris Lattner
1e089aac3a rename isOperandValidForConstraint to LowerAsmOperandForConstraint, 
changing the interface to allow for future changes.

llvm-svn: 41384
 2007-08-25 00:47:38 +00:00
Dale Johannesen
9ec1e28e79 Poison APFloat::operator==. Replace existing uses with bitwiseIsEqual. 
This means backing out the preceding change to Constants.cpp, alas.

llvm-svn: 41378
 2007-08-24 22:09:56 +00:00
Dale Johannesen
5c0b0ec1d6 Use APFloat internally for ConstantFPSDNode. 
llvm-svn: 41372
 2007-08-24 20:59:15 +00:00
Anton Korobeynikov
9451c871c5 Perform correct codegen for eh_dwarf_cfa intrinsic. 
llvm-svn: 41316
 2007-08-23 07:21:06 +00:00
Andrew Lenharth
3902197dc3 move this check. ppc outputs .no_dead_strip properly 
llvm-svn: 41286
 2007-08-22 19:33:11 +00:00
Dan Gohman
23db01efea Minor cleanups to reduce some spurious differences between different 
scheduler implementations.

llvm-svn: 41191
 2007-08-20 19:28:38 +00:00
Rafael Espindola
68d95ff2b1 Partial implementation of calling functions with byval arguments: 
*) The needed information is propagated to the DAG
 *) The X86-64 backend detects it and aborts

llvm-svn: 41179
 2007-08-20 15:18:24 +00:00
Evan Cheng
a65c956119 Fold C ? 0 : 1 to ~C or zext(~C) or trunc(~C) depending the types. 
llvm-svn: 41163
 2007-08-18 05:57:05 +00:00
Evan Cheng
930acafa5b Avoid issue on 64-bit hosts. 
llvm-svn: 41143
 2007-08-17 18:02:22 +00:00
David Greene
1d1b7f793d Fix GLIBCXX_DEBUG error of comparing two singular iterators 
llvm-svn: 41139
 2007-08-17 15:13:55 +00:00
Evan Cheng
11fa8d0f62 If dynamic_stackalloc alignment is > stack alignment, first issue an instruction to align the stack ptr before the decrement. 
llvm-svn: 41133
 2007-08-16 23:50:06 +00:00
Evan Cheng
9a05381a81 - If a dynamic_stackalloc alignment requirement is <= stack alignment, then the alignment argument is ignored. 
- *Always* round up the size of the allocation to multiples of stack
alignment to ensure the stack ptr is never left in an invalid state after a dynamic_stackalloc.

llvm-svn: 41132
 2007-08-16 23:46:29 +00:00
Evan Cheng
ee277f940b Fix some kill info update bugs; add hidden option -disable-rematerialization to turn off remat for debugging. 
llvm-svn: 41118
 2007-08-16 07:24:22 +00:00
Lauro Ramos Venancio
9f9e5b3971 Implement FPOWI ExpandOp. 
Fix PR1287.

llvm-svn: 41112
 2007-08-15 22:13:27 +00:00
Evan Cheng
f758fa5c35 If the source of a move is in spill slot, the reload may be folded to essentially a load from stack slot. It's ok to mark the stack slot value as available for reuse. But it should not be clobbered since the destination of the move is live. 
llvm-svn: 41109
 2007-08-15 20:20:34 +00:00
Evan Cheng
70879e8dae - If a def is dead, do not spill it. 
- If the defs of a spilled rematerializable MI are dead after the spill store is deleted, delete
  the def MI as well.

llvm-svn: 41086
 2007-08-14 23:25:37 +00:00
Evan Cheng
f901915207 Fix for PR1596: AdjustCopiesBackFrom() should conservatively check if any of its sub-registers may overlap with the interval of the copy that's being coalesced. 
llvm-svn: 41084
 2007-08-14 23:19:28 +00:00
Evan Cheng
0fbe2a0ec4 If a MI's def is remat as well as spilled, and the store is later deemed dead, mark the def operand as isDead. 
llvm-svn: 41083
 2007-08-14 20:23:13 +00:00
Evan Cheng
de24ad8897 If a spilled value is being reused and the use is a kill, that means there are 
no more uses within the MBB and the spilled value isn't live out of the MBB.
Then it's safe to delete the spill store.

llvm-svn: 41069
 2007-08-14 09:11:18 +00:00
Evan Cheng
886c1fe427 If a rematerializable def is not deleted, i.e. it is also spilled, check if the 
spilled value is available for reuse.

llvm-svn: 41067
 2007-08-14 05:42:54 +00:00
Evan Cheng
5b64e19e06 Kill info update bugs. 
llvm-svn: 41064
 2007-08-14 01:56:58 +00:00
Evan Cheng
215f802b75 Re-implement trivial rematerialization. This allows def MIs whose live intervals that are coalesced to be rematerialized. 
llvm-svn: 41060
 2007-08-13 23:45:17 +00:00
Evan Cheng
54b799dc76 Kill info update bugs. 
llvm-svn: 41043
 2007-08-13 07:12:23 +00:00
Evan Cheng
3b211635e8 No need to remove dead range from soon-to-be-dead live interval. Its val# may be out of whack. 
llvm-svn: 41024
 2007-08-12 01:26:19 +00:00
Evan Cheng
8968affb6d Code to maintain kill information during register coalescing. 
llvm-svn: 41016
 2007-08-11 00:59:19 +00:00
Christopher Lamb
e0c9bd8d2e Move isSubRegOf into MRegisterInfo. Fix a missed move elimination in LowerSubregs and add more debugging output there. 
llvm-svn: 41005
 2007-08-10 21:11:55 +00:00
Dan Gohman
f18e94535f Fix EXTRACT_ELEMENT, EXTRACT_SUBVECTOR, and EXTRACT_VECTOR_ELT to 
use an intptr ValueType instead of i32 for the index operand in
getCopyToParts.

llvm-svn: 40987
 2007-08-10 14:59:38 +00:00
Rafael Espindola
b20b9e985a propagate struct size and alignment of byval arguments to the DAG 
llvm-svn: 40986
 2007-08-10 14:44:42 +00:00
Chris Lattner
202e7f84e9 unbreak the build 
llvm-svn: 40976
 2007-08-09 23:55:17 +00:00
Evan Cheng
0293fe7483 Bug fix. ~1U marks the val# dead. 
llvm-svn: 40975
 2007-08-09 23:14:39 +00:00
Dale Johannesen
a1340d5916 Update per review comments. 
llvm-svn: 40965
 2007-08-09 17:27:48 +00:00
Dale Johannesen
79551baaad long double 9 of N. This finishes up the X86-32 bits 
(constants are still not handled).  Adds ConvertActions
to control fp-to-fp conversions (these are currently
defaulted for all other targets, so no changes there).

llvm-svn: 40958
 2007-08-09 01:04:01 +00:00
Scott Michel
86052f49c0 If a target really needs to custom lower constants, it should be allowed 
to do so.

llvm-svn: 40955
 2007-08-08 23:23:31 +00:00
Evan Cheng
5227e36428 Adding kill info to val#. 
llvm-svn: 40925
 2007-08-08 07:03:29 +00:00
Evan Cheng
02e7fbd7c8 Clean up and bug fix. 
llvm-svn: 40921
 2007-08-08 05:56:18 +00:00
Evan Cheng
12d72cc1a0 - Each val# can have multiple kills. 
- Fix some minor bugs related to special markers on val# def. ~0U means
  undefined, ~1U means dead val#.

llvm-svn: 40916
 2007-08-08 03:00:28 +00:00
Evan Cheng
b4135e3825 Remove a dead assertion. 
llvm-svn: 40914
 2007-08-08 01:00:21 +00:00
Evan Cheng
0182b495fd - LiveInterval value#'s now have 3 components: def instruction #, 
kill instruction #, and source register number (iff the value# is defined by a
copy).
- Now def instruction # is set for every value#, not just for copy defined ones.
- Update some outdated code related inactive live ranges.
- Kill info not yet set. That's next patch.

llvm-svn: 40913
 2007-08-07 23:49:57 +00:00
David Greene
f0a40d3dc2 Add a missing forward declaration. 
llvm-svn: 40896
 2007-08-07 16:34:05 +00:00
Chris Lattner
a374edf4a6 Fix a regression compiling 2005-05-11-Popcount-ffs-fls with the CBE, 
introduced by chandler's patch.

llvm-svn: 40864
 2007-08-06 16:36:18 +00:00
Christopher Lamb
8875f43912 Implement review feedback. No functionality change. 
llvm-svn: 40863
 2007-08-06 16:33:56 +00:00
Reid Spencer
3e54e72ef1 Fix minor doxygen nits. 
llvm-svn: 40854
 2007-08-05 20:06:04 +00:00
Chris Lattner
bc90e7255f shorten this name 
llvm-svn: 40843
 2007-08-05 18:45:33 +00:00
Chandler Carruth
00e56b0e81 This is the patch to provide clean intrinsic function overloading support in LLVM. It cleans up the intrinsic definitions and generally smooths the process for more complicated intrinsic writing. It will be used by the upcoming atomic intrinsics as well as vector and float intrinsics in the future. 
This also changes the syntax for llvm.bswap, llvm.part.set, llvm.part.select, and llvm.ct* intrinsics. They are automatically upgraded by both the LLVM ASM reader and the bitcode reader. The test cases have been updated, with special tests added to ensure the automatic upgrading is supported.

llvm-svn: 40807
 2007-08-04 01:51:18 +00:00
Dan Gohman
352de5aeb9 More explicit keywords. 
llvm-svn: 40757
 2007-08-02 21:21:54 +00:00
Chris Lattner
9319dfc93a don't redefine a parameter 
llvm-svn: 40748
 2007-08-02 18:08:16 +00:00
Evan Cheng
a06b9cf09f Do not emit copies for physical register output if it's not used. 
llvm-svn: 40722
 2007-08-02 05:29:38 +00:00
Scott Michel
199544367f Style police: Expand the tabs to spaces! 
llvm-svn: 40712
 2007-08-02 02:22:46 +00:00
Evan Cheng
14bd520741 Instead of adding copyfromreg's to handle physical definitions. Now isel can 
simply specify them as results and let scheduledag handle them. That
is, instead of
SDOperand Flag = DAG.getTargetNode(Opc, MVT::i32, MVT::Flag, ...)
SDOperand Result = DAG.getCopyFromReg(Chain, X86::EAX, MVT::i32, Flag)

Just write:
SDOperand Result = DAG.getTargetNode(Opc, MVT::i32, MVT::i32, ...)

And let scheduledag emit the move from X86::EAX to a virtual register.

llvm-svn: 40710
 2007-08-02 00:28:15 +00:00
Evan Cheng
d6d66f0cf4 Bugs: missing partial uses and redundant partial defs. 
llvm-svn: 40688
 2007-08-01 20:18:21 +00:00
Lauro Ramos Venancio
1ef30713de Expand unaligned loads/stores when the target doesn't support them. (PR1548) 
llvm-svn: 40682
 2007-08-01 19:34:21 +00:00
David Greene
f06a395bb9 New CallInst interface to address GLIBCXX_DEBUG errors caused by 
indexing an empty std::vector.

Updates to all clients.

llvm-svn: 40660
 2007-08-01 03:43:44 +00:00
Evan Cheng
8889a56947 simpleregistercoalescing -> regcoalescing. It's too long for me to handle. 
llvm-svn: 40654
 2007-07-31 22:37:44 +00:00
Scott Michel
c65b4c8eeb - Allow custom lowering for CTPOP, CTTZ, CTLZ. 
- Fixed an existing unexpanded tab.

llvm-svn: 40605
 2007-07-30 21:00:31 +00:00
Dan Gohman
375d541183 Fix a bug in getCopyFromParts turned up in the testcase for PR1132. 
llvm-svn: 40598
 2007-07-30 19:09:17 +00:00
Dan Gohman
555f611994 Print a space between the comment character and the basic block name, 
for prettiness.

llvm-svn: 40593
 2007-07-30 15:06:25 +00:00
Duncan Sands
e8bb2c6d32 Support for trampolines, except for X86 codegen which is 
still under discussion.

llvm-svn: 40549
 2007-07-27 12:58:54 +00:00
Christopher Lamb
55a1e36013 Move subreg lowering pass to be right after regalloc, per feedback. 
llvm-svn: 40548
 2007-07-27 07:36:14 +00:00
Dan Gohman
249090568d Fix the alias analysis query in DAGCombiner to not add in two 
offsets. The SrcValueOffset values are the real offsets from the
SrcValue base pointers.

llvm-svn: 40534
 2007-07-26 16:14:06 +00:00
Christopher Lamb
258dab5389 Add a MachineFunction pass, which runs post register allocation, that turns subreg insert/extract instruction into register copies. This ensures correct code gen if the coalescer isn't able to remove all subreg instructions. 
llvm-svn: 40521
 2007-07-26 08:18:32 +00:00
Christopher Lamb
08bcd5c0f8 Teach DAG scheduling how to properly emit subreg insert/extract machine instructions. PR1350 
llvm-svn: 40520
 2007-07-26 08:12:07 +00:00
Christopher Lamb
73c3cd47cc Add selection DAG nodes for subreg insert/extract. PR1350 
llvm-svn: 40516
 2007-07-26 07:34:40 +00:00
Christopher Lamb
cb63a77a51 Remove subreg index from MachineInstr's and also keep vregs as unsigned when adding operands. 
llvm-svn: 40514
 2007-07-26 07:00:46 +00:00
Christopher Lamb
b178ecbbc0 Fix infinite recursion for when extract_vector_elt is legal. Unfortunately no public targets use this code-path, so no test. 
llvm-svn: 40510
 2007-07-26 03:33:13 +00:00
Evan Cheng
4b747bb6a0 EmitAlignment() also emits optional fill value. 
llvm-svn: 40500
 2007-07-25 23:35:07 +00:00
Anton Korobeynikov
e0344393bb Minor cleanup: 
- Split EH and debug infiormation
 - Make DwarfWriter more verbose in some cases

llvm-svn: 40481
 2007-07-25 00:06:28 +00:00
Dan Gohman
1444c5840b Add const to CanBeFoldedBy, CheckAndMask, and CheckOrMask. 
llvm-svn: 40480
 2007-07-24 23:00:27 +00:00
Dan Gohman
54b8032d64 Fix some uses of dyn_cast to be uses of cast. 
llvm-svn: 40443
 2007-07-23 20:24:29 +00:00
Dan Gohman
ac8ccab48f Don't assume that only Uses can be kills. Defs are marked as kills initially 
when there are no uses. This fixes a dangling-pointer bug, where pointers to
deleted instructions were not removed from kills lists. More info here:
http://lists.cs.uiuc.edu/pipermail/llvmdev/2007-July/009749.html

llvm-svn: 40131
 2007-07-20 23:17:34 +00:00
Evan Cheng
cdb4e7949f Added -print-emitted-asm to print out JIT generated asm to cerr. 
llvm-svn: 40123
 2007-07-20 21:56:13 +00:00
Duncan Sands
840594467f As pointed out by g++-4.2, the original code didn't do 
what it thought it was doing.

llvm-svn: 40044
 2007-07-19 07:31:58 +00:00
Evan Cheng
5dd17373c5 Add comment. 
llvm-svn: 40022
 2007-07-18 23:34:48 +00:00
Dan Gohman
4c140b7128 It's not necessary to do rounding for alloca operations when the requested 
alignment is equal to the stack alignment.

llvm-svn: 40004
 2007-07-18 16:29:46 +00:00
Evan Cheng
6ad7064bdf Dead code. 
llvm-svn: 39979
 2007-07-17 20:01:19 +00:00
Dan Gohman
0ba554c0c8 Fix comments about vectors to use the current wording. 
llvm-svn: 39921
 2007-07-16 14:29:03 +00:00
Nick Lewycky
05e4170839 Fix the build. Patch from Holger Schurig. 
llvm-svn: 39856
 2007-07-14 15:11:14 +00:00
Anton Korobeynikov
5635277c36 Long live the exception handling! 
This patch fills the last necessary bits to enable exceptions
handling in LLVM. Currently only on x86-32/linux.

In fact, this patch adds necessary intrinsics (and their lowering) which
represent really weird target-specific gcc builtins used inside unwinder.

After corresponding llvm-gcc patch will land (easy) exceptions should be
more or less workable. However, exceptions handling support should not be 
thought as 'finished': I expect many small and not so small glitches
everywhere.

llvm-svn: 39855
 2007-07-14 14:06:15 +00:00
Dan Gohman
44771cf8e8 Fix the comment for LegalizeOp to more accurately reflect what it does. 
llvm-svn: 39827
 2007-07-13 20:14:11 +00:00
Dan Gohman
1f4580ceb4 Don't call SimplifyVBinOp for non-vector operations, following earlier review 
feedback. This theoretically makes the common (scalar) case more efficient.

llvm-svn: 39823
 2007-07-13 20:03:40 +00:00
Dale Johannesen
1a9d304c35 Modify previous patch per review comments. 
llvm-svn: 39817
 2007-07-13 17:31:29 +00:00
Dale Johannesen
469ed8e17e Skeleton of post-RA scheduler; doesn't do anything yet. 
Change name of -sched option and DEBUG_TYPE to
pre-RA-sched; adjust testcases.

llvm-svn: 39816
 2007-07-13 17:13:54 +00:00
Duncan Sands
b2a18dc10b The type ids making up a filter are unsigned, and 
should be output as unsigned values.  Checked against
gcc.

llvm-svn: 39775
 2007-07-12 13:51:39 +00:00
Evan Cheng
c7216b3a86 Missed a couple of places where new instructions are added due to spill / restore. 
llvm-svn: 39748
 2007-07-11 19:17:18 +00:00
Duncan Sands
bfbe683782 Exception handling has been implemented. 
llvm-svn: 39732
 2007-07-11 16:59:20 +00:00
Duncan Sands
aa83dc9037 If assertions are not enabled, we should return False here. 
llvm-svn: 38535
 2007-07-11 08:47:55 +00:00
Evan Cheng
2791a7ea6d No longer need to track last def / use. 
llvm-svn: 38534
 2007-07-11 08:47:44 +00:00
Evan Cheng
c42a2e03f1 Fix for PR1545: Revamp code that update kill information due to register reuse. 
llvm-svn: 38525
 2007-07-11 05:28:39 +00:00
David Greene
8d77dcca00 Make this work with GLIBCXX_DEBUG. 
llvm-svn: 38516
 2007-07-10 22:00:30 +00:00
Dan Gohman
629311ca52 Change the peep for EXTRACT_VECTOR_ELT of BUILD_PAIR to look for 
the new CONCAT_VECTORS node type instead, as that's what legalize
uses now. And add a peep for EXTRACT_VECTOR_ELT of INSERT_VECTOR_ELT.

llvm-svn: 38503
 2007-07-10 18:20:44 +00:00
Evan Cheng
d80c2821af If the operand is marked M_OPTIONAL_DEF_OPERAND, then it's a def. 
llvm-svn: 38496
 2007-07-10 17:52:20 +00:00
Evan Cheng
87e735c4be Somehow this wasn't committed last time. M_CLOBBERS_PRED is gone. 
llvm-svn: 38495
 2007-07-10 17:50:43 +00:00
Dan Gohman
bd0ff28e1c Fix a bug in the folding of binary operators to undef. 
Thanks to Lauro for spotting this!

llvm-svn: 38491
 2007-07-10 15:19:29 +00:00
Dan Gohman
6b21e11f1c Fix the folding of undef in several binary operators to recognize 
undef in either the left or right operand.

llvm-svn: 38489
 2007-07-10 14:20:37 +00:00
Evan Cheng
cf3b1c89a9 When a node value is only used by a CopyToReg, use the user's dest. This should not be restricted to nodes that produce only a single value. 
llvm-svn: 38485
 2007-07-10 07:08:32 +00:00
Evan Cheng
23dc96f640 Move DenseMapKeyInfo<SDOperand> from LegalizeDAG.cpp to SelectionDAGNodes.h 
llvm-svn: 38484
 2007-07-10 06:59:55 +00:00
Dan Gohman
150487b166 Preserve volatililty and alignment information when lowering or 
simplifying loads and stores.

llvm-svn: 38473
 2007-07-09 22:18:38 +00:00
Dan Gohman
81cfdc2f19 Change getCopyToParts and getCopyFromParts to always use target-endian 
register ordering, for both physical and virtual registers. Update the PPC
target lowering for calls to expect registers for the call result to
already be in target order.

llvm-svn: 38471
 2007-07-09 20:59:04 +00:00
Dan Gohman
be352027e6 Initialize the IndexedModeActions array with memset before 
updating it with calls to setIndexedLoadAction/setIndexedStoreAction,
which only update a few bits at a time. This avoids ostensible
undefined behavior of operationg on values which may be
trap-representations, and as a practical matter fixes errors from
valgrind, which doesn't track uninitialized memory with bit
granularity.

llvm-svn: 38468
 2007-07-09 20:49:44 +00:00
Chris Lattner
aff9a84b7a Fix this warning: 
DAGCombiner.cpp: In member function 'llvm::SDOperand<unnamed>::DAGCombiner::visitOR(llvm::SDNode*)':
DAGCombiner.cpp:1608: warning: passing negative value '-0x00000000000000001' for argument 1 to 'llvm::SDOperand llvm::SelectionDAG::getConstant(uint64_t, llvm::MVT::ValueType, bool)'

oiy.

llvm-svn: 38458
 2007-07-09 16:16:34 +00:00
Gabor Greif
89919e17b4 fix typos 
llvm-svn: 38453
 2007-07-09 12:00:59 +00:00
Evan Cheng
4c7b04f24d Teach if-conversion about instructions that were already predicated, e.g. conditional move. 
llvm-svn: 37964
 2007-07-06 23:24:39 +00:00
Duncan Sands
f926a3080c The exception handling intrinsics return values, 
so must be lowered to a value, not nothing at all.
Subtle point: I made eh_selector return 0 and
eh_typeid_for return 1.  This means that only
cleanups (destructors) will be run as the exception
unwinds [if eh_typeid_for returned 0 then it would
be as if the first catch always matched, and the
corresponding handler would be run], which is
probably want you want in the CBE.

llvm-svn: 37947
 2007-07-06 14:46:23 +00:00
Duncan Sands
404336eb55 Indexes into the list of filter ids cannot be output 
directly: they need to be turned into byte offsets
(often the same, but may not be if there are many
type infos).

llvm-svn: 37942
 2007-07-06 12:46:24 +00:00
Rafael Espindola
7b3de98989 Add the byval attribute 
llvm-svn: 37940
 2007-07-06 10:57:03 +00:00
Duncan Sands
7e50c11edd Remove propagateEHRegister in favour of a more limited 
fix, that is adequate while PR1508 remains unresolved.

llvm-svn: 37938
 2007-07-06 09:18:59 +00:00
Duncan Sands
e7650d2b1e Remove ExtractGlobalVariable - use StripPointerCasts 
instead.

llvm-svn: 37937
 2007-07-06 09:10:03 +00:00
Evan Cheng
bae19254f0 Workaround of getCopyToRegs and getCopyFromRegs bugs for big-endian machines. 
llvm-svn: 37935
 2007-07-06 01:47:35 +00:00
Evan Cheng
22957164aa Change CalculateHeights and CalculateDepths to be non-recursive. 
llvm-svn: 37934
 2007-07-06 01:37:28 +00:00
Dan Gohman
cd6f6a0a58 Make the debug string for ISD::MERGE_VALUES consistent with the others. 
llvm-svn: 37922
 2007-07-05 20:15:43 +00:00
Dan Gohman
90c6b87b31 Add a parameter to getCopyToParts and getCopyFromParts to specify whether 
endian swapping should be done, and update the code to use it. This fixes
some register ordering issues on big-endian systems, such as PowerPC,
introduced by the recent illegal by-val arguments changes.

llvm-svn: 37921
 2007-07-05 20:12:34 +00:00
Gabor Greif
5f705671e4 Here is the bulk of the sanitizing. 
Almost all occurrences of "bytecode" in the sources have been eliminated.

llvm-svn: 37913
 2007-07-05 17:07:56 +00:00
Duncan Sands
eca2fa295b Make sure only one copy of a filter is placed in the 
exception handling table if we encounter it multiple
times.  Filters could be folded harder than this, but
that would mean a lot more work for not much gain.

llvm-svn: 37908
 2007-07-05 15:15:01 +00:00
Evan Cheng
0c037f4ee0 Better assertion messages. 
llvm-svn: 37890
 2007-07-05 07:05:38 +00:00
Duncan Sands
4441eff1ac Extend eh.selector to support both catches and filters. 
Drop the eh.filter intrinsic.

llvm-svn: 37875
 2007-07-04 20:52:51 +00:00
Dan Gohman
d2d18267e6 Fix several over-aggressive folds for undef nodes in dagcombine, to 
follow the rules for undef used in instcombine.

llvm-svn: 37851
 2007-07-03 14:03:57 +00:00
Dale Johannesen
7af19491d3 Fix for PR 1505 (and 1489). Rewrite X87 register 
model to include f32 variants.  Some factoring
improvments forthcoming.

llvm-svn: 37847
 2007-07-03 00:53:03 +00:00
Dan Gohman
68f0cbccfb Replace ExpandScalarFormalArgs and ExpandScalarCallArgs with the newly 
refactored getCopyFromParts and getCopyToParts, which are more general.
This effectively adds support for lowering illegal by-val vector call
arguments.

llvm-svn: 37843
 2007-07-02 16:18:06 +00:00
Dan Gohman
5fe8266d04 Teach GetNegatedExpression to negate 0-B to B in UnsafeFPMath mode, and 
visitFSUB to fold 0-B to -B in UnsafeFPMath mode. Also change visitFNEG
to use isNegatibleForFree/GetNegatedExpression instead of doing a subset
of the same thing manually.

This fixes test/CodeGen/X86/negative-sin.ll.

llvm-svn: 37842
 2007-07-02 15:48:56 +00:00
Evan Cheng
a1a06d1763 Only do FNEG xform when the vector type is a floating point type. 
llvm-svn: 37818
 2007-06-29 21:44:35 +00:00
David Greene
75e58e2207 Remove unused variables. 
llvm-svn: 37816
 2007-06-29 21:42:03 +00:00
Evan Cheng
a6add260b3 Fix a vector FP constant CSE bug. 
llvm-svn: 37814
 2007-06-29 21:36:04 +00:00
David Greene
0942edd414 Remove unnecessary attributions in comments. 
llvm-svn: 37799
 2007-06-29 03:42:23 +00:00
David Greene
df6a87ea1c Fix reference to cached end iterator invalidated by an erase operation. 
Uncovered by _GLIBCXX_DEBUG.

llvm-svn: 37795
 2007-06-29 02:49:11 +00:00
David Greene
244fb44f6b Remove the "special tie breaker" because it resulted in inconsistent 
ordering and thus violated the strict weak ordering requirement of
priority_queue.  Uncovered by _GLIBCXX_DEBUG.

llvm-svn: 37794
 2007-06-29 02:48:09 +00:00