[PATCH] D36864: [Profile] backward propagate profile data in jump-threading

[Zhi Zhuang via Phabricator via llvm-commits]

LukeZhuang added inline comments.
Herald added a project: All.


================
Comment at: lib/Transforms/Scalar/JumpThreading.cpp:206
+    if (!PredOutEdge.first)
+      return;
+
----------------
Hi David, may I ask why this is a `return` instead of `continue` here? If a phi node is like `%cond = phi [true, %bb1], [true, %bb2], [%tmp, %bb3]`, then if `bb1` is not "qualified", then it will not propagate to `bb2`. While it will do if `bb1` and `bb2` is swapped. May I ask is that expected?
And I have the same question for the newly added checker here: https://github.com/llvm/llvm-project/blob/main/llvm/lib/Transforms/Scalar/JumpThreading.cpp#L280.
Thank you very much!


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D36864/new/

https://reviews.llvm.org/D36864