RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-12-25 04:55:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
44,147 Commits 4 Branches 5 Tags 634 MiB
881e7e990a
Commit Graph

26827 Commits

Author SHA1 Message Date
Chris Lattner
b88febb5cd Fix PR3353, infinitely jump threading an infinite loop make from switches. 
llvm-svn: 62529
 2009-01-19 21:20:34 +00:00
Dale Johannesen
31f3cac06b compile-time fmod was done incorrectly. PR 3316. 
llvm-svn: 62528
 2009-01-19 21:17:05 +00:00
Devang Patel
50ac518b6c Verify Intrinsic::dbg_declare. 
llvm-svn: 62526
 2009-01-19 21:00:48 +00:00
Evan Cheng
06cfade044 DIVREM isel deficiency: If sign bit is known zero, zero out DX/EDX/RDX instead of sign extending the low part (in AX/EAX/RAX) into it. 
llvm-svn: 62519
 2009-01-19 19:06:11 +00:00
Evan Cheng
3c00875658 Fix 80 col violations. 
llvm-svn: 62518
 2009-01-19 18:57:29 +00:00
Evan Cheng
2f50b49f22 Handle ISD::DECLARE with PIC relocation model. 
llvm-svn: 62516
 2009-01-19 18:31:51 +00:00
Nick Lewycky
b98042a414 Fix typo, sentence fragment. 
llvm-svn: 62512
 2009-01-19 17:42:33 +00:00
Bill Wendling
bf83203ae6 Temporarily revert r62487. It's causing this error during a release bootstrap of 
llvm-gcc. Most likely, it's miscompiling one of the "gen*" programs:

/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm-gcc.obj/./prev-gcc/xgcc -B/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm-gcc.obj/./prev-gcc/ -B/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm-gcc.install/i386-apple-darwin9.6.0/bin/ -c -g -O2 -mdynamic-no-pic -DIN_GCC -W -Wall -Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes -mdynamic-no-pic -DHAVE_CONFIG_H -DGENERATOR_FILE -I. -Ibuild -I../../llvm-gcc.src/gcc -I../../llvm-gcc.src/gcc/build -I../../llvm-gcc.src/gcc/../include -I./../intl -I../../llvm-gcc.src/gcc/../libcpp/include  -I../../llvm-gcc.src/gcc/../libdecnumber -I../libdecnumber -I/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.obj/include -I/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.src/include -DENABLE_LLVM -I/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.obj/../llvm.src/include  -D_DEBUG  -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS   -o build/gencondmd.o build/gencondmd.c
../../llvm-gcc.src/gcc/config/i386/mmx.md:926: error: expected '}' before ')' token
../../llvm-gcc.src/gcc/config/i386/mmx.md:926: warning: excess elements in struct initializer
../../llvm-gcc.src/gcc/config/i386/mmx.md:926: warning: (near initialization for 'insn_conditions[4]')
../../llvm-gcc.src/gcc/config/i386/mmx.md:926: error: expected '}' before ')' token
../../llvm-gcc.src/gcc/config/i386/mmx.md:926: error: expected ',' or ';' before ')' token
../../llvm-gcc.src/gcc/config/i386/mmx.md:927: error: expected identifier or '(' before ',' token
../../llvm-gcc.src/gcc/config/i386/sse.md:3458: error: expected identifier or '(' before ',' token
...

llvm-svn: 62506
 2009-01-19 08:46:20 +00:00
Evan Cheng
a14fd26a8b Minor tweak to LowerUINT_TO_FP_i32. Bias (after scalar_to_vector) has two uses so we should make it the second source operand of ISD::OR so 2-address pass won't have to be smart about commuting. 
%reg1024<def> = MOVSDrm %reg0, 1, %reg0, <cp#0>, Mem:LD(8,8) [ConstantPool + 0]
%reg1025<def> = MOVSD2PDrr %reg1024
%reg1026<def> = MOVDI2PDIrm <fi#-1>, 1, %reg0, 0, Mem:LD(4,16) [FixedStack-1 + 0]
%reg1027<def> = ORPSrr %reg1025<kill>, %reg1026<kill>
%reg1028<def> = MOVPD2SDrr %reg1027<kill>
%reg1029<def> = SUBSDrr %reg1028<kill>, %reg1024<kill>
%reg1030<def> = CVTSD2SSrr %reg1029<kill>
MOVSSmr <fi#0>, 1, %reg0, 0, %reg1030<kill>, Mem:ST(4,4) [FixedStack0 + 0]
%reg1031<def> = LD_Fp32m80 <fi#0>, 1, %reg0, 0, Mem:LD(4,16) [FixedStack0 + 0]
RET %reg1031<kill>, %ST0<imp-use,kill>

The reason 2-addr pass isn't smart enough to commute the ORPSrr is because it can't look pass the MOVSD2PDrr instruction.

llvm-svn: 62505
 2009-01-19 08:19:57 +00:00
