RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 04:02:41 +01:00
Code Issues Projects Releases Wiki Activity
36,689 Commits 4 Branches 5 Tags 704 MiB
b2bc19ee5b
Commit Graph

21571 Commits

Author SHA1 Message Date
Duncan Sands
7414cc131b When turning a call to a bitcast function into a direct call, 
if this becomes a varargs call then deal correctly with any
parameter attributes on the newly vararg call arguments.

llvm-svn: 45931
 2008-01-13 08:02:44 +00:00
Chris Lattner
7fa87a190a improve cygwin compatibility, patch by Sam Bishop 
llvm-svn: 45917
 2008-01-12 22:54:07 +00:00
Chris Lattner
8b29caac2c clarify a note 
llvm-svn: 45914
 2008-01-12 18:58:46 +00:00
Evan Cheng
a5183224b0 Add hasByValArgument() to test if a call instruction has byval argument(s). 
llvm-svn: 45913
 2008-01-12 18:57:32 +00:00
Chris Lattner
d90840eddc we don't have to make an explicit copy of a byval argument when 
inlining a function if we know that the function does not write
to *any* memory.  This implements test/Transforms/Inline/byval2.ll

llvm-svn: 45912
 2008-01-12 18:54:29 +00:00
Evan Cheng
1e7cbf32c2 Indirect call with byval parameter requires a cast first. 
llvm-svn: 45911
 2008-01-12 18:53:07 +00:00
Duncan Sands
3b617cbe30 Be more liberal in what parameter attributes are 
allowed on the vararg arguments of a call.

llvm-svn: 45909
 2008-01-12 16:42:01 +00:00
Chris Lattner
fb5876f0be Allow clients to specify the inline threshold when creating 
the inliner pass.  Patch by Robert Zeh.

llvm-svn: 45903
 2008-01-12 06:49:13 +00:00
Chris Lattner
e1bd3e1e72 Add support for NetBSD, patch by Krister Walfridsson! 
llvm-svn: 45902
 2008-01-12 06:46:09 +00:00
Evan Cheng
08584fc86a Code clean up. 
llvm-svn: 45898
 2008-01-12 01:08:07 +00:00
Chris Lattner
5e112f44c8 fix a wordo that gordon noticed :) 
llvm-svn: 45896
 2008-01-12 00:53:16 +00:00
Chris Lattner
0242c393d1 Any x86 instruction that reads from an invariant location is invariant. 
This allows us to sink things like:
	cvtsi2sd	32(%esp), %xmm1
when reading from the argument area, for example.

llvm-svn: 45895
 2008-01-12 00:35:08 +00:00
