Lines Matching refs:unionAssumed

6071 bool ValueSimplifyStateType::unionAssumed(std::optional<Value *> Other) {  in unionAssumed()  function in ValueSimplifyStateType
6226 return unionAssumed(QueryingValueSimplified); in checkAndUpdate()
6339 return unionAssumed(*SimpleArgOp); in updateImpl()
9218 unionAssumed(ConstantRange(C->getValue())); in initialize()
9225 unionAssumed(ConstantRange(APInt(getBitWidth(), 0))); in initialize()
9304 T.unionAssumed(AssumedRange); in calculateBinaryOperator()
9339 T.unionAssumed(OpAA->getAssumed().castOp(CastI->getOpcode(), in calculateCastInst()
9409 T.unionAssumed(ConstantRange(APInt(/* numBits */ 1, /* val */ 1))); in calculateCmpInst()
9411 T.unionAssumed(ConstantRange(APInt(/* numBits */ 1, /* val */ 0))); in calculateCmpInst()
9413 T.unionAssumed(ConstantRange(/* BitWidth */ 1, /* isFullSet */ true)); in calculateCmpInst()
9450 T.unionAssumed(AA->getAssumedConstantRange(A, CtxI)); in updateImpl()
9701 unionAssumed(C->getValue()); in initialize()
9814 unionAssumed(Result); in calculateBinaryOperatorAndTakeUnion()
9866 unionAssumed(APInt(/* numBits */ 1, /* val */ 1)); in updateWithICmpInst()
9868 unionAssumed(APInt(/* numBits */ 1, /* val */ 0)); in updateWithICmpInst()
9910 unionAssumed(It); in updateWithSelectInst()
9918 unionAssumed(It); in updateWithSelectInst()
9920 unionAssumed(It); in updateWithSelectInst()
9945 unionAssumed(T); in updateWithCastInst()
10004 unionAssumed(It); in updateWithInstruction()
10095 unionAssumed(C->getValue()); in initialize()
10116 unionAssumed(S); in updateImpl()
10831 State.unionAssumed({{*ConstantInt::get(&Ty, It), nullptr}, S}); in addValue()
10833 State.unionAssumed({{*UndefValue::get(&Ty), nullptr}, S}); in addValue()
10849 State.unionAssumed({{*VPtr, CtxI}, S}); in addValue()
10907 getState().unionAssumed({{getAssociatedValue(), getCtxI()}, AA::AnyScope}); in indicatePessimisticFixpoint()