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,741 Commits 4 Branches 5 Tags 704 MiB
243661fb31
Commit Graph

21603 Commits

Author SHA1 Message Date
Chris Lattner
dac9c1bcfe If someone wants to implement ppc TRAP, they can go for it :) 
llvm-svn: 46019
 2008-01-15 22:15:02 +00:00
Chris Lattner
bcb087fd62 The type of the 'abort' node should be pointer type (because 
it's a function pointer) not MVT::Other.  This fixes builtin_trap
lowering on ppc, alpha, ia64

llvm-svn: 46018
 2008-01-15 22:09:33 +00:00
Chris Lattner
6846e346a8 rename SDTRet -> SDTNone. 
Move definition of 'trap' sdnode up from x86 instrinfo to targetselectiondag.td.

llvm-svn: 46017
 2008-01-15 22:02:54 +00:00
Owen Anderson
946d55e773 Remove DefInst from LiveVariables::VarInfo. Use the facilities on MachineRegisterInfo instead. 
llvm-svn: 46016
 2008-01-15 22:02:46 +00:00
Chris Lattner
0072ce1ff4 no need to expand ISD::TRAP to X86ISD::TRAP, just match ISD::TRAP. 
llvm-svn: 46015
 2008-01-15 21:58:22 +00:00
Chris Lattner
54fd35650d Add support for targets that have a legal ISD::TRAP. 
llvm-svn: 46014
 2008-01-15 21:58:08 +00:00
Anton Korobeynikov
44893ee93d Fix JIT encoding of trap/ud2 instruction 
llvm-svn: 46012
 2008-01-15 21:40:02 +00:00
Bill Wendling
0ad07f292c Reformatted. It was confusing the other way. No functionality change. 
llvm-svn: 46009
 2008-01-15 21:16:32 +00:00
Evan Cheng
4eb3d6c8d6 Oops. Forgot to commit this. 
llvm-svn: 46002
 2008-01-15 07:49:36 +00:00
Anton Korobeynikov
08ea121968 For PR1839: add initial support for __builtin_trap. llvm-gcc part is missed 
as well as PPC codegen

llvm-svn: 46001
 2008-01-15 07:02:33 +00:00
Evan Cheng
d7403ac663 Rename CCIfStruct to CCIfByVal and CCStructAssign to CCPassByVal. Remove unused parameters of CCStructAssign and add size and alignment requirement info. 
llvm-svn: 45997
 2008-01-15 03:34:58 +00:00
Evan Cheng
4eb7ae04c5 Both x86-32 and x86-64 handle byval parameter attributes. 
llvm-svn: 45996
 2008-01-15 03:15:41 +00:00
Evan Cheng
57714c090b ByVal stack slot alignment should be at least as large as pointer ABI alignment. 
llvm-svn: 45995
 2008-01-15 03:14:05 +00:00
Duncan Sands
087d6020ee Simplify CallInst::hasByValArgument using a new method. 
llvm-svn: 45974
 2008-01-14 19:57:00 +00:00
Duncan Sands
81e35b4d47 I noticed that the trampoline straightening transformation could 
drop attributes on varargs call arguments.  Also, it could generate
invalid IR if the transformed call already had the 'nest' attribute
somewhere (this can never happen for code coming from llvm-gcc,
but it's a theoretical possibility).  Fix both problems.

llvm-svn: 45973
 2008-01-14 19:52:09 +00:00
Chris Lattner
b067edf1b3 don't create the post-ra scheduler unless it is enabled. 
llvm-svn: 45972
 2008-01-14 19:00:06 +00:00
Chris Lattner
a6559b0047 remove dead #include 
llvm-svn: 45971
 2008-01-14 18:45:28 +00:00
Chris Lattner
554971a6d6 Improve the FP stackifier to decide all on its own whether 
an instruction kills a register or not.  This is cheap and 
easy to do now that instructions record this on their flags,
and this eliminates the second pass of LiveVariables from the
x86 backend.  This speeds up a release llc by ~2.5%.

llvm-svn: 45955
 2008-01-14 06:41:29 +00:00
Evan Cheng
12fb1dc67e Simplify code. 
llvm-svn: 45950
 2008-01-14 02:38:45 +00:00
Chris Lattner
efb498eddb Fix the miscompilation of MiBench/consumer-lame that was exposed by Evan's 
byval work.  This miscompilation is due to the program indexing an array out
of range and us doing a transformation that broke this.

llvm-svn: 45949
 2008-01-14 02:09:12 +00:00
Chris Lattner
5d135cc20a The isNotSuitableForSRA property is now dead, don't compute it. 
llvm-svn: 45948
 2008-01-14 01:32:52 +00:00
Chris Lattner
760b05a331 Change SRAGlobal to not depend on isNotSuitableForSRA, which makes it very 
difficult to understand the invariants.

llvm-svn: 45947
 2008-01-14 01:31:05 +00:00
Chris Lattner
c2933482a0 Make the 'shrink global to bool' optimization more self contained, and thus 
easier to show that its safe.  No functionality change.

llvm-svn: 45946
 2008-01-14 01:17:44 +00:00
Chris Lattner
d22a5f6314 Turn a memcpy from a double* into a load/store of double instead of 
a load/store of i64.  The later prevents promotion/scalarrepl of the
source and dest in many cases.

This fixes the 300% performance regression of the byval stuff on 
stepanov_v1p2.

llvm-svn: 45945
 2008-01-14 00:28:35 +00:00
Chris Lattner
8560bb9d98 factor memcpy/memmove simplification out to its own SimplifyMemTransfer 
method, no functionality change.

llvm-svn: 45944
 2008-01-13 23:50:23 +00:00
Chris Lattner
5fbf76aaf4 simplify some code. If we can infer alignment for source and dest that are 
greater than memcpy alignment, and if we lower to load/store, use the best 
alignment info we have.

llvm-svn: 45943
 2008-01-13 22:30:28 +00:00
Chris Lattner
4f69f1a721 simplify some code by adding a InsertBitCastBefore method, 
make memmove->memcpy conversion a bit simpler.

llvm-svn: 45942
 2008-01-13 22:23:22 +00:00
Duncan Sands
0c362b8606 Whitespace tweak. 
llvm-svn: 45940
 2008-01-13 21:20:29 +00:00
Duncan Sands
423244deda Remove the assumption that byval has been applied to 
a pointer to a struct.

llvm-svn: 45939
 2008-01-13 21:19:59 +00:00
Duncan Sands
86c17f2ebf Allow the byval attribute for pointers to any type with 
a size, not just structs.

llvm-svn: 45938
 2008-01-13 21:19:12 +00:00
Chris Lattner
32eae5daa5 Fix PR1907, a nasty miscompilation because instcombine didn't 
realize that ne & sgt  was a signed comparison (it was only 
looking at whether the left compare was signed).

llvm-svn: 45937
 2008-01-13 20:59:02 +00:00
Duncan Sands
560625b701 Small simplification. 
llvm-svn: 45932
 2008-01-13 08:12:17 +00:00
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