[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