1747ad3c4Slazypassion //! Intermediate representation of a function.
2747ad3c4Slazypassion //!
3832666c4SRyan Hunt //! The `Function` struct defined in this module owns all of its basic blocks and
4747ad3c4Slazypassion //! instructions.
5747ad3c4Slazypassion 
6747ad3c4Slazypassion use crate::entity::{PrimaryMap, SecondaryMap};
7747ad3c4Slazypassion use crate::ir::{
8*c8a6adf8STrevor Elliott     self, Block, DataFlowGraph, DynamicStackSlot, DynamicStackSlotData, DynamicStackSlots,
9*c8a6adf8STrevor Elliott     DynamicType, ExtFuncData, FuncRef, GlobalValue, GlobalValueData, Inst, InstructionData,
10*c8a6adf8STrevor Elliott     JumpTable, JumpTableData, JumpTables, Layout, Opcode, SigRef, Signature, SourceLocs, StackSlot,
11*c8a6adf8STrevor Elliott     StackSlotData, StackSlots, Table, TableData, Type,
12747ad3c4Slazypassion };
1343a86f14SBenjamin Bouvier use crate::isa::CallConv;
148f95c517SYury Delendik use crate::value_label::ValueLabelsRanges;
15747ad3c4Slazypassion use crate::write::write_function;
168a9b1a90SBenjamin Bouvier use crate::HashMap;
17a0c2276eSbjorn3 #[cfg(feature = "enable-serde")]
18a0c2276eSbjorn3 use alloc::string::String;
19747ad3c4Slazypassion use core::fmt;
20747ad3c4Slazypassion 
212fc964eaSbjorn3 #[cfg(feature = "enable-serde")]
22a0c2276eSbjorn3 use serde::de::{Deserializer, Error};
23a0c2276eSbjorn3 #[cfg(feature = "enable-serde")]
24a0c2276eSbjorn3 use serde::ser::Serializer;
25a0c2276eSbjorn3 #[cfg(feature = "enable-serde")]
262fc964eaSbjorn3 use serde::{Deserialize, Serialize};
272fc964eaSbjorn3 
288a9b1a90SBenjamin Bouvier use super::entities::UserExternalNameRef;
298a9b1a90SBenjamin Bouvier use super::extname::UserFuncName;
308a9b1a90SBenjamin Bouvier use super::{RelSourceLoc, SourceLoc, UserExternalName};
318a9b1a90SBenjamin Bouvier 
32a0c2276eSbjorn3 /// A version marker used to ensure that serialized clif ir is never deserialized with a
33a0c2276eSbjorn3 /// different version of Cranelift.
348a9b1a90SBenjamin Bouvier #[derive(Copy, Clone, Debug, PartialEq, Hash)]
35a0c2276eSbjorn3 pub struct VersionMarker;
36a0c2276eSbjorn3 
37a0c2276eSbjorn3 #[cfg(feature = "enable-serde")]
38a0c2276eSbjorn3 impl Serialize for VersionMarker {
39a0c2276eSbjorn3     fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
40a0c2276eSbjorn3     where
41a0c2276eSbjorn3         S: Serializer,
42a0c2276eSbjorn3     {
43a0c2276eSbjorn3         crate::VERSION.serialize(serializer)
44a0c2276eSbjorn3     }
45a0c2276eSbjorn3 }
46a0c2276eSbjorn3 
47a0c2276eSbjorn3 #[cfg(feature = "enable-serde")]
48a0c2276eSbjorn3 impl<'de> Deserialize<'de> for VersionMarker {
49a0c2276eSbjorn3     fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
50a0c2276eSbjorn3     where
51a0c2276eSbjorn3         D: Deserializer<'de>,
52a0c2276eSbjorn3     {
53a0c2276eSbjorn3         let version = String::deserialize(deserializer)?;
54a0c2276eSbjorn3         if version != crate::VERSION {
55a0c2276eSbjorn3             return Err(D::Error::custom(&format!(
56a0c2276eSbjorn3                 "Expected a clif ir function for version {}, found one for version {}",
57a0c2276eSbjorn3                 crate::VERSION,
58a0c2276eSbjorn3                 version,
59a0c2276eSbjorn3             )));
60a0c2276eSbjorn3         }
61a0c2276eSbjorn3         Ok(VersionMarker)
62a0c2276eSbjorn3     }
63a0c2276eSbjorn3 }
64a0c2276eSbjorn3 
658a9b1a90SBenjamin Bouvier /// Function parameters used when creating this function, and that will become applied after
668a9b1a90SBenjamin Bouvier /// compilation to materialize the final `CompiledCode`.
67747ad3c4Slazypassion #[derive(Clone)]
682fc964eaSbjorn3 #[cfg_attr(feature = "enable-serde", derive(Serialize, Deserialize))]
698a9b1a90SBenjamin Bouvier pub struct FunctionParameters {
708a9b1a90SBenjamin Bouvier     /// The first `SourceLoc` appearing in the function, serving as a base for every relative
718a9b1a90SBenjamin Bouvier     /// source loc in the function.
728a9b1a90SBenjamin Bouvier     base_srcloc: Option<SourceLoc>,
738a9b1a90SBenjamin Bouvier 
748a9b1a90SBenjamin Bouvier     /// External user-defined function references.
758a9b1a90SBenjamin Bouvier     user_named_funcs: PrimaryMap<UserExternalNameRef, UserExternalName>,
768a9b1a90SBenjamin Bouvier 
778a9b1a90SBenjamin Bouvier     /// Inverted mapping of `user_named_funcs`, to deduplicate internally.
788a9b1a90SBenjamin Bouvier     user_ext_name_to_ref: HashMap<UserExternalName, UserExternalNameRef>,
798a9b1a90SBenjamin Bouvier }
808a9b1a90SBenjamin Bouvier 
818a9b1a90SBenjamin Bouvier impl FunctionParameters {
828a9b1a90SBenjamin Bouvier     /// Creates a new `FunctionParameters` with the given name.
838a9b1a90SBenjamin Bouvier     pub fn new() -> Self {
848a9b1a90SBenjamin Bouvier         Self {
858a9b1a90SBenjamin Bouvier             base_srcloc: None,
868a9b1a90SBenjamin Bouvier             user_named_funcs: Default::default(),
878a9b1a90SBenjamin Bouvier             user_ext_name_to_ref: Default::default(),
888a9b1a90SBenjamin Bouvier         }
898a9b1a90SBenjamin Bouvier     }
908a9b1a90SBenjamin Bouvier 
918a9b1a90SBenjamin Bouvier     /// Returns the base `SourceLoc`.
928a9b1a90SBenjamin Bouvier     ///
938a9b1a90SBenjamin Bouvier     /// If it was never explicitly set with `ensure_base_srcloc`, will return an invalid
948a9b1a90SBenjamin Bouvier     /// `SourceLoc`.
958a9b1a90SBenjamin Bouvier     pub fn base_srcloc(&self) -> SourceLoc {
968a9b1a90SBenjamin Bouvier         self.base_srcloc.unwrap_or_default()
978a9b1a90SBenjamin Bouvier     }
988a9b1a90SBenjamin Bouvier 
998a9b1a90SBenjamin Bouvier     /// Sets the base `SourceLoc`, if not set yet, and returns the base value.
1008a9b1a90SBenjamin Bouvier     pub fn ensure_base_srcloc(&mut self, srcloc: SourceLoc) -> SourceLoc {
1018a9b1a90SBenjamin Bouvier         match self.base_srcloc {
1028a9b1a90SBenjamin Bouvier             Some(val) => val,
1038a9b1a90SBenjamin Bouvier             None => {
1048a9b1a90SBenjamin Bouvier                 self.base_srcloc = Some(srcloc);
1058a9b1a90SBenjamin Bouvier                 srcloc
1068a9b1a90SBenjamin Bouvier             }
1078a9b1a90SBenjamin Bouvier         }
1088a9b1a90SBenjamin Bouvier     }
1098a9b1a90SBenjamin Bouvier 
1108a9b1a90SBenjamin Bouvier     /// Retrieve a `UserExternalNameRef` for the given name, or add a new one.
1118a9b1a90SBenjamin Bouvier     ///
1128a9b1a90SBenjamin Bouvier     /// This method internally deduplicates same `UserExternalName` so they map to the same
1138a9b1a90SBenjamin Bouvier     /// reference.
1148a9b1a90SBenjamin Bouvier     pub fn ensure_user_func_name(&mut self, name: UserExternalName) -> UserExternalNameRef {
1158a9b1a90SBenjamin Bouvier         if let Some(reff) = self.user_ext_name_to_ref.get(&name) {
1168a9b1a90SBenjamin Bouvier             *reff
1178a9b1a90SBenjamin Bouvier         } else {
1188a9b1a90SBenjamin Bouvier             let reff = self.user_named_funcs.push(name.clone());
1198a9b1a90SBenjamin Bouvier             self.user_ext_name_to_ref.insert(name, reff);
1208a9b1a90SBenjamin Bouvier             reff
1218a9b1a90SBenjamin Bouvier         }
1228a9b1a90SBenjamin Bouvier     }
1238a9b1a90SBenjamin Bouvier 
1248a9b1a90SBenjamin Bouvier     /// Resets an already existing user function name to a new value.
1258a9b1a90SBenjamin Bouvier     pub fn reset_user_func_name(&mut self, index: UserExternalNameRef, name: UserExternalName) {
1268a9b1a90SBenjamin Bouvier         if let Some(prev_name) = self.user_named_funcs.get_mut(index) {
1278a9b1a90SBenjamin Bouvier             self.user_ext_name_to_ref.remove(prev_name);
1288a9b1a90SBenjamin Bouvier             *prev_name = name.clone();
1298a9b1a90SBenjamin Bouvier             self.user_ext_name_to_ref.insert(name, index);
1308a9b1a90SBenjamin Bouvier         }
1318a9b1a90SBenjamin Bouvier     }
1328a9b1a90SBenjamin Bouvier 
1338a9b1a90SBenjamin Bouvier     /// Returns the internal mapping of `UserExternalNameRef` to `UserExternalName`.
1348a9b1a90SBenjamin Bouvier     pub fn user_named_funcs(&self) -> &PrimaryMap<UserExternalNameRef, UserExternalName> {
1358a9b1a90SBenjamin Bouvier         &self.user_named_funcs
1368a9b1a90SBenjamin Bouvier     }
1378a9b1a90SBenjamin Bouvier 
1388a9b1a90SBenjamin Bouvier     fn clear(&mut self) {
1398a9b1a90SBenjamin Bouvier         self.base_srcloc = None;
1408a9b1a90SBenjamin Bouvier         self.user_named_funcs.clear();
1418a9b1a90SBenjamin Bouvier         self.user_ext_name_to_ref.clear();
1428a9b1a90SBenjamin Bouvier     }
1438a9b1a90SBenjamin Bouvier }
1448a9b1a90SBenjamin Bouvier 
1458a9b1a90SBenjamin Bouvier /// Function fields needed when compiling a function.
1468a9b1a90SBenjamin Bouvier ///
1478a9b1a90SBenjamin Bouvier /// Additionally, these fields can be the same for two functions that would be compiled the same
1488a9b1a90SBenjamin Bouvier /// way, and finalized by applying `FunctionParameters` onto their `CompiledCodeStencil`.
1498a9b1a90SBenjamin Bouvier #[derive(Clone, PartialEq, Hash)]
1508a9b1a90SBenjamin Bouvier #[cfg_attr(feature = "enable-serde", derive(Serialize, Deserialize))]
1518a9b1a90SBenjamin Bouvier pub struct FunctionStencil {
152a0c2276eSbjorn3     /// A version marker used to ensure that serialized clif ir is never deserialized with a
153a0c2276eSbjorn3     /// different version of Cranelift.
154a0c2276eSbjorn3     // Note: This must be the first field to ensure that Serde will deserialize it before
155a0c2276eSbjorn3     // attempting to deserialize other fields that are potentially changed between versions.
156a0c2276eSbjorn3     pub version_marker: VersionMarker,
157a0c2276eSbjorn3 
158747ad3c4Slazypassion     /// Signature of this function.
159747ad3c4Slazypassion     pub signature: Signature,
160747ad3c4Slazypassion 
1619c43749dSSam Parker     /// Sized stack slots allocated in this function.
1629c43749dSSam Parker     pub sized_stack_slots: StackSlots,
1639c43749dSSam Parker 
1649c43749dSSam Parker     /// Dynamic stack slots allocated in this function.
1659c43749dSSam Parker     pub dynamic_stack_slots: DynamicStackSlots,
166747ad3c4Slazypassion 
167747ad3c4Slazypassion     /// Global values referenced.
168747ad3c4Slazypassion     pub global_values: PrimaryMap<ir::GlobalValue, ir::GlobalValueData>,
169747ad3c4Slazypassion 
170747ad3c4Slazypassion     /// Tables referenced.
171747ad3c4Slazypassion     pub tables: PrimaryMap<ir::Table, ir::TableData>,
172747ad3c4Slazypassion 
173747ad3c4Slazypassion     /// Jump tables used in this function.
174747ad3c4Slazypassion     pub jump_tables: JumpTables,
175747ad3c4Slazypassion 
176832666c4SRyan Hunt     /// Data flow graph containing the primary definition of all instructions, blocks and values.
177747ad3c4Slazypassion     pub dfg: DataFlowGraph,
178747ad3c4Slazypassion 
179832666c4SRyan Hunt     /// Layout of blocks and instructions in the function body.
180747ad3c4Slazypassion     pub layout: Layout,
181747ad3c4Slazypassion 
182747ad3c4Slazypassion     /// Source locations.
183747ad3c4Slazypassion     ///
184747ad3c4Slazypassion     /// Track the original source location for each instruction. The source locations are not
185747ad3c4Slazypassion     /// interpreted by Cranelift, only preserved.
1862be12a51SChris Fallin     pub srclocs: SourceLocs,
1878923bac7SPeter Huene 
188c9a0ba81SAlex Crichton     /// An optional global value which represents an expression evaluating to
189c9a0ba81SAlex Crichton     /// the stack limit for this function. This `GlobalValue` will be
190c9a0ba81SAlex Crichton     /// interpreted in the prologue, if necessary, to insert a stack check to
191c9a0ba81SAlex Crichton     /// ensure that a trap happens if the stack pointer goes below the
192c9a0ba81SAlex Crichton     /// threshold specified here.
193c9a0ba81SAlex Crichton     pub stack_limit: Option<ir::GlobalValue>,
194747ad3c4Slazypassion }
195747ad3c4Slazypassion 
1968a9b1a90SBenjamin Bouvier impl FunctionStencil {
1978a9b1a90SBenjamin Bouvier     fn clear(&mut self) {
198747ad3c4Slazypassion         self.signature.clear(CallConv::Fast);
1999c43749dSSam Parker         self.sized_stack_slots.clear();
2009c43749dSSam Parker         self.dynamic_stack_slots.clear();
201747ad3c4Slazypassion         self.global_values.clear();
202747ad3c4Slazypassion         self.tables.clear();
203747ad3c4Slazypassion         self.jump_tables.clear();
204747ad3c4Slazypassion         self.dfg.clear();
205747ad3c4Slazypassion         self.layout.clear();
206747ad3c4Slazypassion         self.srclocs.clear();
207c9a0ba81SAlex Crichton         self.stack_limit = None;
208747ad3c4Slazypassion     }
209747ad3c4Slazypassion 
210747ad3c4Slazypassion     /// Creates a jump table in the function, to be used by `br_table` instructions.
211747ad3c4Slazypassion     pub fn create_jump_table(&mut self, data: JumpTableData) -> JumpTable {
212747ad3c4Slazypassion         self.jump_tables.push(data)
213747ad3c4Slazypassion     }
214747ad3c4Slazypassion 
2159c43749dSSam Parker     /// Creates a sized stack slot in the function, to be used by `stack_load`, `stack_store`
2169c43749dSSam Parker     /// and `stack_addr` instructions.
2179c43749dSSam Parker     pub fn create_sized_stack_slot(&mut self, data: StackSlotData) -> StackSlot {
2189c43749dSSam Parker         self.sized_stack_slots.push(data)
2199c43749dSSam Parker     }
2209c43749dSSam Parker 
2219c43749dSSam Parker     /// Creates a dynamic stack slot in the function, to be used by `dynamic_stack_load`,
2229c43749dSSam Parker     /// `dynamic_stack_store` and `dynamic_stack_addr` instructions.
2239c43749dSSam Parker     pub fn create_dynamic_stack_slot(&mut self, data: DynamicStackSlotData) -> DynamicStackSlot {
2249c43749dSSam Parker         self.dynamic_stack_slots.push(data)
225747ad3c4Slazypassion     }
226747ad3c4Slazypassion 
227747ad3c4Slazypassion     /// Adds a signature which can later be used to declare an external function import.
228747ad3c4Slazypassion     pub fn import_signature(&mut self, signature: Signature) -> SigRef {
229747ad3c4Slazypassion         self.dfg.signatures.push(signature)
230747ad3c4Slazypassion     }
231747ad3c4Slazypassion 
232747ad3c4Slazypassion     /// Declares a global value accessible to the function.
233747ad3c4Slazypassion     pub fn create_global_value(&mut self, data: GlobalValueData) -> GlobalValue {
234747ad3c4Slazypassion         self.global_values.push(data)
235747ad3c4Slazypassion     }
236747ad3c4Slazypassion 
2379c43749dSSam Parker     /// Find the global dyn_scale value associated with given DynamicType
2389c43749dSSam Parker     pub fn get_dyn_scale(&self, ty: DynamicType) -> GlobalValue {
2399c43749dSSam Parker         self.dfg.dynamic_types.get(ty).unwrap().dynamic_scale
2409c43749dSSam Parker     }
2419c43749dSSam Parker 
2429c43749dSSam Parker     /// Find the global dyn_scale for the given stack slot.
2439c43749dSSam Parker     pub fn get_dynamic_slot_scale(&self, dss: DynamicStackSlot) -> GlobalValue {
2449c43749dSSam Parker         let dyn_ty = self.dynamic_stack_slots.get(dss).unwrap().dyn_ty;
2459c43749dSSam Parker         self.get_dyn_scale(dyn_ty)
2469c43749dSSam Parker     }
2479c43749dSSam Parker 
2489c43749dSSam Parker     /// Get a concrete `Type` from a user defined `DynamicType`.
2499c43749dSSam Parker     pub fn get_concrete_dynamic_ty(&self, ty: DynamicType) -> Option<Type> {
2509c43749dSSam Parker         self.dfg
2519c43749dSSam Parker             .dynamic_types
2529c43749dSSam Parker             .get(ty)
2539c43749dSSam Parker             .unwrap_or_else(|| panic!("Undeclared dynamic vector type: {}", ty))
2549c43749dSSam Parker             .concrete()
2559c43749dSSam Parker     }
2569c43749dSSam Parker 
257747ad3c4Slazypassion     /// Declares a table accessible to the function.
258747ad3c4Slazypassion     pub fn create_table(&mut self, data: TableData) -> Table {
259747ad3c4Slazypassion         self.tables.push(data)
260747ad3c4Slazypassion     }
261747ad3c4Slazypassion 
262747ad3c4Slazypassion     /// Find a presumed unique special-purpose function parameter value.
263747ad3c4Slazypassion     ///
264747ad3c4Slazypassion     /// Returns the value of the last `purpose` parameter, or `None` if no such parameter exists.
265747ad3c4Slazypassion     pub fn special_param(&self, purpose: ir::ArgumentPurpose) -> Option<ir::Value> {
266747ad3c4Slazypassion         let entry = self.layout.entry_block().expect("Function is empty");
267747ad3c4Slazypassion         self.signature
268747ad3c4Slazypassion             .special_param_index(purpose)
269832666c4SRyan Hunt             .map(|i| self.dfg.block_params(entry)[i])
270747ad3c4Slazypassion     }
271747ad3c4Slazypassion 
2728f95c517SYury Delendik     /// Starts collection of debug information.
2738f95c517SYury Delendik     pub fn collect_debug_info(&mut self) {
2748f95c517SYury Delendik         self.dfg.collect_debug_info();
2758f95c517SYury Delendik     }
2768efaeec5SSean Stangl 
277855a6374SY-Nak     /// Rewrite the branch destination to `new_dest` if the destination matches `old_dest`.
278855a6374SY-Nak     /// Does nothing if called with a non-jump or non-branch instruction.
279855a6374SY-Nak     pub fn rewrite_branch_destination(&mut self, inst: Inst, old_dest: Block, new_dest: Block) {
280*c8a6adf8STrevor Elliott         match self.dfg.insts[inst] {
281*c8a6adf8STrevor Elliott             InstructionData::Jump {
282*c8a6adf8STrevor Elliott                 destination: dest, ..
283*c8a6adf8STrevor Elliott             } => {
2841e6c13d8STrevor Elliott                 if dest.block(&self.dfg.value_lists) == old_dest {
285b58a197dSTrevor Elliott                     for block in self.dfg.insts[inst].branch_destination_mut() {
286b58a197dSTrevor Elliott                         block.set_block(new_dest, &mut self.dfg.value_lists)
287b58a197dSTrevor Elliott                     }
288b58a197dSTrevor Elliott                 }
289b58a197dSTrevor Elliott             }
290b58a197dSTrevor Elliott 
291*c8a6adf8STrevor Elliott             InstructionData::Brif {
292*c8a6adf8STrevor Elliott                 blocks: [block_then, block_else],
293*c8a6adf8STrevor Elliott                 ..
294*c8a6adf8STrevor Elliott             } => {
295b58a197dSTrevor Elliott                 if block_then.block(&self.dfg.value_lists) == old_dest {
296b58a197dSTrevor Elliott                     if let InstructionData::Brif {
297b58a197dSTrevor Elliott                         blocks: [block_then, _],
298b58a197dSTrevor Elliott                         ..
299b58a197dSTrevor Elliott                     } = &mut self.dfg.insts[inst]
300b58a197dSTrevor Elliott                     {
301b58a197dSTrevor Elliott                         block_then.set_block(new_dest, &mut self.dfg.value_lists);
302b58a197dSTrevor Elliott                     } else {
303b58a197dSTrevor Elliott                         unreachable!();
304b58a197dSTrevor Elliott                     }
305b58a197dSTrevor Elliott                 }
306b58a197dSTrevor Elliott 
307b58a197dSTrevor Elliott                 if block_else.block(&self.dfg.value_lists) == old_dest {
308b58a197dSTrevor Elliott                     if let InstructionData::Brif {
309b58a197dSTrevor Elliott                         blocks: [_, block_else],
310b58a197dSTrevor Elliott                         ..
311b58a197dSTrevor Elliott                     } = &mut self.dfg.insts[inst]
312b58a197dSTrevor Elliott                     {
313b58a197dSTrevor Elliott                         block_else.set_block(new_dest, &mut self.dfg.value_lists);
314b58a197dSTrevor Elliott                     } else {
315b58a197dSTrevor Elliott                         unreachable!();
316b58a197dSTrevor Elliott                     }
317855a6374SY-Nak                 }
318855a6374SY-Nak             }
319855a6374SY-Nak 
320*c8a6adf8STrevor Elliott             InstructionData::BranchTable {
321*c8a6adf8STrevor Elliott                 table,
322*c8a6adf8STrevor Elliott                 destination: default_dest,
323*c8a6adf8STrevor Elliott                 ..
324*c8a6adf8STrevor Elliott             } => {
325855a6374SY-Nak                 self.jump_tables[table].iter_mut().for_each(|entry| {
326855a6374SY-Nak                     if *entry == old_dest {
327855a6374SY-Nak                         *entry = new_dest;
328855a6374SY-Nak                     }
329855a6374SY-Nak                 });
330855a6374SY-Nak 
3317cea73a8STrevor Elliott                 if default_dest == old_dest {
33225bf8e0eSTrevor Elliott                     match &mut self.dfg.insts[inst] {
333855a6374SY-Nak                         InstructionData::BranchTable { destination, .. } => {
334855a6374SY-Nak                             *destination = new_dest;
335855a6374SY-Nak                         }
336855a6374SY-Nak                         _ => panic!(
337855a6374SY-Nak                             "Unexpected instruction {} having default destination",
33843a86f14SBenjamin Bouvier                             self.dfg.display_inst(inst)
339855a6374SY-Nak                         ),
340855a6374SY-Nak                     }
341855a6374SY-Nak                 }
342855a6374SY-Nak             }
343855a6374SY-Nak 
344*c8a6adf8STrevor Elliott             _ => {}
345855a6374SY-Nak         }
346855a6374SY-Nak     }
347855a6374SY-Nak 
348832666c4SRyan Hunt     /// Checks that the specified block can be encoded as a basic block.
3498efaeec5SSean Stangl     ///
3508efaeec5SSean Stangl     /// On error, returns the first invalid instruction and an error message.
351832666c4SRyan Hunt     pub fn is_block_basic(&self, block: Block) -> Result<(), (Inst, &'static str)> {
3528efaeec5SSean Stangl         let dfg = &self.dfg;
353832666c4SRyan Hunt         let inst_iter = self.layout.block_insts(block);
3548efaeec5SSean Stangl 
3558efaeec5SSean Stangl         // Ignore all instructions prior to the first branch.
35625bf8e0eSTrevor Elliott         let mut inst_iter = inst_iter.skip_while(|&inst| !dfg.insts[inst].opcode().is_branch());
3578efaeec5SSean Stangl 
3588efaeec5SSean Stangl         // A conditional branch is permitted in a basic block only when followed
3591fd491daSbjorn3         // by a terminal jump instruction.
3608efaeec5SSean Stangl         if let Some(_branch) = inst_iter.next() {
3618efaeec5SSean Stangl             if let Some(next) = inst_iter.next() {
36225bf8e0eSTrevor Elliott                 match dfg.insts[next].opcode() {
3631fd491daSbjorn3                     Opcode::Jump => (),
3641fd491daSbjorn3                     _ => return Err((next, "post-branch instruction not jump")),
3658efaeec5SSean Stangl                 }
3668efaeec5SSean Stangl             }
3678efaeec5SSean Stangl         }
3688efaeec5SSean Stangl 
3698efaeec5SSean Stangl         Ok(())
3708efaeec5SSean Stangl     }
371143cb014SBenjamin Bouvier 
372143cb014SBenjamin Bouvier     /// Returns true if the function is function that doesn't call any other functions. This is not
373143cb014SBenjamin Bouvier     /// to be confused with a "leaf function" in Windows terminology.
374143cb014SBenjamin Bouvier     pub fn is_leaf(&self) -> bool {
375143cb014SBenjamin Bouvier         // Conservative result: if there's at least one function signature referenced in this
37658e5a62cSY-Nak         // function, assume it is not a leaf.
37758e5a62cSY-Nak         self.dfg.signatures.is_empty()
378143cb014SBenjamin Bouvier     }
379090d1c2dSNick Fitzgerald 
380090d1c2dSNick Fitzgerald     /// Replace the `dst` instruction's data with the `src` instruction's data
381090d1c2dSNick Fitzgerald     /// and then remove `src`.
382090d1c2dSNick Fitzgerald     ///
383090d1c2dSNick Fitzgerald     /// `src` and its result values should not be used at all, as any uses would
384090d1c2dSNick Fitzgerald     /// be left dangling after calling this method.
385090d1c2dSNick Fitzgerald     ///
386090d1c2dSNick Fitzgerald     /// `src` and `dst` must have the same number of resulting values, and
387090d1c2dSNick Fitzgerald     /// `src`'s i^th value must have the same type as `dst`'s i^th value.
388090d1c2dSNick Fitzgerald     pub fn transplant_inst(&mut self, dst: Inst, src: Inst) {
389090d1c2dSNick Fitzgerald         debug_assert_eq!(
390090d1c2dSNick Fitzgerald             self.dfg.inst_results(dst).len(),
391090d1c2dSNick Fitzgerald             self.dfg.inst_results(src).len()
392090d1c2dSNick Fitzgerald         );
393090d1c2dSNick Fitzgerald         debug_assert!(self
394090d1c2dSNick Fitzgerald             .dfg
395090d1c2dSNick Fitzgerald             .inst_results(dst)
396090d1c2dSNick Fitzgerald             .iter()
397090d1c2dSNick Fitzgerald             .zip(self.dfg.inst_results(src))
398090d1c2dSNick Fitzgerald             .all(|(a, b)| self.dfg.value_type(*a) == self.dfg.value_type(*b)));
399090d1c2dSNick Fitzgerald 
40025bf8e0eSTrevor Elliott         self.dfg.insts[dst] = self.dfg.insts[src];
401090d1c2dSNick Fitzgerald         self.layout.remove_inst(src);
402090d1c2dSNick Fitzgerald     }
4032776074dSAfonso Bordado 
4042776074dSAfonso Bordado     /// Size occupied by all stack slots associated with this function.
4052776074dSAfonso Bordado     ///
4062776074dSAfonso Bordado     /// Does not include any padding necessary due to offsets
4079c43749dSSam Parker     pub fn fixed_stack_size(&self) -> u32 {
4089c43749dSSam Parker         self.sized_stack_slots.values().map(|ss| ss.size).sum()
4092776074dSAfonso Bordado     }
4108a9b1a90SBenjamin Bouvier 
4118a9b1a90SBenjamin Bouvier     /// Returns the list of relative source locations for this function.
4128a9b1a90SBenjamin Bouvier     pub(crate) fn rel_srclocs(&self) -> &SecondaryMap<Inst, RelSourceLoc> {
4138a9b1a90SBenjamin Bouvier         &self.srclocs
4148a9b1a90SBenjamin Bouvier     }
4158a9b1a90SBenjamin Bouvier }
4168a9b1a90SBenjamin Bouvier 
4178a9b1a90SBenjamin Bouvier /// Functions can be cloned, but it is not a very fast operation.
4188a9b1a90SBenjamin Bouvier /// The clone will have all the same entity numbers as the original.
4198a9b1a90SBenjamin Bouvier #[derive(Clone)]
4208a9b1a90SBenjamin Bouvier #[cfg_attr(feature = "enable-serde", derive(Serialize, Deserialize))]
4218a9b1a90SBenjamin Bouvier pub struct Function {
4228a9b1a90SBenjamin Bouvier     /// Name of this function.
4238a9b1a90SBenjamin Bouvier     ///
4248a9b1a90SBenjamin Bouvier     /// Mostly used by `.clif` files, only there for debugging / naming purposes.
4258a9b1a90SBenjamin Bouvier     pub name: UserFuncName,
4268a9b1a90SBenjamin Bouvier 
4278a9b1a90SBenjamin Bouvier     /// All the fields required for compiling a function, independently of details irrelevant to
4288a9b1a90SBenjamin Bouvier     /// compilation and that are stored in the `FunctionParameters` `params` field instead.
4298a9b1a90SBenjamin Bouvier     pub stencil: FunctionStencil,
4308a9b1a90SBenjamin Bouvier 
4318a9b1a90SBenjamin Bouvier     /// All the parameters that can be applied onto the function stencil, that is, that don't
4328a9b1a90SBenjamin Bouvier     /// matter when caching compilation artifacts.
4338a9b1a90SBenjamin Bouvier     pub params: FunctionParameters,
4348a9b1a90SBenjamin Bouvier }
4358a9b1a90SBenjamin Bouvier 
4368a9b1a90SBenjamin Bouvier impl core::ops::Deref for Function {
4378a9b1a90SBenjamin Bouvier     type Target = FunctionStencil;
4388a9b1a90SBenjamin Bouvier 
4398a9b1a90SBenjamin Bouvier     fn deref(&self) -> &Self::Target {
4408a9b1a90SBenjamin Bouvier         &self.stencil
4418a9b1a90SBenjamin Bouvier     }
4428a9b1a90SBenjamin Bouvier }
4438a9b1a90SBenjamin Bouvier 
4448a9b1a90SBenjamin Bouvier impl core::ops::DerefMut for Function {
4458a9b1a90SBenjamin Bouvier     fn deref_mut(&mut self) -> &mut Self::Target {
4468a9b1a90SBenjamin Bouvier         &mut self.stencil
4478a9b1a90SBenjamin Bouvier     }
4488a9b1a90SBenjamin Bouvier }
4498a9b1a90SBenjamin Bouvier 
4508a9b1a90SBenjamin Bouvier impl Function {
4518a9b1a90SBenjamin Bouvier     /// Create a function with the given name and signature.
4528a9b1a90SBenjamin Bouvier     pub fn with_name_signature(name: UserFuncName, sig: Signature) -> Self {
4538a9b1a90SBenjamin Bouvier         Self {
4548a9b1a90SBenjamin Bouvier             name,
4558a9b1a90SBenjamin Bouvier             stencil: FunctionStencil {
4568a9b1a90SBenjamin Bouvier                 version_marker: VersionMarker,
4578a9b1a90SBenjamin Bouvier                 signature: sig,
4588a9b1a90SBenjamin Bouvier                 sized_stack_slots: StackSlots::new(),
4598a9b1a90SBenjamin Bouvier                 dynamic_stack_slots: DynamicStackSlots::new(),
4608a9b1a90SBenjamin Bouvier                 global_values: PrimaryMap::new(),
4618a9b1a90SBenjamin Bouvier                 tables: PrimaryMap::new(),
4628a9b1a90SBenjamin Bouvier                 jump_tables: PrimaryMap::new(),
4638a9b1a90SBenjamin Bouvier                 dfg: DataFlowGraph::new(),
4648a9b1a90SBenjamin Bouvier                 layout: Layout::new(),
4658a9b1a90SBenjamin Bouvier                 srclocs: SecondaryMap::new(),
4668a9b1a90SBenjamin Bouvier                 stack_limit: None,
4678a9b1a90SBenjamin Bouvier             },
4688a9b1a90SBenjamin Bouvier             params: FunctionParameters::new(),
4698a9b1a90SBenjamin Bouvier         }
4708a9b1a90SBenjamin Bouvier     }
4718a9b1a90SBenjamin Bouvier 
4728a9b1a90SBenjamin Bouvier     /// Clear all data structures in this function.
4738a9b1a90SBenjamin Bouvier     pub fn clear(&mut self) {
4748a9b1a90SBenjamin Bouvier         self.stencil.clear();
4758a9b1a90SBenjamin Bouvier         self.params.clear();
4768a9b1a90SBenjamin Bouvier         self.name = UserFuncName::default();
4778a9b1a90SBenjamin Bouvier     }
4788a9b1a90SBenjamin Bouvier 
4798a9b1a90SBenjamin Bouvier     /// Create a new empty, anonymous function with a Fast calling convention.
4808a9b1a90SBenjamin Bouvier     pub fn new() -> Self {
4818a9b1a90SBenjamin Bouvier         Self::with_name_signature(Default::default(), Signature::new(CallConv::Fast))
4828a9b1a90SBenjamin Bouvier     }
4838a9b1a90SBenjamin Bouvier 
4848a9b1a90SBenjamin Bouvier     /// Return an object that can display this function with correct ISA-specific annotations.
4858a9b1a90SBenjamin Bouvier     pub fn display(&self) -> DisplayFunction<'_> {
4868a9b1a90SBenjamin Bouvier         DisplayFunction(self, Default::default())
4878a9b1a90SBenjamin Bouvier     }
4888a9b1a90SBenjamin Bouvier 
4898a9b1a90SBenjamin Bouvier     /// Return an object that can display this function with correct ISA-specific annotations.
4908a9b1a90SBenjamin Bouvier     pub fn display_with<'a>(
4918a9b1a90SBenjamin Bouvier         &'a self,
4928a9b1a90SBenjamin Bouvier         annotations: DisplayFunctionAnnotations<'a>,
4938a9b1a90SBenjamin Bouvier     ) -> DisplayFunction<'a> {
4948a9b1a90SBenjamin Bouvier         DisplayFunction(self, annotations)
4958a9b1a90SBenjamin Bouvier     }
4968a9b1a90SBenjamin Bouvier 
4978a9b1a90SBenjamin Bouvier     /// Sets an absolute source location for the given instruction.
4988a9b1a90SBenjamin Bouvier     ///
4998a9b1a90SBenjamin Bouvier     /// If no base source location has been set yet, records it at the same time.
5008a9b1a90SBenjamin Bouvier     pub fn set_srcloc(&mut self, inst: Inst, srcloc: SourceLoc) {
5018a9b1a90SBenjamin Bouvier         let base = self.params.ensure_base_srcloc(srcloc);
5028a9b1a90SBenjamin Bouvier         self.stencil.srclocs[inst] = RelSourceLoc::from_base_offset(base, srcloc);
5038a9b1a90SBenjamin Bouvier     }
5048a9b1a90SBenjamin Bouvier 
5058a9b1a90SBenjamin Bouvier     /// Returns an absolute source location for the given instruction.
5068a9b1a90SBenjamin Bouvier     pub fn srcloc(&self, inst: Inst) -> SourceLoc {
5078a9b1a90SBenjamin Bouvier         let base = self.params.base_srcloc();
5088a9b1a90SBenjamin Bouvier         self.stencil.srclocs[inst].expand(base)
5098a9b1a90SBenjamin Bouvier     }
5108a9b1a90SBenjamin Bouvier 
5118a9b1a90SBenjamin Bouvier     /// Declare a user-defined external function import, to be referenced in `ExtFuncData::User` later.
5128a9b1a90SBenjamin Bouvier     pub fn declare_imported_user_function(
5138a9b1a90SBenjamin Bouvier         &mut self,
5148a9b1a90SBenjamin Bouvier         name: UserExternalName,
5158a9b1a90SBenjamin Bouvier     ) -> UserExternalNameRef {
5168a9b1a90SBenjamin Bouvier         self.params.ensure_user_func_name(name)
5178a9b1a90SBenjamin Bouvier     }
5188a9b1a90SBenjamin Bouvier 
5198a9b1a90SBenjamin Bouvier     /// Declare an external function import.
5208a9b1a90SBenjamin Bouvier     pub fn import_function(&mut self, data: ExtFuncData) -> FuncRef {
5218a9b1a90SBenjamin Bouvier         self.stencil.dfg.ext_funcs.push(data)
5228a9b1a90SBenjamin Bouvier     }
5238f95c517SYury Delendik }
5248f95c517SYury Delendik 
5258f95c517SYury Delendik /// Additional annotations for function display.
526f856b124SMark McCaskey #[derive(Default)]
5278f95c517SYury Delendik pub struct DisplayFunctionAnnotations<'a> {
5288f95c517SYury Delendik     /// Enable value labels annotations.
5298f95c517SYury Delendik     pub value_ranges: Option<&'a ValueLabelsRanges>,
5308f95c517SYury Delendik }
5318f95c517SYury Delendik 
532747ad3c4Slazypassion /// Wrapper type capable of displaying a `Function` with correct ISA annotations.
5338f95c517SYury Delendik pub struct DisplayFunction<'a>(&'a Function, DisplayFunctionAnnotations<'a>);
534747ad3c4Slazypassion 
535747ad3c4Slazypassion impl<'a> fmt::Display for DisplayFunction<'a> {
536747ad3c4Slazypassion     fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result {
53743a86f14SBenjamin Bouvier         write_function(fmt, self.0)
538747ad3c4Slazypassion     }
539747ad3c4Slazypassion }
540747ad3c4Slazypassion 
541747ad3c4Slazypassion impl fmt::Display for Function {
542747ad3c4Slazypassion     fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result {
54343a86f14SBenjamin Bouvier         write_function(fmt, self)
544747ad3c4Slazypassion     }
545747ad3c4Slazypassion }
546747ad3c4Slazypassion 
547747ad3c4Slazypassion impl fmt::Debug for Function {
548747ad3c4Slazypassion     fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result {
54943a86f14SBenjamin Bouvier         write_function(fmt, self)
550747ad3c4Slazypassion     }
551747ad3c4Slazypassion }
552