1 //! Intermediate representation of a function. 2 //! 3 //! The `Function` struct defined in this module owns all of its basic blocks and 4 //! instructions. 5 6 use crate::HashMap; 7 use crate::entity::{PrimaryMap, SecondaryMap}; 8 use crate::ir::{ 9 self, Block, DataFlowGraph, DynamicStackSlot, DynamicStackSlotData, DynamicStackSlots, 10 DynamicType, ExtFuncData, FuncRef, GlobalValue, GlobalValueData, Inst, JumpTable, 11 JumpTableData, Layout, MemoryType, MemoryTypeData, SigRef, Signature, SourceLocs, StackSlot, 12 StackSlotData, StackSlots, Type, pcc::Fact, 13 }; 14 use crate::isa::CallConv; 15 use crate::write::{write_function, write_function_spec}; 16 #[cfg(feature = "enable-serde")] 17 use alloc::string::String; 18 use core::fmt; 19 20 #[cfg(feature = "enable-serde")] 21 use serde::de::{Deserializer, Error}; 22 #[cfg(feature = "enable-serde")] 23 use serde::ser::Serializer; 24 #[cfg(feature = "enable-serde")] 25 use serde::{Deserialize, Serialize}; 26 27 use super::entities::UserExternalNameRef; 28 use super::extname::UserFuncName; 29 use super::{RelSourceLoc, SourceLoc, UserExternalName}; 30 31 /// A version marker used to ensure that serialized clif ir is never deserialized with a 32 /// different version of Cranelift. 33 #[derive(Default, Copy, Clone, Debug, PartialEq, Hash)] 34 pub struct VersionMarker; 35 36 #[cfg(feature = "enable-serde")] 37 impl Serialize for VersionMarker { 38 fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error> 39 where 40 S: Serializer, 41 { 42 crate::VERSION.serialize(serializer) 43 } 44 } 45 46 #[cfg(feature = "enable-serde")] 47 impl<'de> Deserialize<'de> for VersionMarker { 48 fn deserialize<D>(deserializer: D) -> Result<Self, D::Error> 49 where 50 D: Deserializer<'de>, 51 { 52 let version = String::deserialize(deserializer)?; 53 if version != crate::VERSION { 54 return Err(D::Error::custom(&format!( 55 "Expected a clif ir function for version {}, found one for version {}", 56 crate::VERSION, 57 version, 58 ))); 59 } 60 Ok(VersionMarker) 61 } 62 } 63 64 /// Function parameters used when creating this function, and that will become applied after 65 /// compilation to materialize the final `CompiledCode`. 66 #[derive(Clone, PartialEq)] 67 #[cfg_attr( 68 feature = "enable-serde", 69 derive(serde_derive::Serialize, serde_derive::Deserialize) 70 )] 71 pub struct FunctionParameters { 72 /// The first `SourceLoc` appearing in the function, serving as a base for every relative 73 /// source loc in the function. 74 base_srcloc: Option<SourceLoc>, 75 76 /// External user-defined function references. 77 user_named_funcs: PrimaryMap<UserExternalNameRef, UserExternalName>, 78 79 /// Inverted mapping of `user_named_funcs`, to deduplicate internally. 80 user_ext_name_to_ref: HashMap<UserExternalName, UserExternalNameRef>, 81 } 82 83 impl FunctionParameters { 84 /// Creates a new `FunctionParameters` with the given name. 85 pub fn new() -> Self { 86 Self { 87 base_srcloc: None, 88 user_named_funcs: Default::default(), 89 user_ext_name_to_ref: Default::default(), 90 } 91 } 92 93 /// Returns the base `SourceLoc`. 94 /// 95 /// If it was never explicitly set with `ensure_base_srcloc`, will return an invalid 96 /// `SourceLoc`. 97 pub fn base_srcloc(&self) -> SourceLoc { 98 self.base_srcloc.unwrap_or_default() 99 } 100 101 /// Sets the base `SourceLoc`, if not set yet, and returns the base value. 102 pub fn ensure_base_srcloc(&mut self, srcloc: SourceLoc) -> SourceLoc { 103 match self.base_srcloc { 104 Some(val) => val, 105 None => { 106 self.base_srcloc = Some(srcloc); 107 srcloc 108 } 109 } 110 } 111 112 /// Retrieve a `UserExternalNameRef` for the given name, or add a new one. 113 /// 114 /// This method internally deduplicates same `UserExternalName` so they map to the same 115 /// reference. 116 pub fn ensure_user_func_name(&mut self, name: UserExternalName) -> UserExternalNameRef { 117 if let Some(reff) = self.user_ext_name_to_ref.get(&name) { 118 *reff 119 } else { 120 let reff = self.user_named_funcs.push(name.clone()); 121 self.user_ext_name_to_ref.insert(name, reff); 122 reff 123 } 124 } 125 126 /// Resets an already existing user function name to a new value. 127 pub fn reset_user_func_name(&mut self, index: UserExternalNameRef, name: UserExternalName) { 128 if let Some(prev_name) = self.user_named_funcs.get_mut(index) { 129 self.user_ext_name_to_ref.remove(prev_name); 130 *prev_name = name.clone(); 131 self.user_ext_name_to_ref.insert(name, index); 132 } 133 } 134 135 /// Returns the internal mapping of `UserExternalNameRef` to `UserExternalName`. 136 pub fn user_named_funcs(&self) -> &PrimaryMap<UserExternalNameRef, UserExternalName> { 137 &self.user_named_funcs 138 } 139 140 fn clear(&mut self) { 141 self.base_srcloc = None; 142 self.user_named_funcs.clear(); 143 self.user_ext_name_to_ref.clear(); 144 } 145 } 146 147 /// Function fields needed when compiling a function. 148 /// 149 /// Additionally, these fields can be the same for two functions that would be compiled the same 150 /// way, and finalized by applying `FunctionParameters` onto their `CompiledCodeStencil`. 151 #[derive(Clone, PartialEq, Hash)] 152 #[cfg_attr( 153 feature = "enable-serde", 154 derive(serde_derive::Serialize, serde_derive::Deserialize) 155 )] 156 pub struct FunctionStencil { 157 /// A version marker used to ensure that serialized clif ir is never deserialized with a 158 /// different version of Cranelift. 159 // Note: This must be the first field to ensure that Serde will deserialize it before 160 // attempting to deserialize other fields that are potentially changed between versions. 161 pub version_marker: VersionMarker, 162 163 /// Signature of this function. 164 pub signature: Signature, 165 166 /// Sized stack slots allocated in this function. 167 pub sized_stack_slots: StackSlots, 168 169 /// Dynamic stack slots allocated in this function. 170 pub dynamic_stack_slots: DynamicStackSlots, 171 172 /// Global values referenced. 173 pub global_values: PrimaryMap<ir::GlobalValue, ir::GlobalValueData>, 174 175 /// Global value proof-carrying-code facts. 176 pub global_value_facts: SecondaryMap<ir::GlobalValue, Option<Fact>>, 177 178 /// Memory types for proof-carrying code. 179 pub memory_types: PrimaryMap<ir::MemoryType, ir::MemoryTypeData>, 180 181 /// Data flow graph containing the primary definition of all instructions, blocks and values. 182 pub dfg: DataFlowGraph, 183 184 /// Layout of blocks and instructions in the function body. 185 pub layout: Layout, 186 187 /// Source locations. 188 /// 189 /// Track the original source location for each instruction. The source locations are not 190 /// interpreted by Cranelift, only preserved. 191 pub srclocs: SourceLocs, 192 193 /// An optional global value which represents an expression evaluating to 194 /// the stack limit for this function. This `GlobalValue` will be 195 /// interpreted in the prologue, if necessary, to insert a stack check to 196 /// ensure that a trap happens if the stack pointer goes below the 197 /// threshold specified here. 198 pub stack_limit: Option<ir::GlobalValue>, 199 } 200 201 impl FunctionStencil { 202 fn clear(&mut self) { 203 self.signature.clear(CallConv::Fast); 204 self.sized_stack_slots.clear(); 205 self.dynamic_stack_slots.clear(); 206 self.global_values.clear(); 207 self.global_value_facts.clear(); 208 self.memory_types.clear(); 209 self.dfg.clear(); 210 self.layout.clear(); 211 self.srclocs.clear(); 212 self.stack_limit = None; 213 } 214 215 /// Creates a jump table in the function, to be used by `br_table` instructions. 216 pub fn create_jump_table(&mut self, data: JumpTableData) -> JumpTable { 217 self.dfg.jump_tables.push(data) 218 } 219 220 /// Creates a sized stack slot in the function, to be used by `stack_load`, `stack_store` 221 /// and `stack_addr` instructions. 222 pub fn create_sized_stack_slot(&mut self, data: StackSlotData) -> StackSlot { 223 self.sized_stack_slots.push(data) 224 } 225 226 /// Creates a dynamic stack slot in the function, to be used by `dynamic_stack_load`, 227 /// `dynamic_stack_store` and `dynamic_stack_addr` instructions. 228 pub fn create_dynamic_stack_slot(&mut self, data: DynamicStackSlotData) -> DynamicStackSlot { 229 self.dynamic_stack_slots.push(data) 230 } 231 232 /// Adds a signature which can later be used to declare an external function import. 233 pub fn import_signature(&mut self, signature: Signature) -> SigRef { 234 self.dfg.signatures.push(signature) 235 } 236 237 /// Declares a global value accessible to the function. 238 pub fn create_global_value(&mut self, data: GlobalValueData) -> GlobalValue { 239 self.global_values.push(data) 240 } 241 242 /// Declares a memory type for use by the function. 243 pub fn create_memory_type(&mut self, data: MemoryTypeData) -> MemoryType { 244 self.memory_types.push(data) 245 } 246 247 /// Find the global dyn_scale value associated with given DynamicType. 248 pub fn get_dyn_scale(&self, ty: DynamicType) -> GlobalValue { 249 self.dfg.dynamic_types.get(ty).unwrap().dynamic_scale 250 } 251 252 /// Find the global dyn_scale for the given stack slot. 253 pub fn get_dynamic_slot_scale(&self, dss: DynamicStackSlot) -> GlobalValue { 254 let dyn_ty = self.dynamic_stack_slots.get(dss).unwrap().dyn_ty; 255 self.get_dyn_scale(dyn_ty) 256 } 257 258 /// Get a concrete `Type` from a user defined `DynamicType`. 259 pub fn get_concrete_dynamic_ty(&self, ty: DynamicType) -> Option<Type> { 260 self.dfg 261 .dynamic_types 262 .get(ty) 263 .unwrap_or_else(|| panic!("Undeclared dynamic vector type: {ty}")) 264 .concrete() 265 } 266 267 /// Find a presumed unique special-purpose function parameter value. 268 /// 269 /// Returns the value of the last `purpose` parameter, or `None` if no such parameter exists. 270 pub fn special_param(&self, purpose: ir::ArgumentPurpose) -> Option<ir::Value> { 271 let entry = self.layout.entry_block().expect("Function is empty"); 272 self.signature 273 .special_param_index(purpose) 274 .map(|i| self.dfg.block_params(entry)[i]) 275 } 276 277 /// Starts collection of debug information. 278 pub fn collect_debug_info(&mut self) { 279 self.dfg.collect_debug_info(); 280 } 281 282 /// Rewrite the branch destination to `new_dest` if the destination matches `old_dest`. 283 /// Does nothing if called with a non-jump or non-branch instruction. 284 pub fn rewrite_branch_destination(&mut self, inst: Inst, old_dest: Block, new_dest: Block) { 285 for dest in self.dfg.insts[inst] 286 .branch_destination_mut(&mut self.dfg.jump_tables, &mut self.dfg.exception_tables) 287 { 288 if dest.block(&self.dfg.value_lists) == old_dest { 289 dest.set_block(new_dest, &mut self.dfg.value_lists) 290 } 291 } 292 } 293 294 /// Checks that the specified block can be encoded as a basic block. 295 /// 296 /// On error, returns the first invalid instruction and an error message. 297 pub fn is_block_basic(&self, block: Block) -> Result<(), (Inst, &'static str)> { 298 let dfg = &self.dfg; 299 let inst_iter = self.layout.block_insts(block); 300 301 // Ignore all instructions prior to the first branch. 302 let mut inst_iter = inst_iter.skip_while(|&inst| !dfg.insts[inst].opcode().is_branch()); 303 304 if let Some(_branch) = inst_iter.next() { 305 if let Some(next) = inst_iter.next() { 306 return Err((next, "post-terminator instruction")); 307 } 308 } 309 310 Ok(()) 311 } 312 313 /// Returns an iterator over the blocks succeeding the given block. 314 pub fn block_successors(&self, block: Block) -> impl DoubleEndedIterator<Item = Block> + '_ { 315 self.layout.last_inst(block).into_iter().flat_map(|inst| { 316 self.dfg.insts[inst] 317 .branch_destination(&self.dfg.jump_tables, &self.dfg.exception_tables) 318 .iter() 319 .map(|block| block.block(&self.dfg.value_lists)) 320 }) 321 } 322 323 /// Returns true if the function is function that doesn't call any other functions. This is not 324 /// to be confused with a "leaf function" in Windows terminology. 325 pub fn is_leaf(&self) -> bool { 326 // Conservative result: if there's at least one function signature referenced in this 327 // function, assume it is not a leaf. 328 let has_signatures = !self.dfg.signatures.is_empty(); 329 330 // Under some TLS models, retrieving the address of a TLS variable requires calling a 331 // function. Conservatively assume that any function that references a tls global value 332 // is not a leaf. 333 let has_tls = self.global_values.values().any(|gv| match gv { 334 GlobalValueData::Symbol { tls, .. } => *tls, 335 _ => false, 336 }); 337 338 !has_signatures && !has_tls 339 } 340 341 /// Replace the `dst` instruction's data with the `src` instruction's data 342 /// and then remove `src`. 343 /// 344 /// `src` and its result values should not be used at all, as any uses would 345 /// be left dangling after calling this method. 346 /// 347 /// `src` and `dst` must have the same number of resulting values, and 348 /// `src`'s i^th value must have the same type as `dst`'s i^th value. 349 pub fn transplant_inst(&mut self, dst: Inst, src: Inst) { 350 debug_assert_eq!( 351 self.dfg.inst_results(dst).len(), 352 self.dfg.inst_results(src).len() 353 ); 354 debug_assert!( 355 self.dfg 356 .inst_results(dst) 357 .iter() 358 .zip(self.dfg.inst_results(src)) 359 .all(|(a, b)| self.dfg.value_type(*a) == self.dfg.value_type(*b)) 360 ); 361 362 self.dfg.insts[dst] = self.dfg.insts[src]; 363 self.layout.remove_inst(src); 364 } 365 366 /// Size occupied by all stack slots associated with this function. 367 /// 368 /// Does not include any padding necessary due to offsets 369 pub fn fixed_stack_size(&self) -> u32 { 370 self.sized_stack_slots.values().map(|ss| ss.size).sum() 371 } 372 373 /// Returns the list of relative source locations for this function. 374 pub(crate) fn rel_srclocs(&self) -> &SecondaryMap<Inst, RelSourceLoc> { 375 &self.srclocs 376 } 377 } 378 379 /// Functions can be cloned, but it is not a very fast operation. 380 /// The clone will have all the same entity numbers as the original. 381 #[derive(Clone, PartialEq)] 382 #[cfg_attr(feature = "enable-serde", derive(Serialize, Deserialize))] 383 pub struct Function { 384 /// Name of this function. 385 /// 386 /// Mostly used by `.clif` files, only there for debugging / naming purposes. 387 pub name: UserFuncName, 388 389 /// All the fields required for compiling a function, independently of details irrelevant to 390 /// compilation and that are stored in the `FunctionParameters` `params` field instead. 391 pub stencil: FunctionStencil, 392 393 /// All the parameters that can be applied onto the function stencil, that is, that don't 394 /// matter when caching compilation artifacts. 395 pub params: FunctionParameters, 396 } 397 398 impl core::ops::Deref for Function { 399 type Target = FunctionStencil; 400 401 fn deref(&self) -> &Self::Target { 402 &self.stencil 403 } 404 } 405 406 impl core::ops::DerefMut for Function { 407 fn deref_mut(&mut self) -> &mut Self::Target { 408 &mut self.stencil 409 } 410 } 411 412 impl Function { 413 /// Create a function with the given name and signature. 414 pub fn with_name_signature(name: UserFuncName, sig: Signature) -> Self { 415 Self { 416 name, 417 stencil: FunctionStencil { 418 version_marker: VersionMarker, 419 signature: sig, 420 sized_stack_slots: StackSlots::new(), 421 dynamic_stack_slots: DynamicStackSlots::new(), 422 global_values: PrimaryMap::new(), 423 global_value_facts: SecondaryMap::new(), 424 memory_types: PrimaryMap::new(), 425 dfg: DataFlowGraph::new(), 426 layout: Layout::new(), 427 srclocs: SecondaryMap::new(), 428 stack_limit: None, 429 }, 430 params: FunctionParameters::new(), 431 } 432 } 433 434 /// Clear all data structures in this function. 435 pub fn clear(&mut self) { 436 self.stencil.clear(); 437 self.params.clear(); 438 self.name = UserFuncName::default(); 439 } 440 441 /// Create a new empty, anonymous function with a Fast calling convention. 442 pub fn new() -> Self { 443 Self::with_name_signature(Default::default(), Signature::new(CallConv::Fast)) 444 } 445 446 /// Return an object that can display this function with correct ISA-specific annotations. 447 pub fn display(&self) -> DisplayFunction<'_> { 448 DisplayFunction(self) 449 } 450 451 /// Return an object that can display this function's name and signature. 452 pub fn display_spec(&self) -> DisplayFunctionSpec<'_> { 453 DisplayFunctionSpec(self) 454 } 455 456 /// Sets an absolute source location for the given instruction. 457 /// 458 /// If no base source location has been set yet, records it at the same time. 459 pub fn set_srcloc(&mut self, inst: Inst, srcloc: SourceLoc) { 460 let base = self.params.ensure_base_srcloc(srcloc); 461 self.stencil.srclocs[inst] = RelSourceLoc::from_base_offset(base, srcloc); 462 } 463 464 /// Returns an absolute source location for the given instruction. 465 pub fn srcloc(&self, inst: Inst) -> SourceLoc { 466 let base = self.params.base_srcloc(); 467 self.stencil.srclocs[inst].expand(base) 468 } 469 470 /// Declare a user-defined external function import, to be referenced in `ExtFuncData::User` later. 471 pub fn declare_imported_user_function( 472 &mut self, 473 name: UserExternalName, 474 ) -> UserExternalNameRef { 475 self.params.ensure_user_func_name(name) 476 } 477 478 /// Declare an external function import. 479 pub fn import_function(&mut self, data: ExtFuncData) -> FuncRef { 480 self.stencil.dfg.ext_funcs.push(data) 481 } 482 } 483 484 /// Wrapper type capable of displaying a `Function`. 485 pub struct DisplayFunction<'a>(&'a Function); 486 487 impl<'a> fmt::Display for DisplayFunction<'a> { 488 fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result { 489 write_function(fmt, self.0) 490 } 491 } 492 493 impl fmt::Display for Function { 494 fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result { 495 write_function(fmt, self) 496 } 497 } 498 499 impl fmt::Debug for Function { 500 fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result { 501 write_function(fmt, self) 502 } 503 } 504 505 /// Wrapper type capable of displaying a 'Function's name and signature. 506 pub struct DisplayFunctionSpec<'a>(&'a Function); 507 508 impl<'a> fmt::Display for DisplayFunctionSpec<'a> { 509 fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result { 510 write_function_spec(fmt, self.0) 511 } 512 } 513 514 impl<'a> fmt::Debug for DisplayFunctionSpec<'a> { 515 fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result { 516 write_function_spec(fmt, self.0) 517 } 518 } 519