Bitvector Literal

Concept

In the Sail ISA specification language, a bitvector literal is a form of literal that denotes a fixed-width bitvector value. The Sail grammar enumerates two lexical forms of bitvector literal and two named constant bitvector literals, alongside other numeric and boolean literals.

First seen 8/6/2026

Last seen 8/6/2026

Evidence 1 chunks

Wiki v1

WIKI

Bitvector Literal

Overview

In the Sail ISA Specification Language, a bitvector literal is a lexical literal form that directly denotes a bitvector value of a specific width. Bitvector literals are part of Sail's general lit category, which appears in expressions (<exp>, <atomic_exp>), patterns (<pat>, <atomic_pat>), and atomic type contexts (<atomic_typ>).

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

2 connections

Sail ISA Specification Language ← implements 1e

Sail implements bitvector literals in both binary and hexadecimal notation.

BNF Grammar part of → 1e

The BNF grammar includes bitvector literal productions.

LINKED ENTITIES

2 links

BNF Grammar PART_OF Extracted graph relationship

Sail ISA Specification Language IMPLEMENTS Extracted graph relationship

CITATIONS

3 sources

3 citations — click to collapse

[1] The Sail grammar defines <lit> with alternatives true, false, (), NUMBER, undefined, bitzero, bitone, BINARY_LITERAL, HEXADECIMAL_LITERAL, and STRING_LITERAL. The Sail instruction-set semantics specification language

[2] Within <lit>, the forms BINARY_LITERAL and HEXADECIMAL_LITERAL denote bitvector literals, and bitzero/bitone denote all-zero/all-one bitvector constants. The Sail instruction-set semantics specification language

[3] The <lit> production is referenced from <atomic_typ>, <atomic_pat>, and <atomic_exp>, allowing bitvector literals in type, pattern, and expression positions. The Sail instruction-set semantics specification language