struct SetState::SetContents

Declaration

struct SetState::SetContents { /* full declaration omitted */ };

Description

A wrapper around a set that has semantics for handling unions and intersections with a "universal" set that contains all elements.

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

Member Variables

private bool Universal
Indicates if this set is "universal", containing every possible element.
private DenseSet<BaseTy> Set
The set of currently active assumptions.

Method Overview

  • public SetContents(bool Universal)
  • public SetContents(const DenseSet<BaseTy> & Assumptions)
  • public SetContents(bool Universal, const DenseSet<BaseTy> & Assumptions)
  • public bool empty() const
  • public bool getIntersection(const llvm::SetState::SetContents & RHS)
  • public const DenseSet<BaseTy> & getSet() const
  • public bool getUnion(const llvm::SetState::SetContents & RHS)
  • public bool isUniversal() const

Methods

SetContents(bool Universal)

Description

Creates a universal set with no concrete elements or an empty set.

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

Parameters

bool Universal

SetContents(const DenseSet<BaseTy>& Assumptions)

Description

Creates a non-universal set with concrete values.

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

Parameters

const DenseSet<BaseTy>& Assumptions

SetContents(bool Universal,
            const DenseSet<BaseTy>& Assumptions)

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

Parameters

bool Universal
const DenseSet<BaseTy>& Assumptions

bool empty() const

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

bool getIntersection(
    const llvm::SetState::SetContents& RHS)

Description

Finds A := A ^ B where A or B could be the "Universal" set which contains every possible attribute. Returns true if changes were made.

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

Parameters

const llvm::SetState::SetContents& RHS

const DenseSet<BaseTy>& getSet() const

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

bool getUnion(
    const llvm::SetState::SetContents& RHS)

Description

Finds A := A u B where A or B could be the "Universal" set which contains every possible attribute. returns true if changes were made.

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

Parameters

const llvm::SetState::SetContents& RHS

bool isUniversal() const

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