RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-12-28 22:43:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
53,865 Commits 4 Branches 5 Tags 634 MiB
1543f2c26f
Commit Graph

8493 Commits

Author SHA1 Message Date
Edward O'Callaghan
e9e8913261 Convert a few tests to FileCheck for PR5307. 
llvm-svn: 85171
 2009-10-26 22:52:03 +00:00
Dan Gohman
795e3db7ce Code that checks WillNotOverflowSignedAdd before creating an Add 
can safely use the NSW bit on the Add.

llvm-svn: 85164
 2009-10-26 22:14:22 +00:00
Dan Gohman
c8468855a7 Teach BasicAA how to analyze Select instructions, and make it more 
aggressive on PHI instructions.

llvm-svn: 85158
 2009-10-26 21:55:43 +00:00
David Goodwin
f6199e95b0 Break anti-dependence breaking out into its own class. 
llvm-svn: 85127
 2009-10-26 16:59:04 +00:00
Chris Lattner
7f9ddaf7e3 reapply r85085 with a bugfix to avoid infinite looping. 
All of the 'demorgan' related xforms need to use 
dyn_castNotVal, not m_Not.

llvm-svn: 85119
 2009-10-26 15:40:07 +00:00
Dan Gohman
3d0c010ee4 Make LSR's OptimizeShadowIV ignore induction variables with negative 
strides for now, because it doesn't handle them correctly. This fixes a
miscompile of SingleSource/Benchmarks/Misc-C++/ray.

This problem was usually hidden because indvars transforms such induction
variables into negations of canonical induction variables.

llvm-svn: 85118
 2009-10-26 15:32:57 +00:00
Evan Cheng
4443642def - Revert some changes from 85044, 85045, and 85047 that broke x86_64 tests and 
bootstrapping. It's not safe to leave identity subreg_to_reg and insert_subreg
  around.
- Relax register scavenging to allow use of partially "not-live" registers. It's
  common for targets to operate on registers where the top bits are undef. e.g.
  s0 =
  d0 = insert_subreg d0<undef>, s0, 1
  ...
     = d0
  When the insert_subreg is eliminated by the coalescer, the scavenger used to
  complain. The previous fix was to keep to insert_subreg around. But that's
  brittle and it's overly conservative when we want to use the scavenger to 
  allocate registers. It's actually legal and desirable for other instructions
  to use the "undef" part of d0. e.g.
  s0 =
  d0 = insert_subreg d0<undef>, s0, 1
  ...
  s1 =
     = s1
     = d0
  We probably need add a "partial-undef" marker on machine operand so the
  machine verifier would not complain.

llvm-svn: 85091
 2009-10-26 04:56:07 +00:00
Evan Cheng
7dad155ec7 Revert 85085. It causes infinite looping during llvm-gcc build. 
llvm-svn: 85090
 2009-10-26 03:51:32 +00:00
Edward O'Callaghan
43d45b084e Fix gmake check for AuroraUX triple. 
llvm-svn: 85088
 2009-10-26 02:37:56 +00:00
Chris Lattner
192549ef70 Implement PR3266 & PR5276, folding: 
not (or (icmp, icmp)) -> and(icmp, icmp)

llvm-svn: 85085
 2009-10-26 01:06:31 +00:00
Chris Lattner
c88c01adb6 convert or.ll to filecheck and merge or2 into it. 
llvm-svn: 85083
 2009-10-25 23:47:55 +00:00
Chris Lattner
e3508acbef fix PR5295 where the .ll parser didn't reject a function after a global 
or global after a function with conflicting names.  Update some testcases
that were accidentally depending on this behavior.

llvm-svn: 85081
 2009-10-25 23:22:50 +00:00
Evan Cheng
a308ae55a5 Add a couple of ARM cross-rc coalescing tests. 
llvm-svn: 85051
 2009-10-25 08:01:41 +00:00
Evan Cheng
1c169777ca Update tests. 
llvm-svn: 85050
 2009-10-25 07:53:48 +00:00
Mikhail Glushenkov
98921da4dd Add a test for OptionPreprocessor. 
llvm-svn: 85029
 2009-10-25 01:43:50 +00:00
Dan Gohman
06621f065a Update these tests to match what Loop::print now prints. 
llvm-svn: 85021
 2009-10-24 23:52:07 +00:00
Dan Gohman
6e2d1c608b Make these tests more interesting by using 
-verify-dom-info and -verify-loop-info, which enable additional
(expensive) consistency checks.

llvm-svn: 85017
 2009-10-24 23:23:04 +00:00
Daniel Dunbar
d98eb10494 Teach macho-dump to dump UUIDs. 
llvm-svn: 85012
 2009-10-24 20:32:36 +00:00
Chris Lattner
9a1f5c9f90 fix PR5287, a serious regression from my previous patches. Thanks to 
Duncan for the nice tiny testcase.

llvm-svn: 84992
 2009-10-24 05:22:15 +00:00
Victor Hernandez
e8998896f5 Auto-upgrade free instructions to calls to the builtin free function. 
Update all analysis passes and transforms to treat free calls just like FreeInst.
Remove RaiseAllocations and all its tests since FreeInst no longer needs to be raised.

llvm-svn: 84987
 2009-10-24 04:23:03 +00:00
Dan Gohman
b15fee5666 APInt-ify the gep scaling code, so that it correctly handles the case where 
the scale overflows pointer-sized arithmetic. This fixes PR5281.

llvm-svn: 84954
 2009-10-23 17:57:43 +00:00
