[#llvm-ValueSimplifyStateType]
= xref:llvm.adoc[llvm]::ValueSimplifyStateType
:relfileprefix: ../
:mrdocs:

State representing an assumed simplified IR value.

== Synopsis

Declared in `<llvm/Transforms/IPO/Attributor.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
struct ValueSimplifyStateType
    : xref:llvm/AbstractState.adoc[AbstractState]
----

== Base Classes

[cols="1,4"]
|===
| Name| Description
| `xref:llvm/AbstractState.adoc[AbstractState]`
| An interface to query the internal state of an abstract attribute.
|===

== Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:llvm/ValueSimplifyStateType/2constructor.adoc[`ValueSimplifyStateType`]         [.small]#[constructor]#
| Construct a value‐simplify state.
| xref:llvm/ValueSimplifyStateType/getAssumed-09.adoc[`getAssumed`] 
| Return the assumed value‐simplify state.
| xref:llvm/ValueSimplifyStateType/indicateOptimisticFixpoint.adoc[`indicateOptimisticFixpoint`]  [.small]#[virtual]#
| See AbstractState::indicateOptimisticFixpoint(...)
| xref:llvm/ValueSimplifyStateType/indicatePessimisticFixpoint.adoc[`indicatePessimisticFixpoint`]  [.small]#[virtual]#
| See AbstractState::indicatePessimisticFixpoint(...)
| xref:llvm/ValueSimplifyStateType/isAtFixpoint.adoc[`isAtFixpoint`]  [.small]#[virtual]#
| See AbstractState::isAtFixpoint(...)
| xref:llvm/ValueSimplifyStateType/isValidState.adoc[`isValidState`]  [.small]#[virtual]#
| See AbstractState::isValidState(...)
| xref:llvm/ValueSimplifyStateType/operator_xor_eq.adoc[`operatorˆ=`] 
| Clamp this state with `VS.`
| xref:llvm/ValueSimplifyStateType/operator_eq.adoc[`operator==`] 
| Return true if this equals `RHS.`
|===


== Static Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:llvm/ValueSimplifyStateType/getBestState-05.adoc[`getBestState`] 
| `getBestState` overloads
| xref:llvm/ValueSimplifyStateType/getWorstState-08.adoc[`getWorstState`] 
| `getWorstState` overloads
|===


== Protected Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:llvm/ValueSimplifyStateType/unionAssumed.adoc[`unionAssumed`] 
| Merge `Other` into the currently assumed simplified value
|===


== Protected Data Members

[cols="1,4"]
|===
| Name| Description
| xref:llvm/ValueSimplifyStateType/BS.adoc[`BS`] 
| Helper to track validity and fixpoint
| xref:llvm/ValueSimplifyStateType/SimplifiedAssociatedValue.adoc[`SimplifiedAssociatedValue`] 
| Assumed simplified value for the associated IR value.
| xref:llvm/ValueSimplifyStateType/Ty.adoc[`Ty`] 
| The type of the original value.
|===



[.small]#Created with https://www.mrdocs.com[MrDocs]#