[#llvm-isImpliedCondition-0e]
= xref:llvm.adoc[llvm]::isImpliedCondition
:relfileprefix: ../
:mrdocs:

`isImpliedCondition` overloads

== Synopses

Declared in `<llvm/Analysis/ValueTracking.h>`

Return whether RHS is implied true or false by LHS, if known.


[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
std::optional<bool>
xref:llvm/isImpliedCondition-0c.adoc[isImpliedCondition](
    xref:llvm/Value.adoc[Value] const* LHS,
    xref:llvm/Value.adoc[Value] const* RHS,
    xref:llvm/DataLayout.adoc[DataLayout] const& DL,
    bool LHSIsTrue = true,
    unsigned int Depth = 0);
----

[.small]#xref:llvm/isImpliedCondition-0c.adoc[_» more..._]#

Return whether a compare is implied true or false by `LHS,` if known.


[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
std::optional<bool>
xref:llvm/isImpliedCondition-0a.adoc[isImpliedCondition](
    xref:llvm/Value.adoc[Value] const* LHS,
    xref:llvm/CmpPredicate.adoc[CmpPredicate] RHSPred,
    xref:llvm/Value.adoc[Value] const* RHSOp0,
    xref:llvm/Value.adoc[Value] const* RHSOp1,
    xref:llvm/DataLayout.adoc[DataLayout] const& DL,
    bool LHSIsTrue = true,
    unsigned int Depth = 0);
----

[.small]#xref:llvm/isImpliedCondition-0a.adoc[_» more..._]#

== Return Value

True/false if implied, or nullopt if unknown.

== Parameters

[cols="1,4"]
|===
| Name| Description
| *LHS*
| Condition assumed true or false according to `LHSIsTrue.`
| *RHS*
| Condition whose implication from `LHS` is tested.
| *DL*
| Data layout used by the implication analysis.
| *LHSIsTrue*
| Whether `LHS` is assumed true (vs false).
| *Depth*
| Current recursion depth for this query.
| *RHSPred*
| Predicate of the right‐hand compare.
| *RHSOp0*
| Left operand of the right‐hand compare.
| *RHSOp1*
| Right operand of the right‐hand compare.
|===


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