AARCHMRS Schema 2.7.4

↚ Home

Mapping.RegisterBlockMapping object

RegisterBlockMapping provides a bi-directional mapping between Registers, RegisterBlocks, and Field types and individual bits within Registers.

For example, if the maps property lists REGBLOCK1.REG1, REGBLOCK1.REG2 and AArch32-ACTRL, then there exists a bidirectional mapping between all three items.

object

Properties Type Description
_meta Meta
See Meta for more information.
_type
Enum
Mapping.RegisterBlockMapping
condition Traits.HasCondition

This condition must be true for the mapping to exist.

See definitions.condition in Traits.HasCondition for more information.
maps
array [
]

A list of items that maps to one another.

Individual mapped bit(s) can be defined in the slices property of the given items. Note if A[10, 5:0] maps to B (no range specified), then it is implied that A[10, 5:0] maps to B[6:0].

Additional Properties
Not Allowed
◊ Required
Properties marked with ◊ are required properties.

Schema http://json-schema.org/draft-04/schema#

{
  "title": "RegisterBlockMapping",
  "type": "object",
  "additionalProperties": false,
  "info": [
    "`RegisterBlockMapping` provides a bi-directional mapping between Registers, RegisterBlocks, and Field types and individual bits within Registers.",
    [
      "For example, if the maps property lists `REGBLOCK1.REG1`, `REGBLOCK1.REG2` and",
      "`AArch32-ACTRL`, then there exists a bidirectional mapping between all three items."
    ]
  ],
  "properties": {
    "_type": {
      "enum": [
        "Mapping.RegisterBlockMapping"
      ]
    },
    "_meta": {
      "$ref": "../Meta.json"
    },
    "condition": {
      "$ref": "../Traits/HasCondition.json#/definitions/condition",
      "info": [
        "This condition must be true for the mapping to exist."
      ]
    },
    "maps": {
      "info": [
        "A list of items that maps to one another.",
        [
          "Individual mapped bit(s) can be defined in the slices property of the ",
          "given items. Note if `A[10, 5:0]` maps to B (no range specified), ",
          "then it is implied that `A[10, 5:0]` maps to `B[6:0]`."
        ]
      ],
      "type": "array",
      "minItems": 2,
      "items": {
        "anyOf": [
          {
            "$ref": "../Types/RegisterType.json"
          },
          {
            "$ref": "../AST/Identifier.json"
          },
          {
            "$ref": "../AST/DotAtom.json"
          },
          {
            "$ref": "../AST/SquareOp.json"
          }
        ]
      }
    }
  },
  "required": [
    "maps"
  ],
  "$schema": "http://json-schema.org/draft-04/schema#",
  "deprecated": "RegisterBlockMapping has been renamed to `Map`."
}