RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 11:02:59 +02:00
Code Issues Projects Releases Wiki Activity
40,111 Commits 4 Branches 5 Tags 704 MiB
0025513482
Commit Graph

40111 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Dan Gohman
0025513482 Fix the result type of a VECTOR_SHUFFLE+BIT_CONVERT dagcombine. This 
was turned up by some new SelectionDAG assertion checks that I'm
working on.

llvm-svn: 53687
 2008-07-16 16:13:58 +00:00
Dan Gohman
7e1e10f7d2 Fix the name of BreakCriticalMachineEdge.h's include guard 
llvm-svn: 53686
 2008-07-16 16:04:07 +00:00
Dan Gohman
9f52e3890f Correct a top-level comment. 
llvm-svn: 53685
 2008-07-16 16:03:31 +00:00
Duncan Sands
3448d4087f Add support for promoting and expanding AssertZext 
and AssertSext.  Needed when passing huge integer
parameters with the zeroext or signext attributes.

llvm-svn: 53684
 2008-07-16 16:03:07 +00:00
Dan Gohman
dd8c0b17bf Clarify the comments here, to make slightly more clear the 
difference in purpose of TargetInstrInfo and TargetInstrDesc,
which isn't immediately obvious from the name.

llvm-svn: 53683
 2008-07-16 16:02:59 +00:00
Dan Gohman
2cd7961ade Tidy a doxygen comment. 
llvm-svn: 53682
 2008-07-16 15:59:56 +00:00
Dan Gohman
2638ec5b4c Fix a comment to say nonnegative instead of positive. 
llvm-svn: 53681
 2008-07-16 15:57:10 +00:00
Dan Gohman
bc29205ccc Add an assert to check for empty flags for MachineMemOperand. 
llvm-svn: 53680
 2008-07-16 15:56:42 +00:00
Duncan Sands
a8b538544a Test passing of integer parameters for integers 
of all sizes from i1 to i256.  The code is not
always that great, for example (x86)
        movw    %di, %ax
        movw    %ax, i17_s
where the store could be directly from %di.

llvm-svn: 53677
 2008-07-16 13:37:36 +00:00
Duncan Sands
be15f51092 Test codegen of loads and stores of all integer 
sizes from i1 to i256.  The generated code is
like one huge bug report of things that the DAG
combiner fails to simplify!

llvm-svn: 53676
 2008-07-16 13:10:20 +00:00
Matthijs Kooijman
c05651e3ce Add a few cases to instcombine's extractvalue testcase. 
llvm-svn: 53675
 2008-07-16 12:57:25 +00:00
Matthijs Kooijman
0625e0fda6 Un-XFAIL multdeadretval, since instcombine now properly handles the mess deadargelim leaves behind :-) 
llvm-svn: 53674
 2008-07-16 12:56:52 +00:00
Matthijs Kooijman
ceee0ddd1b Redo InstCombiner::visitExtractValueInst. Instead of using the (complicate) 
FindInsertedValue, it now performs a number of simple transformations that
should result in the same effect when applied iteratively.

llvm-svn: 53673
 2008-07-16 12:55:45 +00:00
Duncan Sands
b753d27377 Reorder methods alphabetically. No functionality change. 
While this is not a wonderful organizing principle, it
does make it easy to find routines, and clear where to
insert new ones.

llvm-svn: 53672
 2008-07-16 11:41:33 +00:00
Duncan Sands
b2e1ddbd0b Turn on LegalizeTypes by default. 
llvm-svn: 53671
 2008-07-16 11:36:51 +00:00
Matthijs Kooijman
96d9bcbdf6 Don't use ++idx_begin when I actually mean idx_begin + 1, especially since we 
also use *idx_begin in the same expression, giving unpredictable results.

This fixes this bug: http://lists.cs.uiuc.edu/pipermail/llvmdev/2008-July/015877.html

llvm-svn: 53670
 2008-07-16 10:47:35 +00:00
