Assumed | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | protected |
base_t typedef | llvm::DecIntegerState< base_ty > | |
getAssumed() const | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inline |
getBestState() | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inlinestatic |
getKnown() const | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inline |
getWorstState() | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inlinestatic |
llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)>::handleNewAssumedValue(base_t Value)=0 | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | protectedpure virtual |
llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)>::handleNewKnownValue(base_t Value)=0 | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | protectedpure virtual |
indicateOptimisticFixpoint() override | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inlinevirtual |
indicatePessimisticFixpoint() override | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inlinevirtual |
IntegerStateBase()=default | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | |
isAtFixpoint() const override | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inlinevirtual |
isValidState() const override | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inlinevirtual |
llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)>::joinAND(base_t AssumedValue, base_t KnownValue)=0 | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | protectedpure virtual |
llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)>::joinOR(base_t AssumedValue, base_t KnownValue)=0 | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | protectedpure virtual |
Known | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | protected |
operator!=(const IntegerStateBase< base_t, BestState, WorstState > &R) const | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inline |
operator&=(const IntegerStateBase< base_t, BestState, WorstState > &R) | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inline |
operator+=(const IntegerStateBase< base_t, BestState, WorstState > &R) | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inline |
operator==(const IntegerStateBase< base_t, BestState, WorstState > &R) const | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inline |
operator^=(const IntegerStateBase< base_t, BestState, WorstState > &R) | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inline |
operator|=(const IntegerStateBase< base_t, BestState, WorstState > &R) | llvm::IntegerStateBase< uint32_t, 0, ~uint32_t(0)> | inline |
takeAssumedMaximum(base_t Value) | llvm::DecIntegerState< base_ty > | inline |
takeKnownMinimum(base_t Value) | llvm::DecIntegerState< base_ty > | inline |
~AbstractState()=default | llvm::AbstractState | virtual |