[PATCH] D85184: [Attributor][WIP] Deduce noundef attribute

Shinji Okumura via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Aug 17 09:50:13 PDT 2020


okura added a comment.

I'm sorry for the late reply. I forgot to upload an updated patch.

> I haven't tried this but when we run this with the patch, is there a noundef for the call site argument?

There is not noundef for the call site argument as you expected. And I also confirmed that using `isGuaranteedNotToBeUndefOrPoison` in initialize makes it possible to deduce noundef for the call site position.

I added your test in `noundef.ll`


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

https://reviews.llvm.org/D85184



More information about the llvm-commits mailing list