[PATCH] D146196: [InstSimplify] make simplifyUnsignedRangeCheck commutative for ZeroICmp

[Kohei Asano via Phabricator via llvm-commits]

khei4 created this revision.
khei4 added reviewers: spatel, nikic, lebedev.ri, aqjune.
Herald added subscribers: StephenFan, hiraditya.
Herald added a project: All.
khei4 requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

on InstSimplify, `simplifyUnsignedRangeCheck` missed being commutative for inner equality comparison. 
related Functional patch: https://reviews.llvm.org/D78430

Depends on https://reviews.llvm.org/D146195


https://reviews.llvm.org/D146196

Files:
  llvm/lib/Analysis/InstructionSimplify.cpp
  llvm/test/Transforms/InstSimplify/and-or-icmp-nullptr.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D146196.505707.patch
Type: text/x-patch
Size: 6322 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230316/0df00894/attachment.bin>