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

Methods

BooleanState()

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2533

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)

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)

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

Description

Return true if the state is assumed to hold.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2546

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)

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)

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)

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)

Description

Set the known and asssumed value to \p Value.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2540

Parameters

bool Value