Evan Cheng
53e83a2eb9 Now not UINT_TO_FP is legal (it's marked custom), dag combiner won't 
optimize it to a SINT_TO_FP when the sign bit is known zero. X86 isel should perform the optimization itself.

llvm-svn: 62504
 2009-01-19 08:08:22 +00:00
Chris Lattner
bb76cc9447 Fix PR3016, a bug which can occur do to an invalid assumption: 
we assumed a CFG structure that would be valid when all code in 
the function is reachable, but not all code is necessarily 
reachable.  Do a simple, but horrible, CFG walk to check for this
case.

llvm-svn: 62487
 2009-01-19 02:46:28 +00:00
Chris Lattner
af6f58bbf4 reduce indentation by using 'continue', no functionality change. 
llvm-svn: 62477
 2009-01-19 02:07:32 +00:00
Chris Lattner
c03b442e54 Fix some problems in SpeculativelyExecuteBB. Basically, 
because of dead code, a phi could use the speculated instruction
that was not in "BB2".  Make this check explicit and tighten up 
some other corners.  This fixes PR3292.  No testcase becauase this
depends entirely on visitation order of blocks and requires a 
sequence of 8 passes to repro.

llvm-svn: 62476
 2009-01-19 00:36:37 +00:00
Chris Lattner
ead19aaccb Make this a bit more explicit about which cases need the 
check.  No functionality change.

llvm-svn: 62474
 2009-01-18 23:22:07 +00:00
Chris Lattner
6f03811071 Fix rdar://6505632, an llc crash on 483.xalancbmk 
llvm-svn: 62470
 2009-01-18 20:35:00 +00:00
Sanjiv Gupta
5a5af71ca2 Few targets like PIC16 wants libcall generation for illegal type i16. 
llvm-svn: 62467
 2009-01-18 18:25:27 +00:00
Oscar Fuentes
fae323d3f2 CMake: Add lib/Analysis/CaptureTracking.cpp 
llvm-svn: 62462
 2009-01-18 13:14:11 +00:00
Duncan Sands
ddfeabbab7 BasicAliasAnalysis and FunctionAttrs were both 
doing very similar pointer capture analysis.
Factor out the common logic.  The new version
is from FunctionAttrs since it does a better
job than the version in BasicAliasAnalysis

llvm-svn: 62461
 2009-01-18 12:19:30 +00:00
Mon P Wang
27ea1af89f Simplify extract element based on comments from Duncan Sands. 
llvm-svn: 62459
 2009-01-18 06:43:40 +00:00
Nick Lewycky
39fcb513ca Fix copy and pasted typos that prevented strtok_r, realloc, getenv, ungetc, 
putc, puts, perror, vscanf and vsscanf from getting annotations.

Add annotations for eight printf functions, memalign, pread and pwrite.

On Linux, llvm-gcc sometimes renames strdup, getc, putc, strtok_r, scanf and
sscanf. Match the alternate function names.

Fix a crash annotating opendir.

Don't mark fsetpos's second parameter as nocapture. It's supposed to be
captured.

Do mark fopen's path and mode strings as nocapture. Mark ferror as readonly,
but not fileno which may set errno.

llvm-svn: 62456
 2009-01-18 04:34:36 +00:00
Gabor Greif
6a02ecbd29 add a comment 
llvm-svn: 62436
 2009-01-18 00:27:21 +00:00
Gabor Greif
5608ce587b switch over some other methods from indices to iterators 
llvm-svn: 62430
 2009-01-17 19:46:01 +00:00
Devang Patel
4a7a53217b Remove tabs. 
llvm-svn: 62423
 2009-01-17 08:05:14 +00:00
Devang Patel
97cd6a4a7c Refactor code 
llvm-svn: 62421
 2009-01-17 08:01:33 +00:00
Bill Wendling
ce30a8cab9 Extend thi 
llvm-svn: 62415
 2009-01-17 07:40:19 +00:00
Evan Cheng
182d9c4c9f Fix MatchAddress bug that's preventing negative displacement from being folded in 64-bit mode. 
llvm-svn: 62413
 2009-01-17 07:09:27 +00:00
Devang Patel
2fc394ddfd Assign argument type to appropriate DIE. 
llvm-svn: 62412
 2009-01-17 06:57:25 +00:00
Devang Patel
24e250ee74 Remove dead code. 
llvm-svn: 62410
 2009-01-17 06:51:37 +00:00
Devang Patel
732220a09f Disable composite type debug info for now. 
llvm-svn: 62406
 2009-01-17 05:05:12 +00:00
Bill Wendling
ddd55bdfec Temporarily revert my last change. It is causing a bootstrap failure. 
llvm-svn: 62405
 2009-01-17 04:23:51 +00:00
Bill Wendling
d18c38c0f2 Implement a special algorithm for converting uint_to_fp for i32 values on 
X86. This code:

void f() {
  uint32_t x;
  float y = (float)x;
}

used to be:

     movl     %eax, -8(%ebp)
     movl     [2^52 double], -4(%ebp)
     movsd    -8(%ebp), %xmm0
     subsd    [2^52 double], %xmm0
     cvtsd2ss %xmm0, %xmm0

Is now:

   movsd        [2^52 double], %xmm0
   movsd        %xmm0, %xmm1
   movd         %ecx, %xmm2
   orps         %xmm2, %xmm1
   subsd        %xmm0, %xmm1
   cvtsd2ss     %xmm1, %xmm0

This is faster on X86. Note that there's an extra load of %xmm0 into %xmm1. That
will be fixed in a later coalescer fix.

llvm-svn: 62404
 2009-01-17 03:56:04 +00:00
Oscar Fuentes
ee36d9ce83 CMake: Add lib/Target/IA64/IA64Subtarget.cpp 
llvm-svn: 62394
 2009-01-17 01:50:32 +00:00
Gabor Greif
c379e7909b speed up iterative loop by using iterators. changes direction, but functionally equivalent 
if this works out, I'll change the others next.

llvm-svn: 62385
 2009-01-17 00:14:25 +00:00
Gabor Greif
20f36c51bd introduce typedef for complicated vector, and use it too 
llvm-svn: 62384
 2009-01-17 00:09:08 +00:00
Mon P Wang
563134282c Simplify extract element of a scalar to vector. 
llvm-svn: 62383
 2009-01-17 00:07:25 +00:00
Gabor Greif
0d0908d06a typo 
llvm-svn: 62377
 2009-01-16 23:08:50 +00:00
Evan Cheng
d7cc550900 Fix PPC ISD::Declare isel and eliminate the need for PPCTargetLowering::LowerGlobalAddress to check if isVerifiedDebugInfoDesc() is true. Given the recent changes, it would falsely return true for a lot of GlobalAddressSDNode's. 
llvm-svn: 62373
 2009-01-16 22:57:32 +00:00
Mikhail Glushenkov
b0aa02acee Support for multi-valued options in CommandLine 
Makes possible to specify options that take multiple arguments (a-la
-sectalign on Darwin). See documentation for details.

llvm-svn: 62372
 2009-01-16 22:54:19 +00:00
Dan Gohman
cb207179b1 Give IA64 a TargetSubtarget subclass, so that it can 
implement getSubtargetImpl.

llvm-svn: 62369
 2009-01-16 22:49:36 +00:00
Dan Gohman
3d0633627d Instead of adding dependence edges between terminator instructions 
and every other instruction in their blocks to keep the terminator
instructions at the end, teach the post-RA scheduler how to operate
on ranges of instructions, and exclude terminators from the range
of instructions that get scheduled.

Also, exclude mid-block labels, such as EH_LABEL instructions, and
schedule code before them separately from code after them. This
fixes problems with the post-RA scheduler moving code past
EH_LABELs.

llvm-svn: 62366
 2009-01-16 22:10:20 +00:00
Dan Gohman
9636e74701 If an anti-dependence uses a non-allocatable register, set AntiDepReg 
to 0, to ensure that the subsequent code doesn't try to break the
dependence.

llvm-svn: 62365
 2009-01-16 21:57:43 +00:00
Dan Gohman
4dc9f47c97 Use the getNode() accessor instead of accessing the Node 
member directly, which is private as of r55504.

llvm-svn: 62364
 2009-01-16 21:47:21 +00:00
Dan Gohman
733d817b4d Fix the check for an empty basic block to check for an empty SUnits 
array instead, since this is what the scheduler actually cares about.
And remove a check that is unnecessary, since it can assume that
SUnits isn't empty.

llvm-svn: 62362
 2009-01-16 21:37:14 +00:00
Chris Lattner
cfaf556999 new nodes should be added to the worklist, not old nodes. 
llvm-svn: 62359
 2009-01-16 21:15:56 +00:00
Devang Patel
9ecd23c14d Fix comments. 
llvm-svn: 62358
 2009-01-16 21:07:53 +00:00
Evan Cheng
c4d19d6e8c CreateVirtualRegisters does trivial copy coalescing. If a node def is used by a single CopyToReg, it reuses the virtual register assigned to the CopyToReg. This won't work for SDNode that is a clone or is itself cloned. Disable this optimization for those nodes or it can end up with non-SSA machine instructions. 
llvm-svn: 62356
 2009-01-16 20:57:18 +00:00
Chris Lattner
0354d30311 don't assert and die on out of range (undefined) shifts. This fixes 
PR3334.

llvm-svn: 62352
 2009-01-16 20:17:02 +00:00
Chris Lattner
5d1ed9ed1f Fix PR3335 by not turning a store to one address space into a store to another. 
llvm-svn: 62351
 2009-01-16 20:12:52 +00:00
Chris Lattner
59dfd7d4af reduce indentation by using early exits, no functionality change. 
llvm-svn: 62350
 2009-01-16 20:08:59 +00:00
Devang Patel
6f83d4b68f Use lightweight DebugInfo objects directly. 
llvm-svn: 62341
 2009-01-16 19:28:14 +00:00
Bill Wendling
c9e856fbfd Add support for non-zero __builtin_return_address values on X86. 
llvm-svn: 62338
 2009-01-16 19:25:27 +00:00
Evan Cheng
2932869ed4 Change isGVCompilationDisabled() semantics again. It should abort on any GV that's not constant whether it's "internal" or not. In a server / client environment, GV is returned in the same block of memory as code. However, the memory might not be writable. 
llvm-svn: 62336
 2009-01-16 19:14:49 +00:00
Gabor Greif
34a28dbecf use specialized accessor instead of plain getOperand(0) 
llvm-svn: 62330
 2009-01-16 18:40:27 +00:00
Devang Patel
627bb2afb9 Align source code. 
llvm-svn: 62328
 2009-01-16 18:01:58 +00:00
Dan Gohman
e4265cdbb9 Fix a "comparison between signed and unsigned integer expressions" 
warning.

llvm-svn: 62327
 2009-01-16 17:55:08 +00:00
Nick Lewycky
3f81059a01 Reinstate r60509 from Dale: 
Make the debugging dump be a full line.

llvm-svn: 62325
 2009-01-16 17:07:22 +00:00
Mikhail Glushenkov
49be18cfc6 Registry.h should not depend on CommandLine.h. 
Split Support/Registry.h into two files so that we have less to
recompile every time CommandLine.h is changed.

llvm-svn: 62312
 2009-01-16 07:02:28 +00:00
Mikhail Glushenkov
5000223556 Delete trailing whitespace. 
llvm-svn: 62307
 2009-01-16 06:53:46 +00:00
Evan Cheng
c58653bd6e ARMCompilationCallback should not save / restore vfp registers if vfp is not available. 
llvm-svn: 62299
 2009-01-16 02:16:37 +00:00
Devang Patel
434239cc4f Validate debug info values only if DwarfDebug is initialized. 
llvm-svn: 62298
 2009-01-16 02:15:14 +00:00
Evan Cheng
e7c9310d1b Clean up previous cast optimization a bit. Also make zext elimination a bit more aggressive: if it's not necessary to emit an AND (i.e. high bits are already zero), it's profitable to evaluate the operand at a different type. 
llvm-svn: 62297
 2009-01-16 02:11:43 +00:00
Devang Patel
befef54e67 Any debug info symbol is only valid if atleast one compile unit is seen. 
llvm-svn: 62294
 2009-01-16 01:49:46 +00:00
Dan Gohman
c5b1dbdb4e Initial hazard recognizer support in post-pass scheduling. This includes 
a new toy hazard recognizier heuristic which attempts to direct the
scheduler to avoid clumping large groups of loads or stores too densely.

llvm-svn: 62291
 2009-01-16 01:33:36 +00:00
Devang Patel
f0e1e4cc51 Do not stumble over forward declared struct member. 
llvm-svn: 62288
 2009-01-16 00:50:53 +00:00
Devang Patel
1ee58c7d8c Validate dbg_* intrinsics before lowering them. 
llvm-svn: 62286
 2009-01-15 23:41:32 +00:00
Mon P Wang
e235ba591f Added missing support to widen an operand from a bit convert. 
llvm-svn: 62285
 2009-01-15 22:43:38 +00:00
Dan Gohman
3e0dcbbd15 Generalize the HazardRecognizer interface so that it can be used 
to support MachineInstr-based scheduling in addition to
SDNode-based scheduling.

llvm-svn: 62284
 2009-01-15 22:18:12 +00:00
Dan Gohman
23a5f63b21 Simplify the MachineLICM pass by having it only traverse outer 
loops, hoisting instructions all the way out in one step rather
than hoisting them one nest level at a time. Also, make a few
other code simplifications. This speeds up MachineLICM
by several fold.

llvm-svn: 62283
 2009-01-15 22:01:38 +00:00
Rafael Espindola
46b374f55b Fix Alpha test and support for private linkage. 
llvm-svn: 62282
 2009-01-15 21:51:46 +00:00
Mon P Wang
4cfe965df2 Expand insert/extract of a <4 x i32> with a variable index. 
llvm-svn: 62281
 2009-01-15 21:10:20 +00:00
Rafael Espindola
0aba6c9435 Add the private linkage. 
llvm-svn: 62279
 2009-01-15 20:18:42 +00:00
Devang Patel
97d45c48c5 Use lightweight DebugInfo objects directly. 
llvm-svn: 62276
 2009-01-15 19:26:23 +00:00
Dan Gohman
6fcee67989 Move a few containers out of ScheduleDAGInstrs::BuildSchedGraph 
and into the ScheduleDAGInstrs class, so that they don't get
destructed and re-constructed for each block. This fixes a
compile-time hot spot in the post-pass scheduler.

To help facilitate this, tidy and do some minor reorganization
in the scheduler constructor functions.

llvm-svn: 62275
 2009-01-15 19:20:50 +00:00
Nuno Lopes
db7a9e291a add comment to explain my previous commit, as asked by Chris 
llvm-svn: 62272
 2009-01-15 18:40:57 +00:00
Gabor Greif
b1f92de36f avoid using iterators when they get invalidated potentially 
this fixes PR3332

llvm-svn: 62271
 2009-01-15 18:40:09 +00:00
Devang Patel
307fac7f3a Use variable's context to identify respective DbgScope. 
Use light weight DebugInfo object directly.

llvm-svn: 62269
 2009-01-15 18:25:17 +00:00
Dan Gohman
0b06dcbf4b Add load-folding table entries for BT*ri8 instructions. 
llvm-svn: 62267
 2009-01-15 17:57:09 +00:00
Dan Gohman
273ef2ab9f Make getWidenVectorType const; this file was missed in the 
previous commit.

llvm-svn: 62266
 2009-01-15 17:39:39 +00:00
Dan Gohman
37d7b5be33 Make getWidenVectorType const. 
llvm-svn: 62265
 2009-01-15 17:34:08 +00:00
Evan Cheng
340e5fe0a6 Eliminate a redundant check. 
llvm-svn: 62264
 2009-01-15 17:09:07 +00:00
Evan Cheng
d504f9fe27 - Teach CanEvaluateInDifferentType of this xform: sext (zext ty1), ty2 -> zext ty2 
- Looking at the number of sign bits of the a sext instruction to determine  whether new trunc + sext pair should be added when its source is being evaluated in a different type.

llvm-svn: 62263
 2009-01-15 17:01:23 +00:00
Dan Gohman
791e6c24db More consts on TargetLowering references. 
llvm-svn: 62262
 2009-01-15 16:58:17 +00:00
Dan Gohman
9dd6a69768 Use const with TargetLowering references in a few more places. 
llvm-svn: 62260
 2009-01-15 16:43:02 +00:00
Dan Gohman
ab89b888e8 Const-qualify getPreIndexedAddressParts and friends. 
llvm-svn: 62259
 2009-01-15 16:29:45 +00:00
Richard Osborne
ce265d8cf9 Don't fold address calculations which use negative offsets into 
the ADDRspii addressing mode.

llvm-svn: 62258
 2009-01-15 11:32:30 +00:00
Richard Osborne
71ffa94e3f Update the operands used when building LDAWSP instructions to match the .td 
changes in the last commit.

llvm-svn: 62257
 2009-01-15 11:18:53 +00:00
Gabor Greif
feac7ccdbd minor refactoring: use a more specific API 
llvm-svn: 62256
 2009-01-15 11:10:44 +00:00
Scott Michel
b4699590f0 - Convert remaining i64 custom lowering into custom instruction emission 
sequences in SPUDAGToDAGISel.cpp and SPU64InstrInfo.td, killing custom
  DAG node types as needed.
- i64 mul is now a legal instruction, but emits an instruction sequence
  that stretches tblgen and the imagination, as well as violating laws of
  several small countries and most southern US states (just kidding, but
  looking at a function with 80+ parameters is really weird and just plain
  wrong.)
- Update tests as needed.

llvm-svn: 62254
 2009-01-15 04:41:47 +00:00
Chris Lattner
fa0c0e19f6 Fix PR3325, a miscompilation of invokes by IPSCCP. Patch by Jay Foad! 
llvm-svn: 62244
 2009-01-14 21:01:16 +00:00
Richard Osborne
12b88f2fae Add pseudo instructions to the XCore for (load|store|load address) of a 
frame index. eliminateFrameIndex will replace these instructions with
(LDWSP|STWSP|LDAWSP) or (LDW|STW|LDAWF) if a frame pointer is in use.

This fixes PR 3324. Previously we used LDWSP, STWSP, LDAWSP before frame
pointer elimination. However since they were marked as implicitly using
SP they could not be rematerialised.

llvm-svn: 62238
 2009-01-14 18:26:46 +00:00
Nuno Lopes
d6f4c31eea fix crash in the case when some arg is null 
llvm-svn: 62236
 2009-01-14 17:51:41 +00:00
Gabor Greif
1f18247d42 minor simplification 
llvm-svn: 62232
 2009-01-14 17:09:04 +00:00
Dale Johannesen
816f9bc81d Fix the time regression I introduced in 464.h264ref with 
my earlier patch to this file.

The issue there was that all uses of an IV inside a loop
are actually references to Base[IV*2], and there was one
use outside that was the same but LSR didn't see the base
or the scaling because it didn't recurse into uses outside
the loop; thus, it used base+IV*scale mode inside the loop
instead of pulling base out of the loop.  This was extra bad
because register pressure later forced both base and IV into
memory.  Doing that recursion, at least enough
to figure out addressing modes, is a good idea in general;
the change in AddUsersIfInteresting does this.  However,
there were side effects....

It is also possible for recursing outside the loop to
introduce another IV where there was only 1 before (if
the refs inside are not scaled and the ref outside is).
I don't think this is a common case, but it's in the testsuite.
It is right to be very aggressive about getting rid of
such introduced IVs (CheckForIVReuse and the handling of
nonzero RewriteFactor in StrengthReduceStridedIVUsers).
In the testcase in question the new IV produced this way
has both a nonconstant stride and a nonzero base, neither
of which was handled before.  And when inserting 
new code that feeds into a PHI, it's right to put such 
code at the original location rather than in the PHI's 
immediate predecessor(s) when the original location is outside 
the loop (a case that couldn't happen before)
(RewriteInstructionToUseNewBase); better to avoid making
multiple copies of it in this case.

Also, the mechanism for keeping SCEV's corresponding to GEP's
no longer works, as the GEP might change after its SCEV
is remembered, invalidating the SCEV, and we might get a bad
SCEV value when looking up the GEP again for a later loop.  
This also couldn't happen before, as we weren't recursing
into GEP's outside the loop.

Also, when we build an expression that involves a (possibly
non-affine) IV from a different loop as well as an IV from
the one we're interested in (containsAddRecFromDifferentLoop),
don't recurse into that.  We can't do much with it and will
get in trouble if we try to create new non-affine IVs or something.

More testcases are coming.

llvm-svn: 62212
 2009-01-14 02:35:31 +00:00
Devang Patel
cf0db71b85 Do not construct debug scope if RootScope *is* null. 
llvm-svn: 62209
 2009-01-14 01:34:32 +00:00
Chris Lattner
2461d79aa9 rewrite OptimizeAwayTrappingUsesOfLoads to 1) avoid a temporary 
vector and extraneous loop over it, 2) not delete globals used by
phis/selects etc which could actually be useful.  This fixes PR3321.
Many thanks to Duncan for narrowing this down.

