[PATCH] Add control dependence computation that computes control dependence equivalence classes.

[Adam Nemet]

================
Comment at: test/Analysis/ControlDependence/testdiamond.ll:4-14
@@ +3,13 @@
+target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
+define void @testdiamond() {
+start:
+    br i1 true, label %same, label %different
+same:
+    br label %returnit
+different:
+    br label %returnit
+returnit:
+    ret void
+}
+; CHECK: ({different},{same},{returnit,start})
+
----------------
Hi Danny,

Quick question, is this control equivalence or control dependence?  Without looking at the details, it looks more like control equiv to me.  Can this analysis also provide control dependence?

Also probably a silly question, but aren't 'different' and 'same' control-equiv here?  They both seem to be control-depended on start, no?

http://reviews.llvm.org/D8568

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/