RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 12:12:47 +01:00
Code Issues Projects Releases Wiki Activity
45,302 Commits 4 Branches 5 Tags 704 MiB
cda58e565f
Commit Graph

5104 Commits

Author SHA1 Message Date
Evan Cheng
cda58e565f Fix PR3784: If the source of a phi comes from a bb ended with an invoke, make sure the copy is inserted before the try range (unless it's used as an input to the invoke, then insert it after the last use), not at the end of the bb. 
Also re-apply r66140 which was disabled as a workaround.

llvm-svn: 66976
 2009-03-13 22:59:14 +00:00
Bill Wendling
96e37540a0 Revert r66920. It was causing failures in the self-hosting buildbot (in release 
mode).

Running /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/BugPoint/dg.exp ...
FAIL: /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/BugPoint/crash-narrowfunctiontest.ll
Failed with signal(SIGBUS) at line 1
while running: bugpoint /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/BugPoint/crash-narrowfunctiontest.ll -bugpoint-crashcalls -silence-passes > /dev/null
0   bugpoint          0x0035dd25 llvm::sys::SetInterruptFunction(void (*)()) + 85
1   bugpoint          0x0035e382 llvm::sys::RemoveFileOnSignal(llvm::sys::Path const&, std::string*) + 706
2   libSystem.B.dylib 0x92f112bb _sigtramp + 43
3   libSystem.B.dylib 0xffffffff _sigtramp + 1829694831
4   bugpoint          0x00021d1c main + 92
5   bugpoint          0x00002106 start + 54
6   bugpoint          0x00000004 start + 18446744073709543220
Stack dump:
0.    Program arguments: bugpoint /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/BugPoint/crash-narrowfunctiontest.ll -bugpoint-crashcalls -silence-passes 

FAIL: /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/BugPoint/misopt-basictest.ll
Failed with signal(SIGBUS) at line 1
while running: bugpoint /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/BugPoint/misopt-basictest.ll -dce -bugpoint-deletecalls -simplifycfg -silence-passes
0   bugpoint          0x0035dd25 llvm::sys::SetInterruptFunction(void (*)()) + 85
1   bugpoint          0x0035e382 llvm::sys::RemoveFileOnSignal(llvm::sys::Path const&, std::string*) + 706
2   libSystem.B.dylib 0x92f112bb _sigtramp + 43
3   libSystem.B.dylib 0xffffffff _sigtramp + 1829694831
4   bugpoint          0x00021d1c main + 92
5   bugpoint          0x00002106 start + 54
6   bugpoint          0x00000006 start + 18446744073709543222
Stack dump:
0.    Program arguments: bugpoint /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/BugPoint/misopt-basictest.ll -dce -bugpoint-deletecalls -simplifycfg -silence-passes 

FAIL: /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/BugPoint/remove_arguments_test.ll
Failed with signal(SIGBUS) at line 1
while running: bugpoint /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/BugPoint/remove_arguments_test.ll  -bugpoint-crashcalls -silence-passes
0   bugpoint          0x0035dd25 llvm::sys::SetInterruptFunction(void (*)()) + 85
1   bugpoint          0x0035e382 llvm::sys::RemoveFileOnSignal(llvm::sys::Path const&, std::string*) + 706
2   libSystem.B.dylib 0x92f112bb _sigtramp + 43
3   libSystem.B.dylib 0xffffffff _sigtramp + 1829694831
4   bugpoint          0x00021d1c main + 92
5   bugpoint          0x00002106 start + 54
Stack dump:
0.    Program arguments: bugpoint /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/test/BugPoint/remove_arguments_test.ll -bugpoint-crashcalls -silence-passes 

--- Reverse-merging (from foreign repository) r66920 into '.':
U    include/llvm/Support/CallSite.h
U    include/llvm/Instructions.h
U    lib/Analysis/IPA/GlobalsModRef.cpp
U    lib/Analysis/IPA/Andersens.cpp
U    lib/Bitcode/Writer/BitcodeWriter.cpp
U    lib/VMCore/Instructions.cpp
U    lib/VMCore/Verifier.cpp
U    lib/VMCore/AsmWriter.cpp
U    lib/Transforms/Utils/LowerInvoke.cpp
U    lib/Transforms/Scalar/SimplifyCFGPass.cpp
U    lib/Transforms/IPO/PruneEH.cpp
U    lib/Transforms/IPO/DeadArgumentElimination.cpp

llvm-svn: 66953
 2009-03-13 21:15:59 +00:00
Dale Johannesen
a4bb3e6d14 One more place where debug info affects codegen. 
llvm-svn: 66930
 2009-03-13 19:23:20 +00:00
Gabor Greif
6a76677e1b Second installment of "BasicBlock operands to the back" 
changes.

For InvokeInst now all arguments begin at op_begin().
The Callee, Cont and Fail are now faster to get by
access relative to op_end().

This patch introduces some temporary uglyness in CallSite.
Next I'll bring CallInst up to a similar scheme and then
the uglyness will magically vanish.

This patch also exposes all the reliance of the libraries
on InvokeInst's operand ordering. I am thinking of taking
care of that too.

llvm-svn: 66920
 2009-03-13 18:27:29 +00:00
Bill Wendling
5499163a0a Oops...I committed too much. 
llvm-svn: 66867
 2009-03-13 04:39:26 +00:00
Bill Wendling
02a239b837 Temporarily XFAIL this test. 
llvm-svn: 66866
 2009-03-13 04:37:11 +00:00
Dale Johannesen
3edb15a6c7 Fix one more place where debug info affected 
codegen (speculative execution).

llvm-svn: 66859
 2009-03-13 01:05:24 +00:00
Dale Johannesen
67278f57e8 Previous debug info fix to this code wasn't quite 
right; did the wrong thing when there are exactly 11
non-debug instructions, followed by debug info.
Remove a FIXME since it's apparently been fixed along the way.

llvm-svn: 66840
 2009-03-12 23:18:09 +00:00
Duncan Sands
968939fca2 Revert commit 66140 since it caused several failures 
in the Ada testcase.  Reverting this only covers up
the real problem, which is a nasty conceptual difficulty
in the phi elimination pass: when eliminating phi nodes
in landing pads, the register copies need to come before
the invoke, not at the end of the basic block which is
too late...  See PR3784.

llvm-svn: 66826
 2009-03-12 21:13:42 +00:00
Dale Johannesen
d9b24eba60 There already was a class to force deterministic 
sorting of ConstantInt's; unreinvent wheel.

llvm-svn: 66824
 2009-03-12 21:01:11 +00:00
Dale Johannesen
78eadcb3dc Another missing check for debug intrinsics. 
llvm-svn: 66800
 2009-03-12 17:42:45 +00:00
Dale Johannesen
6a856e8183 Allow for switch values bigger than 64 bits. 
llvm-svn: 66751
 2009-03-12 01:20:06 +00:00
Dale Johannesen
a63033a34c Fix some nondeterministic behavior when forwarding 
from a switch table.  Multiple table entries that
branch to the same place were being sorted by the
pointer value of the ConstantInt*; changed to sort
by the actual value of the ConstantInt.

llvm-svn: 66749
 2009-03-12 01:00:26 +00:00
Dale Johannesen
bc9067e872 Skip interleaved debug info when fast-forwarding through 
allocations.  Apparently the assumption is there is an
instruction (terminator?) following the allocation so I
am allowing the same assumption.

llvm-svn: 66716
 2009-03-11 22:19:43 +00:00
Anton Korobeynikov
60455b5097 I should definitely read make docs someday :( 
llvm-svn: 66699
 2009-03-11 20:40:15 +00:00
Anton Korobeynikov
a4b01bf40c Unbreak the build. Dunno, why it did not fail on mingw :( 
llvm-svn: 66692
 2009-03-11 20:16:05 +00:00
Anton Korobeynikov
fe336ae73e Disable plugins / shared stuff generation on windows targets. 
This fixes fallout from recent PIC/delibtoolize changes and unbreaks
build on cygming.

llvm-svn: 66686
 2009-03-11 19:49:42 +00:00
Dale Johannesen
7579673822 Don't consider debug intrinsics when checking 
whether a callee to be inlined is a leaf.

llvm-svn: 66588
 2009-03-10 22:20:02 +00:00
Dale Johannesen
f650b9b7da Removing a dead debug intrinsic shouldn't trigger 
another instcombine pass if we weren't going to make
one without debug info.

llvm-svn: 66576
 2009-03-10 21:19:49 +00:00
Devang Patel
eedb8ab91a Ignore dbg info, while estimating size of jump through block. 
llvm-svn: 66554
 2009-03-10 18:00:05 +00:00
John Criswell
d1fd7b1f72 Do not attempt to do parial redundancy elimination on void values. 
Also fixed a punctuation error in the header comment.
This fixes PR3775.

llvm-svn: 66542
 2009-03-10 15:04:53 +00:00
Evan Cheng
c147115cdf If a function is marked alwaysinline, it must be inlined (possibly for correctness). Do so even if the callee has dynamic alloca and the caller doesn't. 
llvm-svn: 66539
 2009-03-10 07:57:50 +00:00
Devang Patel
54b17d998a Ignore debug info while evaluating function. 
llvm-svn: 66490
 2009-03-09 23:04:12 +00:00
Dan Gohman
d22d16e519 Don't record the increment instruction; just recompute it from the Phi 
if needed. This simplifies the code a little, and is needed for an
upcoming refactoring.

llvm-svn: 66479
 2009-03-09 22:04:01 +00:00
Devang Patel
b01d0497e4 Remove llvm.dbg.global_variables also. 
llvm-svn: 66471
 2009-03-09 21:32:28 +00:00
Dan Gohman
cdabf073b9 Fix a few more places where induction variable types were used 
where memory access types are needed.

llvm-svn: 66470
 2009-03-09 21:22:12 +00:00
Dan Gohman
b65c69ed4b Use ReplacedTy instead of recomputing the same value. 
llvm-svn: 66469
 2009-03-09 21:19:58 +00:00
Dan Gohman
108b5dd79c Use LoopInfo's getLoopLatch() instead of doing what it does manualy. 
llvm-svn: 66467
 2009-03-09 21:14:16 +00:00
Dan Gohman
5a3a1117e7 Don't use an induction variable type as a memory access type. 
Use VoidTy instead, to be properly conservative.

llvm-svn: 66463
 2009-03-09 21:04:19 +00:00
Dan Gohman
2827ecebbe Factor out the code that determines the memory access type 
of an instruction into a helper function.

llvm-svn: 66460
 2009-03-09 21:01:17 +00:00
Devang Patel
f0b46d438a Add helper pass to remove llvm.dbg.declare intrinsics. 
llvm-svn: 66454
 2009-03-09 20:49:37 +00:00
Dan Gohman
c0b702199e Move the sorting of the StrideOrder array earlier so that it doesn't 
have to be done twice.

llvm-svn: 66449
 2009-03-09 20:46:50 +00:00
Dan Gohman
37c7177303 Delete the isOnlyStride argument, which is unused. 
llvm-svn: 66446
 2009-03-09 20:41:15 +00:00
Dan Gohman
ddec04d564 Tidy some LSR debug output: announce the loop it's about to process 
before it does any processing.

llvm-svn: 66443
 2009-03-09 20:34:59 +00:00
Duncan Sands
b185e63225 This debug info special case should no longer 
be needed now that these intrinsics are marked
as not accessing memory.

llvm-svn: 66420
 2009-03-09 11:57:08 +00:00
Chris Lattner
d5dd4590b5 reimplement AliasSetTracker in terms of DenseMap instead of hash_map, 
hopefully no functionality change.

llvm-svn: 66398
 2009-03-09 05:11:09 +00:00
Nick Lewycky
55ff36a552 Keep calling-convention and tail-call bit when creating new invoke or call. 
llvm-svn: 66384
 2009-03-08 19:02:17 +00:00
Nick Lewycky
5355d525f8 Fix comments, pointed out by Duncan Sands. 
llvm-svn: 66381
 2009-03-08 17:08:09 +00:00
Nick Lewycky
365f21b20f Mark function returns as noalias. 
llvm-svn: 66369
 2009-03-08 06:20:47 +00:00
Chris Lattner
f05ebf0849 teach SROA to handle promoting vector allocas with a memset into them into 
a vector type instead of into an integer type.

llvm-svn: 66368
 2009-03-08 04:17:04 +00:00
Chris Lattner
54d2292fe5 Enhance SROA to "promote to scalar" allocas which are 
memcpy/memmove'd into or out of.  This fixes a serious
perf issue that Nate ran into.

llvm-svn: 66366
 2009-03-08 04:04:21 +00:00
Chris Lattner
e367477979 change the MemIntrinsic get/setAlignment method to take an unsigned 
instead of a Constant*, which is what the clients of it really want.

llvm-svn: 66364
 2009-03-08 03:59:00 +00:00
Chris Lattner
7ddad92288 use MemTransferInst. 
llvm-svn: 66362
 2009-03-08 03:37:35 +00:00
Chris Lattner
f827ae4fa5 Introduce a new MemTransferInst pseudo class, which is a common 
parent between MemCpyInst and MemMoveInst, simplify some code to
use it.

llvm-svn: 66361
 2009-03-08 03:37:16 +00:00
Chris Lattner
fc43115972 fix a serious pessimization that Tron on IRC pointed out where we would 
"boolify" pointers, generating really awful code because getting the pointer
value requires a load itself.  Before:

_foo:
	movb	$1, _X.b
	ret
_get:
	xorl	%ecx, %ecx
	movb	_X.b, %al
	testb	%al, %al
	movl	$_Y, %eax
	cmove	%ecx, %eax
	ret

With the xform disabled:

_foo:
	movl	$_Y, _X
	ret
_get:
	movl	_X, %eax
	ret

llvm-svn: 66351
 2009-03-07 23:32:02 +00:00
Duncan Sands
5ab54d488f Introduce new linkage types linkonce_odr, weak_odr, common_odr 
and extern_weak_odr.  These are the same as the non-odr versions,
except that they indicate that the global will only be overridden
by an *equivalent* global.  In C, a function with weak linkage can
be overridden by a function which behaves completely differently.
This means that IP passes have to skip weak functions, since any
deductions made from the function definition might be wrong, since
the definition could be replaced by something completely different
at link time.   This is not allowed in C++, thanks to the ODR
(One-Definition-Rule): if a function is replaced by another at
link-time, then the new function must be the same as the original
function.  If a language knows that a function or other global can
only be overridden by an equivalent global, it can give it the
weak_odr linkage type, and the optimizers will understand that it
is alright to make deductions based on the function body.  The
code generators on the other hand map weak and weak_odr linkage
to the same thing.

llvm-svn: 66339
 2009-03-07 15:45:40 +00:00
Dale Johannesen
0643e4e36c Fix another case where debug info interferes with 
an optimization.

llvm-svn: 66288
 2009-03-06 21:08:33 +00:00
Chris Lattner
c5dba8954e add a bunch more passes to the C bindings (PR3734), patch by 
Lennart Augustsson!

llvm-svn: 66272
 2009-03-06 16:52:18 +00:00
Duncan Sands
26567dea82 While thinking about the one-definition-rule and trying 
to find a tiny mouse hole to squeeze through, it struck
me that globals without a name can be considered internal
since they can't be referenced from outside the current
module.  This patch makes GlobalOpt give them internal
linkage.  Also done for aliases even though they always
have names, since in my opinion anonymous aliases should
be allowed for consistency with global variables and
functions.  So if that happens one day, this code is ready!

llvm-svn: 66267
 2009-03-06 10:21:56 +00:00
Devang Patel
12e9aa7629 While converting an aggregate to scalare, ignore and remove aggregate's debug info. 
llvm-svn: 66262
 2009-03-06 07:03:54 +00:00