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

A function analysis which provides an `AssumptionCache.`

== Synopsis

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

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
class AssumptionAnalysis
    : public xref:llvm/AnalysisInfoMixin-0b9.adoc[AnalysisInfoMixin<AssumptionAnalysis>]
----

== Description

This analysis is intended for use with the new pass manager and will vend assumption caches for a given function.

== Base Classes

[cols="1,4"]
|===
| Name| Description
| `xref:llvm/AnalysisInfoMixin-0b9.adoc[AnalysisInfoMixin<AssumptionAnalysis>]`
| A CRTP mix‐in that provides informational APIs needed for analysis passes.
|===

== Type Aliases

[cols="1,4"]
|===
| Name| Description
| xref:llvm/AssumptionAnalysis/Result.adoc[`Result`] 
| The analysis result type; an AssumptionCache for a function.
|===


== Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:llvm/AssumptionAnalysis/run.adoc[`run`] 
| Run the assumption analysis on function `F.`
|===


== Static Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:llvm/AssumptionAnalysis/ID.adoc[`ID`] 
| Returns an opaque, unique ID for this analysis type.
|===


== Friends

[cols="1,4"]
|===
| Name| Description
| `xref:llvm/AnalysisInfoMixin-0b9.adoc[llvm::AnalysisInfoMixin]`
| A CRTP mix‐in that provides informational APIs needed for analysis passes.
|===


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