llvm-svn: 62201
 2009-01-14 00:12:58 +00:00
Devang Patel
1da8253b35 Removoe MachineModuleInfo methods (and related DebugInfoDesc class hierarchy) that were used to handle debug info. 
llvm-svn: 62199
 2009-01-13 23:54:55 +00:00
Nuno Lopes
b5a8a4b4dd fix memleaks 
llvm-svn: 62198
 2009-01-13 23:35:49 +00:00
Dan Gohman
6f5847ccfc BT appears to be available on all >= i386 chips. 
llvm-svn: 62196
 2009-01-13 23:27:15 +00:00
Dan Gohman
9c2ee40c1c Don't use a BT instruction if the AND has multiple uses. 
llvm-svn: 62195
 2009-01-13 23:25:30 +00:00
Dan Gohman
8c835f6285 Disable the register+memory forms of the bt instructions for now. Thanks 
to Eli for pointing out that these forms don't ignore the high bits of
their index operands, and as such are not immediately suitable for use
by isel.

llvm-svn: 62194
 2009-01-13 23:23:30 +00:00
Devang Patel
ba388f3905 Keep "has debug info" big in MachineModuleInfo to avoid circular dependency between AsmPrinter and CodeGen. 
llvm-svn: 62191
 2009-01-13 23:02:17 +00:00
