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