[#llvm-isImpliedByDomCondition-0f1]
= xref:llvm.adoc[llvm]::isImpliedByDomCondition
:relfileprefix: ../
:mrdocs:

Return the boolean condition value in the context of the given instruction if it is known based on dominating conditions.

== Synopsis

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

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
std::optional<bool>
isImpliedByDomCondition(
    xref:llvm/Value.adoc[Value] const* Cond,
    xref:llvm/Instruction.adoc[Instruction] const* ContextI,
    xref:llvm/DataLayout.adoc[DataLayout] const& DL);
----

== Return Value

Known boolean value of `Cond,` or nullopt if unknown.

== Parameters

[cols="1,4"]
|===
| Name| Description
| *Cond*
| Boolean condition to evaluate in context.
| *ContextI*
| Instruction providing the dominating‐condition context.
| *DL*
| Data layout used by the implication analysis.
|===


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