Devang Patel
7a618394f6 Undo previous checkin. 
llvm-svn: 62190
 2009-01-13 22:54:57 +00:00
Dale Johannesen
e458c47a74 Fix testsuite regressions from recursive inlining. 
llvm-svn: 62189
 2009-01-13 22:43:37 +00:00
Devang Patel
e0f23e966d Use DwarfWriter to record dbg variables. 
llvm-svn: 62185
 2009-01-13 21:44:10 +00:00
Devang Patel
ab5ef6abf1 Use dwarf writer to decide whether the module has debug info or not. 
llvm-svn: 62184
 2009-01-13 21:25:00 +00:00
Dan Gohman
15e69a394a Add bt instructions that take immediate operands. 
llvm-svn: 62180
 2009-01-13 20:33:23 +00:00
Dan Gohman
e84cfeac5f Fix a few more JIT encoding issues in the BT instructions. 
llvm-svn: 62179
 2009-01-13 20:32:45 +00:00
Dan Gohman
f94a4aba16 Use assertions to check for conditions that should never happen. 
llvm-svn: 62178
 2009-01-13 20:25:24 +00:00
Dan Gohman
9e9858781c The list-td and list-tdrr schedulers don't yet support physreg 
scheduling dependencies. Add assertion checks to help catch
this.

