Lines Matching refs:Known
619 KnownBits Known; in SimplifyDemandedBits() local
621 bool Simplified = SimplifyDemandedBits(Op, DemandedBits, Known, TLO); in SimplifyDemandedBits()
635 KnownBits Known; in SimplifyDemandedBits() local
638 SimplifyDemandedBits(Op, DemandedBits, DemandedElts, Known, TLO); in SimplifyDemandedBits()
647 KnownBits &Known, in SimplifyDemandedBits() argument
659 return SimplifyDemandedBits(Op, DemandedBits, DemandedElts, Known, TLO, Depth, in SimplifyDemandedBits()
1081 const APInt &OriginalDemandedElts, KnownBits &Known, TargetLoweringOpt &TLO, in SimplifyDemandedBits() argument
1088 Known = KnownBits(BitWidth); in SimplifyDemandedBits()
1111 Known = KnownBits::makeConstant(Op->getAsAPIntVal()); in SimplifyDemandedBits()
1117 Known = KnownBits::makeConstant( in SimplifyDemandedBits()
1159 Known = SrcKnown.anyextOrTrunc(BitWidth); in SimplifyDemandedBits()
1165 Known = TLO.DAG.computeKnownBits(Op, DemandedElts, Depth); in SimplifyDemandedBits()
1176 Known = KnownScl.trunc(BitWidth); in SimplifyDemandedBits()
1182 Known = TLO.DAG.computeKnownBits(Op, DemandedElts, Depth); in SimplifyDemandedBits()
1189 Known.Zero.setBitsFrom(MemBits); in SimplifyDemandedBits()
1220 Known = KnownScl.anyextOrTrunc(BitWidth); in SimplifyDemandedBits()
1228 Known = Known.intersectWith(KnownVec); in SimplifyDemandedBits()
1253 Known.Zero.setAllBits(); in SimplifyDemandedBits()
1254 Known.One.setAllBits(); in SimplifyDemandedBits()
1256 Known = Known.intersectWith(KnownSub); in SimplifyDemandedBits()
1258 Known = Known.intersectWith(KnownSrc); in SimplifyDemandedBits()
1288 if (SimplifyDemandedBits(Src, DemandedBits, DemandedSrcElts, Known, TLO, in SimplifyDemandedBits()
1307 Known.Zero.setAllBits(); in SimplifyDemandedBits()
1308 Known.One.setAllBits(); in SimplifyDemandedBits()
1320 Known = Known.intersectWith(Known2); in SimplifyDemandedBits()
1338 Known.Zero.setAllBits(); in SimplifyDemandedBits()
1339 Known.One.setAllBits(); in SimplifyDemandedBits()
1344 Known = Known.intersectWith(Known2); in SimplifyDemandedBits()
1350 Known = Known.intersectWith(Known2); in SimplifyDemandedBits()
1424 if (SimplifyDemandedBits(Op1, DemandedBits, DemandedElts, Known, TLO, in SimplifyDemandedBits()
1427 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1428 if (SimplifyDemandedBits(Op0, ~Known.Zero & DemandedBits, DemandedElts, in SimplifyDemandedBits()
1435 if (DemandedBits.isSubsetOf(Known2.Zero | Known.One)) in SimplifyDemandedBits()
1437 if (DemandedBits.isSubsetOf(Known.Zero | Known2.One)) in SimplifyDemandedBits()
1440 if (DemandedBits.isSubsetOf(Known.Zero | Known2.Zero)) in SimplifyDemandedBits()
1464 Known &= Known2; in SimplifyDemandedBits()
1471 if (SimplifyDemandedBits(Op1, DemandedBits, DemandedElts, Known, TLO, in SimplifyDemandedBits()
1479 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1480 if (SimplifyDemandedBits(Op0, ~Known.One & DemandedBits, DemandedElts, in SimplifyDemandedBits()
1492 if (DemandedBits.isSubsetOf(Known2.One | Known.Zero)) in SimplifyDemandedBits()
1494 if (DemandedBits.isSubsetOf(Known.One | Known2.Zero)) in SimplifyDemandedBits()
1544 Known |= Known2; in SimplifyDemandedBits()
1551 if (SimplifyDemandedBits(Op1, DemandedBits, DemandedElts, Known, TLO, in SimplifyDemandedBits()
1554 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1562 if (DemandedBits.isSubsetOf(Known.Zero)) in SimplifyDemandedBits()
1573 if (DemandedBits.isSubsetOf(Known.Zero | Known2.Zero)) in SimplifyDemandedBits()
1644 Known ^= Known2; in SimplifyDemandedBits()
1649 Known, TLO, Depth + 1)) in SimplifyDemandedBits()
1654 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1662 Known = Known.intersectWith(Known2); in SimplifyDemandedBits()
1666 Known, TLO, Depth + 1)) in SimplifyDemandedBits()
1671 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1675 Known = Known.intersectWith(Known2); in SimplifyDemandedBits()
1679 Known, TLO, Depth + 1)) in SimplifyDemandedBits()
1684 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1692 Known = Known.intersectWith(Known2); in SimplifyDemandedBits()
1719 Known.Zero.setBitsFrom(1); in SimplifyDemandedBits()
1798 if (SimplifyDemandedBits(Op0, InDemandedMask, DemandedElts, Known, TLO, in SimplifyDemandedBits()
1810 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1811 Known.Zero <<= ShAmt; in SimplifyDemandedBits()
1812 Known.One <<= ShAmt; in SimplifyDemandedBits()
1814 Known.Zero.setLowBits(ShAmt); in SimplifyDemandedBits()
1846 if (bool IsNUW = (Known.countMinLeadingZeros() >= HalfWidth)) { in SimplifyDemandedBits()
1847 bool IsNSW = Known.countMinSignBits() > HalfWidth; in SimplifyDemandedBits()
1868 if (SimplifyDemandedBits(Op0, DemandedFromOp, DemandedElts, Known, TLO, in SimplifyDemandedBits()
1880 Known.resetAll(); in SimplifyDemandedBits()
1964 if (SimplifyDemandedBits(Op0, InDemandedMask, DemandedElts, Known, TLO, in SimplifyDemandedBits()
1967 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1968 Known.Zero.lshrInPlace(ShAmt); in SimplifyDemandedBits()
1969 Known.One.lshrInPlace(ShAmt); in SimplifyDemandedBits()
1971 Known.Zero.setHighBits(ShAmt); in SimplifyDemandedBits()
1985 Known = TLO.DAG.computeKnownBits(Op, DemandedElts, Depth); in SimplifyDemandedBits()
2060 if (SimplifyDemandedBits(Op0, InDemandedMask, DemandedElts, Known, TLO, in SimplifyDemandedBits()
2063 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
2064 Known.Zero.lshrInPlace(ShAmt); in SimplifyDemandedBits()
2065 Known.One.lshrInPlace(ShAmt); in SimplifyDemandedBits()
2069 if (Known.Zero[BitWidth - ShAmt - 1] || in SimplifyDemandedBits()
2084 if (Known.One[BitWidth - ShAmt - 1]) in SimplifyDemandedBits()
2086 Known.One.setHighBits(ShAmt); in SimplifyDemandedBits()
2114 Known, TLO, Depth + 1)) in SimplifyDemandedBits()
2126 if (SimplifyDemandedBits(Op1, Demanded1, DemandedElts, Known, TLO, in SimplifyDemandedBits()
2132 Known.One.lshrInPlace(IsFSHL ? (BitWidth - Amt) : Amt); in SimplifyDemandedBits()
2133 Known.Zero.lshrInPlace(IsFSHL ? (BitWidth - Amt) : Amt); in SimplifyDemandedBits()
2134 Known = Known.unionWith(Known2); in SimplifyDemandedBits()
2236 Known = KnownBits::smin(Known0, Known1); in SimplifyDemandedBits()
2243 Known = KnownBits::smax(Known0, Known1); in SimplifyDemandedBits()
2250 Known = KnownBits::umin(Known0, Known1); in SimplifyDemandedBits()
2257 Known = KnownBits::umax(Known0, Known1); in SimplifyDemandedBits()
2268 Known.One = Known2.One.reverseBits(); in SimplifyDemandedBits()
2269 Known.Zero = Known2.Zero.reverseBits(); in SimplifyDemandedBits()
2303 Known.One = Known2.One.byteSwap(); in SimplifyDemandedBits()
2304 Known.Zero = Known2.Zero.byteSwap(); in SimplifyDemandedBits()
2315 Known = TLO.DAG.computeKnownBits(Op, DemandedElts, Depth); in SimplifyDemandedBits()
2350 if (SimplifyDemandedBits(Op0, InputDemandedBits, DemandedElts, Known, TLO, in SimplifyDemandedBits()
2353 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
2359 if (Known.Zero[ExVTBits - 1]) in SimplifyDemandedBits()
2363 if (Known.One[ExVTBits - 1]) { // Input sign bit known set in SimplifyDemandedBits()
2364 Known.One.setBitsFrom(ExVTBits); in SimplifyDemandedBits()
2365 Known.Zero &= Mask; in SimplifyDemandedBits()
2367 Known.Zero &= Mask; in SimplifyDemandedBits()
2368 Known.One &= Mask; in SimplifyDemandedBits()
2387 Known = KnownHi.concat(KnownLo); in SimplifyDemandedBits()
2418 if (SimplifyDemandedBits(Src, InDemandedBits, InDemandedElts, Known, TLO, in SimplifyDemandedBits()
2426 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
2427 assert(Known.getBitWidth() == InBits && "Src width has changed?"); in SimplifyDemandedBits()
2428 Known = Known.zext(BitWidth); in SimplifyDemandedBits()
2473 if (SimplifyDemandedBits(Src, InDemandedBits, InDemandedElts, Known, TLO, in SimplifyDemandedBits()
2476 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
2477 assert(Known.getBitWidth() == InBits && "Src width has changed?"); in SimplifyDemandedBits()
2480 Known = Known.sext(BitWidth); in SimplifyDemandedBits()
2483 if (Known.isNonNegative()) { in SimplifyDemandedBits()
2519 if (SimplifyDemandedBits(Src, InDemandedBits, InDemandedElts, Known, TLO, in SimplifyDemandedBits()
2522 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
2523 assert(Known.getBitWidth() == InBits && "Src width has changed?"); in SimplifyDemandedBits()
2524 Known = Known.anyext(BitWidth); in SimplifyDemandedBits()
2539 if (SimplifyDemandedBits(Src, TruncMask, DemandedElts, Known, TLO, in SimplifyDemandedBits()
2542 Known = Known.trunc(BitWidth); in SimplifyDemandedBits()
2588 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
2596 if (SimplifyDemandedBits(Op.getOperand(0), ~InMask | DemandedBits, Known, in SimplifyDemandedBits()
2599 assert(!Known.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
2601 Known.Zero |= ~InMask; in SimplifyDemandedBits()
2602 Known.One &= (~Known.Zero); in SimplifyDemandedBits()
2641 Known = Known2; in SimplifyDemandedBits()
2643 Known = Known.anyext(BitWidth); in SimplifyDemandedBits()
2743 Known = TLO.DAG.computeKnownBits(Op, DemandedElts, Depth); in SimplifyDemandedBits()
2880 Known = KnownBits::mul(KnownOp0, KnownOp1); in SimplifyDemandedBits()
2882 Known = KnownBits::computeForAddSub(Op.getOpcode() == ISD::ADD, in SimplifyDemandedBits()
2897 Known, TLO, Depth)) in SimplifyDemandedBits()
2903 Known = TLO.DAG.computeKnownBits(Op, DemandedElts, Depth); in SimplifyDemandedBits()
2910 DemandedBits.isSubsetOf(Known.Zero | Known.One)) { in SimplifyDemandedBits()
2920 return TLO.CombineTo(Op, TLO.DAG.getConstant(Known.One, dl, VT)); in SimplifyDemandedBits()
2925 APFloat(TLO.DAG.EVTToAPFloatSemantics(VT), Known.One), dl, VT)); in SimplifyDemandedBits()
2931 if (HasMultiUse && Known.isUnknown() && !OriginalDemandedElts.isAllOnes()) in SimplifyDemandedBits()
2932 Known = TLO.DAG.computeKnownBits(Op, OriginalDemandedElts, Depth); in SimplifyDemandedBits()
3134 KnownBits Known; in SimplifyDemandedVectorElts() local
3135 if (SimplifyDemandedBits(Src, SrcDemandedBits, SrcDemandedElts, Known, in SimplifyDemandedVectorElts()
3144 if (!Known.Zero.extractBits(EltSizeInBits, SubElt * EltSizeInBits) in SimplifyDemandedVectorElts()
3648 KnownBits Known; in SimplifyDemandedVectorElts() local
3650 if (SimplifyDemandedBits(Op, DemandedBits, OriginalDemandedElts, Known, in SimplifyDemandedVectorElts()
3670 KnownBits &Known, in computeKnownBitsForTargetNode() argument
3680 Known.resetAll(); in computeKnownBitsForTargetNode()
3684 GISelKnownBits &Analysis, Register R, KnownBits &Known, in computeKnownBitsForTargetInstr() argument
3687 Known.resetAll(); in computeKnownBitsForTargetInstr()
3691 const int FrameIdx, KnownBits &Known, const MachineFunction &MF) const { in computeKnownBitsForFrameIndex() argument
3693 Known.Zero.setLowBits(Log2(MF.getFrameInfo().getObjectAlign(FrameIdx))); in computeKnownBitsForFrameIndex()
3737 KnownBits &Known, TargetLoweringOpt &TLO, unsigned Depth) const { in SimplifyDemandedBitsForTargetNode() argument
3744 computeKnownBitsForTargetNode(Op, Known, DemandedElts, TLO.DAG, Depth); in SimplifyDemandedBitsForTargetNode()