Bitfield Type
ConceptIn the Sail ISA specification language, a bitfield is a type definition that names a packed structure of bit-typed fields. It is one of the type declaration forms in the Sail grammar and is closely related to struct and union type definitions.
First seen 8/6/2026
Last seen 8/6/2026
Evidence 1 chunks
Wiki v1
WIKI
Bitfield Type
Overview
In the [Sail ISA Specification Language], a bitfield type is one of the named type-declaration forms available to a specification author. It is declared using the bitfield keyword and binds an identifier to a packing of fields over a bit-level base type. Bitfield declarations appear alongside type, struct, enum, and union declarations in the Sail top-level definition grammar.
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
2 connectionsSail implements bitfield types as named definitions with a base type and field body.
The BNF grammar includes bitfield type definition productions.
CITATIONS
2 sources2 citations — click to collapse
[1] A bitfield type is declared in Sail using the syntax `bitfield <id> : <typ> = { <r_def_body> }`. The Sail instruction-set semantics specification language
[2] The bitfield declaration is listed as one of the named type-definition alternatives alongside `type`, `struct`, `enum`, and `union` declarations. The Sail instruction-set semantics specification language