It appears the Mips target defaults to list-td, and it has a
regression test that uses a physreg dependence. Such code was
liable to be miscompiled, and now evokes an assertion failure.

llvm-svn: 62177
 2009-01-13 20:24:13 +00:00
Dan Gohman
958861e65e Make instcombine ensure that all allocas are explicitly aligned at at 
least their preferred alignment.

llvm-svn: 62176
 2009-01-13 20:18:38 +00:00
Sanjiv Gupta
b712a41535 Checking in conditionals, function call, arrays and libcalls implementation. 
llvm-svn: 62174
 2009-01-13 19:18:47 +00:00
Dan Gohman
c7fe713e72 Avoid referring to edge D after the Succs or Preds arrays have 
been modified, to avoid trouble in the (unlikely) scenario that
D is a reference to an element in one of those arrays.

llvm-svn: 62173
 2009-01-13 19:08:45 +00:00
Duncan Sands
975f2428ba When replacing uses and the same node is reached 
via two paths, process it once not twice, d'oh!
Analysis, testcase and original patch thanks to
Mon Ping Wang.

llvm-svn: 62169
 2009-01-13 15:17:14 +00:00
Duncan Sands
439d97a6cb Fix some typos. Also, the WidenedVectors map 
was not being cleaned by ExpungeNode.

llvm-svn: 62167
 2009-01-13 14:42:39 +00:00
Duncan Sands
8267463dec Correct a comment - this is not a sign extension. 
llvm-svn: 62166
 2009-01-13 14:04:14 +00:00
Duncan Sands
661959b54e Correct a comment. 
llvm-svn: 62165
 2009-01-13 13:48:44 +00:00
Nick Lewycky
911bb6122c Wind SCEV back in time, to Nov 18th. This 'fixes' PR3275, PR3294, PR3295, 
PR3296 and PR3302.

llvm-svn: 62160
 2009-01-13 09:18:58 +00:00
Chris Lattner
70d79bbe85 add a new insertAfter method, patch by Tom Jablin! 
llvm-svn: 62158
 2009-01-13 07:43:51 +00:00
Chris Lattner
50de4f0704 make -march=cpp handle the nocapture attribute, make it assert if it 
sees attributes it doesn't know.

llvm-svn: 62155
 2009-01-13 07:22:22 +00:00
Evan Cheng
6fd76e738c Un-tabify. 
llvm-svn: 62151
 2009-01-13 06:08:37 +00:00
Evan Cheng
a706a020bc FIX llvm-gcc bootstrap on x86_64 linux. If a virtual register is copied to a physical register, it's not necessarily defined by a copy. We have to watch out it doesn't clobber any sub-register that might be live during its live interval. If the live interval crosses a basic block, then it's not safe to check with the less conservative check (by scanning uses and defs) because it's possible a sub-register might be live out of the block. 
llvm-svn: 62144
 2009-01-13 03:57:45 +00:00
Devang Patel
eed0505ed8 Use DebugInfo interface to lower dbg_* intrinsics. 
llvm-svn: 62127
 2009-01-13 00:35:13 +00:00
Devang Patel
13a43a3789 Start using DebugInfo API to emit debug info. 
llvm-svn: 62125
 2009-01-13 00:20:51 +00:00
Devang Patel
68ef0f4ecb Emit debug info, only if at least one compile unit is seen. 
llvm-svn: 62118
 2009-01-12 23:09:42 +00:00
