InstructionInvocation
Represents an invocation of an instruction.
It can produce the Body encoding the invocation.
| Argument | ( | const AddressingMode::Argument * definition, | |
| Node * node = nullptr | ); |
| PARAMETER | DESCRIPTION |
|---|---|
definition |
|
node |
| std::optional< Expression > constraint_expression | ( | const Location & location, | |
| Symbol name | ) const; |
| PARAMETER | DESCRIPTION |
|---|---|
location |
|
name |
| RETURNS | DESCRIPTION |
|---|---|
std::optional< Expression > |
| bool known_invalid | ( | ) const; |
| RETURNS | DESCRIPTION |
|---|---|
bool |
| bool known_valid | ( | ) const; |
| RETURNS | DESCRIPTION |
|---|---|
bool |
| Variant | ( | uint64_t opcode, | |
| const AddressingMode & addressing_mode, | |||
| const AddressingMode::Notation & notation, | |||
| const std::vector< std::shared_ptr< Node > > & nodes | ); |
| PARAMETER | DESCRIPTION |
|---|---|
opcode |
|
addressing_mode |
|
notation |
|
nodes |
Encode the instruction variant.
| std::pair< std::optional< Expression >, Body > encode | ( | const std::shared_ptr< Scope > & containing_scope | ) const; |
| PARAMETER | DESCRIPTION |
|---|---|
containing_scope |
The scope containing the instruction invocation. |
| RETURNS | DESCRIPTION |
|---|---|
std::pair< std::optional< Expression >, Body > |
A pair containing an optional constraint expression and the encoded body. |
Check if the instruction variant is valid.
It is considered invalid if any of the arguments do not meet their type constraints.
| bool valid | ( | ) const; |
| RETURNS | DESCRIPTION |
|---|---|
bool |
|
The addressing mode of the instruction variant.
The arguments that have been renamed due to different names in other variants.
This is filled in by InstructionInvocation::compute_argument_names().
The key is the original name, and the value is renamed name.
The arguments of the invocation, indexed by name.
The parsed arguments of the instruction invocation.
The notation of the instruction variant.
The opcode of the instruction variant.
The names of arguments with unknown values, indexed by their position in the argument list.
If the variant is valid.
Construct an InstructionInvocation.
| InstructionInvocation | ( | const CPU * , | |
| Token name, | |||
| const std::vector< std::shared_ptr< Node > > & nodes, | |||
| const std::shared_ptr< Scope > & containing_scope | ); |
| PARAMETER | DESCRIPTION |
|---|---|
|
|
name |
The name of the instruction. |
nodes |
The parsed nodes representing the arguments of the invocation. |
containing_scope |
The scope containing the invocation. |
Add the program counter (PC) to the instruction invocation.
| void add_pc | ( | Expression pc | ); |
| PARAMETER | DESCRIPTION |
|---|---|
pc |
The PC constant to add. |
Compute the names of the arguments in the instruction invocation.
This method populates the argument_names vector. If all variants have the same argument name at a position, it will get that name, otherwise it will get an internal name.
| void compute_argument_names | ( | ); |
Encode the instruction invocation.
| Body encode | ( | ); |
| RETURNS | DESCRIPTION |
|---|---|
Body |
The encoded body of the instruction invocation. |
Check if the instruction invocation uses the program counter (PC)..
| bool uses_pc | ( | ); |
| RETURNS | DESCRIPTION |
|---|---|
bool |
|
The names of the arguments in the instruction invocation.
If an argument has a known value, its name in this list is the empty symbol.
The arguments in the instruction invocation.
The scope containing the instruction invocation.
Whether the invocation has arguments with unknown values.
The location of the invocation in the source code.
The parsed invocation line.
Whether the invocation uses the program counter (PC).
The variants of the instruction invocation.
| Argument | ( | const AddressingMode::Argument * definition, | |
| Node * node = nullptr | ); |
| PARAMETER | DESCRIPTION |
|---|---|
definition |
|
node |
| std::optional< Expression > constraint_expression | ( | const Location & location, | |
| Symbol name | ) const; |
| PARAMETER | DESCRIPTION |
|---|---|
location |
|
name |
| RETURNS | DESCRIPTION |
|---|---|
std::optional< Expression > |
| bool known_invalid | ( | ) const; |
| RETURNS | DESCRIPTION |
|---|---|
bool |
| bool known_valid | ( | ) const; |
| RETURNS | DESCRIPTION |
|---|---|
bool |
| Variant | ( | uint64_t opcode, | |
| const AddressingMode & addressing_mode, | |||
| const AddressingMode::Notation & notation, | |||
| const std::vector< std::shared_ptr< Node > > & nodes | ); |
| PARAMETER | DESCRIPTION |
|---|---|
opcode |
|
addressing_mode |
|
notation |
|
nodes |
Encode the instruction variant.
| std::pair< std::optional< Expression >, Body > encode | ( | const std::shared_ptr< Scope > & containing_scope | ) const; |
| PARAMETER | DESCRIPTION |
|---|---|
containing_scope |
The scope containing the instruction invocation. |
| RETURNS | DESCRIPTION |
|---|---|
std::pair< std::optional< Expression >, Body > |
A pair containing an optional constraint expression and the encoded body. |
Check if the instruction variant is valid.
It is considered invalid if any of the arguments do not meet their type constraints.
| bool valid | ( | ) const; |
| RETURNS | DESCRIPTION |
|---|---|
bool |
|
The addressing mode of the instruction variant.
The arguments that have been renamed due to different names in other variants.
This is filled in by InstructionInvocation::compute_argument_names().
The key is the original name, and the value is renamed name.
The arguments of the invocation, indexed by name.
The parsed arguments of the instruction invocation.
The notation of the instruction variant.
The opcode of the instruction variant.
The names of arguments with unknown values, indexed by their position in the argument list.
If the variant is valid.