1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113
// Copyright (C) 2019-2023 Aleo Systems Inc.
// This file is part of the snarkVM library.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at:
// http://www.apache.org/licenses/LICENSE-2.0
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
mod bytes;
mod parse;
use console::{
network::prelude::*,
program::{Literal, ProgramID, Register},
types::Group,
};
/// The `Operand` enum represents the options for an operand in an instruction.
/// This enum is designed to for instructions such as `add {Register} {Literal} into {Register}`.
#[derive(Clone, PartialEq, Eq, Hash)]
pub enum Operand<N: Network> {
/// The operand is a literal.
Literal(Literal<N>),
/// The operand is a register.
Register(Register<N>),
/// The operand is the program ID.
ProgramID(ProgramID<N>),
/// The operand is the signer address.
/// Note: This variant is only accessible in the `function` scope.
Signer,
/// The operand is the caller address.
/// Note: This variant is only accessible in the `function` scope.
Caller,
/// The operand is the block height.
/// Note: This variant is only accessible in the `finalize` scope.
BlockHeight,
}
impl<N: Network> From<Literal<N>> for Operand<N> {
/// Initializes a new operand from a literal.
#[inline]
fn from(literal: Literal<N>) -> Self {
Operand::Literal(literal)
}
}
impl<N: Network> From<&Literal<N>> for Operand<N> {
/// Initializes a new operand from a reference to a literal.
#[inline]
fn from(literal: &Literal<N>) -> Self {
Operand::Literal(literal.clone())
}
}
impl<N: Network> From<Register<N>> for Operand<N> {
/// Initializes a new operand from a register.
#[inline]
fn from(register: Register<N>) -> Self {
Operand::Register(register)
}
}
impl<N: Network> From<&Register<N>> for Operand<N> {
/// Initializes a new operand from a reference to a register.
#[inline]
fn from(register: &Register<N>) -> Self {
Operand::Register(register.clone())
}
}
#[cfg(test)]
mod tests {
use super::*;
use console::network::Testnet3;
type CurrentNetwork = Testnet3;
#[test]
fn test_operand_from_literal() -> Result<()> {
let literal = Literal::from_str("1field")?;
let expected = Operand::<CurrentNetwork>::Literal(literal.clone());
let operand = Operand::<CurrentNetwork>::from(literal);
assert_eq!(expected, operand);
Ok(())
}
#[test]
fn test_operand_from_register() -> Result<()> {
let register = Register::from_str("r0")?;
let expected = Operand::<CurrentNetwork>::Register(register.clone());
let operand = Operand::<CurrentNetwork>::from(register);
assert_eq!(expected, operand);
Ok(())
}
#[test]
fn test_operand_from_register_member() -> Result<()> {
let register = Register::from_str("r0.owner")?;
let expected = Operand::<CurrentNetwork>::Register(register.clone());
let operand = Operand::<CurrentNetwork>::from(register);
assert_eq!(expected, operand);
Ok(())
}
}