Devang Patel
4379343f92 If multiple compile units are seen then emit them independently. In other words, do not force all DIEs into first, whatever it is, compile unit. 
Note, multiple compile unit support is not well tested (it did not work correctly until now anyway.)

llvm-svn: 62116
 2009-01-12 23:05:55 +00:00
Devang Patel
283436f4b9 Avoid cast<>, use light weith wrapper directly. 
llvm-svn: 62115
 2009-01-12 22:58:14 +00:00
Devang Patel
261d3cb2af Use SrcLineInfo from DwarfWriter. The MachineModuleInfo copy will disappear soon. 
llvm-svn: 62114
 2009-01-12 22:54:42 +00:00
Dale Johannesen
12bb54e183 Enable recursive inlining. Reduce inlining threshold 
back to 200; 400 seems to be too high, loses more than
it gains.

llvm-svn: 62107
 2009-01-12 22:11:50 +00:00
Devang Patel
78077adf03 Add classof() methods to support isa<> and other related facilities. 
llvm-svn: 62104
 2009-01-12 21:38:43 +00:00
Duncan Sands
bcdbfb63dc Rename getABITypeSize to getTypePaddedSize, as 
suggested by Chris.

llvm-svn: 62099
 2009-01-12 20:38:59 +00:00
Devang Patel
27f9c78c56 Add DwarfWriter interface to mainipulate source location info. 
( May be this info should be directly handled by the dwarf writer ? )

llvm-svn: 62096
 2009-01-12 19:17:34 +00:00
Devang Patel
149d412a0e Clear debug info at the end of function processing. 
llvm-svn: 62092
 2009-01-12 18:48:36 +00:00
Devang Patel
89a815941c There is no need to maintain separate labelid list in the dwarf writer. It is not a good idea. 
llvm-svn: 62090
 2009-01-12 18:41:00 +00:00
Rafael Espindola
2fed481c49 Remove some dead code from the days llvm had type planes. 
There might be more dead code, but with llvm-gcc bootstrap broken on linux x86-64 it is had to test :-(

llvm-svn: 62088
 2009-01-12 15:53:25 +00:00
Evan Cheng
5e17ea36e1 Fix PR3241: Currently EmitCopyFromReg emits a copy from the physical register to a virtual register unless it requires an expensive cross class copy. That means we are only treating "expensive to copy" register dependency as physical register dependency. 
Also future proof the scheduler to handle "normal" physical register dependencies. The code is not exercised yet.

llvm-svn: 62074
 2009-01-12 03:19:55 +00:00
Owen Anderson
e6451daef4 More two-address fixes. This gets lua working with join-creation enabled. 
llvm-svn: 62073
 2009-01-12 03:10:40 +00:00
Chris Lattner
ed4ee47a0d make tblgen autogenerate the nocapture intrinsics for 
llvm.memcpy/memset/memmove.  This allows removal of some 
hackish code from basicaa.

llvm-svn: 62071
 2009-01-12 02:41:37 +00:00
Chris Lattner
a844423a1b make tblgen emit the entire Intrinsic::getAttributes method, 
not a random piece of it.  No functionality change.

llvm-svn: 62066
 2009-01-12 01:18:58 +00:00
Dale Johannesen
831246cdbd Increase default inlining aggressiveness in partial 
compensation for turning off gcc's inliner.  This gets
us closer to the amount of inlining we were getting before.
It is not a win on everything, of course, but seems to
gain overall.

llvm-svn: 62058
 2009-01-11 23:11:00 +00:00
Gabor Greif
20c5fd503d simplify CallSite helper class to not consult the Instruction's 
opcode on each delegation.
Instead the information is cached on construction and the cached flag used thereafter.
Introduced two predicates: isCall and isInvoke.

llvm-svn: 62055
 2009-01-11 22:33:22 +00:00
Chris Lattner
da5c0c85dc Duncan is nervous about undefinedness of % with negatives. I'm 
not thrilled about 64-bit % in general, so rewrite to use * instead.

llvm-svn: 62047
 2009-01-11 20:41:36 +00:00
Chris Lattner
d1e5994f90 do not generated GEPs into vectors where they don't already exist. 
We should treat vectors as atomic types, not like arrays.

llvm-svn: 62046
 2009-01-11 20:23:52 +00:00
Chris Lattner
d2011c4015 Make a couple of cleanups to the instcombine bitcast/gep 
canonicalization transform based on duncan's comments:

1) improve the comment about %.
2) within our index loop make sure the offset stays 
   within the *type size*, instead of within the *abi size*.
   This allows us to reason explicitly about landing in tail
   padding and means that issues like non-zero offsets into
   [0 x foo] types don't occur anymore.

llvm-svn: 62045
 2009-01-11 20:15:20 +00:00
Nick Lewycky
4d1c04a4ea Use the spiffy new getAlignmentFromAttrs function. 
llvm-svn: 62039
 2009-01-11 17:02:06 +00:00
Evan Cheng
e280fcfbbc CheckForPhysRegDependency should not return copy cost. It's not used. No functionality change. 
llvm-svn: 62036
 2009-01-11 08:53:35 +00:00
Evan Cheng
ce292ad389 80 col violation. 
llvm-svn: 62024
 2009-01-10 03:33:22 +00:00
Devang Patel
a350457725 Reduce initial small vector sizes. 
llvm-svn: 62023
 2009-01-10 02:42:49 +00:00
Devang Patel
77332761ef Fix thinko. Create parent scope if parent descriptor is *not* null. 
llvm-svn: 62022
 2009-01-10 02:34:18 +00:00
Evan Cheng
411c48b7d2 Duplicated node may produce a non-physical register def. 
llvm-svn: 62015
 2009-01-09 22:44:02 +00:00
Evan Cheng
7a918ea197 Minor debug output tweak. 
llvm-svn: 62005
 2009-01-09 20:42:34 +00:00
Devang Patel
7fd7643d23 Request DwarfWriter. This will be used to handle dbg_* intrinsics. 
llvm-svn: 61999
 2009-01-09 19:11:50 +00:00
Chris Lattner
0030a3f5d4 fix typo Duncan noticed. 
llvm-svn: 61997
 2009-01-09 18:31:39 +00:00
Chris Lattner
1219b4e6bc Fix PR3304 
llvm-svn: 61995
 2009-01-09 18:18:43 +00:00
