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

Specifies which kind of type check we should emit for this byte array.

== Synopsis

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

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
enum Kind;
----

== Description

See http://clang.llvm.org/docs/ControlFlowIntegrityDesign.html for full details on each kind of check; the enumerators are described with reference to that document.

== Members

[cols="1,4"]
|===
| Name| Description
| `Unsat` 
| Unsatisfiable type (i.e. no global has this type metadata)
| `ByteArray` 
| Test a byte array (first example)
| `Inline` 
| Inlined bit vector ("Short Inline Bit Vectors")
| `Single` 
| Single element (last example in "Short Inline Bit Vectors")
| `AllOnes` 
| All‐ones bit vector ("Eliminating Bit Vector Checks for
| `Unknown` 
| Unknown (analysis not performed, don't lower)
|===



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