[PATCH] D130433: [InstCombine] Add fold for redundant sign bits count comparison

Alexander Shaposhnikov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Jul 26 13:36:36 PDT 2022


alexander-shaposhnikov added a comment.

updated alive proof for the generalized version: https://alive2.llvm.org/ce/z/6dPgii


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D130433



More information about the llvm-commits mailing list