Misha Brukman
71c7e40966 Removed trailing whitespace from Makefiles. 
llvm-svn: 61991
 2009-01-09 16:44:42 +00:00
Chris Lattner
660c094906 Implement rdar://6480391, extending of equality icmp's to avoid a truncation. 
I noticed this in the code compiled for a routine using std::map, which produced
this code:
	%25 = tail call i32 @memcmp(i8* %24, i8* %23, i32 6) nounwind readonly
	%.lobit.i = lshr i32 %25, 31		; <i32> [#uses=1]
	%tmp.i = trunc i32 %.lobit.i to i8		; <i8> [#uses=1]
	%toBool = icmp eq i8 %tmp.i, 0		; <i1> [#uses=1]
	br i1 %toBool, label %bb3, label %bb4
which compiled to:

	call	L_memcmp$stub
	shrl	$31, %eax
	testb	%al, %al
	jne	LBB1_11	## 

with this change, we compile it to:

	call	L_memcmp$stub
	testl	%eax, %eax
	js	LBB1_11

This triggers all the time in common code, with patters like this:

	%169 = and i32 %ply, 1		; <i32> [#uses=1]
	%170 = trunc i32 %169 to i8		; <i8> [#uses=1]
	%toBool = icmp ne i8 %170, 0		; <i1> [#uses=1]

 	%7 = lshr i32 %6, 24		; <i32> [#uses=1]
	%9 = trunc i32 %7 to i8		; <i8> [#uses=1]
	%10 = icmp ne i8 %9, 0		; <i1> [#uses=1]

etc

llvm-svn: 61985
 2009-01-09 07:47:06 +00:00
Chris Lattner
1ce1f9e7cd Remove some old code that looks like a remanant from signed-types days. 
llvm-svn: 61984
 2009-01-09 07:10:58 +00:00
Chris Lattner
6140ea4f18 Fix PR3298, a crash in Jump Threading. Apparently even 
jump threading can have bugs, who knew? ;-)

llvm-svn: 61983
 2009-01-09 06:08:12 +00:00
Chris Lattner
5ce930d116 Fix part 3/2 of PR3290, making instcombine zap (gep(bitcast)) when possible. 
llvm-svn: 61980
 2009-01-09 05:44:56 +00:00
Chris Lattner
0e8e8e4926 move some code, check to see if the input to the GEP is a bitcast 
(which is constant time and cheap) before checking hasAllZeroIndices.

llvm-svn: 61976
 2009-01-09 04:53:57 +00:00
Dan Gohman
a487b137a8 Add load-folding table entries for MOVDQA. 
llvm-svn: 61972
 2009-01-09 02:40:34 +00:00
Dan Gohman
0e86745357 Whitespace and other minor adjustments to make SSE instructions have 
the same formatting as their corresponding SSE2 instructions, for
consistency.

llvm-svn: 61971
 2009-01-09 02:27:34 +00:00
Dale Johannesen
eb1316a896 Adjustments to last patch based on review. 
llvm-svn: 61969
 2009-01-09 01:30:11 +00:00
Dan Gohman
ff89414349 61949 accidentally introduced an escaped newline. Fix this by making 
the comment a little more verbose.

llvm-svn: 61959
 2009-01-08 23:51:48 +00:00
Devang Patel
747d4b38ad Convert DwarfWriter into a pass. 
Now Users request DwarfWriter through getAnalysisUsage() instead of creating an instance of DwarfWriter object directly.

llvm-svn: 61955
 2009-01-08 23:40:34 +00:00
Dan Gohman
321b716d84 Delete unnecessary parens around return values. 
llvm-svn: 61950
 2009-01-08 22:19:34 +00:00
Dan Gohman
88a0d4277d Fix the comment for lltok::backslash. 
llvm-svn: 61949
 2009-01-08 22:18:13 +00:00
Dan Gohman
831bc48415 Fix the path to llvm/Assembly/Parser.h in a comment. 
llvm-svn: 61948
 2009-01-08 22:17:05 +00:00
Dale Johannesen
4c25cb12ea Do not inline functions with (dynamic) alloca into 
functions that don't already have a (dynamic) alloca.
Dynamic allocas cause inefficient codegen and we shouldn't
propagate this (behavior follows gcc).  Two existing tests
assumed such inlining would be done; they are hacked by
adding an alloca in the caller, preserving the point of
the tests.

llvm-svn: 61946
 2009-01-08 21:45:23 +00:00
Duncan Sands
51e12762d5 Use mayBeOverridden here, in anticipation of the 
day when more linkage types will be handled.

llvm-svn: 61944
 2009-01-08 20:55:49 +00:00
Chris Lattner
5a8a2b046d ValueTracker can't assume that an alloca with no specified alignment 
will get its preferred alignment.  It has to be careful and cautiously assume
it will just get the ABI alignment.  This prevents instcombine from rounding
up the alignment of a load/store without adjusting the alignment of the alloca.

llvm-svn: 61934
 2009-01-08 19:28:38 +00:00
Chris Lattner
e16e141b70 one more crash from PR3281, we now diagnose: 
llvm-as: t.ll:2:39: function may not return opaque type
  %"bwmoyl" = tail call coldcc opaque @g()
                                      ^
llvm-svn: 61933
 2009-01-08 19:05:36 +00:00
Devang Patel
97863f513c Add DebugInfo based APIs to record source line info. 
llvm-svn: 61928
 2009-01-08 17:19:22 +00:00
Misha Brukman
ae1566f744 * Moved author attribution to CREDITS.TXT 
* Removed trailing whitespace

llvm-svn: 61927
 2009-01-08 16:40:25 +00:00
Misha Brukman
cada42bb4e * Alphabetized #includes 
* Removed trailing whitespace

llvm-svn: 61926
 2009-01-08 15:50:22 +00:00
Chris Lattner
fe3e114d7a add some more crazy strlen and memcpy stuff I noticed in spec. 
llvm-svn: 61918
 2009-01-08 07:34:55 +00:00
Chris Lattner
304f33297f add some notes about strlen craziness in eon. 
llvm-svn: 61917
 2009-01-08 06:52:57 +00:00
Chris Lattner
60a03a2f36 This implements the second half of the fix for PR3290, handling 
loads from allocas that cover the entire aggregate.  This handles
some memcpy/byval cases that are produced by llvm-gcc.  This triggers
a few times in kc++ (with std::pair<std::_Rb_tree_const_iterator
<kc::impl_abstract_phylum*>,bool>) and once in 176.gcc (with %struct..0anon).

llvm-svn: 61915
 2009-01-08 05:42:05 +00:00
Devang Patel
3125e21ae4 Add APIs to record regions and variables. 
Again, shamelessly copied from MMI.

llvm-svn: 61912
 2009-01-08 02:49:34 +00:00
Devang Patel
0db006ea38 Add APIs to manage scope using DebugInfo interface. 
This is a shameless copy of similar APIs from MachineModuleInfo. The copy from MMI will be deleted in near future.

llvm-svn: 61908
 2009-01-08 02:33:41 +00:00
Bob Wilson
4a5897fc16 Fix failure messages in Verifier::PerformTypeCheck. The argument numbers 
passed in to this function changed to support multiple return values,
leading to some incorrect argument numbers in the failure messages.
With this change, the ArgNo values used for return values and parameters are
disjoint, and the new IntrinsicParam function translates those ArgNo values
to strings that can be used in the messages.  This also fixes a few places
where PerformTypeCheck did not return false following calls to CheckFailed.

llvm-svn: 61903
 2009-01-08 01:56:06 +00:00
Oscar Fuentes
b7928f1380 CMake: removed lib/VMCore/DebugInfoBuilder.cpp. 
llvm-svn: 61900
 2009-01-08 00:18:52 +00:00
Bob Wilson
1d703391e7 Assert that VectorType::getTruncatedElementVectorType is not used with 
odd bit-width vector elements.  Add a check in the verifier for this also.

llvm-svn: 61899
 2009-01-07 23:44:27 +00:00
Chris Lattner
0e3c4e89eb remove DebugInfoBuilder, it has been subsumed by Analysis/DebugInfo.h 
llvm-svn: 61898
 2009-01-07 23:25:06 +00:00
Misha Brukman
6338af14f6 Fix off-by-one error in traversing an array; this fixes a test. 
The error was reported by gcc-4.3.0 during compilation.

llvm-svn: 61896
 2009-01-07 23:07:29 +00:00
Gabor Greif
e3326b1e14 revert to functionally equivalent formulation 
llvm-svn: 61895
 2009-01-07 23:07:22 +00:00
Gabor Greif
31343a0b10 use the obvious getters 
llvm-svn: 61893
 2009-01-07 22:39:29 +00:00
Dan Gohman
3579548f68 Remove redundant 'else's. No functionality change. 
llvm-svn: 61891
 2009-01-07 22:30:55 +00:00
Duncan Sands
3571fbfba8 Whitespace - correct formatting. 
llvm-svn: 61879
 2009-01-07 20:01:06 +00:00
Duncan Sands
a254acd1d3 Remove alloca tracking from nocapture analysis. Not only 
was it not very helpful, it was also wrong!  The problem
is shown in the testcase: the alloca might be passed to
a nocapture callee which dereferences it and returns the
original pointer.  But because it was a nocapture call we
think we don't need to track its uses, but we do.

llvm-svn: 61876
 2009-01-07 19:39:06 +00:00
Duncan Sands
ec12740e7a Reorder these. 
llvm-svn: 61873
 2009-01-07 19:17:02 +00:00
Duncan Sands
2a797fc19a Use a switch rather than a sequence of "isa" tests. 
llvm-svn: 61872
 2009-01-07 19:10:21 +00:00
Duncan Sands
de5d7e1415 The verifier checks that the aliasee is not null. 
llvm-svn: 61870
 2009-01-07 18:45:53 +00:00
Chris Lattner
8adf14ea21 Implement the first half of PR3290: if there is a store of an 
integer to a (transitive) bitcast the alloca and if that integer
has the full size of the alloca, then it clobbers the whole thing.
Handle this by extracting pieces out of the stored integer and 
filing them away in the SROA'd elements.

This triggers fairly frequently because the CFE uses integers to
pass small structs by value and the inliner exposes these.  For 
example, in kimwitu++, I see a bunch of these with i64 stores to
"%struct.std::pair<std::_Rb_tree_const_iterator<kc::impl_abstract_phylum*>,bool>"

In 176.gcc I see a few i32 stores to "%struct..0anon".

In the testcase, this is a difference between compiling test1 to:

_test1:
	subl	$12, %esp
	movl	20(%esp), %eax
	movl	%eax, 4(%esp)
	movl	16(%esp), %eax
	movl	%eax, (%esp)
	movl	(%esp), %eax
	addl	4(%esp), %eax
	addl	$12, %esp
	ret

vs:

_test1:
	movl	8(%esp), %eax
	addl	4(%esp), %eax
	ret

The second half of this will be to handle loads of the same form.

llvm-svn: 61853
 2009-01-07 08:11:13 +00:00
Chris Lattner
794f7e91f4 Factor a bunch of code out into a helper method. 
llvm-svn: 61852
 2009-01-07 07:18:45 +00:00
Chris Lattner
1a9f7818cd use continue to simplify code and reduce nesting, no functionality 
change.

llvm-svn: 61851
 2009-01-07 06:39:58 +00:00
Chris Lattner
f4d53950be Get TargetData once up front and cache as an ivar instead of 
requerying it all over the place.

llvm-svn: 61850
 2009-01-07 06:34:28 +00:00
Chris Lattner
c7b8b2a16d Use the hasAllZeroIndices predicate to simplify some 
code, no functionality change.

llvm-svn: 61849
 2009-01-07 06:25:07 +00:00
Evan Cheng
a70ecc2f51 The coalescer does not coalesce a virtual register to a physical register if any of the physical register's sub-register live intervals overlaps with the virtual register. This is overly conservative. It prevents a extract_subreg from being coalesced away: 
v1024 = EDI  // not killed
      =
      = EDI

One possible solution is for the coalescer to examine the sub-register live intervals in the same manner as the physical register. Another possibility is to examine defs and uses (when needed) of sub-registers. Both solutions are too expensive. For now, look for "short virtual intervals" and scan instructions to look for conflict instead.

This is a small win on x86-64. e.g. It shaves 403.gcc by ~80 instructions.

llvm-svn: 61847
 2009-01-07 02:08:57 +00:00
Dan Gohman
ca4475dd7b Add patterns to match conditional moves with loads folded 
into their left operand, rather than their right. Do this
by commuting the operands and inverting the condition.

llvm-svn: 61842
 2009-01-07 01:00:24 +00:00
Dan Gohman
ab00fbad9d Add load-folding table entries for cmovno too. 
llvm-svn: 61841
 2009-01-07 00:44:53 +00:00