Chris Lattner
efa13b2edd implement support for sinking a load out the bottom of a block that 
has no stores between the load and the end of block.  This works 
great and sinks hundreds of stores, but we can't turn it on because
machineinstrs don't have volatility information and we don't want to
sink volatile stores :(

llvm-svn: 45894
 2008-01-12 00:17:41 +00:00
Duncan Sands
6f49217a5e When DAE drops the varargs part of a function, ensure any 
attributes on the vararg call arguments are also dropped.

llvm-svn: 45892
 2008-01-11 23:13:45 +00:00
Evan Cheng
438d36bf7d More cbe byval fixes. 
llvm-svn: 45891
 2008-01-11 23:10:11 +00:00
Duncan Sands
e55a5806ac Do not allow attributes beyond a function's last 
parameter, even if it is a varargs function.  Do
allow attributes on the varargs part of a call,
but not beyond the last argument.  Only allow
selected attributes to be on the varargs part of
a call (currently only 'byval' is allowed).  The
reasoning here is that most attributes, eg inreg,
simply make no sense here.

llvm-svn: 45887
 2008-01-11 22:36:48 +00:00
Chris Lattner
a1246ba8ed Teach argpromote to ruthlessly hack small byval structs when it can 
get away with it, which exposes opportunities to eliminate the memory
objects entirely.  For example, we now compile byval.ll to:

define internal void @f1(i32 %b.0, i64 %b.1) {
entry:
	%tmp2 = add i32 %b.0, 1		; <i32> [#uses=0]
	ret void
}

define i32 @main() nounwind  {
entry:
	call void @f1( i32 1, i64 2 )
	ret i32 0
}

This seems like it would trigger a lot for code that passes around small
structs (e.g. SDOperand's or _Complex)...

llvm-svn: 45886
 2008-01-11 22:31:41 +00:00
Duncan Sands
d99973b822 If there are attributes on the varargs part of a 
call, don't discard them.

llvm-svn: 45884
 2008-01-11 21:23:39 +00:00
Scott Michel
5afa19350b More CellSPU refinements: 
- struct_2.ll: Completely unaligned load/store testing

- call_indirect.ll, struct_1.ll: Add test lines to exercise
   X-form [$reg($reg)] addressing

At this point, loads and stores should be under control (he says
in an optimistic tone of voice.)

llvm-svn: 45882
 2008-01-11 21:01:19 +00:00
Chris Lattner
8644bdca87 Use smallptrset instead of std::set for efficiency. 
llvm-svn: 45878
 2008-01-11 19:36:30 +00:00
Chris Lattner
44aaf42d14 a byval argument is guaranteed to be valid to load. 
llvm-svn: 45877
 2008-01-11 19:34:32 +00:00
Chris Lattner
129a0e4f7d Update this code to use eraseFromParent where possible. Compute 
whether an argument is byval and pass into isSafeToPromoteArgument.

llvm-svn: 45876
 2008-01-11 19:20:39 +00:00
Chris Lattner
85a0b511cc replace a loop with a constant time check. 
llvm-svn: 45875
 2008-01-11 18:55:10 +00:00
Chris Lattner
c9666b967f another minor datastructure tweak. 
llvm-svn: 45874
 2008-01-11 18:47:45 +00:00
Chris Lattner
a6b0783f14 start using smallvector to avoid vector heap thrashing. 
llvm-svn: 45873
 2008-01-11 18:43:58 +00:00
Chris Lattner
0293fca6d8 rename MachineInstr::setInstrDescriptor -> setDesc 
llvm-svn: 45871
 2008-01-11 18:10:50 +00:00
Chris Lattner
a83f66d1bb remove xchg and shift-reg-by-1 instructions, which are dead. 
llvm-svn: 45870
 2008-01-11 18:00:50 +00:00
Chris Lattner
73e9c2c12d add a note, remove a done deed. 
llvm-svn: 45869
 2008-01-11 18:00:13 +00:00
Arnold Schwaighofer
5cc460a50e hrm - correct spelling. 
Actually were not riding any arguments. Sadly there is no semantic spell checker that is going to safe you from such a mistake.

llvm-svn: 45868
 2008-01-11 17:10:15 +00:00
Arnold Schwaighofer
d58f91f376 Improve tail call optimized call's argument lowering. Before this 
commit all arguments where moved to the stack slot where they would
reside on a normal function call before the lowering to the tail call
stack slot. This was done to prevent arguments overwriting each other.
Now only arguments sourcing from a FORMAL_ARGUMENTS node or a
CopyFromReg node with virtual register (could also be a caller's
argument) are lowered indirectly.

 --This line, and those below, will be ignored--

M    X86/X86ISelLowering.cpp
M    X86/README.txt

llvm-svn: 45867
 2008-01-11 16:49:42 +00:00
Arnold Schwaighofer
d2318e2f41 Correct a copy and paste error. 
llvm-svn: 45865
 2008-01-11 14:34:56 +00:00
Evan Cheng
ae6d80dead Some C backend ByVal parameter attribute support. Not yet complete. 
llvm-svn: 45864
 2008-01-11 09:12:49 +00:00
Evan Cheng
b10a30578e Rename Int_CVTSI642SSr* to Int_CVTSI2SS64r* for naming consistency and remove unused instructions. 
llvm-svn: 45861
 2008-01-11 07:37:44 +00:00
Chris Lattner
20d1e419b3 more flags set right 
llvm-svn: 45860
 2008-01-11 07:18:17 +00:00
Chris Lattner
cb62477ec2 add some missing flags. 
llvm-svn: 45859
 2008-01-11 06:59:07 +00:00
Chris Lattner
08a33a998a add some notes. 
llvm-svn: 45854
 2008-01-11 06:17:47 +00:00
Chris Lattner
bf51fecdc4 When inlining a functino with a byval argument, make an explicit 
copy of it in case the callee modifies the struct.

llvm-svn: 45853
 2008-01-11 06:09:30 +00:00
Evan Cheng
18c4155e7d A couple of obvious off-by-one bugs. 
llvm-svn: 45852
 2008-01-11 03:07:46 +00:00
Scott Michel
1e9496e4d4 More CellSPU refinement and progress: 
- Cleaned up custom load/store logic, common code is now shared [see note
  below], cleaned up address modes

- More test cases: various intrinsics, structure element access (load/store
  test), updated target data strings, indirect function calls.

Note: This patch contains a refactoring of the LoadSDNode and StoreSDNode
structures: they now share a common base class, LSBaseSDNode, that
provides an interface to their common functionality. There is some hackery
to access the proper operand depending on the derived class; otherwise,
to do a proper job would require finding and rearranging the SDOperands
sent to StoreSDNode's constructor. The current refactor errs on the
side of being conservatively and backwardly compatible while providing
functionality that reduces redundant code for targets where loads and
stores are custom-lowered.

llvm-svn: 45851
 2008-01-11 02:53:15 +00:00
Evan Cheng
63753b7be7 Allow parameter attributes on varargs function parameters. 
llvm-svn: 45850
 2008-01-11 02:13:09 +00:00
Dale Johannesen
83852e3451 Weak zeroes don't go in bss on Darwin. 
llvm-svn: 45849
 2008-01-11 01:59:45 +00:00
Dale Johannesen
31afe330e4 Weak things initialized to 0 don't go in bss on Darwin. 
Cosmetic changes to spacing to match gcc (some dejagnu
tests actually care).

llvm-svn: 45848
 2008-01-11 00:54:37 +00:00
Chris Lattner
bfffa4f21e Simplify the side effect stuff a bit more and make licm/sinking 
both work right according to the new flags.

This removes the TII::isReallySideEffectFree predicate, and adds
TII::isInvariantLoad. 

It removes NeverHasSideEffects+MayHaveSideEffects and adds
UnmodeledSideEffects as machine instr flags.  Now the clients
can decide everything they need.

I think isRematerializable can be implemented in terms of the
flags we have now, though I will let others tackle that.

llvm-svn: 45843
 2008-01-10 23:08:24 +00:00
Chris Lattner
e5b817779c Clamp down on sinking of lots of instructions. 
llvm-svn: 45841
 2008-01-10 22:35:15 +00:00
Chris Lattner
48c54909dc IMPLICIT_USE and IMPLICIT_DEF are dead, remove them. 
llvm-svn: 45838
 2008-01-10 19:27:54 +00:00
Chris Lattner
3c2a517080 add a note 
llvm-svn: 45837
 2008-01-10 18:25:41 +00:00
Duncan Sands
2c89976416 Output sinl for a long double FSIN node, not sin. 
Likewise fix up a bunch of other libcalls.  While
there I remove NEG_F32 and NEG_F64 since they are
not used anywhere.  This fixes 9 Ada ACATS failures.

llvm-svn: 45833
 2008-01-10 10:28:30 +00:00
Evan Cheng
444d24972f Only remat loads from immutable stack slots. 
llvm-svn: 45831
 2008-01-10 08:24:38 +00:00
Evan Cheng
6e03db7604 Simplify some code. 
llvm-svn: 45830
 2008-01-10 08:22:10 +00:00
Chris Lattner
9d7971791b Start inferring side effect information more aggressively, and fix many bugs in the 
x86 backend where instructions were not marked maystore/mayload, and perf issues where
instructions were not marked neverHasSideEffects.  It would be really nice if we could
write patterns for copy instructions.

I have audited all the x86 instructions down to MOVDQAmr.  The flags on others and on
other targets are probably not right in all cases, but no clients currently use this
info that are enabled by default.

llvm-svn: 45829
 2008-01-10 07:59:24 +00:00
Chris Lattner
7ceba534ba rename X86InstrX86-64.td -> X86Instr64bit.td 
llvm-svn: 45826
 2008-01-10 05:50:42 +00:00
Chris Lattner
dee5700386 add SDNPSideEffect node property declaration 
llvm-svn: 45825
 2008-01-10 05:48:23 +00:00
Chris Lattner
6ad01a9965 remove explicit sets of 'neverHasSideEffects' that can now be 
inferred from the instr patterns.

llvm-svn: 45824
 2008-01-10 05:45:39 +00:00
Chris Lattner
9b4f2b2316 get def use info more correct. 
llvm-svn: 45821
 2008-01-10 05:12:37 +00:00
Chris Lattner
3aa2fc1b5c add SDNPMayLoad to the 'load' sdnode definition. This is enough to get all the x86 
instructions (with patterns) that load memory marked, for example.

llvm-svn: 45818
 2008-01-10 04:44:32 +00:00
Chris Lattner
8e486a6b25 verify that the frame index is immutable before remat'ing (still disabled) 
or being side-effect free.

llvm-svn: 45816
 2008-01-10 04:16:31 +00:00
Owen Anderson
59c3242247 Don't use LiveVariables::VarInfo::DefInst. 
llvm-svn: 45815
 2008-01-10 03:12:54 +00:00
Evan Cheng
8846740401 Mark byval parameter stack objects mutable for now. 
llvm-svn: 45813
 2008-01-10 02:24:25 +00:00
Dale Johannesen
fdd4b3846f Emit unused EH frames for weak definitions on Darwin, 
because assembler/linker can't cope with weak absolutes.
PR 1880.

llvm-svn: 45811
 2008-01-10 02:03:30 +00:00
Owen Anderson
a8f32828c8 Get rid of all uses of LiveVariables::VarInfo::DefInst in favor of the equivalent API from 
MachineRegisterInfo.  Once all clients are switched over, the former will be going away.

llvm-svn: 45805
 2008-01-10 01:36:43 +00:00
Owen Anderson
e2b710013f Add more comments explaining the basics of how the decision of when to rename and when to insert 
copies is made.

llvm-svn: 45799
 2008-01-10 00:47:01 +00:00
Evan Cheng
f6fd56d085 Do not use the stack pointer directly, issue a copyfromreg instead. Otherwise we can end up with something like ADD32ri %esp, x which two-address pass won't like. 
llvm-svn: 45798
 2008-01-10 00:37:26 +00:00
Owen Anderson
a0e5b9a317 Get rid of the isKillInst predicate. LiveVariables already provides this information. 
llvm-svn: 45797
 2008-01-10 00:33:11 +00:00
Chris Lattner
b02074514e Fix PR1845 and rdar://5676945. Generic vectors smaller 
than hardware supported type will be scalarized, so we
can infer their alignment from that info.

We now codegen pr1845 into:

_boolVectorSelect:
	lbz r2, 0(r3)
	stb r2, -16(r1)
	blr 

llvm-svn: 45796
 2008-01-10 00:30:57 +00:00
Evan Cheng
7581a2a634 Remove comments that do not correspond to anything after recent refactoring. 
llvm-svn: 45792
 2008-01-10 00:09:10 +00:00
Owen Anderson
b5be87349c Copies need to be inserted before the first terminator, not at the end of the block. 
llvm-svn: 45791
 2008-01-10 00:01:41 +00:00
Evan Cheng
ba0214a6cb Special copy SUnit's do not have SDNode's. 
llvm-svn: 45787
 2008-01-09 23:01:55 +00:00
Owen Anderson
62bb891e23 Clean up StrongPHIElimination a bit, and add some more comments to the internal structures. There's 
still more work to do on this front.

llvm-svn: 45783
 2008-01-09 22:40:54 +00:00
Duncan Sands
e97a9a373a Fix compile failures with g++-4.3. 
llvm-svn: 45781
 2008-01-09 19:42:09 +00:00
Owen Anderson
9555739636 StrongPHIElim: Now with even fewer trivial bugs! 
llvm-svn: 45775
 2008-01-09 10:41:39 +00:00
Owen Anderson
c937ae34a5 Fix an infinite recursion bug in InsertCopies. 
llvm-svn: 45774
 2008-01-09 10:32:30 +00:00
Owen Anderson
01e1f23391 Fix some simple bugs. StrongPHIElimination now does not crash on 164.gzip. 
llvm-svn: 45773
 2008-01-09 06:19:05 +00:00
Chris Lattner
c465555fe6 add a testcase 
llvm-svn: 45768
 2008-01-09 00:37:18 +00:00
Chris Lattner
4253eeaeb3 add a note 
llvm-svn: 45766
 2008-01-09 00:17:57 +00:00
Chris Lattner
c93ad7d569 Make load->store deletion a bit smarter. This allows us to compile this: 
void test(long long *P) { *P ^= 1; }

into just:

_test:
	movl	4(%esp), %eax
	xorl	$1, (%eax)
	ret

instead of code like this:

_test:
	movl	4(%esp), %ecx
        xorl    $1, (%ecx)
	movl	4(%ecx), %edx
	movl	%edx, 4(%ecx)
	ret

llvm-svn: 45762
 2008-01-08 23:08:06 +00:00
Owen Anderson
3d5485728a Rename registers that do not need copies. 
llvm-svn: 45759
 2008-01-08 21:54:52 +00:00
Duncan Sands
6f28b87039 Use size_t to store Pos, avoid truncating value 
on 64-bit builds.  Analysis and original patch
by Török Edwin.  Code audit found another place
with the same problem, also fixed here.

llvm-svn: 45746
 2008-01-08 10:06:15 +00:00
Chris Lattner
67f581b344 Implement PR1795, an instcombine hack for forming GEPs with integer pointer arithmetic. 
llvm-svn: 45745
 2008-01-08 07:23:51 +00:00
Chris Lattner
cafc567fb7 Finally implement correct ordered comparisons for PPC, even though 
the code generated is not wonderful.  This turns a miscompilation into
a code quality bug (noted in the ppc readme).  This fixes PR642, which
is over 2 years old (!).  Nate, please review this.

llvm-svn: 45742
 2008-01-08 06:46:30 +00:00
Owen Anderson
23abe71f4d Actually insert copies now! 
llvm-svn: 45738
 2008-01-08 05:16:15 +00:00
Evan Cheng
e7fd8ad117 Minor fix to enable x86-64 pic jit (still fails for other reasons). 
llvm-svn: 45734
 2008-01-08 02:07:10 +00:00
Evan Cheng
165d39b8e4 Fix a x86-64 static codegen bug. This fixes a lot of x86-64 jit failures. 
llvm-svn: 45733
 2008-01-08 02:06:11 +00:00
Bill Wendling
e859abc363 Silence warning about loss of precision. 
llvm-svn: 45731
 2008-01-08 00:52:29 +00:00
Evan Cheng
9de4f35e9f Only mark instructions that load a single value without extension as isSimpleLoad = 1. 
llvm-svn: 45727
 2008-01-07 23:56:57 +00:00
Chris Lattner
32934de862 add a new bit. 
llvm-svn: 45726
 2008-01-07 23:16:55 +00:00
Evan Cheng
ae2f627ea8 Unbreak x86-64. 
llvm-svn: 45725
 2008-01-07 23:08:23 +00:00
Chris Lattner
184daf9101 add a note that is important for some fp apps. 
llvm-svn: 45723
 2008-01-07 21:59:58 +00:00
Chris Lattner
66e631ace3 possible switch lowering improvement. 
llvm-svn: 45720
 2008-01-07 21:38:14 +00:00
Owen Anderson
6f06a8e8d2 Oops, missed one. 
llvm-svn: 45719
 2008-01-07 21:32:09 +00:00
Owen Anderson
692d2acef8 Make some predicates static. 
llvm-svn: 45718
 2008-01-07 21:30:40 +00:00
Duncan Sands
3d1260ba4d I doubt the address of the Error string was intended 
to be used for the force_interpreter parameter...
Spotted by gcc-4.2.

llvm-svn: 45714
 2008-01-07 19:14:42 +00:00
Duncan Sands
7209d0c045 Add missing newline at EOF. 
llvm-svn: 45712
 2008-01-07 19:13:36 +00:00
Duncan Sands
7955cf0cd7 Small cleanup for handling of type/parameter attribute 
incompatibility.

llvm-svn: 45704
 2008-01-07 17:16:06 +00:00
Duncan Sands
fbbbb24641 Unbreak x86-32 darwin long double! 
llvm-svn: 45703
 2008-01-07 16:36:38 +00:00
Duncan Sands
93959fc16a Fix long double support on x86-32 linux. 
llvm-svn: 45701
 2008-01-07 13:44:22 +00:00
Gordon Henriksen
fb55daea95 Pruning includes. 
llvm-svn: 45700
 2008-01-07 13:30:38 +00:00
Bill Wendling
b94c1f2999 Operand 1 should be a register. We don't care if it's a preg, vreg, or 0. 
llvm-svn: 45699
 2008-01-07 08:05:29 +00:00
Chris Lattner
9aefefc673 add a note 
llvm-svn: 45698
 2008-01-07 07:46:23 +00:00
Chris Lattner
f4f5495b06 remove #includage 
llvm-svn: 45697
 2008-01-07 07:42:25 +00:00
Chris Lattner
f83aae613c rename TargetInstrDescriptor -> TargetInstrDesc. 
Make MachineInstr::getDesc return a reference instead
of a pointer, since it can never be null.

llvm-svn: 45695
 2008-01-07 07:27:27 +00:00
Chris Lattner
e78ce25794 simplify some code. 
llvm-svn: 45693
 2008-01-07 06:47:00 +00:00
Chris Lattner
57e851edfe Rename all the M_* flags to be namespace qualified enums, and switch 
all clients over to using predicates instead of these flags directly.
These are now private values which are only to be used to statically
initialize the tables.

llvm-svn: 45692
 2008-01-07 06:42:05 +00:00
Chris Lattner
e83299018e use predicate. 
llvm-svn: 45691
 2008-01-07 06:37:29 +00:00
Chris Lattner
c745aa59b3 add more and significantly better comments to the rest of the machineinstr 
flags that can be set.  Add predicates for the ones lacking it, and switch
some clients over to using the predicates instead of Flags directly.

llvm-svn: 45690
 2008-01-07 06:21:53 +00:00
Chris Lattner
18038a0aac simplify some code using new predicates 
llvm-svn: 45689
 2008-01-07 05:40:58 +00:00
Chris Lattner
9b987de2c5 rename hasVariableOperands() -> isVariadic(). Add some comments. 
Evan, please review the comments I added to getNumDefs to make sure
that they are accurate, thx.

llvm-svn: 45687
 2008-01-07 05:19:29 +00:00
Chris Lattner
354275d0b2 remove a dead field. 
llvm-svn: 45685
 2008-01-07 04:57:42 +00:00
Chris Lattner
4421b821f5 no need to explicitly clear these fields. 
llvm-svn: 45683
 2008-01-07 04:55:09 +00:00
Chris Lattner
9d38dfa4a5 Move a bunch more accessors from TargetInstrInfo to TargetInstrDescriptor 
llvm-svn: 45680
 2008-01-07 03:13:06 +00:00
Chris Lattner
55343065e3 remove MachineOpCode typedef. 
llvm-svn: 45679
 2008-01-07 02:48:55 +00:00
Chris Lattner
96d0a93f8e remove some uses of MachineOpCode, move getSchedClass 
into TargetInstrDescriptor from TargetInstrInfo.

llvm-svn: 45678
 2008-01-07 02:46:03 +00:00
Chris Lattner
93e1e6ee12 Add predicates methods to TargetOperandInfo, and switch all clients 
over to using them, instead of diddling Flags directly.  Change the
various flags from const variables to enums.

llvm-svn: 45677
 2008-01-07 02:39:19 +00:00
Gordon Henriksen
edbfece273 Setting GlobalDirective in TargetAsmInfo by default rather than 
providing a misleading facility. It's used once in the MIPS backend
and hardcoded as "\t.globl\t" everywhere else.

llvm-svn: 45676
 2008-01-07 02:31:11 +00:00
Gordon Henriksen
f0803127c6 Deleting an empty file. Thanks, /usr/bin/patch! 
llvm-svn: 45675
 2008-01-07 02:29:04 +00:00
Chris Lattner
f7f96d818f Rename MachineInstr::getInstrDescriptor -> getDesc(), which reflects 
that it is cheap and efficient to get.

Move a variety of predicates from TargetInstrInfo into 
TargetInstrDescriptor, which makes it much easier to query a predicate
when you don't have TII around.  Now you can use MI->getDesc()->isBranch()
instead of going through TII, and this is much more efficient anyway. Not
all of the predicates have been moved over yet.

Update old code that used MI->getInstrDescriptor()->Flags to use the
new predicates in many places.

llvm-svn: 45674
 2008-01-07 01:56:04 +00:00
Owen Anderson
2e866e9cdf Update CodeGen for MRegisterInfo --> TargetInstrInfo changes. 
llvm-svn: 45673
 2008-01-07 01:35:56 +00:00
Owen Anderson
f19692b2f6 Move even more functionality from MRegisterInfo into TargetInstrInfo. 
Some day I'll get it all moved over...

llvm-svn: 45672
 2008-01-07 01:35:02 +00:00
Gordon Henriksen
759ed9d805 Ammending r45669 with a missing file. 
llvm-svn: 45671
 2008-01-07 01:33:09 +00:00
Gordon Henriksen
db4f51e1b9 With this patch, the LowerGC transformation becomes the 
ShadowStackCollector, which additionally has reduced overhead with
no sacrifice in portability.

Considering a function @fun with 8 loop-local roots,
ShadowStackCollector introduces the following overhead
(x86):

; shadowstack prologue
        movl    L_llvm_gc_root_chain$non_lazy_ptr, %eax
        movl    (%eax), %ecx
        movl    $___gc_fun, 20(%esp)
        movl    $0, 24(%esp)
        movl    $0, 28(%esp)
        movl    $0, 32(%esp)
        movl    $0, 36(%esp)
        movl    $0, 40(%esp)
        movl    $0, 44(%esp)
        movl    $0, 48(%esp)
        movl    $0, 52(%esp)
        movl    %ecx, 16(%esp)
        leal    16(%esp), %ecx
        movl    %ecx, (%eax)

; shadowstack loop overhead
        (none)

; shadowstack epilogue
        movl    48(%esp), %edx
        movl    %edx, (%ecx)

; shadowstack metadata
        .align  3
___gc_fun:                              # __gc_fun
        .long   8
        .space  4

In comparison to LowerGC:

; lowergc prologue
        movl    L_llvm_gc_root_chain$non_lazy_ptr, %eax
        movl    (%eax), %ecx
        movl    %ecx, 48(%esp)
        movl    $8, 52(%esp)
        movl    $0, 60(%esp)
        movl    $0, 56(%esp)
        movl    $0, 68(%esp)
        movl    $0, 64(%esp)
        movl    $0, 76(%esp)
        movl    $0, 72(%esp)
        movl    $0, 84(%esp)
        movl    $0, 80(%esp)
        movl    $0, 92(%esp)
        movl    $0, 88(%esp)
        movl    $0, 100(%esp)
        movl    $0, 96(%esp)
        movl    $0, 108(%esp)
        movl    $0, 104(%esp)
        movl    $0, 116(%esp)
        movl    $0, 112(%esp)

; lowergc loop overhead
        leal    44(%esp), %eax
        movl    %eax, 56(%esp)
        leal    40(%esp), %eax
        movl    %eax, 64(%esp)
        leal    36(%esp), %eax
        movl    %eax, 72(%esp)
        leal    32(%esp), %eax
        movl    %eax, 80(%esp)
        leal    28(%esp), %eax
        movl    %eax, 88(%esp)
        leal    24(%esp), %eax
        movl    %eax, 96(%esp)
        leal    20(%esp), %eax
        movl    %eax, 104(%esp)
        leal    16(%esp), %eax
        movl    %eax, 112(%esp)

; lowergc epilogue
        movl    48(%esp), %edx
        movl    %edx, (%ecx)

; lowergc metadata
        (none)

llvm-svn: 45670
 2008-01-07 01:30:53 +00:00
Gordon Henriksen
88a41c672b Enabling the target-independent garbage collection infrastructure by hooking it 
up to the various compiler pipelines.

This doesn't actually add support for any GC algorithms, which means it 
temporarily breaks a few tests. To be fixed shortly.

llvm-svn: 45669
 2008-01-07 01:30:38 +00:00
Chris Lattner
6b6e6f1f6e The pic base can't be duplicated. 
llvm-svn: 45668
 2008-01-06 23:49:32 +00:00
Chris Lattner
14310afe42 rename isLoad -> isSimpleLoad due to evan's desire to have such a predicate. 
llvm-svn: 45667
 2008-01-06 23:38:27 +00:00
Duncan Sands
fd975e4b3d The transform that tries to turn calls to bitcast functions into 
direct calls bails out unless caller and callee have essentially
equivalent parameter attributes.  This is illogical - the callee's
attributes should be of no relevance here.  Rework the logic, which
incidentally fixes a crash when removed arguments have attributes.

llvm-svn: 45658
 2008-01-06 18:27:01 +00:00
Duncan Sands
b8489f09a2 When transforming a call to a bitcast function into 
a direct call with cast parameters and cast return
value (if any), instcombine was prepared to cast any
non-void return value into any other, whether castable
or not.  Add a new predicate for testing whether casting
is valid, and check it both for the return value and
(as a cleanup) for the parameters.

llvm-svn: 45657
 2008-01-06 10:12:28 +00:00
Chris Lattner
5489888580 rename isStore -> mayStore to more accurately reflect what it captures. 
llvm-svn: 45656
 2008-01-06 08:36:04 +00:00
Duncan Sands
63b3355183 Remove an unused variable. 
llvm-svn: 45655
 2008-01-06 07:43:13 +00:00
Chris Lattner
8b4b75c771 Change the 'isStore' inferrer to look for 'SDNPMayStore' 
instead of "ISD::STORE".  This allows us to mark target-specific dag
nodes as storing (such as ppc byteswap stores).  This allows us to remove
more explicit isStore flags from the .td files.

Finally, add a warning for when a .td file contains an explicit 
isStore and tblgen is able to infer it.

llvm-svn: 45654
 2008-01-06 06:44:58 +00:00
Chris Lattner
2bb919b542 remove explicit isStore flags that are now inferrable. 
llvm-svn: 45653
 2008-01-06 05:55:01 +00:00
Chris Lattner
9f8735181f remove some isStore flags that are now inferred automatically. 
llvm-svn: 45652
 2008-01-06 05:53:26 +00:00
Bill Wendling
703a1fc174 Fix comment. 
llvm-svn: 45638
 2008-01-05 23:30:51 +00:00
Chris Lattner
60aa495a41 make this build with newer gcc's 
llvm-svn: 45637
 2008-01-05 23:29:51 +00:00
Nate Begeman
ff49dc59ff Remove an incorrect optimization that is performed correctly by 
the target independent legalizer.

llvm-svn: 45631
 2008-01-05 20:51:30 +00:00
Nate Begeman
a6e9de35ae If custom lowering of insert element fails, the result Val will be 0. 
Don't overwrite a variable used by the fallthrough code path in this
case.

llvm-svn: 45630
 2008-01-05 20:47:37 +00:00
Chris Lattner
9f51583a6a Fix build issue on certain compilers. 
llvm-svn: 45629
 2008-01-05 20:15:42 +00:00
Gordon Henriksen
f4e137838b Refactoring the x86 and x86-64 calling convention implementations, 
unifying the copied algorithms and saving over 500 LOC. There should
be no functionality change, but please test on your favorite x86
target.

llvm-svn: 45627
 2008-01-05 16:56:59 +00:00
Bill Wendling
ecf0f85985 Chris and Evan noticed that this check was compleatly fubared. I was 
checking that there was a from a global instead of a load from the stub
for a global, which is the one that's safe to hoist.

Consider this program:

volatile char G[100];
int B(char *F, int N) {
  for (; N > 0; --N)
    F[N] = G[N];
}

In static mode, we shouldn't be hoisting the load from G:

$ llc -relocation-model=static -o - a.bc -march=x86 -machine-licm

LBB1_1: # bb.preheader
        leal    -1(%eax), %edx
        testl   %edx, %edx
        movl    $1, %edx
        cmovns  %eax, %edx
        xorl    %esi, %esi
LBB1_2: # bb
        movb    _G(%eax), %bl
        movb    %bl, (%ecx,%eax)

llvm-svn: 45626
 2008-01-05 09:18:04 +00:00
Chris Lattner
0d444b96ac The current impl is really trivial, add some comments about how it can be made better. 
llvm-svn: 45625
 2008-01-05 06:47:58 +00:00
Chris Lattner
9428a7d97f allow sinking to be enabled for the jit 
llvm-svn: 45624
 2008-01-05 06:14:16 +00:00
Chris Lattner
f1493e7b58 enable sinking and licm of loads from the argument area. I'd like to enable this 
for remat, but can't due to an RA bug.

llvm-svn: 45623
 2008-01-05 06:10:42 +00:00
Chris Lattner
aad6c09a14 simplify some code by using shorter accessors. 
llvm-svn: 45622
 2008-01-05 05:28:30 +00:00
Chris Lattner
6e948ea2e6 revert my previous patch. 
llvm-svn: 45621
 2008-01-05 05:26:26 +00:00
Chris Lattner
86ca5928b5 factor some code better to avoid redundancy between 
isReallySideEffectFree and isReallyTriviallyReMaterializable.  Why is a load from
a global considered side-effect-free but not rematable?

llvm-svn: 45620
 2008-01-05 05:19:56 +00:00
Chris Lattner
6ad8e32f6b getting the pic base has no side effects. 
llvm-svn: 45618
 2008-01-05 03:54:32 +00:00
Chris Lattner
9e7943159e don't sink anything with side effects, this makes lots of stuff work, but sinks almost nothing. 
llvm-svn: 45617
 2008-01-05 02:33:22 +00:00
Evan Cheng
759f389846 X86 JIT PIC jumptable support. 
llvm-svn: 45616
 2008-01-05 02:26:58 +00:00
Chris Lattner
377c720459 fix a common crash. 
llvm-svn: 45614
 2008-01-05 01:39:17 +00:00
Chris Lattner
7e1c3aa702 remove a couple more unsafe xforms in the face of overflow. 
llvm-svn: 45613
 2008-01-05 01:22:42 +00:00
Chris Lattner
983697dfac remove the (x-y) < 0 comparison xform, it miscompiles 
things that are not equality comparisons, for example:
   (2147479553+4096)-2147479553 < 0    !=   (2147479553+4096) < 2147479553

llvm-svn: 45612
 2008-01-05 01:18:20 +00:00
Owen Anderson
8c8c5906f8 I should not be allowed to commit when sleepy. 
llvm-svn: 45608
 2008-01-05 00:48:55 +00:00
Evan Cheng
5b9282f3b5 Combine MovePCtoStack + POP32r into one instruction MOVPC32r so it can be moved if needed. 
llvm-svn: 45605
 2008-01-05 00:41:47 +00:00
Owen Anderson
2adf8c5533 Move some more functionality from MRegisterInfo to TargetInstrInfo. 
llvm-svn: 45603
 2008-01-04 23:57:37 +00:00
Bill Wendling
93556af6c4 Don't recalculate the loop info and loop dominators analyses if they're 
preserved.

llvm-svn: 45596
 2008-01-04 20:54:55 +00:00
Wojciech Matyjewicz
9ec15f974f fix typo 
llvm-svn: 45594
 2008-01-04 20:02:18 +00:00
Evan Cheng
6dbcca7903 Unbreak tailcall opt in JIT. 
llvm-svn: 45576
 2008-01-04 10:50:28 +00:00
Evan Cheng
7322e4dec4 X86 PIC JIT support fixes: encoding bugs, add lazy pointer stubs support. 
llvm-svn: 45575
 2008-01-04 10:46:51 +00:00
Bill Wendling
4f3a9df125 80-column violations. 
llvm-svn: 45574
 2008-01-04 08:59:18 +00:00
Bill Wendling
2017097bb8 Add that this preserves some analyses. 
llvm-svn: 45573
 2008-01-04 08:48:49 +00:00
Bill Wendling
13eb1bfc08 Move option to enable machine LICM into LLVMTargetMachine.cpp. 
llvm-svn: 45572
 2008-01-04 08:11:03 +00:00
Bill Wendling
da5d32e248 Call the parent's getAnalysisUsage. 
llvm-svn: 45571
 2008-01-04 07:50:05 +00:00
Chris Lattner
f4972fa569 Add a really quick hack at a machine code sinking pass, enabled with --enable-sinking. 
It is missing validity checks, so it is known broken.  However, it is powerful enough
to compile this contrived code:

void test1(int C, double A, double B, double *P) {
  double Tmp = A*A+B*B;
  *P = C ? Tmp : A;
}

into:

_test1:
	movsd	8(%esp), %xmm0
	cmpl	$0, 4(%esp)
	je	LBB1_2	# entry
LBB1_1:	# entry
	movsd	16(%esp), %xmm1
	mulsd	%xmm1, %xmm1
	mulsd	%xmm0, %xmm0
	addsd	%xmm1, %xmm0
LBB1_2:	# entry
	movl	24(%esp), %eax
	movsd	%xmm0, (%eax)
	ret

instead of:

_test1:
	movsd	16(%esp), %xmm0
	mulsd	%xmm0, %xmm0
	movsd	8(%esp), %xmm1
	movapd	%xmm1, %xmm2
	mulsd	%xmm2, %xmm2
	addsd	%xmm0, %xmm2
	cmpl	$0, 4(%esp)
	je	LBB1_2	# entry
LBB1_1:	# entry
	movapd	%xmm2, %xmm1
LBB1_2:	# entry
	movl	24(%esp), %eax
	movsd	%xmm1, (%eax)
	ret

woo.

llvm-svn: 45570
 2008-01-04 07:36:53 +00:00
Chris Lattner
b02b90a8f6 remove dead #includes and reorder the rest. 
llvm-svn: 45569
 2008-01-04 06:41:45 +00:00
Chris Lattner
d4c66656a1 Fix PR1896 
llvm-svn: 45568
 2008-01-04 05:04:53 +00:00
Evan Cheng
627a9455a6 Correct order of parameters. 
llvm-svn: 45562
 2008-01-04 02:22:21 +00:00
Chris Lattner
40f17611cc Remove symbols that don't exist, remove tabs, fix comment typo 
llvm-svn: 45553
 2008-01-03 22:15:32 +00:00
Gordon Henriksen
d3af8e0ab3 First steps in in X86 calling convention cleanup. 
llvm-svn: 45536
 2008-01-03 16:47:34 +00:00
Chris Lattner
26b89fd30a don't hoist FP additions into unconditional adds + selects. This 
could theoretically introduce a trap, but is also a performance issue.
This speeds up ptrdist/ks by 8%.

llvm-svn: 45533
 2008-01-03 07:25:26 +00:00
Chris Lattner
a27cc48cbc Fix PR1873, a problem finding stat-related symbols on linux, due to 
"libc_nonshared.a". Patch by Edwin Török!

llvm-svn: 45532
 2008-01-03 07:10:51 +00:00
Gordon Henriksen
8e4ae9a345 Trying that again. 
llvm-svn: 45529
 2008-01-03 03:32:33 +00:00
Gordon Henriksen
b28803a63f Fix a compile error on Windows. 
llvm-svn: 45528
 2008-01-03 03:21:18 +00:00
Evan Cheng
fb2bc4fc95 Change MachineRelocation::DoesntNeedFnStub to NeedStub. This fields will be used 
for non-function GV relocations that require function address stubs (e.g. Mac OS X in non-static mode).

llvm-svn: 45527
 2008-01-03 02:56:28 +00:00
Chris Lattner
c613164542 Remove the function attr cache for intrinsics. This does not maintain the 
refcount on these correctly, and can end up referring to deleted 
attributes.  This fixes PR1881.

llvm-svn: 45525
 2008-01-03 01:20:12 +00:00
Chris Lattner
e54252e6e1 Don't create a new ParamAttrsList (which copies the vector) just to 
get a profile.

llvm-svn: 45524
 2008-01-03 00:29:27 +00:00
Chris Lattner
e14d4d026e move some code out of line, rearrange a bit. 
llvm-svn: 45519
 2008-01-03 00:10:22 +00:00
Chris Lattner
9ec341b120 Split param attr implementation out from Function.cpp into its 
own file.  Don't #include ParameterAttributes.h into any major
public header files: just move methods out of line as appropriate.

llvm-svn: 45517
 2008-01-02 23:42:30 +00:00
Chris Lattner
028f584087 add missing #include 
llvm-svn: 45516
 2008-01-02 23:41:05 +00:00
Evan Cheng
ba1fd9fc76 X86 PIC JIT bug fix: relocations for constantpool and jumptable. 
llvm-svn: 45515
 2008-01-02 23:38:59 +00:00
Chris Lattner
25b9530d7b remove blob of #if'd out code. 
llvm-svn: 45512
 2008-01-02 23:10:45 +00:00
Chris Lattner
93a70c4a0e Fix a build issue on cygwin 
llvm-svn: 45506
 2008-01-02 22:03:27 +00:00
Bill Wendling
c677923991 Use the correct MachineRegisterInfo object. 
llvm-svn: 45499
 2008-01-02 21:10:54 +00:00
Bill Wendling
92d8ff0471 Machine LICM will check that operands are defined outside of the loop. Also 
check that register isn't 0 before going further.

llvm-svn: 45498
 2008-01-02 21:10:40 +00:00
Bill Wendling
005b47c20c Remove dead code. 
llvm-svn: 45496
 2008-01-02 20:47:37 +00:00
Chris Lattner
4a0d9c7836 darwin9 and above support aligned common symbols. 
llvm-svn: 45494
 2008-01-02 19:44:55 +00:00
Chris Lattner
abd12447f8 leopard and above support alignment for common symbols. 
llvm-svn: 45493
 2008-01-02 19:35:16 +00:00
Bill Wendling
5843183ca2 Use the new architecture to get the containing machine basic block for a machine 
instruction. Also, use "splice" to move the new instruction instead of
remove/insert (where it was leaking memory anyway).

llvm-svn: 45492
 2008-01-02 19:32:43 +00:00
Nick Lewycky
ea4de32234 Don't be rude, emit debugging info where asked to. 
llvm-svn: 45485
 2008-01-02 02:49:20 +00:00
Owen Anderson
e6856128ab Move some more instruction creation methods from RegisterInfo into InstrInfo. 
llvm-svn: 45484
 2008-01-01 21:11:32 +00:00
Chris Lattner
fc976a38ff Make MachineRegisterInfo::getVRegDef more efficient by aiming the keep the def of the vreg at the start of the list, so the list doesn't need to be traversed. 
llvm-svn: 45483
 2008-01-01 21:08:22 +00:00
Chris Lattner
490a9681cb switch the register iterator to act more like hte LLVM value iterator: dereferencing 
it now returns the machineinstr of the use.  To get the operand, use I.getOperand().

Add a new MachineRegisterInfo::replaceRegWith, which is basically like
Value::replaceAllUsesWith.

llvm-svn: 45482
 2008-01-01 20:36:19 +00:00
Gordon Henriksen
d2485b2cec Adding C bindings for SwitchInst::addCase. 
Patch by Bryan O'Sullivan!

llvm-svn: 45481
 2008-01-01 05:50:53 +00:00
Chris Lattner
7091807c2d Add a trivial but handy function to efficiently return the machine 
instruction that defines the specified vreg.  Crazy.

llvm-svn: 45480
 2008-01-01 03:07:29 +00:00
Chris Lattner
39b56ec51b Implement automatically updated def/use lists for all MachineInstr register 
operands.  The lists are currently kept in MachineRegisterInfo, but it does
not yet provide an iterator interface to them.

llvm-svn: 45477
 2008-01-01 01:12:31 +00:00
Chris Lattner
04a35e9a8c Fix a bug in my previous patch: refer to the impl not the pure virtual version. It's unclear why gcc would ever compile this... 
llvm-svn: 45476
 2008-01-01 01:05:34 +00:00
Chris Lattner
1285ec2ae7 Fix a problem where lib/Target/TargetInstrInfo.h would include and use 
a header file from libcodegen.  This violates a layering order: codegen
depends on target, not the other way around.  The fix to this is to 
split TII into two classes, TII and TargetInstrInfoImpl, which defines
stuff that depends on libcodegen.  It is defined in libcodegen, where 
the base is not.

llvm-svn: 45475
 2008-01-01 01:03:04 +00:00
Duncan Sands
8a4882564a Fix PR1833 - eh.exception and eh.selector return two 
values, which means doing extra legalization work.
It would be easier to get this kind of thing right if
there was some documentation...

llvm-svn: 45472
 2007-12-31 18:35:50 +00:00
Owen Anderson
ae7e2c1e03 Move copyRegToReg from MRegisterInfo to TargetInstrInfo. This is part of the 
Machine-level API cleanup instigated by Chris.

llvm-svn: 45470
 2007-12-31 06:32:00 +00:00
Chris Lattner
d8b7ecd871 properly encapsulate the parent field of MBB and MI with get/set accessors. 
llvm-svn: 45469
 2007-12-31 04:56:33 +00:00
Chris Lattner
de54e62962 update a couple of references to SSARegMap. 
llvm-svn: 45468
 2007-12-31 04:16:08 +00:00
Chris Lattner
96167aa93c Rename SSARegMap -> MachineRegisterInfo in keeping with the idea 
that "machine" classes are used to represent the current state of
the code being compiled.  Given this expanded name, we can start 
moving other stuff into it.  For now, move the UsedPhysRegs and
LiveIn/LoveOuts vectors from MachineFunction into it.

Update all the clients to match.

This also reduces some needless #includes, such as MachineModuleInfo
from MachineFunction.

llvm-svn: 45467
 2007-12-31 04:13:23 +00:00
Chris Lattner
9e5cc35593 Add new shorter predicates for testing machine operands for various types: 
e.g. MO.isMBB() instead of MO.isMachineBasicBlock().  I don't plan on 
switching everything over, so new clients should just start using the 
shorter names.

Remove old long accessors, switching everything over to use the short
accessor: getMachineBasicBlock() -> getMBB(), 
getConstantPoolIndex() -> getIndex(), setMachineBasicBlock -> setMBB(), etc.

llvm-svn: 45464
 2007-12-30 23:10:15 +00:00
Chris Lattner
7504adbd72 More cleanups for MachineOperand: 
- Eliminate the static "print" method for operands, moving it
    into MachineOperand::print.
  - Change various set* methods for register flags to take a bool
    for the value to set it to.  Remove unset* methods.
  - Group methods more logically by operand flavor in MachineOperand.h

llvm-svn: 45461
 2007-12-30 21:56:09 +00:00
Chris Lattner
7d47b6c164 MachineOperand: 
- Add getParent() accessors.
  - Move SubReg out of the AuxInfo union, to make way for future changes.
  - Remove the getImmedValue/setImmedValue methods.
  - in some MachineOperand::Create* methods, stop initializing fields that are dead.

MachineInstr:
  - Delete one copy of the MachineInstr printing code, now there is only one dump
    format and one copy of the code.
  - Make MachineOperand use the parent field to get info about preg register names if
    no target info is otherwise available.
  - Move def/use/kill/dead flag printing to the machineoperand printer, so they are
    always printed for an operand.

llvm-svn: 45460
 2007-12-30 21:31:53 +00:00
Chris Lattner
f3f074dfdd fix typo duncan noticed! 
llvm-svn: 45459
 2007-12-30 21:21:10 +00:00
Chris Lattner
31932a7542 simpilfy some register printing code. 
llvm-svn: 45458
 2007-12-30 21:08:36 +00:00
Chris Lattner
46e4658c95 eliminate a copy of the machineoperand printing stuff. Keep the copy that 
knows how to print offsets.

llvm-svn: 45457
 2007-12-30 21:03:30 +00:00
Chris Lattner
ff61fe680e Simplify and clean up some machine operand/instr printing/dumping stuff. 
llvm-svn: 45456
 2007-12-30 21:01:27 +00:00
Chris Lattner
98c3fabf47 two register machineoperands are not identical unless their subregs match. 
llvm-svn: 45455
 2007-12-30 20:55:08 +00:00
Chris Lattner
4a4943a78f MachineOperand::getImmedValue -> MachineOperand::getImm 
llvm-svn: 45454
 2007-12-30 20:50:28 +00:00
Chris Lattner
12477d46b4 Use MachineOperand::getImm instead of MachineOperand::getImmedValue. Likewise setImmedValue -> setImm 
llvm-svn: 45453
 2007-12-30 20:49:49 +00:00
Gordon Henriksen
8082358f86 Add some doxygen comments to llvm-c/Core.h. 
llvm-svn: 45450
 2007-12-30 17:46:33 +00:00
Chris Lattner
d6051f028d make machine operands fatter: give each one an up-pointer to the 
machineinstr that owns it.

llvm-svn: 45449
 2007-12-30 06:11:04 +00:00
Bill Wendling
4c22e299ef If we have a load of a global address that's not modified during the 
function, then go ahead and hoist it out of the loop. This is the result:

$ cat a.c
volatile int G;

int A(int N) {
  for (; N > 0; --N)
    G++;
}
$ llc -o - -relocation-model=pic
_A:
...
LBB1_2: # bb
        movl    L_G$non_lazy_ptr-"L1$pb"(%eax), %esi
        incl    (%esi)
        incl    %edx
        cmpl    %ecx, %edx
        jne     LBB1_2  # bb
...
$ llc -o - -relocation-model=pic -machine-licm
_A:
...
        movl    L_G$non_lazy_ptr-"L1$pb"(%eax), %eax
LBB1_2: # bb
        incl    (%eax)
        incl    %edx
        cmpl    %ecx, %edx
        jne     LBB1_2  # bb
...

I'm limiting this to the MOV32rm x86 instruction for now.

llvm-svn: 45444
 2007-12-30 03:18:58 +00:00
Chris Lattner
fac8748ca7 use simplified operand addition methods. 
llvm-svn: 45437
 2007-12-30 01:01:54 +00:00
Chris Lattner
c2f0543beb use simplified operand addition methods. 
llvm-svn: 45436
 2007-12-30 00:57:42 +00:00
Chris Lattner
1b0ad80f53 use simplified operand addition methods. 
llvm-svn: 45435
 2007-12-30 00:51:11 +00:00
Chris Lattner
4d0361fbf2 Shrinkify the machine operand creation method names. 
llvm-svn: 45433
 2007-12-30 00:45:46 +00:00
Chris Lattner
19dd6c4eac Start using the simplified methods for adding operands. 
llvm-svn: 45432
 2007-12-30 00:41:17 +00:00
Chris Lattner
e868c77f16 simplify some code by factoring operand construction better. 
llvm-svn: 45428
 2007-12-30 00:12:25 +00:00
Chris Lattner
ad9a6ccb83 Remove attribution from file headers, per discussion on llvmdev. 
llvm-svn: 45418
 2007-12-29 20:36:04 +00:00
Chris Lattner
8193d4af33 remove attribution from lib Makefiles. 
llvm-svn: 45415
 2007-12-29 20:09:26 +00:00
Chris Lattner
d82b30a996 this is done. 
llvm-svn: 45408
 2007-12-29 19:38:02 +00:00
Chris Lattner
d55e743cfe One readme entry is done, one is really easy (Evan, want to investigate 
eliminating the llvm.x86.sse2.loadl.pd intrinsic?), one shuffle optzn
may be done (if shufps is better than pinsw, Evan, please review), and
we already know about LICM of simple instructions.

llvm-svn: 45407
 2007-12-29 19:31:47 +00:00
Chris Lattner
cd147e5596 Fold comparisons against a constant nan, and optimize ORD/UNORD 
comparisons with a constant.  This allows us to compile isnan to:

_foo:
	fcmpu cr7, f1, f1
	mfcr r2
	rlwinm r3, r2, 0, 31, 31
	blr 

instead of:

LCPI1_0:					;  float
	.space	4
_foo:
	lis r2, ha16(LCPI1_0)
	lfs f0, lo16(LCPI1_0)(r2)
	fcmpu cr7, f1, f0
	mfcr r2
	rlwinm r3, r2, 0, 31, 31
	blr 

llvm-svn: 45405
 2007-12-29 08:37:08 +00:00
Chris Lattner
b36a4a7a84 this xform is implemented. 
llvm-svn: 45404
 2007-12-29 08:19:39 +00:00
Christopher Lamb
dfad5f19b4 Disable null pointer folding transforms for non-generic address spaces. This should probably be a target-specific predicate based on address space. That way for targets where this isn't applicable the predicate can be optimized away. 
llvm-svn: 45403
 2007-12-29 07:56:53 +00:00
Chris Lattner
38687aa2b2 make sure not to zap volatile stores, thanks a lot to Dale for noticing this! 
llvm-svn: 45402
 2007-12-29 07:15:45 +00:00
Chris Lattner
f8e408b7b1 Codegen: 
as:

_bar:
	pushl	%esi
	subl	$8, %esp
	movl	16(%esp), %esi
	call	L_foo$stub
	fstps	(%esi)
	addl	$8, %esp
	popl	%esi
	#FP_REG_KILL
	ret

instead of:

_bar:
	pushl	%esi
	subl	$8, %esp
	movl	16(%esp), %esi
	call	L_foo$stub
	fstpl	(%esi)
	cvtsd2ss	(%esi), %xmm0
	movss	%xmm0, (%esi)
	addl	$8, %esp
	popl	%esi
	#FP_REG_KILL
	ret

llvm-svn: 45401
 2007-12-29 06:57:38 +00:00
Chris Lattner
78ae7ff876 don't fold fp_round(fp_extend(load)) -> fp_round(extload) 
llvm-svn: 45400
 2007-12-29 06:55:23 +00:00
Chris Lattner
e3515220d2 avoid going through a stack slot to convert from fpstack to xmm reg 
if we are just going to store it back anyway.  This improves things 
like:
double foo();
void bar(double *P) { *P = foo(); }

llvm-svn: 45399
 2007-12-29 06:41:28 +00:00
Chris Lattner
7cb2de8e48 Delete a store whose input is a load from the same pointer: 
x = load p
  store x -> p

llvm-svn: 45398
 2007-12-29 06:26:16 +00:00
Chris Lattner
ac72965e02 add a note 
llvm-svn: 45397
 2007-12-29 05:51:58 +00:00
Chris Lattner
78c7878ca4 expand note. 
llvm-svn: 45393
 2007-12-29 01:05:01 +00:00
Chris Lattner
2369d2f4ab dead calls to llvm.stacksave can be deleted, even though they 
have potential side-effects.

llvm-svn: 45392
 2007-12-29 00:59:12 +00:00
Chris Lattner
b8e060f7a6 add a note. 
llvm-svn: 45388
 2007-12-28 22:30:05 +00:00
Chris Lattner
2248a22bda add a note. 
llvm-svn: 45387
 2007-12-28 21:50:40 +00:00
Owen Anderson
ebd3e9c500 Repair a transform that Chris noticed a bug in. Thanks to Nicholas for pointing out my stupid mistakes when writing this patch. :-) 
llvm-svn: 45384
 2007-12-28 07:42:12 +00:00
Chris Lattner
2456399ce5 disable this instcombine xform, it miscompiles: 
define i32 @main() {
entry:
	%z = alloca i32		; <i32*> [#uses=2]
	store i32 0, i32* %z
	%tmp = load i32* %z		; <i32> [#uses=1]
	%sub = sub i32 %tmp, 1		; <i32> [#uses=1]
	%cmp = icmp ult i32 %sub, 0		; <i1> [#uses=1]
	%retval = select i1 %cmp, i32 1, i32 0		; <i32> [#uses=1]
	ret i32 %retval
}

into ret 1, instead of ret 0.

Christopher, please investigate.

llvm-svn: 45383
 2007-12-28 06:24:31 +00:00
Chris Lattner
e53df84267 add a note 
llvm-svn: 45377
 2007-12-28 04:42:05 +00:00
Anton Korobeynikov
f12327cd32 Ignore functions with internal linkages during linking. This snipped mimics the 
behaviour of LinkGlobals() function.

llvm-svn: 45375
 2007-12-27 23:21:57 +00:00
Gordon Henriksen
86e98275ff Adding bindings for target triple and data layout. 
llvm-svn: 45369
 2007-12-27 20:13:47 +00:00
Gordon Henriksen
d96b3222e5 Switch the bindings to use LLVMFoldingBuilder. 
llvm-svn: 45367
 2007-12-27 18:25:59 +00:00
Gordon Henriksen
90d48b077d Fixing several transforms which would drop the collector attribute 
when copying functions.

llvm-svn: 45356
 2007-12-25 22:16:06 +00:00
Chris Lattner
90df7f7424 Don't break critical edges for single-bb loops, this helps with PR1877, though 
it is only a partial fix.  This change is noise for most programs, but
speeds up Shootout-C++/matrix by 20%, Ptrdist/ks by 24%, smg2000 by 8%,
hexxagon by 9%, bzip2 by 9% (not sure I trust this), ackerman by 13%, etc.

OTOH, it slows down Shootout/fib2 by 40% (I'll update PR1877 with this info).

llvm-svn: 45354
 2007-12-25 19:06:45 +00:00
Gordon Henriksen
c0a3899bbf GC poses hazards to the inliner. Consider: 
define void @f() {
            ...
            call i32 @g()
            ...
    }

    define void @g() {
            ...
    }

The hazards are:

  - @f and @g have GC, but they differ GC. Inlining is invalid. This
    may never occur.
  - @f has no GC, but @g does. g's GC must be propagated to @f.

The other scenarios are safe:

  - @f and @g have the same GC.
  - @f and @g have no GC.
  - @g has no GC.

This patch adds inliner checks for the former two scenarios.

llvm-svn: 45351
 2007-12-25 03:10:07 +00:00
Gordon Henriksen
a9f4ed4070 Noting and enforcing that GC intrinsics are valid only within a 
function with GC.

This will catch the error when the inliner inlines a function with
GC into a caller with no GC.

llvm-svn: 45350
 2007-12-25 02:31:26 +00:00
Gordon Henriksen
44841db057 Adjusting verification of "llvm.gc*" intrinsic prototypes to match 
LangRef.

llvm-svn: 45349
 2007-12-25 02:02:10 +00:00
Owen Anderson
1064e276a9 Flesh out the Briggs implementation a little bit more, fix a few FIXMEs. 
llvm-svn: 45347
 2007-12-24 22:12:23 +00:00
Chris Lattner
7e1e1f2933 add a -backedge-hack llc-beta option to codegenprepare. 
When specified, don't split backedges of single-bb loops.
This helps address PR1877

llvm-svn: 45344
 2007-12-24 19:32:55 +00:00
Chris Lattner
232e097cff add a simple hack 
llvm-svn: 45343
 2007-12-24 19:27:46 +00:00
Anton Korobeynikov
a0113f6c70 Cygwin defines uint32_t as unsigned long. Unbreak call to std::min in this case 
llvm-svn: 45342
 2007-12-24 11:16:47 +00:00
Gordon Henriksen
3e409a37ac Setting GlobalDirective in TargetAsmInfo by default rather than 
providing a misleading facility. It's used once in the MIPS backend
and hardcoded as "\t.globl\t" everywhere else.

llvm-svn: 45338
 2007-12-23 20:58:16 +00:00
Gordon Henriksen
606ac32019 C and Ocaml bindings for ExecutionEngine (i.e., the JIT compiler). 
llvm-svn: 45335
 2007-12-23 16:59:28 +00:00
Owen Anderson
e9538b78ce Sketch out an implementation of Briggs' copy placement algorithm. 
llvm-svn: 45334
 2007-12-23 15:37:26 +00:00
Chris Lattner
a2156b160a fix some warnings. This code needs to be de-tabified :( 
llvm-svn: 45325
 2007-12-22 22:47:03 +00:00
Chris Lattner
1c6a1f71cb fix strict-aliasing violation 
llvm-svn: 45324
 2007-12-22 22:45:38 +00:00
Chris Lattner
084002dcb0 initial code for forming an FGETSIGN node. This is disabled until 
legalizer support goes in.

llvm-svn: 45323
 2007-12-22 21:35:38 +00:00
Chris Lattner
24b2a6de5c improve support for fgetsign 
llvm-svn: 45322
 2007-12-22 21:26:52 +00:00
Chris Lattner
a8f6fac7a3 Tell TargetLoweringOpt whether it is running before 
or after legalize.

llvm-svn: 45321
 2007-12-22 20:56:36 +00:00
Chris Lattner
f2aa80e0de Add a new FGETSIGN operation, which defaults to expand on all 
targets.

llvm-svn: 45320
 2007-12-22 20:47:56 +00:00
Anton Korobeynikov
4275f59e61 Erm, really disable :) 
llvm-svn: 45319
 2007-12-22 20:46:24 +00:00
Anton Korobeynikov
9f148a1a2a Disable, until we'll really need it 
llvm-svn: 45318
 2007-12-22 20:41:12 +00:00
Gordon Henriksen
fccde96a4c Use getIntrinsicID instead of looking up intrinsic prototypes. Also 
fixes a bug with indirect calls. (Test case will be included with
ocaml collector patch.)

llvm-svn: 45316
 2007-12-22 17:27:01 +00:00
Anton Korobeynikov
07c828b637 Unbreak mingw build 
llvm-svn: 45314
 2007-12-22 14:26:49 +00:00
Evan Cheng
c226a1a7d3 Preliminary PIC JIT support for X86 (32-bit) / Darwin. 
llvm-svn: 45313
 2007-12-22 09:40:20 +00:00
Evan Cheng
5b05d625cd Oops. 
llvm-svn: 45312
 2007-12-22 09:14:34 +00:00
Chris Lattner
d64df490ca implement InstCombine/shift-trunc-shift.ll. This allows 
us to compile:
#include <math.h>
int t1(double d) { return signbit(d); }

into:

_t1:
	movd	%xmm0, %rax
	shrq	$63, %rax
	ret

instead of:

_t1:
	movd	%xmm0, %rax
	shrq	$32, %rax
	shrl	$31, %eax
	ret

on x86-64.

llvm-svn: 45311
 2007-12-22 09:07:47 +00:00
Owen Anderson
3fc4fdaa1f Note what still needs doing. 
llvm-svn: 45310
 2007-12-22 04:59:10 +00:00
Owen Anderson
f3765d08f8 Remove critical edge breaking. It won't be necessary as long as we are very careful when inserting copies. 
llvm-svn: 45309
 2007-12-22 04:50:11 +00:00
Evan Cheng
8f4ec948d3 Fix JIT code emission of X86::MovePCtoStack. 
llvm-svn: 45307
 2007-12-22 02:26:46 +00:00
Devang Patel
e035f776e9 If succ has succ itself as one of the predecessors then do 
not merge current bb and succ even if bb's terminator is
unconditional branch to succ.

llvm-svn: 45305
 2007-12-22 01:32:53 +00:00
Evan Cheng
51f51c7572 Allow JIT with non-static relocation model. 
llvm-svn: 45304
 2007-12-22 01:12:14 +00:00
Anton Korobeynikov
913c80d37f Fix silly typo in the FP CEP handling. 
llvm-svn: 45300
 2007-12-21 23:33:44 +00:00
Duncan Sands
99690fb26c Fix a brain fart by our beloved leader (the content 
of this patch is the last line).

llvm-svn: 45289
 2007-12-21 20:18:41 +00:00
Duncan Sands
bc10247769 Get the verifier to check attributes on calls as well 
as on functions.  Make it verify invokes and not just
ordinary calls.  As a (desired) side-effect, it is no
longer legal to have call attributes on arguments that
are being passed to the varargs part of a varargs
function (llvm-as drops them on the floor anyway).

llvm-svn: 45286
 2007-12-21 19:19:01 +00:00
Duncan Sands
85ca85c070 Make DAE not wipe out attributes on calls, and not drop 
return attributes on the floor.  In the case of a call
to a varargs function where the varargs arguments are
being removed, any call attributes on those arguments
need to be dropped.  I didn't do this because I plan to
make it illegal to have such attributes (see next patch).
With this change, compiling the gcc filter2 eh test at -O0
and then running opt -std-compile-opts on it results in
a correctly working program (compiling at -O1 or higher
results in the test failing due to a problem with how we
output eh info into the IR).

llvm-svn: 45285
 2007-12-21 19:16:16 +00:00
Nicolas Geoffray
1996d8b1f4 Fix unintented change from last commit 
llvm-svn: 45282
 2007-12-21 12:22:29 +00:00
Nicolas Geoffray
18ab237446 Enable EH for linux/ppc32 targets 
llvm-svn: 45281
 2007-12-21 12:19:44 +00:00
Evan Cheng
a111629401 New entry. 
llvm-svn: 45280
 2007-12-21 01:31:58 +00:00
Evan Cheng
eba18a1952 Fix JIT encoding for CMPSD as well. 
llvm-svn: 45268
 2007-12-20 19:57:09 +00:00
Evan Cheng
8fee10d116 More accurate checks for two-address constraints. 
llvm-svn: 45259
 2007-12-20 09:25:31 +00:00
Christopher Lamb
7ca648a7b1 Implement review feedback, including additional transforms 
(icmp slt (sub A B) 1) -> (icmp sle A B)
icmp sgt (sub A B) -1) -> (icmp sge A B)

and add testcase.

llvm-svn: 45256
 2007-12-20 07:21:11 +00:00
Evan Cheng
d0bb7ee0a1 The physical register + virtual register joining requirement was much too strict. 
llvm-svn: 45253
 2007-12-20 02:23:25 +00:00
Evan Cheng
1994e3038e Bring back a burr scheduling heuristic that's still needed. 
llvm-svn: 45252
 2007-12-20 02:22:36 +00:00
Evan Cheng
eb07401701 Clean up previous patch: PHI uses should not prevent iv reuse if all other uses are addresses. This trades a constant multiply for one fewer iv. 
llvm-svn: 45251
 2007-12-20 02:20:53 +00:00
Chris Lattner
1a386cbdae simplify this code with the new m_Zero() pattern. Make sure the select only 
has a single use, and generalize it to not require N to be a constant.

llvm-svn: 45250
 2007-12-20 01:56:58 +00:00
Bill Wendling
cba1938285 Updated comments to reflect what "side effects" means in this situation. 
llvm-svn: 45245
 2007-12-20 01:08:10 +00:00
Scott Michel
5cbdbd26a8 More working CellSPU tests: 
- vec_const.ll: Vector constant loads
- immed64.ll: i64, f64 constant loads

llvm-svn: 45242
 2007-12-20 00:44:13 +00:00
Evan Cheng
cf7b6b419a Allow iv reuse if the user is a PHI node which is in turn used as addresses. 
llvm-svn: 45230
 2007-12-19 23:33:23 +00:00
Gordon Henriksen
46137f1e2e Adding bindings for memory buffers and module providers. Switching 
to exceptions rather than variants for error handling in Ocaml.

llvm-svn: 45226
 2007-12-19 22:30:40 +00:00
Dale Johannesen
f93ea63eaa Enable EH on PPC Darwin. This basically works; there 
are a couple of issues that show up with the optimizer,
but I don't think they're really EH problems.
(llvm-gcc testsuite users note:  By default the testsuite
uses the unwinding code that's built as part of your local
llvm-gcc, which does not work.  You need to trick it into
using the installed system unwinding code to get useful
results.)

llvm-svn: 45221
 2007-12-19 21:54:36 +00:00
Scott Michel
83ac96e27d CellSPU testcase, extract_elt.ll: extract vector element. 
llvm-svn: 45219
 2007-12-19 21:17:42 +00:00
Duncan Sands
56f3add5b7 When inlining through an 'nounwind' call, mark inlined 
calls 'nounwind'.  It is important for correct C++
exception handling that nounwind markings do not get
lost, so this transformation is actually needed for
correctness.

llvm-svn: 45218
 2007-12-19 21:13:37 +00:00
Scott Michel
6cb9f6d20c Two more test cases: or_ops.ll (arithmetic or operations) and vecinsert.ll 
(vector insertions)

llvm-svn: 45216
 2007-12-19 20:15:47 +00:00
Duncan Sands
b2e0a67cc0 Simplify LowerCallTo by using a callsite. 
llvm-svn: 45198
 2007-12-19 09:48:52 +00:00
Duncan Sands
09250d2dff The C++ exception handling personality function wants 
to know about calls that cannot throw ('nounwind'):
if such a call does throw for some reason then the
personality will terminate the program.  The distinction
between an ordinary call and a nounwind call is that
an ordinary call gets an entry in the exception table
but a nounwind call does not.  This patch sets up the
exception table appropriately.  One oddity is that
I've chosen to bracket nounwind calls with labels (like
invokes) - the other choice would have been to bracket
ordinary calls with labels.  While bracketing
ordinary calls is more natural (because bracketing
by labels would then correspond exactly to getting an
entry in the exception table), I didn't do it because
introducing labels impedes some optimizations and I'm
guessing that ordinary calls occur more often than
nounwind calls.  This fixes the gcc filter2 eh test,
at least at -O0 (the inliner needs some tweaking at
higher optimization levels).

llvm-svn: 45197
 2007-12-19 07:36:31 +00:00
Scott Michel
d4d96bb6f6 Add new immed16.ll test case, fix CellSPU errata to make test case work. 
llvm-svn: 45196
 2007-12-19 07:35:06 +00:00
Bill Wendling
ce9eae6687 Mark the "isRemat" instruction as never having side effects. 
llvm-svn: 45190
 2007-12-19 06:07:48 +00:00
Evan Cheng
694994ba7b Don't leave newly created nodes around if it turns out they are not needed. 
llvm-svn: 45186
 2007-12-19 01:34:38 +00:00
Ted Kremenek
b8c85efce1 Added "GetCurrentDirectory()" to sys::Path. 
llvm-svn: 45182
 2007-12-18 22:07:33 +00:00
Bill Wendling
fe0e399130 Add debugging info. Use the newly created "hasUnmodelledSideEffects" method. 
llvm-svn: 45178
 2007-12-18 21:38:04 +00:00
Christopher Lamb
be0cbc7e92 Fold subtracts into integer compares vs. zero. This improves generate code for this case on X86 
from
_foo:
        movl    $99, %ecx
        movl    4(%esp), %eax
        subl    %eax, %ecx
        xorl    %edx, %edx
        testl   %ecx, %ecx
        cmovs   %edx, %eax
        ret

to
_foo:
        xorl    %ecx, %ecx
        movl    4(%esp), %eax
        cmpl    $99, %eax
        cmovg   %ecx, %eax
        ret

llvm-svn: 45173
 2007-12-18 21:32:20 +00:00