From 8c9cdd38c3302280087c9e6d94f7f57083885edd Mon Sep 17 00:00:00 2001 From: Rubens Brandao Date: Sat, 18 Nov 2023 15:58:33 -0300 Subject: add mlil to rust --- rust/src/types.rs | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) (limited to 'rust/src/types.rs') diff --git a/rust/src/types.rs b/rust/src/types.rs index 5c568142..d86ffc82 100644 --- a/rust/src/types.rs +++ b/rust/src/types.rs @@ -29,7 +29,6 @@ use crate::{ }; use lazy_static::lazy_static; -use std::ptr::null_mut; use std::{ borrow::Cow, collections::HashSet, @@ -1392,6 +1391,21 @@ impl Variable { } } +////////////// +// SSAVariable + +#[derive(Clone, Copy, Debug, Hash, Eq, PartialEq)] +pub struct SSAVariable { + pub variable: Variable, + pub version: usize, +} + +impl SSAVariable { + pub fn new(variable: Variable, version: usize) -> Self { + Self { variable, version } + } +} + /////////////// // NamedVariable -- cgit v1.3.1