Duncan Sands
35d3e774ed The atomic.cmp.swap promotion logic is wrong: it 
simply does the atomic.cmp.swap on the larger type,
which means it blows away whatever is sitting in
the bytes just after the memory location, i.e.
causes a buffer overflow.  This really requires
target specific code, which is why LegalizeTypes
doesn't try to handle this case generically.  The
existing (wrong) code in LegalizeDAG will go away
automatically once the type legalization code is
removed from LegalizeDAG so I'm leaving it there
for the moment.  Meanwhile, don't test for this
feature.

llvm-svn: 53669
 2008-07-16 08:09:48 +00:00
Evan Cheng
7218339189 Fix PR2296. Do not transform x86_sse2_storel_dq into a full-width store. 
llvm-svn: 53666
 2008-07-16 07:28:14 +00:00
Evan Cheng
face16f9d8 x86-64 PIC JIT fixes: do not generate the extra load for external GV's. 
llvm-svn: 53661
 2008-07-16 01:34:02 +00:00
Evan Cheng
cabfd3f78c X86-64 PIC jump table values are different from x86-32 cases, they are dest - table base. 
llvm-svn: 53660
 2008-07-16 01:33:08 +00:00
Dan Gohman
8cf62e122f TargetAsmInfo::SectionForGlobal showed up in a profile. Simplify it a little. 
llvm-svn: 53639
 2008-07-15 18:37:51 +00:00
Dan Gohman
c4400b8618 SelectionDAG::AssignNodeIds is unused. 
llvm-svn: 53636
 2008-07-15 18:29:32 +00:00
Dan Gohman
c9b72806d7 Don't sort SDNodes by their addresses in SelectionDAG::dump. Instead, 
just use the AllNodes order, which is at least relatively stable
across runs.

llvm-svn: 53632
 2008-07-15 18:18:54 +00:00
Owen Anderson
e12f7904ff Revert this, as it seems to still be broken. 
llvm-svn: 53627
 2008-07-15 17:59:02 +00:00
Owen Anderson
73bdb28e89 Enable local PRE by default. 
llvm-svn: 53616
 2008-07-15 16:28:23 +00:00
Owen Anderson
f1b3898e7f Have GVN do a pre-pass over the CFG that folds away unconditional branches where possible. This allows local PRE to be more aggressive. 
llvm-svn: 53615
 2008-07-15 16:28:06 +00:00
Matthijs Kooijman
45140a0497 XFAIL the multdeadretval test for now, I will be fixing instcombine to make it work again tomorrow. 
llvm-svn: 53614
 2008-07-15 16:05:09 +00:00
Duncan Sands
7ca2df2319 LegalizeTypes support for fabs on ppc long double. 
llvm-svn: 53613
 2008-07-15 15:02:44 +00:00
Matthijs Kooijman
48fd953b49 Remove a few tests which no longer hold for deadargelim (since it is now 
allowed to canonicalize return values).

Add a test that checks if return value and function attributes are not removed.

llvm-svn: 53612
 2008-07-15 14:57:01 +00:00
Matthijs Kooijman
21162f1db9 Add a testcase for the canonicalizations now performed by deadargelim. 
llvm-svn: 53611
 2008-07-15 14:42:58 +00:00
Matthijs Kooijman
f9532fe71b Allow deadargelim to change return types even though now values were dead. This 
again canonicalizes {i32} into i32 and {} into void.

llvm-svn: 53610
 2008-07-15 14:42:31 +00:00
Matthijs Kooijman
18c6979fed Revert r53606. It turns out that explicitely tracking the liveness of the 
return value as a whole in deadargelim is really not needed now that we simply
rebuild the old return value and actually prevents some canonicalization from
taking place.

This revert stops deadargelim from changing {i32} into i32 for now, but I'll
fix that next.

llvm-svn: 53609
 2008-07-15 14:39:36 +00:00
Matthijs Kooijman
f940585c1c Make deadargelim a bit less smart, so it doesn't choke on nested structs as 
return values that are still (partially) live. Instead of updating all uses of
a call instruction after removing some elements, it now just rebuilds the
original struct (With undef gaps where the unused values were) and leaves it to
instcombine to clean this up.

