[PATCH] D141990: [InstSimplify] Add transform ctpop(X) -> 1 iff X is non-zero power of 2

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Jan 18 10:50:20 PST 2023


nikic added inline comments.


================
Comment at: llvm/lib/Analysis/InstructionSimplify.cpp:5886
                                      const SimplifyQuery &Q) {
+  Value * Op0 = Call->getArgOperand(0);
   // Idempotent functions return the same result when called repeatedly.
----------------
Any particular reason for this change? It doesn't look like you make use of it (note that Call->getType() == Op0->getType() below).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D141990



More information about the llvm-commits mailing list