[PATCH] D150094: [KnownBits] Improve `KnownBits::udiv`

Jay Foad via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu May 18 02:47:44 PDT 2023


foad added inline comments.


================
Comment at: llvm/lib/Support/KnownBits.cpp:622-632
   Known.Zero.setHighBits(LeadZ);
+  if (Exact) {
+    // Odd / Odd -> Odd
+    if (LHS.One[0] && RHS.One[0])
+      Known.One.setBit(0);
+    // Even / Odd -> Even
+    else if (LHS.Zero[0] && RHS.One[0])
----------------
Common this up with the identical logic in sdiv?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D150094



More information about the llvm-commits mailing list