Support selection for inlining

• Add methodology to make editors for every function when sub-selection is given (useful for inter-procedural transformations).
• Allow inlining to take in a selection.
• Remove inline(*); from cava and edge detection.

hercules_opt/src/editor.rs

@@ -108,8 +108,8 @@ impl<'a: 'b, 'b> FunctionEditor<'a> {
         }
     }
 
-    // Constructs an editor but only makes the nodes with at least one of the set of labels as
-    // mutable
+    // Constructs an editor but only makes the nodes with at least one of the
+    // set of labels as mutable.
     pub fn new_labeled(
         function: &'a mut Function,
         function_id: FunctionID,
@@ -151,6 +151,41 @@ impl<'a: 'b, 'b> FunctionEditor<'a> {
         }
     }
 
+    // Constructs an editor but makes every node immutable.
+    pub fn new_immutable(
+        function: &'a mut Function,
+        function_id: FunctionID,
+        constants: &'a RefCell<Vec<Constant>>,
+        dynamic_constants: &'a RefCell<Vec<DynamicConstant>>,
+        types: &'a RefCell<Vec<Type>>,
+        labels: &'a RefCell<Vec<String>>,
+        def_use: &ImmutableDefUseMap,
+    ) -> Self {
+        let mut_def_use = (0..function.nodes.len())
+            .map(|idx| {
+                def_use
+                    .get_users(NodeID::new(idx))
+                    .into_iter()
+                    .map(|x| *x)
+                    .collect()
+            })
+            .collect();
+
+        let mutable_nodes = bitvec![u8, Lsb0; 0; function.nodes.len()];
+
+        FunctionEditor {
+            function,
+            function_id,
+            constants,
+            dynamic_constants,
+            types,
+            labels,
+            mut_def_use,
+            mutable_nodes,
+            modified: false,
+        }
+    }
+
     pub fn modified(&self) -> bool {
         self.modified
     }