[PATCH] D98391: [InstSimplify] Propagate AllowRefinement info from SimplifyWithOpReplaced

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune updated this revision to Diff 330506.
aqjune added a comment.

Make computePointerICmp slightly more conservative if Q.AllowRefinement is false

It is folding possibly poison/undef value into a well-defined constant.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D98391

Files:
  llvm/include/llvm/Analysis/InstructionSimplify.h
  llvm/lib/Analysis/InstructionSimplify.cpp
  llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
  llvm/test/Transforms/InstSimplify/pr49495.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D98391.330506.patch
Type: text/x-patch
Size: 11204 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210314/3ca08bef/attachment.bin>