[PATCH] D75923: [Attributor] Deduction based on recursive path exploration

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:1067
+    if (S.isAtFixpoint())
+      return;
+
----------------
Nit: Move right after follow uses in ctx.


================
Comment at: llvm/test/Transforms/Attributor/dereferenceable-1.ll:451
   tail call void @rec-branch-2(i32 1, i32 1, i32 1, i32* %ptr)
   br label %if.end8
 
----------------
We should investigate if it is sound to use assumed information in the exploration to catch this case.


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

https://reviews.llvm.org/D75923