Dan Gohman
ad2555c9a3 Make LoopDeletion check the maximum backedge taken count, rather than the 
exact backedge taken count, when checking for infinite loops. This allows
it to delete loops with multiple exit conditions.

llvm-svn: 84952
 2009-10-23 17:10:01 +00:00
Chris Lattner
4874f5bce5 teach libanalysis to simplify vector loads with bitcast sources. This 
implements something out of Target/README.txt producing:

_foo:                                                       ## @foo
	movl	4(%esp), %eax
	movapd	LCPI1_0, %xmm0
	movapd	%xmm0, (%eax)
	ret	$4

instead of:

_foo:                                                       ## @foo
	movl	4(%esp), %eax
	movapd	_b, %xmm0
	mulpd	LCPI1_0, %xmm0
	addpd	_a, %xmm0
	movapd	%xmm0, (%eax)
	ret	$4

llvm-svn: 84942
 2009-10-23 06:57:37 +00:00
Chris Lattner
2ee1f0f0b5 enhance FoldReinterpretLoadFromConstPtr to handle loads of up to 32 
bytes (i256).

llvm-svn: 84941
 2009-10-23 06:50:36 +00:00
Chris Lattner
b1d2706a4c teach libanalysis to fold int and fp loads from almost arbitrary 
non-type-safe constant initializers.  This sort of thing happens
quite a bit for 4-byte loads out of string constants, unions, 
bitfields, and an interesting endianness check from sqlite, which
is something like this:

const int sqlite3one = 1;
# define SQLITE_BIGENDIAN    (*(char *)(&sqlite3one)==0)
# define SQLITE_LITTLEENDIAN (*(char *)(&sqlite3one)==1)
# define SQLITE_UTF16NATIVE (SQLITE_BIGENDIAN?SQLITE_UTF16BE:SQLITE_UTF16LE)

all of these macros now constant fold away.

This implements PR3152 and is based on a patch started by Eli, but heavily
modified and extended.

llvm-svn: 84936
 2009-10-23 06:23:49 +00:00
Evan Cheng
aa03d9926d Update tests for 84931. 
llvm-svn: 84932
 2009-10-23 05:58:34 +00:00
Bill Wendling
7d48a41864 This is passing on Darwin PPC. 
llvm-svn: 84921
 2009-10-23 01:37:01 +00:00
David Goodwin
82c1dd9754 Allow the target to select the level of anti-dependence breaking that should be performed by the post-RA scheduler. The default is none. 
llvm-svn: 84911
 2009-10-22 23:19:17 +00:00
Bob Wilson
8f4f73da55 Revert 84843. Evan, this was breaking some of the if-conversion tests. 
llvm-svn: 84868
 2009-10-22 16:52:21 +00:00
Duncan Sands
15030fc8e7 Check that accessing a struct field that occurs before the start 
of the struct (!) works correctly.

llvm-svn: 84853
 2009-10-22 12:53:25 +00:00
Duncan Sands
7672e59eb8 Test handling of record fields with negative offsets. 
llvm-svn: 84851
 2009-10-22 10:02:10 +00:00
Evan Cheng
2edd1efa46 Move if-conversion before post-regalloc scheduling so the predicated instruction get scheduled properly. 
llvm-svn: 84843
 2009-10-22 06:48:32 +00:00
Chris Lattner
ff24a8cd93 testcase for PR4678 & rdar://7309675 
llvm-svn: 84830
 2009-10-22 04:47:09 +00:00
Evan Cheng
8fdd1661fa Don't generate sbfx / ubfx with negative lsb field. Patch by David Conrad. 
llvm-svn: 84813
 2009-10-22 00:40:00 +00:00
Chris Lattner
7c507ae857 fix PR5262. 
llvm-svn: 84810
 2009-10-22 00:17:26 +00:00
Anton Korobeynikov
bbc637e96d Use special DAG-to-DAG preprocessing to allow mem-mem instructions to be selected. 
Yay for ASCII graphics!

llvm-svn: 84808
 2009-10-22 00:16:00 +00:00
Dan Gohman
2d8e5654a8 Revert the main portion of r31856. It was causing BranchFolding 
to break up CFG diamonds by banishing one of the blocks to the end of
the function, which is bad for code density and branch size.

This does pessimize MultiSource/Benchmarks/Ptrdist/yacr2, the
benchmark cited as the reason for the change, however I've examined
the code and it looks more like a case of gaming a particular
branch than of being generally applicable.

llvm-svn: 84803
 2009-10-22 00:03:58 +00:00
Chris Lattner
bf5a89d82b revert r84754, it isn't the right approach. Edwin, please propose 
patches for fixes like this instead of committing them directly.

llvm-svn: 84799
 2009-10-21 23:41:58 +00:00
Dale Johannesen
59fd73831e Adjust testcases for msasm -> alignstack. 
llvm-svn: 84796
 2009-10-21 23:29:12 +00:00
Bill Wendling
c1f8119933 XFAIL this test for PPC. 
llvm-svn: 84782
 2009-10-21 21:09:48 +00:00
Jim Grosbach
452de96b04 Improve handling of immediates by splitting 32-bit immediates into two 16-bit 
immediate operands when they will fit into the using instruction.

llvm-svn: 84778
 2009-10-21 20:44:34 +00:00
Anton Korobeynikov
23ea13afbb Add DAG printing for RMW stuff debugging 
llvm-svn: 84776
 2009-10-21 19:18:28 +00:00
