Register File Schema
Auto-generated
This page is generated from register_file_schema.json by the schema doc generator. To update this page, edit the schema file and run bin/chore gen schema-docs.
Schema for describing a register file
Definitions
register_entry
| Property | Type | Required | Description |
|---|---|---|---|
name | Register name | ✓ | |
abi_mnemonics | Array<Register alias or ABI mnemonic> | ABI mnemonic names for the register | |
description | string | Array<conditional_text> | ||
when | A requirement on an extension. Can either specify just an extension name, in which case version '>= 0' is implied, or both a name and a requirement | object | ||
arch_read() | string | Function describing the architecturally defined read behavior. Use this for architecturally mandated effects (e.g., x0 always reads as zero). | |
arch_write(value) | string | Function describing the architecturally defined write behavior. Given a 'value', return the architecturally required result (e.g., x0 ignores writes and always yields zero). | |
caller_saved | boolean | Whether the register is caller-saved | |
callee_saved | boolean | Whether the register is callee-saved | |
roles | Array<zero | return_address | alternate_link_register | stack_pointer | global_pointer | thread_pointer | frame_pointer | return_value | argument | temporary> |
register_file
| Property | Type | Required | Description |
|---|---|---|---|
$schema | any | ✓ | Path to schema, relative to <UDB ROOT>/schemas |
kind | any | ✓ | |
name | Register file name | ✓ | |
long_name | string | ✓ | |
description | string | Array<conditional_text> | ✓ | |
register_length | Bit width value for a register or field | ✓ | |
registers | Array<register_entry> | ✓ | |
definedBy | A requirement on an extension. Can either specify just an extension name, in which case version '>= 0' is implied, or both a name and a requirement | object | ||
register_class | general_purpose | floating_point | vector |
Tooling field
$source is an optional field set automatically by UDB tooling to record the file path this object was loaded from. You do not need to set it manually.
Schema Information
| Property | Value |
|---|---|
| Version | v0.1 |
| JSON Schema Version | Draft 07 |