The added testcase still fails currently, but this is due to instcombine which
isn't good enough yet. I will fix that part next.

llvm-svn: 53608
 2008-07-15 14:03:10 +00:00
Matthijs Kooijman
50a2233b45 Don't use isa when we can reuse a previous dyn_cast. 
llvm-svn: 53607
 2008-07-15 13:39:08 +00:00
Matthijs Kooijman
4b75601340 Make DeadArgElim keep liveness of the return value as a whole in addition to 
only the liveness of partial return values (for functions returning a struct).
This is more explicit to prevent unwanted changes in the return value. 

In particular, deadargelim now canonicalizes a function returning {i32} to
returning i32 and {} to void, if the struct returned is not used in its
entirety, but only the single element is used.

llvm-svn: 53606
 2008-07-15 13:36:06 +00:00
Matthijs Kooijman
02ffbaf305 Fix typo. 
llvm-svn: 53605
 2008-07-15 13:15:10 +00:00
Duncan Sands
58eb5e35da LegalizeTypes support for promotion of bswap. 
In LegalizeDAG the value is zero-extended to
the new type before byte swapping.  It doesn't
matter how the extension is done since the new
bits are shifted off anyway after the swap, so
extend by any old rubbish bits.  This results
in the final assembler for the testcase being
one line shorter.

llvm-svn: 53604
 2008-07-15 10:18:22 +00:00
Duncan Sands
710be60c23 LegalizeTypes support for promotion of SIGN_EXTEND_INREG. 
llvm-svn: 53603
 2008-07-15 10:14:24 +00:00
Duncan Sands
d2097e5b92 Reorder the integer promotion methods alphabetically. 
No change in functionality.

llvm-svn: 53602
 2008-07-15 10:12:34 +00:00
Matthijs Kooijman
86a46174fe Let DAE keep a list of live functions, instead of simply marking all arguments 
and return values live for those functions. This doesn't change anything yet,
but prepares for the coming commits.

llvm-svn: 53601
 2008-07-15 09:11:16 +00:00
Matthijs Kooijman
caa3ed0c99 Split DAE::MarkLive into MarkLive and PropagateLiveness. 
llvm-svn: 53600
 2008-07-15 09:00:17 +00:00
Matthijs Kooijman
31b7208f7d Pass around const RetOrArg references instead of copying values. Also, mark 
RetOrArg::getDescription() as const.

llvm-svn: 53599
 2008-07-15 08:56:49 +00:00
Matthijs Kooijman
937016427b Simplify debug code by using RetOrArg::getDescription(). 
llvm-svn: 53598
 2008-07-15 08:53:36 +00:00
Matthijs Kooijman
c9c8644910 Fix indentation (intentionally left out of the previous commit). 
llvm-svn: 53592
 2008-07-15 08:47:32 +00:00
Matthijs Kooijman
52acc10fdc Move the deadargelim code for intrinsically alive functions into its own 
method, to slightly simplify control flow.

llvm-svn: 53591
 2008-07-15 08:45:12 +00:00
Mon P Wang
834c054b1d Fixed potential bug if the source and target of a bit convert have different alignment 
llvm-svn: 53590
 2008-07-15 05:28:34 +00:00
Nick Lewycky
0d582485f9 Correct this inversion! 
I swear that didn't show up in svn diff...

llvm-svn: 53587
 2008-07-15 03:47:44 +00:00
Nick Lewycky
ac8e34e574 Fix up comments. 
llvm-svn: 53586
 2008-07-15 03:40:27 +00:00
Bruno Cardoso Lopes
0c154df07f Fixed call stack alignment. Improved AsmPrinter alignment issues. 
llvm-svn: 53585
 2008-07-15 02:03:36 +00:00
Devang Patel
da53eaaea8 LinkOnce definitions have default scope, like weak definitions. Otherwise, the linker may not be able to match LinkOnce definition from one module with an exteranl reference from other module. 
llvm-svn: 53580
 2008-07-15 00:00:11 +00:00