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

Matches a possibly‐exact operator that is marked exact.

== Synopsis

Declared in `<llvm/IR/PatternMatch.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template<typename SubPattern_t>
struct Exact_match;
----

== Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:llvm/PatternMatch/Exact_match/2constructor.adoc[`Exact_match`]         [.small]#[constructor]#
| Construct an exactness wrapper around `SP.`
| xref:llvm/PatternMatch/Exact_match/match.adoc[`match`] 
| Match `V` if it is exact and SubPattern matches.
|===


== Data Members

[cols="1,4"]
|===
| Name| Description
| xref:llvm/PatternMatch/Exact_match/SubPattern.adoc[`SubPattern`] 
| Nested sub‐pattern applied after the exactness check.
|===


== Non-Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:llvm/PatternMatch/m_Exact.adoc[`m_Exact`]
| Matches `SubPattern` only when the operator is marked exact.
|===


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