struct BooleanState
Declaration
struct BooleanState : public IntegerStateBase { /* full declaration omitted */ };
Description
Simple wrapper for a single bit (boolean) state.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2529
Inherits from: IntegerStateBase
Method Overview
- public BooleanState()
- public BooleanState(llvm::BooleanState::base_t Assumed)
- private void handleNewAssumedValue(llvm::BooleanState::base_t Value)
- private void handleNewKnownValue(llvm::BooleanState::base_t Value)
- public bool isAssumed() const
- public bool isKnown() const
- private void joinAND(llvm::BooleanState::base_t AssumedValue, llvm::BooleanState::base_t KnownValue)
- private void joinOR(llvm::BooleanState::base_t AssumedValue, llvm::BooleanState::base_t KnownValue)
- public void setAssumed(bool Value)
- public void setKnown(bool Value)
Methods
¶BooleanState()
BooleanState()
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2533
¶BooleanState(llvm::BooleanState::base_t Assumed)
BooleanState(llvm::BooleanState::base_t Assumed)
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2534
Parameters
- llvm::BooleanState::base_t Assumed
¶void handleNewAssumedValue(
llvm::BooleanState::base_t Value)
void handleNewAssumedValue(
llvm::BooleanState::base_t Value)
Description
Handle a new assumed value \p Value. Subtype dependent.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2552
Parameters
- llvm::BooleanState::base_t Value
¶void handleNewKnownValue(
llvm::BooleanState::base_t Value)
void handleNewKnownValue(
llvm::BooleanState::base_t Value)
Description
Handle a new known value \p Value. Subtype dependent.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2556
Parameters
- llvm::BooleanState::base_t Value
¶bool isAssumed() const
bool isAssumed() const
Description
Return true if the state is assumed to hold.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2546
¶bool isKnown() const
bool isKnown() const
Description
Return true if the state is known to hold.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2549
¶void joinAND(
llvm::BooleanState::base_t AssumedValue,
llvm::BooleanState::base_t KnownValue)
void joinAND(
llvm::BooleanState::base_t AssumedValue,
llvm::BooleanState::base_t KnownValue)
Description
Handle a new assumed value \p Value. Subtype dependent.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2564
Parameters
- llvm::BooleanState::base_t AssumedValue
- llvm::BooleanState::base_t KnownValue
¶void joinOR(
llvm::BooleanState::base_t AssumedValue,
llvm::BooleanState::base_t KnownValue)
void joinOR(
llvm::BooleanState::base_t AssumedValue,
llvm::BooleanState::base_t KnownValue)
Description
Handle a value \p Value. Subtype dependent.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2560
Parameters
- llvm::BooleanState::base_t AssumedValue
- llvm::BooleanState::base_t KnownValue
¶void setAssumed(bool Value)
void setAssumed(bool Value)
Description
Set the assumed value to \p Value but never below the known one.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2537
Parameters
- bool Value
¶void setKnown(bool Value)
void setKnown(bool Value)
Description
Set the known and asssumed value to \p Value.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2540
Parameters
- bool Value