[PATCH] D88287: [NARY-REASSOCIATE] Support reassociation of min/max

[Evgeniy via Phabricator via llvm-commits]

ebrevnov added a comment.

I think I understand the problem now.  'any'>max_int is known to be false (first case), while max_int >'any' is unknown (second case)....so this is not verification issue....


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D88287