[PATCH] D142830: [ValueTracking] Improve non-zero tracking of `X` by also searching through `Use(X)` that imply non-zero

Noah Goldstein via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 16 00:14:15 PST 2023

Previous message: [PATCH] D144165: [ADT] Provide C++20-style bit functions
Next message: [PATCH] D142832: [ValueTracking] Add support in `isKnownNonZero` for dominating condition from `X > C1 && X < C2`
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

goldstein.w.n added a comment.

ping @nikic


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D142830

Previous message: [PATCH] D144165: [ADT] Provide C++20-style bit functions
Next message: [PATCH] D142832: [ValueTracking] Add support in `isKnownNonZero` for dominating condition from `X > C1 && X < C2`
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list