rename use_def_lists.rs to value.rs

pliron-llvm/src/from_llvm_ir.rs

@@ -20,7 +20,7 @@ use pliron::{
     operation::Operation,
     r#type::{TypeObj, TypePtr},
     result::Result,
-    use_def_lists::Value,
+    value::Value,
 };
 use rustc_hash::{FxHashMap, FxHashSet};
 use thiserror::Error;

pliron-llvm/src/op_interfaces.rs

@@ -17,7 +17,7 @@ use pliron::{
     operation::Operation,
     r#type::{TypeObj, Typed},
     result::Result,
-    use_def_lists::Value,
+    value::Value,
     verify_err,
 };
 

pliron-llvm/src/ops.rs

@@ -24,8 +24,8 @@ use pliron::{
     parsable::Parsable,
     r#type::{TypeObj, TypePtr},
     result::{Error, ErrorKind, Result},
-    use_def_lists::Value,
     utils::vec_exns::VecExtns,
+    value::Value,
     verify_err,
 };
 

pliron-llvm/src/to_llvm_ir.rs

@@ -25,7 +25,7 @@ use pliron::{
     operation::Operation,
     r#type::{type_cast, Type, TypeObj, TypePtr, Typed},
     result::Result,
-    use_def_lists::Value,
+    value::Value,
 };
 
 use rustc_hash::FxHashMap;

src/basic_block.rs

@@ -24,8 +24,8 @@ use crate::{
     r#type::{TypeObj, Typed},
     region::Region,
     result::Result,
-    use_def_lists::{DefNode, Value},
     utils::vec_exns::VecExtns,
+    value::{DefNode, Value},
 };
 
 /// Argument to a [BasicBlock]

src/builtin/op_interfaces.rs

@@ -17,7 +17,7 @@ use crate::{
     r#type::{TypeObj, TypePtr, Typed},
     region::Region,
     result::Result,
-    use_def_lists::Value,
+    value::Value,
     verify_err, verify_error,
 };
 

src/irfmt/parsers.rs

@@ -13,7 +13,7 @@ use crate::{
     parsable::{Parsable, ParseResult, StateStream},
     r#type::TypeObj,
     result::Result,
-    use_def_lists::Value,
+    value::Value,
 };
 use combine::{
     between, many1,

src/lib.rs

@@ -27,5 +27,5 @@ pub mod result;
 pub mod storage_uniquer;
 pub mod r#type;
 pub mod uniqued_any;
-pub mod use_def_lists;
 pub mod utils;
+pub mod value;

src/operation.rs

@@ -24,8 +24,8 @@ use crate::{
     r#type::{TypeObj, Typed},
     region::Region,
     result::Result,
-    use_def_lists::{DefNode, DefTrait, DefUseParticipant, Use, UseNode, Value},
     utils::vec_exns::VecExtns,
+    value::{DefNode, DefTrait, DefUseParticipant, Use, UseNode, Value},
     verify_err,
 };
 
@@ -231,7 +231,7 @@ impl Operation {
 
     /// Does any result of this operation have a use?
     pub fn has_use(&self) -> bool {
-        self.results.iter().any(|res| res.def.has_use())
+        self.results.iter().any(|res| res.def.is_used())
     }
 
     /// Total number of uses (across all results).

src/parsable.rs

@@ -15,7 +15,7 @@ use crate::{
     op::op_impls,
     operation::Operation,
     result::{self, Result},
-    use_def_lists::Value,
+    value::Value,
 };
 use combine::{
     easy::{self, Errors, ParseError},

src/use_def_lists.rs → src/value.rs

@@ -1,5 +1,5 @@
-//! # Use-Def and Def-Use Graph.
-//! Like in LLVM, at the core of the IR infrastructure are SSA use-def chains.
+//! # SSA [Value]s: Use-Def and Def-Use Graph.
+//! At the core of the IR infrastructure are SSA use-def chains.
 //! Use-def and def-use chains are composed of four key structures:
 //!   - [Value] describes a value definition, either a block argument, or an operation result.
 //!   - [`Ptr<BasicBlock>`] describes a block definition.
@@ -46,7 +46,7 @@ impl<T: DefUseParticipant> DefNode<T> {
     }
 
     /// Does the definition have a use?
-    pub(crate) fn has_use(&self) -> bool {
+    pub(crate) fn is_used(&self) -> bool {
         !self.uses.is_empty()
     }
 
@@ -138,8 +138,8 @@ impl Value {
     }
 
     /// Does this definition have any [Use]?
-    pub fn has_use(&self, ctx: &Context) -> bool {
-        self.get_defnode_ref(ctx).has_use()
+    pub fn is_used(&self, ctx: &Context) -> bool {
+        self.get_defnode_ref(ctx).is_used()
     }
 
     /// Replace uses of the underlying definition, that satisfy `pred`, with `other`.
@@ -252,7 +252,7 @@ impl UseTrait for Value {
 impl Ptr<BasicBlock> {
     /// Does this block a predecessor?
     pub fn has_pred(&self, ctx: &Context) -> bool {
-        self.deref(ctx).preds.has_use()
+        self.deref(ctx).preds.is_used()
     }
 
     /// Number of predecessors to this block.

tests/common/mod.rs

@@ -26,7 +26,7 @@ use pliron::{
     parsable::{self, IntoParseResult, Parsable, ParseResult, StateStream},
     printable::{self, Printable},
     result::Result,
-    use_def_lists::Value,
+    value::Value,
 };
 use pliron_derive::def_op;