Anton Korobeynikov
d233af8049 RMW preprocessing stuff was incorrect. Grab the stuff from x86 backend and disable some tests until it will be clever enough to handle them. 
llvm-svn: 84775
 2009-10-21 19:17:55 +00:00
Victor Hernandez
0996619220 Make changes to rev 84292 as requested by Chris Lattner. 
Most changes are cleanup, but there is 1 correctness fix:
I fixed InstCombine so that the icmp is removed only if the malloc call is removed (which requires explicit removal because the Worklist won't DCE any calls since they can have side-effects).

llvm-svn: 84772
 2009-10-21 19:11:40 +00:00
Torok Edwin
a8a12b7d98 Fix PR5262: when folding select into PHI, make sure all operands are available 
in the PHI's Basic Block. This uses a conservative approach, because we don't
have dominator info in instcombine.

llvm-svn: 84754
 2009-10-21 10:49:00 +00:00
Evan Cheng
275a09e55d Match more patterns to movt. 
llvm-svn: 84751
 2009-10-21 08:15:52 +00:00
Dan Gohman
c74da745a7 Revert r84658 and r84691. They were causing llvm-gcc bootstrap to fail. 
llvm-svn: 84727
 2009-10-21 01:44:44 +00:00
Bill Wendling
5736c06ae3 This is passing on Darwin PPC. 
llvm-svn: 84723
 2009-10-21 00:51:40 +00:00
Anton Korobeynikov
172b91c273 Add reg-imm tests 
llvm-svn: 84705
 2009-10-21 00:11:44 +00:00
Anton Korobeynikov
7b6fe9f251 Fix invalid for vector types fneg(bitconvert(x)) => bitconvert(x ^ sign) 
transform.

llvm-svn: 84683
 2009-10-20 21:37:45 +00:00
Chris Lattner
882034fdaf add a real testcase for PR4313 
llvm-svn: 84676
 2009-10-20 21:04:26 +00:00
Chris Lattner
0737ccf048 add a test similar to that needed for PR4313, but that doesn't 
fail without the patch.

llvm-svn: 84675
 2009-10-20 21:00:47 +00:00
Chris Lattner
ccbe8ab252 the date on this testcase is wrong, it is unreduced, and it passes without the fix for PR4313. 
llvm-svn: 84674
 2009-10-20 20:57:58 +00:00
Chris Lattner
f3be536c0a merge and filecheckize 
llvm-svn: 84672
 2009-10-20 20:39:43 +00:00
Chris Lattner
827cc8fa02 merge two tests and convert to filecheck. 
llvm-svn: 84671
 2009-10-20 20:33:46 +00:00
Chris Lattner
803539f022 alternate fix for PR5258 which avoids worklist problems, with reduced testcase. 
llvm-svn: 84667
 2009-10-20 20:27:49 +00:00
David Goodwin
048b80a70a Checkpoint more aggressive anti-dependency breaking for post-ra scheduler. 
llvm-svn: 84658
 2009-10-20 19:54:44 +00:00
Dan Gohman
e0ace5c4eb Make TranslateX86CC return COND_INVALID instead of aborting when it 
encounters an OEQ or UNE comparison, and update its callers to check
for this return status and recover. This fixes a problem resulting from
the LowerOperation hooks being called from LegalizeVectorOps, because
LegalizeVectorOps only lowers vectors, so OEQ and UNE comparisons may
still be at large. This fixes PR5092.

llvm-svn: 84640
 2009-10-20 16:22:37 +00:00
Torok Edwin
bdcd45a9d6 Fix PR5258, jump-threading creating invalid PHIs. 
When an incoming value for a PHI is updated, we must also updated all other
incoming values for the same BB to match, otherwise we create invalid PHIs.

llvm-svn: 84638
 2009-10-20 15:42:00 +00:00
Torok Edwin
3801e755cc Fix PR4313: IPSCCP was not setting the lattice value for the invoke instruction 
when the invoke had multiple return values: it set the lattice value only on the
extractvalue.
This caused the invoke's lattice value to remain the default (undefined), and
later propagated to extractvalue's operand, which incorrectly introduces
undefined behavior.

llvm-svn: 84637
 2009-10-20 15:15:09 +00:00
Dan Gohman
b1528d73d1 Re-apply r84295, with fixes to how the loop "top" and "bottom" blocks are 
tracked. Instead of trying to manually keep track of these locations
while doing complex modifications, just recompute them when they're needed.
This fixes a bug in which the TopMBB and BotMBB were not correctly updated,
leading to invalid transformations.

llvm-svn: 84598
 2009-10-20 04:50:37 +00:00
Evan Cheng
029a85b791 If the physical register being spilled does not have an interval, spill its sub-registers instead. 
llvm-svn: 84586
 2009-10-20 01:31:09 +00:00
Jim Grosbach
2fb5eb1264 Enable allocation of R3 in Thumb1 
llvm-svn: 84563
 2009-10-19 22:57:03 +00:00
Chris Lattner
b9bbaf7f4d convert to filecheck syntax and make a lot more aggressive. 
llvm-svn: 84517
 2009-10-19 18:27:56 +00:00
Anton Korobeynikov
26ed697cf2 Revert r84295, this unbreaks llvm-gcc bootstrap on x86-64/linux 
llvm-svn: 84516
 2009-10-19 18:21:09 +00:00
Chris Lattner
6fd5bc3ba0 rename test 
llvm-svn: 84515
 2009-10-19 18:18:07 +00:00
Dan Gohman
d2e75c9ae0 Fix SplitBlockPredecessors' LoopInfo updating code to handle the case 
where a loop's header is being split and it has predecessors which are not
contained by the most-nested loop which contains the loop.
This fixes PR5235.

llvm-svn: 84505
 2009-10-19 16:04:50 +00:00
Torok Edwin
e6df0e6397 Fix PR5247, "lock addq" pattern (and other atomics), it DOES modify EFLAGS. 
LLC was scheduling compares before the adds causing wrong branches to be taken
in programs, resulting in misoptimized code wherever atomic adds where used.

llvm-svn: 84485
 2009-10-19 11:00:58 +00:00
Chris Lattner
6174703743 eliminate md_on_instruction.ll, md_on_instruction2.ll is a superset of it. 
llvm-svn: 84464
 2009-10-19 05:34:14 +00:00
Daniel Dunbar
347b151bc2 Teach lit that the .c files in 'test/CodeGen/CellSPU/useful-harnesses' aren't tests. 
llvm-svn: 84460
 2009-10-19 03:53:55 +00:00
Nate Begeman
1308a36647 Add support for matching shuffle patterns with palignr. 
llvm-svn: 84459
 2009-10-19 02:17:23 +00:00
Evan Cheng
eb82c3743a Turn on post-alloc scheduling for x86. 
llvm-svn: 84431
 2009-10-18 19:57:27 +00:00
Chris Lattner
e7c0e7f1a9 remove a now-pointless regtest 
llvm-svn: 84409
 2009-10-18 05:20:17 +00:00
Chris Lattner
878fd28407 remove testcase for dead pass 
llvm-svn: 84406
 2009-10-18 05:03:41 +00:00
Chris Lattner
eebed04912 fix test 
llvm-svn: 84405
 2009-10-18 05:03:00 +00:00
Chris Lattner
8db424f027 tighten up test3, add test3a for the converse 
transform, which isn't happening yet.

llvm-svn: 84402
 2009-10-18 04:55:26 +00:00
Chris Lattner
aff491fab6 tighten test2, add a test that it doesn't get transformed in the invalid edge case. 
llvm-svn: 84401
 2009-10-18 04:50:18 +00:00
Nick Lewycky
671ca16583 Merge tests into modref.ll. Also add a test for r84174 at Chris' behest! 
llvm-svn: 84400
 2009-10-18 04:41:36 +00:00
Nick Lewycky
d21c892821 Add a couple new testcases. 
llvm-svn: 84385
 2009-10-18 00:42:07 +00:00
Chris Lattner
1ed26100a4 replace a useless test with a useful one 
llvm-svn: 84383
 2009-10-17 23:59:51 +00:00
Nick Lewycky
4f6c397742 Fix test/Bindings/Ocaml/vmcore.ml. When IRBuilder::CreateMalloc was removed, 
LLVMBuildMalloc was reimplemented but with the bug that it didn't insert the
resulting instruction.

llvm-svn: 84374
 2009-10-17 23:52:26 +00:00
Chris Lattner
2c890dc2b4 Teach vm core to more aggressively fold 'trunc' constantexprs, 
allowing it to simplify the crazy constantexprs in the testcases
down to something sensible.  This allows -std-compile-opts to
completely "devirtualize" the pointers to member functions in
the testcase from PR5176.

llvm-svn: 84368
 2009-10-17 21:53:27 +00:00
Chris Lattner
ebc645ca40 remove # uses from FileCheck lines. 
llvm-svn: 84367
 2009-10-17 21:51:19 +00:00
Chris Lattner
270ab44108 rename test 
llvm-svn: 84364
 2009-10-17 21:31:19 +00:00
Mikhail Glushenkov
288062930b Disallow multiple instances of PluginPriority. 
Several instances of PluginPriority in a single file most probably signifies a
programming error.

llvm-svn: 84350
 2009-10-17 20:08:30 +00:00
Chris Lattner
7f32b72975 Simplify some code (first hunk) and fix PR5208 (second hunk) by 
updating the callgraph when introducing a call.

llvm-svn: 84310
 2009-10-17 05:39:39 +00:00
Daniel Dunbar
7f9b7bc8ff Reclaim a lost month. 
llvm-svn: 84303
 2009-10-17 03:28:20 +00:00
Dan Gohman
f5225573b7 Enhance CodePlacementOpt's unconditional intra-loop branch elimination logic 
to be more general and understand more varieties of loops.

Teach CodePlacementOpt to reorganize the basic blocks of a loop so that
they are contiguous. This also includes a fair amount of logic for preserving
fall-through edges while doing so. This fixes a BranchFolding-ism where blocks
which can't be made to use a fall-through edge and don't conveniently fit
anywhere nearby get tossed out to the end of the function.

llvm-svn: 84295
 2009-10-17 00:32:43 +00:00
Victor Hernandez
4d7283f82c Autoupgrade malloc insts to malloc calls. 
Update testcases that rely on malloc insts being present.

Also prematurely remove MallocInst handling from IndMemRemoval and RaiseAllocations to help pass tests in this incremental step.

llvm-svn: 84292
 2009-10-17 00:00:19 +00:00
Victor Hernandez
00adf339dd HeapAllocSRoA also needs to check if malloc array size can be computed. 
llvm-svn: 84288
 2009-10-16 23:12:25 +00:00
Mon P Wang
72d9f1ecfe Update tests to use FileCheck 
llvm-svn: 84282
 2009-10-16 22:09:05 +00:00
Mon P Wang
7d294603e7 Add test case for r84279 
llvm-svn: 84280
 2009-10-16 22:07:19 +00:00
Dan Gohman
ef1f246d88 Move zext and sext casts fed by loads into the same block as the 
load, to help SelectionDAG fold them into the loads, unless
conditions are unfavorable.

llvm-svn: 84271
 2009-10-16 20:59:35 +00:00
Devang Patel
a4ac3dd8bc Parse PHI instruction with attached metadata. 
llvm-svn: 84264
 2009-10-16 18:45:49 +00:00
Devang Patel
5920acc861 If there is not any llvm instruction associated with each lexical scope encoded in debug info then create such scope on demand for variable info. 
llvm-svn: 84262
 2009-10-16 18:18:03 +00:00
Victor Hernandez
0122f679a8 Invert isSafeToGetMallocArraySize check because we return NULL when we don't know the size. 
Thanks to Duncan Sands for noticing this bug.

llvm-svn: 84260
 2009-10-16 18:07:17 +00:00
Daniel Dunbar
9483297711 Force triple in tests. 
llvm-svn: 84257
 2009-10-16 16:30:02 +00:00
Duncan Sands
71fecaa52c Check that GVN performs this transform even if the calls 
themselves are not marked readonly, but only the called
functions.

llvm-svn: 84253
 2009-10-16 12:18:23 +00:00
Evan Cheng
b1580b5c48 Enable post-alloc scheduling for all ARM variants except for Thumb1. 
llvm-svn: 84249
 2009-10-16 06:11:08 +00:00
Daniel Dunbar
af3162e523 MC: Tweak variable assignment diagnostics, and make reassignment of non-absolute 
variables and symbols invalid.

llvm-svn: 84232
 2009-10-16 01:57:39 +00:00
Daniel Dunbar
a4df6e46a4 MC: When parsing a variable reference, substitute absolute variables immediately 
since they are allowed to be redefined.

llvm-svn: 84230
 2009-10-16 01:34:54 +00:00
Sandeep Patel
c0762ba283 Branches must be the last instruction in a Thumb2 IT block. Approved by Evan Cheng. 
llvm-svn: 84212
 2009-10-15 22:25:32 +00:00
Sanjiv Gupta
d279da3360 Re-apply 84180 with the fixed test case. 
llvm-svn: 84195
 2009-10-15 19:26:25 +00:00
Jakob Stoklund Olesen
311774b780 Move Blackfin intrinsics into the Target/Blackfin directory. 
llvm-svn: 84194
 2009-10-15 18:50:52 +00:00
Dan Gohman
27c126770a Make CodePlacementOpt align loops, rather than loop headers. The 
header is just the entry block to the loop, and it needn't be at
the top of the loop in the code layout.

Remove the code that suppressed loop alignment for outer loops,
so that outer loops are aligned.

llvm-svn: 84158
 2009-10-15 00:36:22 +00:00
Evan Cheng
f46b194f84 When LiveVariables is adding implicit-def to model "partial dead", add the earlyclobber marker if the superreg def has it. 
llvm-svn: 84153
 2009-10-14 23:39:27 +00:00
Nick Lewycky
0498027dec Make use of the result of the loads even though that means adding -instcombine. 
llvm-svn: 84125
 2009-10-14 19:02:13 +00:00
Chris Lattner
a1f5264dd2 make instcombine's instruction sinking more aggressive in the 
presence of PHI nodes.

llvm-svn: 84103
 2009-10-14 15:21:58 +00:00
Evan Cheng
907fd9c3fb Another BasicAA fix. If a value does not alias a GEP's base pointer, then it 
cannot alias the GEP. GEP pointer alias rule states this clearly:
A pointer value formed from a getelementptr instruction is associated with the
addresses associated with the first operand of the getelementptr.

llvm-svn: 84079
 2009-10-14 06:41:49 +00:00
Evan Cheng
b193d9df99 Replace test with a simpler hand crafted one. 
llvm-svn: 84069
 2009-10-14 01:45:10 +00:00
Dale Johannesen
fd02008e2b Use llvmgxx for C++ test. 
llvm-svn: 84066
 2009-10-14 00:34:56 +00:00
Dan Gohman
1d10570630 Fix this test to account for a movl $0 being emitted as an xor now, 
and convert it to FileCheck.

llvm-svn: 84065
 2009-10-14 00:28:48 +00:00
Dale Johannesen
5017c333d0 Testcases for msasm bit (llvm-gcc 84062). 
llvm-svn: 84063
 2009-10-14 00:10:54 +00:00
Evan Cheng
3130aba687 Teach basic AA about PHI nodes. If all operands of a phi NoAlias another value than it's safe to declare the PHI NoAlias the value. Ditto for MustAlias. 
llvm-svn: 84038
 2009-10-13 22:02:20 +00:00
Devang Patel
4eb6a32cf6 Optimizer may remove debug info. This test checks debug info for include headers. 
llvm-svn: 84025
 2009-10-13 20:56:38 +00:00
Bob Wilson
d66a3fd73b Revise ARM inline assembly memory operands to require the memory address to 
be in a register.  The previous use of ARM address mode 2 was completely
arbitrary and inappropriate for Thumb.  Radar 7137468.

llvm-svn: 84022
 2009-10-13 20:50:28 +00:00
Dale Johannesen
7db511a23e Add an "msasm" flag to inline asm as suggested in PR 5125. 
A little ugliness is accepted to keep the binary file format
compatible.  No functional change yet.

llvm-svn: 84020
 2009-10-13 20:46:56 +00:00
Devang Patel
754bb7a010 These tests now pass. 
llvm-svn: 84019
 2009-10-13 20:45:18 +00:00
Sandeep Patel
1584038783 Add ARMv6T2 SBFX/UBFX instructions. Approved by Anton Korobeynikov. 
llvm-svn: 84009
 2009-10-13 18:59:48 +00:00
Chris Lattner
26c670aa44 change simplifycfg to not duplicate 'unwind' instructions. Hopefully 
this will increase the likelihood of common code getting sunk towards
the unwind.

llvm-svn: 83996
 2009-10-13 18:13:05 +00:00
Chris Lattner
f5049b6bb8 convert to filecheck 
llvm-svn: 83995
 2009-10-13 18:10:05 +00:00
Chris Lattner
8ddeaf680a rename test 
llvm-svn: 83994
 2009-10-13 18:08:21 +00:00
Chris Lattner
a433d8cb67 don't use dead loads as tests. 
llvm-svn: 83985
 2009-10-13 17:39:29 +00:00
Devang Patel
ec60828bb0 Disable this test for now. 
llvm-svn: 83975
 2009-10-13 16:32:09 +00:00
Nick Lewycky
72f185f281 Teach BasicAA a little something about the atomic intrinsics: they can only 
modify through the pointer they're given.

llvm-svn: 83959
 2009-10-13 07:48:38 +00:00
Nick Lewycky
ab1dbddc83 Add new "memory use marker" intrinsics. These indicate lifetimes and invariant 
sections of memory objects.

llvm-svn: 83953
 2009-10-13 07:03:23 +00:00
Chris Lattner
343c7698c5 remove notcast, it is now dead! 
llvm-svn: 83938
 2009-10-13 04:27:02 +00:00
Chris Lattner
5819af7c9c remove two old and nearly useless tests. 
llvm-svn: 83937
 2009-10-13 04:25:24 +00:00
Devang Patel
16c9f14b32 XFAIL these tests for now. 
llvm-svn: 83933
 2009-10-13 01:51:29 +00:00
Victor Hernandez
21280bc3af Memory dependence analysis was incorrectly stopping to scan for stores to a pointer at bitcast uses of a malloc call. 
It should continue scanning until the malloc call, and this patch fixes that.

llvm-svn: 83931
 2009-10-13 01:42:53 +00:00
Chris Lattner
6b0f2ed2a2 allow this testcase to pass with recent changes. The test hasn't been 
producing any stores at all for a long time, but ".store." was in some
IR instruction names until recently.  This removal caused the test to
start failing.  Just make it reject any stores.

llvm-svn: 83895
 2009-10-12 20:42:35 +00:00
Dan Gohman
b5a0207b98 Don't forget to mark RAX as live-out of the function when arranging for 
it to hold the address of an sret return value, for x86-64 ABI purposes.

Also, fix the test that was originally intended to test this to actually
test it, using FileCheck.

llvm-svn: 83853
 2009-10-12 16:36:12 +00:00
Benjamin Kramer
34c117d8b7 Eliminate some redundant llvm-as calls. 
llvm-svn: 83837
 2009-10-12 09:31:55 +00:00
Edward O'Callaghan
da365e84bc Missing CHECK: lines makes test exit abnormally. 
llvm-svn: 83835
 2009-10-12 09:01:26 +00:00
Edward O'Callaghan
9393833f23 FileCheck not CheckFile, oops. 
llvm-svn: 83834
 2009-10-12 08:51:28 +00:00
Edward O'Callaghan
13bf3f7804 Convert InstCombine/call.ll to CheckFile. 
llvm-svn: 83833
 2009-10-12 08:46:47 +00:00
Edward O'Callaghan
4d633eaaae Convert the rest of the InstCombine tests from notcast to FileCheck. 
llvm-svn: 83828
 2009-10-12 07:18:14 +00:00
Nick Lewycky
3a206901cb Remove this part of the test, it never actually tested anything anyways. This 
unbreaks make check after evocallaghan's changes.

llvm-svn: 83827
 2009-10-12 06:32:42 +00:00
Edward O'Callaghan
0cc7f5e34a Fix syntax error missed in converting zext.ll test. Convert 2003-11-13-ConstExprCastCall.ll to FileCheck from notcast. 
llvm-svn: 83826
 2009-10-12 06:23:56 +00:00
Edward O'Callaghan
843b0c8830 Convert InstCombine tests from notcast to FileCheck. 
llvm-svn: 83825
 2009-10-12 06:14:06 +00:00
Anton Korobeynikov
deadc3ed2d Add missed mem-mem move patterns 
llvm-svn: 83812
 2009-10-11 23:03:53 +00:00
Anton Korobeynikov
986885b62e Add MSP430 mem-mem insts support. Patch by Brian Lucas with some my refinements 
llvm-svn: 83811
 2009-10-11 23:03:28 +00:00
Anton Korobeynikov
fb18fbf80d Add bunch of MSP430 'feature' tests. Patch by Brian Lucas with some my refinements 
llvm-svn: 83809
 2009-10-11 23:02:38 +00:00
Chris Lattner
cb56deb798 reduce vec_shuffle2 and merge into vec_shuffle. 
llvm-svn: 83807
 2009-10-11 22:54:48 +00:00
Chris Lattner
33bff4602c filecheckize vec_shuffle.ll and merge shuffle.ll into it. 
llvm-svn: 83806
 2009-10-11 22:52:15 +00:00
Chris Lattner
b044bc079a filecheckize 
llvm-svn: 83805
 2009-10-11 22:45:17 +00:00
Chris Lattner
68ac2f7b2c rename test 
llvm-svn: 83804
 2009-10-11 22:44:16 +00:00
Chris Lattner
fa84cccd57 remove old testcase 
llvm-svn: 83803
 2009-10-11 22:42:06 +00:00
Chris Lattner
65bef57da8 merge test into shift.ll, this also eliminates awful grepping on -stats output 
llvm-svn: 83802
 2009-10-11 22:39:58 +00:00
Chris Lattner
bc0f470f07 convert to filecheck. 
llvm-svn: 83801
 2009-10-11 22:36:59 +00:00
Chris Lattner
b033a0ac47 teach instcombine to simplify xor's harder, catching the 
new testcase.

llvm-svn: 83799
 2009-10-11 22:22:13 +00:00
Chris Lattner
c8e0cdb676 convert xor2 to filecheck, merge in a random regtest 
llvm-svn: 83796
 2009-10-11 21:42:08 +00:00
Chris Lattner
100f3ac565 generalize a transformation even more: we don't care whether the 
input the the mul is a zext from bool, just that it is all zeros
other than the low bit.  This fixes some phase ordering issues
that would cause us to miss some xforms in mul.ll when the worklist
is visited differently.

llvm-svn: 83794
 2009-10-11 21:29:45 +00:00
Chris Lattner
40d1618562 simplify a transformation by making it more general. 
llvm-svn: 83792
 2009-10-11 21:22:21 +00:00
Torok Edwin
ed37f33b81 LICM shouldn't sink/delete debug information. Fix this and add a testcase. 
For now the metadata of sinked/hoisted instructions is still wrong, but that'll
be fixed when instructions will have debug metadata directly attached.

llvm-svn: 83786
 2009-10-11 19:15:54 +00:00
Anton Korobeynikov
329def1675 Implement 'm' memory operand properly 
llvm-svn: 83785
 2009-10-11 19:14:21 +00:00
Chris Lattner
8ae883b5f0 when folding duplicate conditions, delete the 
now-probably-dead instruction tree feeding it.

llvm-svn: 83778
 2009-10-11 18:39:58 +00:00
Chris Lattner
601cc4c588 implement rdar://7293527, a trivial instcombine that llvm-gcc 
gets but clang doesn't, because it is implemented in GCC's
fold routine.

llvm-svn: 83761
 2009-10-11 07:53:15 +00:00
Chris Lattner
1832a32b78 implement a transformation in jump threading that is currently 
done by condprop, but do it in a much more general form.  The
basic idea is that we can do a limited form of tail duplication
in the case when we have a branch on a phi.  Moving the branch
up in to the predecessor block makes instruction selection
much easier and encourages chained jump threadings.

llvm-svn: 83759
 2009-10-11 07:24:57 +00:00
Chris Lattner
9a90dc5b0c another testcase jump threading shouldn't crash on. 
llvm-svn: 83758
 2009-10-11 07:11:11 +00:00
Chris Lattner
90aeacd46f rename a file, remove a poorly reduced testcase. 
llvm-svn: 83757
 2009-10-11 07:10:28 +00:00
Chris Lattner
525c0272aa make jump threading on a phi with undef inputs happen. 
llvm-svn: 83754
 2009-10-11 04:18:15 +00:00
Chris Lattner
dedd4ca17b merge two tests. 
llvm-svn: 83751
 2009-10-11 03:55:30 +00:00
Chris Lattner
3acb62d9ea simplify some run lines, convert a test to filecheck. 
llvm-svn: 83750
 2009-10-11 03:54:21 +00:00
Chris Lattner
37ff3c0ed1 switch GVN to use SSAUpdater. Besides removing a lot of complexity 
from GVN, this also speeds it up, inserts fewer PHI nodes (see the
testcase) and allows it to remove more loads (due to fewer PHI nodes
standing in the way).

llvm-svn: 83746
 2009-10-10 23:50:30 +00:00
Anton Korobeynikov
1f9ff55cbc It seems that OR operation does not affect status reg at all. 
Remove impdef of SRW. This fixes PR4779

llvm-svn: 83739
 2009-10-10 22:17:47 +00:00
Dan Gohman
b535009219 Update this test; the code is the same but it gets counted as one 
fewer remat.

llvm-svn: 83690
 2009-10-09 23:31:04 +00:00
Dan Gohman
f2ae9c6220 Fix the x86 test-shrink optimization so that it doesn't shrink comparisons 
when one of the bits being tested would end up being the sign bit in the
narrower type, and a signed comparison is being performed, since this would
change the result of the signed comparison. This fixes PR5132.

llvm-svn: 83670
 2009-10-09 20:35:19 +00:00
Bob Wilson
011e458c11 Merge a bunch of NEON tests into larger files so they run faster. 
llvm-svn: 83667
 2009-10-09 20:20:54 +00:00
Bob Wilson
de71518edb Convert some ARM tests with lots of greps to use FileCheck. 
llvm-svn: 83651
 2009-10-09 17:20:46 +00:00
Evan Cheng
439044f330 Fix a logic error that caused non-rematable loop invariants loads to be licm'ed out of loop. 
llvm-svn: 83622
 2009-10-09 06:21:52 +00:00
Bob Wilson
d48cacb92f Commit one last NEON test to use FileCheck. That's all of them now! 
llvm-svn: 83617
 2009-10-09 05:31:56 +00:00
Bob Wilson
a8746e6bd1 Convert more NEON tests to use FileCheck. 
llvm-svn: 83616
 2009-10-09 05:14:48 +00:00
Evan Cheng
b1f6b5fccc Reset kill markers after live interval is reconstructed. 
llvm-svn: 83608
 2009-10-09 01:17:11 +00:00
Dale Johannesen
10c870b46f When considering whether to inline Callee into Caller, 
and that will make Caller too big to inline, see if it
might be better to inline Caller into its callers instead.
This situation is described in PR 2973, although I haven't
tried the specific case in SPASS.

llvm-svn: 83602
 2009-10-09 00:11:32 +00:00
Bob Wilson
8092fef09a Add codegen support for NEON vst4lane intrinsics with 128-bit vectors. 
llvm-svn: 83600
 2009-10-09 00:01:36 +00:00
Bob Wilson
979cb24a81 Add codegen support for NEON vst3lane intrinsics with 128-bit vectors. 
llvm-svn: 83598
 2009-10-08 23:51:31 +00:00
Bob Wilson
233992bc56 Add codegen support for NEON vst2lane intrinsics with 128-bit vectors. 
llvm-svn: 83596
 2009-10-08 23:38:24 +00:00
Bob Wilson
395adfabef Convert more NEON tests to use FileCheck. 
llvm-svn: 83595
 2009-10-08 23:33:03 +00:00
Bob Wilson
5b96a53ffe Add codegen support for NEON vld4lane intrinsics with 128-bit vectors. 
Also fix some copy-and-paste errors in previous changes.

llvm-svn: 83590
 2009-10-08 22:53:57 +00:00
Bob Wilson
1fe8b7e27c Convert more NEON tests to use FileCheck. 
llvm-svn: 83587
 2009-10-08 22:33:53 +00:00
Bob Wilson
7209d78713 Add codegen support for NEON vld3lane intrinsics with 128-bit vectors. 
llvm-svn: 83585
 2009-10-08 22:27:33 +00:00
Bill Wendling
d47d348cdf It's possible for a global variable to be optimized out of a metadata object. So 
we should allow a "null" with this dyn_cast.

llvm-svn: 83573
 2009-10-08 20:52:51 +00:00
Anton Korobeynikov
f9c811c948 Use lower16 / upper16 imm modifiers to asmprint 32-bit imms splitted via movt/movw pair. 
llvm-svn: 83572
 2009-10-08 20:43:22 +00:00
Bob Wilson
3a55fe2105 Add codegen support for NEON vld2lane intrinsics with 128-bit vectors. 
llvm-svn: 83568
 2009-10-08 18:56:10 +00:00
Richard Osborne
1719935e3f Add some peepholes for signed comparisons using ashr X, X, 32. 
llvm-svn: 83549
 2009-10-08 15:38:17 +00:00
Bob Wilson
225627ec81 Convert more NEON tests to use FileCheck. 
llvm-svn: 83528
 2009-10-08 06:02:10 +00:00
Bob Wilson
276bdabb9a Add codegen support for NEON vst4 intrinsics with <1 x i64> vectors. 
llvm-svn: 83526
 2009-10-08 05:18:18 +00:00
Mikhail Glushenkov
c802d57e52 Input files should go before all other options. 
Important, for example, when calling 'gcc a.o b.o c.o -lD -lE -lF'.

llvm-svn: 83524
 2009-10-08 04:40:08 +00:00
Bob Wilson
8aa1d328b5 Add codegen support for NEON vst3 intrinsics with <1 x i64> vectors. 
llvm-svn: 83518
 2009-10-08 00:28:28 +00:00
Bob Wilson
958e4ae815 Add codegen support for NEON vst2 intrinsics with <1 x i64> vectors. 
llvm-svn: 83513
 2009-10-08 00:21:01 +00:00
Bob Wilson
729cd181a2 Add codegen support for NEON vld4 intrinsics with <1 x i64> vectors. 
llvm-svn: 83508
 2009-10-07 23:54:04 +00:00
Bob Wilson
c7baa2832f Convert more NEON tests to use FileCheck. 
llvm-svn: 83507
 2009-10-07 23:47:21 +00:00
Bob Wilson
3cbf156518 Add codegen support for NEON vld3 intrinsics with <1 x i64> vectors. 
llvm-svn: 83506
 2009-10-07 23:39:57 +00:00
Bob Wilson
0ffa9679a5 Add codegen support for NEON vld2 intrinsics with <1 x i64> vectors. 
llvm-svn: 83502
 2009-10-07 22:57:01 +00:00
Dale Johannesen
ba62bb565d Fix handling of x86 'R' constraint. 
llvm-svn: 83499
 2009-10-07 22:47:20 +00:00
Bob Wilson
97bab9ef32 Convert more NEON tests to use FileCheck. 
llvm-svn: 83497
 2009-10-07 22:30:19 +00:00
Kevin Enderby
ef201aaa04 Fixed MCSectionMachO::ParseSectionSpecifier to allow an attribute of "none" so 
that a symbol stub section with no attributes can be parsed as in:
.section __TEXT,__picsymbolstub4,symbol_stubs,none,16

llvm-svn: 83488
 2009-10-07 20:57:20 +00:00
Bob Wilson
a367eb439c Convert test to FileCheck. 
llvm-svn: 83487
 2009-10-07 20:51:42 +00:00
Bob Wilson
cee91108da Add codegen support for NEON vst4 intrinsics with 128-bit vectors. 
llvm-svn: 83486
 2009-10-07 20:49:18 +00:00