Arnold Schwaighofer 3036182e99 BasicAA: Use reachabilty instead of dominance for checking value equality in phi ... cycles This allows the value equality check to work even if we don't have a dominator tree. Also add some more comments. I was worried about compile time impacts and did not implement reachability but used the dominance check in the initial patch. The trade-off was that the dominator tree was required. The llvm utility function isPotentiallyReachable cuts off the recursive search after 32 visits. Testing did not show any compile time regressions showing my worries unjustfied. No compile time or performance regressions at O3 -flto -mavx on test-suite + externals. Addresses review comments from r198290. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@198400 91177308-0d34-0410-b5e6-96231b3b80d8		2014-01-03 05:47:03 +00:00
..
allocas.ll	[objc-arc] KnownSafe does not imply that it is safe to perform code motion across CFG edges since even if it is safe to remove RR pairs, we may still be able to move a retain/release into a loop.	2013-05-24 20:44:05 +00:00
apelim.ll	[objc-arc] Test cleanups.	2013-04-27 05:25:54 +00:00
arc-annotations.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
basic.ll	Debug Info: update testing cases to specify the debug info version number.	2013-11-23 01:16:29 +00:00
cfg-hazards.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
contract-marker.ll	[objc-arc] Test cleanups.	2013-04-27 05:25:54 +00:00
contract-storestrong-ivar.ll	Set the "tail" flag on pattern-matched objc_storeStrong calls.	2012-01-19 19:14:36 +00:00
contract-storestrong.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
contract-testcases.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
contract.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
empty-block.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
ensure-that-exception-unwind-path-is-visited.ll	Debug Info: update testing cases to specify the debug info version number.	2013-11-22 21:49:45 +00:00
escape.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
expand.ll	[objc-arc] Check that objc-arc-expand properly handles all strictly forwarding calls and does not touch calls which are not strictly forwarding (i.e. objc_retainBlock).	2013-04-21 01:57:46 +00:00
gvn.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
intrinsic-use-isolated.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
intrinsic-use.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
invoke.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
move-and-form-retain-autorelease.ll	Use references to attribute groups on the call/invoke instructions.	2013-02-22 09:09:42 +00:00
move-and-merge-autorelease.ll	[objc-arc] Apply the RV optimization to retains next to calls in ObjCARCContract instead of ObjCARCOpts.	2013-04-29 06:53:53 +00:00
nested.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
path-overflow.ll	[objc-arc] Convert the one directional retain/release relation assert to a conditional check + fail.	2013-11-05 16:02:40 +00:00
pointer-types.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
post-inlining.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
pr12270.ll	Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID	2012-12-30 02:33:22 +00:00
retain-block-side-effects.ll	Use references to attribute groups on the call/invoke instructions.	2013-02-22 09:09:42 +00:00
retain-not-declared.ll	Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.	2013-07-14 01:42:54 +00:00
rle-s2l.ll	Use references to attribute groups on the call/invoke instructions.	2013-02-22 09:09:42 +00:00
rv.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
split-backedge.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
tail-call-invariant-enforcement.ll	[objc-arc] Cleaned up tail-call-invariant-enforcement.ll.	2013-04-21 02:59:44 +00:00
weak-contract.ll
weak-copies.ll	BasicAA: Use reachabilty instead of dominance for checking value equality in phi	2014-01-03 05:47:03 +00:00
weak-dce.ll	BasicAA: Use reachabilty instead of dominance for checking value equality in phi	2014-01-03 05:47:03 +00:00
weak.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00