[PATCH] D156238: [InstCombine] Generalize foldICmpWithMinMax

[Yingwei Zheng via Phabricator via llvm-commits]

dtcxzyw marked 2 inline comments as done.
dtcxzyw added inline comments.


================
Comment at: llvm/test/Transforms/InstCombine/smin-icmp.ll:523
 ; CHECK-NEXT:    call void @use(i1 [[CMP8]])
 ; CHECK-NEXT:    [[CMP9:%.*]] = icmp eq i32 [[COND]], [[Z]]
 ; CHECK-NEXT:    call void @use(i1 [[CMP9]])
----------------
Seems like `simplifyICmpInst` cannot infer `X != Z` with the fact `X < Z`. I will address this in a separate patch.
Alive2: https://alive2.llvm.org/ce/z/aaYERr


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D156238