Lines Matching refs:unionAssumed
5305 bool ValueSimplifyStateType::unionAssumed(Optional<Value *> Other) { in unionAssumed() function in ValueSimplifyStateType
5459 return unionAssumed(QueryingValueSimplified); in checkAndUpdate()
5571 return unionAssumed(*SimpleArgOp); in updateImpl()
8315 unionAssumed(ConstantRange(C->getValue())); in initialize()
8322 unionAssumed(ConstantRange(APInt(getBitWidth(), 0))); in initialize()
8397 T.unionAssumed(AssumedRange); in calculateBinaryOperator()
8430 T.unionAssumed( in calculateCastInst()
8496 T.unionAssumed(ConstantRange(APInt(/* numBits */ 1, /* val */ 1))); in calculateCmpInst()
8498 T.unionAssumed(ConstantRange(APInt(/* numBits */ 1, /* val */ 0))); in calculateCmpInst()
8500 T.unionAssumed(ConstantRange(/* BitWidth */ 1, /* isFullSet */ true)); in calculateCmpInst()
8534 T.unionAssumed(AA.getAssumedConstantRange(A, CtxI)); in updateImpl()
8780 unionAssumed(C->getValue()); in initialize()
8893 unionAssumed(Result); in calculateBinaryOperatorAndTakeUnion()
8945 unionAssumed(APInt(/* numBits */ 1, /* val */ 1)); in updateWithICmpInst()
8947 unionAssumed(APInt(/* numBits */ 1, /* val */ 0)); in updateWithICmpInst()
8987 unionAssumed(It); in updateWithSelectInst()
8995 unionAssumed(It); in updateWithSelectInst()
8997 unionAssumed(It); in updateWithSelectInst()
9022 unionAssumed(T); in updateWithCastInst()
9152 unionAssumed(C->getValue()); in initialize()
9171 unionAssumed(S); in updateImpl()
9875 State.unionAssumed({{*ConstantInt::get(&Ty, It), nullptr}, S}); in addValue()
9894 State.unionAssumed({{*VPtr, CtxI}, S}); in addValue()
9952 getState().unionAssumed({{getAssociatedValue(), getCtxI()}, AA::AnyScope}); in indicatePessimisticFixpoint()