Update variable.rs

This commit is contained in:
Oliver Scherer @ Cosmian
2019-10-22 14:53:10 +02:00
committed by Benjamin Bouvier
parent d8fa5dcb29
commit 9903c75f82

View File

@@ -1,7 +1,12 @@
//! A basic `Variable` implementation. //! A basic `Variable` implementation.
//! //!
//! Frontends can use any indexing scheme they see fit and //! Frontends can use any indexing scheme they see fit and
//! generate the appropriate `Variable` instances. //! generate the appropriate `Variable` instances.
//!
//! Note: The `Variable` is used by Cranelift to index an array containing
//! information about your mutable variables. Thus, when you create a new
//! `Variable` you should make sure that the index is provided by a counter
//! incremented by 1 each time you encounter a new mutable variable.
use core::u32; use core::u32;
use cranelift_codegen::entity::EntityRef; use cranelift_codegen::entity::EntityRef;