[llvm] [DAG] Add computeKnownBits(FREEZE(X)) handling (PR #214095)

Simon Pilgrim via llvm-commits llvm-commits at lists.llvm.org
Fri Aug 14 01:07:53 PDT 2026


================
@@ -3388,6 +3388,12 @@ KnownBits SelectionDAG::computeKnownBits(SDValue Op, const APInt &DemandedElts,
 
   unsigned Opcode = Op.getOpcode();
   switch (Opcode) {
+  case ISD::FREEZE: {
+    if (isGuaranteedNotToBeUndefOrPoison(Op.getOperand(0), DemandedElts,
----------------
RKSimon wrote:

keep this way if you are in uncertain - we can always relax them both in a future pr

https://github.com/llvm/llvm-project/pull/214095


More information about the llvm-commits mailing list