An InstructionSet object is the root of a tree of instructions. It defines the following for an instruction set:
| Properties | Type | Description |
|---|---|---|
| _meta | Meta |
Metadata
See
Meta
for more information.
|
| _type |
|
|
| children |
array [
]
|
Defines children nodes. Any child node that redefines the |
| condition | Traits.HasCondition |
See
definitions.condition in
Traits.HasCondition
for more information.
|
| encoding◊ | Encodeset.Encodeset |
See
Encodeset.Encodeset
for more information.
|
| name◊ | AST.Identifier |
The name of the
See
definitions.c_identifier_regex in
AST.Identifier
for more information.
|
| operation_id |
|
The ID of an operation that describes the default behavior of unspecified encodings within the InstructionSet.
Default
|
| read_width◊ |
|
How many bits a decoder must read to determine the encoding. Must evenly divide the width of the encoding for this InstructionSet.
|
|
||
|
||
{
"_type": "Instruction.InstructionSet",
"name": "QUILL",
"read_width": 32,
"encoding": {
"_type": "Instruction.Encodeset.Encodeset",
"width": 32,
"values": [
{
"_type": "Instruction.Encodeset.Field",
"range": {
"_type": "Range",
"start": 29,
"width": 3
},
"name": "op",
"value": {
"_type": "Values.Value",
"value": "'xxx'"
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'000'"
}
}
]
}
}{
"_type": "Instruction.InstructionSet",
"name": "PEN",
"read_width": 32,
"encoding": {
"_type": "Instruction.Encodeset.Encodeset",
"width": 32,
"values": [
{
"_type": "Instruction.Encodeset.Field",
"range": {
"_type": "Range",
"start": 29,
"width": 3
},
"name": "op",
"value": {
"_type": "Values.Value",
"value": "'xxx'"
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'000'"
}
}
]
},
"operation_id": "NOP",
"children": [
{
"_type": "Instruction.Instruction",
"name": "ADD",
"encoding": {
"_type": "Instruction.Encodeset.Encodeset",
"width": 32,
"values": [
{
"_type": "Instruction.Encodeset.Bits",
"range": {
"_type": "Range",
"start": 29,
"width": 3
},
"value": {
"_type": "Values.Value",
"value": "'011'",
"meaning": null
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'000'"
}
},
{
"_type": "Instruction.Encodeset.Field",
"range": {
"_type": "Range",
"start": 10,
"width": 5
},
"name": "Rn",
"value": {
"_type": "Values.Value",
"value": "'xxxxx'"
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'00000'"
}
},
{
"_type": "Instruction.Encodeset.Field",
"range": {
"_type": "Range",
"start": 5,
"width": 5
},
"name": "Rm",
"value": {
"_type": "Values.Value",
"value": "'xxxxx'"
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'00000'"
}
},
{
"_type": "Instruction.Encodeset.Field",
"range": {
"_type": "Range",
"start": 0,
"width": 5
},
"name": "Rd",
"value": {
"_type": "Values.Value",
"value": "'xxxxx'"
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'00000'"
}
}
]
},
"operation_id": "add_sub_imm"
},
{
"_type": "Instruction.InstructionGroup",
"name": "not_ADD",
"encoding": {
"_type": "Instruction.Encodeset.Encodeset",
"width": 32,
"values": [
{
"_type": "Instruction.Encodeset.Bits",
"range": {
"_type": "Range",
"start": 29,
"width": 3
},
"value": {
"_type": "Values.Value",
"value": "'111'",
"meaning": null
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'000'"
}
}
]
}
}
]
}{
"type": "object",
"info": [
"An $(~Instruction.InstructionSet) object is the root of a tree of instructions. It defines the following for an instruction set:",
[
"* The conditions under which it is available.",
"* An implicit bit pattern width, which is the width of the encoding property.",
"* A read_width, which is the width of an instruction within the bit pattern.",
"* A root encoding, which is described in the encoding property.",
"* A list of its direct children.",
"* The default operation when an encoding is not specified in the instruction set."
]
],
"examples": [
{
"_type": "Instruction.InstructionSet",
"name": "QUILL",
"read_width": 32,
"encoding": {
"_type": "Instruction.Encodeset.Encodeset",
"width": 32,
"values": [
{
"_type": "Instruction.Encodeset.Field",
"range": {
"_type": "Range",
"start": 29,
"width": 3
},
"name": "op",
"value": {
"_type": "Values.Value",
"value": "'xxx'"
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'000'"
}
}
]
}
},
{
"_type": "Instruction.InstructionSet",
"name": "PEN",
"read_width": 32,
"encoding": {
"_type": "Instruction.Encodeset.Encodeset",
"width": 32,
"values": [
{
"_type": "Instruction.Encodeset.Field",
"range": {
"_type": "Range",
"start": 29,
"width": 3
},
"name": "op",
"value": {
"_type": "Values.Value",
"value": "'xxx'"
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'000'"
}
}
]
},
"operation_id": "NOP",
"children": [
{
"_type": "Instruction.Instruction",
"name": "ADD",
"encoding": {
"_type": "Instruction.Encodeset.Encodeset",
"width": 32,
"values": [
{
"_type": "Instruction.Encodeset.Bits",
"range": {
"_type": "Range",
"start": 29,
"width": 3
},
"value": {
"_type": "Values.Value",
"value": "'011'",
"meaning": null
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'000'"
}
},
{
"_type": "Instruction.Encodeset.Field",
"range": {
"_type": "Range",
"start": 10,
"width": 5
},
"name": "Rn",
"value": {
"_type": "Values.Value",
"value": "'xxxxx'"
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'00000'"
}
},
{
"_type": "Instruction.Encodeset.Field",
"range": {
"_type": "Range",
"start": 5,
"width": 5
},
"name": "Rm",
"value": {
"_type": "Values.Value",
"value": "'xxxxx'"
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'00000'"
}
},
{
"_type": "Instruction.Encodeset.Field",
"range": {
"_type": "Range",
"start": 0,
"width": 5
},
"name": "Rd",
"value": {
"_type": "Values.Value",
"value": "'xxxxx'"
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'00000'"
}
}
]
},
"operation_id": "add_sub_imm"
},
{
"_type": "Instruction.InstructionGroup",
"name": "not_ADD",
"encoding": {
"_type": "Instruction.Encodeset.Encodeset",
"width": 32,
"values": [
{
"_type": "Instruction.Encodeset.Bits",
"range": {
"_type": "Range",
"start": 29,
"width": 3
},
"value": {
"_type": "Values.Value",
"value": "'111'",
"meaning": null
},
"should_be_mask": {
"_type": "Values.Value",
"value": "'000'"
}
}
]
}
}
]
}
],
"properties": {
"_meta": {
"$ref": "../Meta.json",
"info": [
"Metadata"
]
},
"_type": {
"enum": [
"Instruction.InstructionSet"
]
},
"name": {
"info": [
"The name of the `InstructionSet`."
],
"$ref": "../AST/Identifier.json#/definitions/c_identifier_regex"
},
"encoding": {
"$ref": "Encodeset/Encodeset.json"
},
"read_width": {
"info": [
"How many bits a decoder must read to determine the encoding. Must evenly divide the width of the encoding for this $(~Instruction.InstructionSet)."
],
"type": "integer",
"minimum": 1
},
"condition": {
"$ref": "../Traits/HasCondition.json#/definitions/condition"
},
"operation_id": {
"info": [
"The ID of an operation that describes the default behavior of unspecified encodings within the $(~Instruction.InstructionSet)."
],
"type": [
"string",
"null"
],
"pattern": "^(?!__)[a-zA-Z_][a-zA-Z0-9_]*$",
"default": null
},
"children": {
"type": "array",
"info": [
"Defines children nodes.",
[
"Any child node that redefines the `operation_id` overwrites",
"the behavior that is defined by the `operation_id` of this $(~Instruction.InstructionSet)."
]
],
"items": {
"oneOf": [
{
"$ref": "InstructionGroup.json"
},
{
"$ref": "Instruction.json"
}
]
}
}
},
"required": [
"encoding",
"read_width",
"name"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-04/schema#",
"title": "Instruction.InstructionSet"
}