[PATCH] D106668: [DAG] Add initial SelectionDAG::isGuaranteedNotToBeUndefOrPoison framework (PR51129)

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added inline comments.


================
Comment at: llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp:4279
+    return false; // Limit search depth.
+
+  if (isIntOrFPConstant(Op))
----------------
Probably relying on `noundef` attributes from library functions' return values will be helpful.
Does SelDag allow getting the function declaration from a call?

Also, a pointer that is dereferenced by load/store is also noundef.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D106668