[PATCH] D76378: [Attributor] Make use of analysis in the MustBeExecutedExplorer

[Stefanos Baziotis via Phabricator via llvm-commits]

baziotis added inline comments.


================
Comment at: llvm/test/Transforms/Attributor/dereferenceable-2.ll:400
+  ret i32 1
+}
----------------
jdoerfert wrote:
> sstefan1 wrote:
> > uenoku wrote:
> > > baziotis wrote:
> > > > jdoerfert wrote:
> > > > > TBH, I'm confused why this works. this test is only run in the old pass manager which doesn't support querying analysis passes (from the Attributor). Where am I wrong?
> > > > That makes sense. I tested locally and it doesn't pass, maybe I miss something too though.
> > > Sorry, I have missed this test uses OPM. It doesn't pass locally. 
> > Could be that he didn't re-run the tests, since it should have worked with previous diff that didn't use `AnalysisGetter`.
> FWIW, the solution here is to verify this works in the new pass manager ;), hence add a run line and different check lines for the new PM
Just to note: To do that, replace `-attributor` with `-passes=attributor`. I think it's difficult to find it, I didn't know until @uenoku told me.


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

https://reviews.llvm.org/D76378