1747ad3c4Slazypassion //! Intermediate representation of a function. 2747ad3c4Slazypassion //! 3747ad3c4Slazypassion //! The `Function` struct defined in this module owns all of its extended basic blocks and 4747ad3c4Slazypassion //! instructions. 5747ad3c4Slazypassion 6747ad3c4Slazypassion use crate::binemit::CodeOffset; 7747ad3c4Slazypassion use crate::entity::{PrimaryMap, SecondaryMap}; 8747ad3c4Slazypassion use crate::ir; 9747ad3c4Slazypassion use crate::ir::{DataFlowGraph, ExternalName, Layout, Signature}; 10747ad3c4Slazypassion use crate::ir::{ 11747ad3c4Slazypassion Ebb, ExtFuncData, FuncRef, GlobalValue, GlobalValueData, Heap, HeapData, JumpTable, 12747ad3c4Slazypassion JumpTableData, SigRef, StackSlot, StackSlotData, Table, TableData, 13747ad3c4Slazypassion }; 14747ad3c4Slazypassion use crate::ir::{EbbOffsets, InstEncodings, SourceLocs, StackSlots, ValueLocations}; 15747ad3c4Slazypassion use crate::ir::{JumpTableOffsets, JumpTables}; 16747ad3c4Slazypassion use crate::isa::{CallConv, EncInfo, Encoding, Legalize, TargetIsa}; 17747ad3c4Slazypassion use crate::regalloc::RegDiversions; 188f95c517SYury Delendik use crate::value_label::ValueLabelsRanges; 19747ad3c4Slazypassion use crate::write::write_function; 20747ad3c4Slazypassion use core::fmt; 21747ad3c4Slazypassion 22747ad3c4Slazypassion /// A function. 23747ad3c4Slazypassion /// 24747ad3c4Slazypassion /// Functions can be cloned, but it is not a very fast operation. 25747ad3c4Slazypassion /// The clone will have all the same entity numbers as the original. 26747ad3c4Slazypassion #[derive(Clone)] 27747ad3c4Slazypassion pub struct Function { 28747ad3c4Slazypassion /// Name of this function. Mostly used by `.clif` files. 29747ad3c4Slazypassion pub name: ExternalName, 30747ad3c4Slazypassion 31747ad3c4Slazypassion /// Signature of this function. 32747ad3c4Slazypassion pub signature: Signature, 33747ad3c4Slazypassion 34747ad3c4Slazypassion /// Stack slots allocated in this function. 35747ad3c4Slazypassion pub stack_slots: StackSlots, 36747ad3c4Slazypassion 37747ad3c4Slazypassion /// Global values referenced. 38747ad3c4Slazypassion pub global_values: PrimaryMap<ir::GlobalValue, ir::GlobalValueData>, 39747ad3c4Slazypassion 40747ad3c4Slazypassion /// Heaps referenced. 41747ad3c4Slazypassion pub heaps: PrimaryMap<ir::Heap, ir::HeapData>, 42747ad3c4Slazypassion 43747ad3c4Slazypassion /// Tables referenced. 44747ad3c4Slazypassion pub tables: PrimaryMap<ir::Table, ir::TableData>, 45747ad3c4Slazypassion 46747ad3c4Slazypassion /// Jump tables used in this function. 47747ad3c4Slazypassion pub jump_tables: JumpTables, 48747ad3c4Slazypassion 49747ad3c4Slazypassion /// Data flow graph containing the primary definition of all instructions, EBBs and values. 50747ad3c4Slazypassion pub dfg: DataFlowGraph, 51747ad3c4Slazypassion 52747ad3c4Slazypassion /// Layout of EBBs and instructions in the function body. 53747ad3c4Slazypassion pub layout: Layout, 54747ad3c4Slazypassion 55747ad3c4Slazypassion /// Encoding recipe and bits for the legal instructions. 56747ad3c4Slazypassion /// Illegal instructions have the `Encoding::default()` value. 57747ad3c4Slazypassion pub encodings: InstEncodings, 58747ad3c4Slazypassion 59747ad3c4Slazypassion /// Location assigned to every value. 60747ad3c4Slazypassion pub locations: ValueLocations, 61747ad3c4Slazypassion 62747ad3c4Slazypassion /// Code offsets of the EBB headers. 63747ad3c4Slazypassion /// 64747ad3c4Slazypassion /// This information is only transiently available after the `binemit::relax_branches` function 65747ad3c4Slazypassion /// computes it, and it can easily be recomputed by calling that function. It is not included 66747ad3c4Slazypassion /// in the textual IR format. 67747ad3c4Slazypassion pub offsets: EbbOffsets, 68747ad3c4Slazypassion 69747ad3c4Slazypassion /// Code offsets of Jump Table headers. 70747ad3c4Slazypassion pub jt_offsets: JumpTableOffsets, 71747ad3c4Slazypassion 72747ad3c4Slazypassion /// Source locations. 73747ad3c4Slazypassion /// 74747ad3c4Slazypassion /// Track the original source location for each instruction. The source locations are not 75747ad3c4Slazypassion /// interpreted by Cranelift, only preserved. 76747ad3c4Slazypassion pub srclocs: SourceLocs, 77747ad3c4Slazypassion } 78747ad3c4Slazypassion 79747ad3c4Slazypassion impl Function { 80747ad3c4Slazypassion /// Create a function with the given name and signature. 81747ad3c4Slazypassion pub fn with_name_signature(name: ExternalName, sig: Signature) -> Self { 82747ad3c4Slazypassion Self { 83747ad3c4Slazypassion name, 84747ad3c4Slazypassion signature: sig, 85747ad3c4Slazypassion stack_slots: StackSlots::new(), 86747ad3c4Slazypassion global_values: PrimaryMap::new(), 87747ad3c4Slazypassion heaps: PrimaryMap::new(), 88747ad3c4Slazypassion tables: PrimaryMap::new(), 89747ad3c4Slazypassion jump_tables: PrimaryMap::new(), 90747ad3c4Slazypassion dfg: DataFlowGraph::new(), 91747ad3c4Slazypassion layout: Layout::new(), 92747ad3c4Slazypassion encodings: SecondaryMap::new(), 93747ad3c4Slazypassion locations: SecondaryMap::new(), 94747ad3c4Slazypassion offsets: SecondaryMap::new(), 95747ad3c4Slazypassion jt_offsets: SecondaryMap::new(), 96747ad3c4Slazypassion srclocs: SecondaryMap::new(), 97747ad3c4Slazypassion } 98747ad3c4Slazypassion } 99747ad3c4Slazypassion 100747ad3c4Slazypassion /// Clear all data structures in this function. 101747ad3c4Slazypassion pub fn clear(&mut self) { 102747ad3c4Slazypassion self.signature.clear(CallConv::Fast); 103747ad3c4Slazypassion self.stack_slots.clear(); 104747ad3c4Slazypassion self.global_values.clear(); 105747ad3c4Slazypassion self.heaps.clear(); 106747ad3c4Slazypassion self.tables.clear(); 107747ad3c4Slazypassion self.jump_tables.clear(); 108747ad3c4Slazypassion self.dfg.clear(); 109747ad3c4Slazypassion self.layout.clear(); 110747ad3c4Slazypassion self.encodings.clear(); 111747ad3c4Slazypassion self.locations.clear(); 112747ad3c4Slazypassion self.offsets.clear(); 113747ad3c4Slazypassion self.srclocs.clear(); 114747ad3c4Slazypassion } 115747ad3c4Slazypassion 116747ad3c4Slazypassion /// Create a new empty, anonymous function with a Fast calling convention. 117747ad3c4Slazypassion pub fn new() -> Self { 118747ad3c4Slazypassion Self::with_name_signature(ExternalName::default(), Signature::new(CallConv::Fast)) 119747ad3c4Slazypassion } 120747ad3c4Slazypassion 121747ad3c4Slazypassion /// Creates a jump table in the function, to be used by `br_table` instructions. 122747ad3c4Slazypassion pub fn create_jump_table(&mut self, data: JumpTableData) -> JumpTable { 123747ad3c4Slazypassion self.jump_tables.push(data) 124747ad3c4Slazypassion } 125747ad3c4Slazypassion 126747ad3c4Slazypassion /// Creates a stack slot in the function, to be used by `stack_load`, `stack_store` and 127747ad3c4Slazypassion /// `stack_addr` instructions. 128747ad3c4Slazypassion pub fn create_stack_slot(&mut self, data: StackSlotData) -> StackSlot { 129747ad3c4Slazypassion self.stack_slots.push(data) 130747ad3c4Slazypassion } 131747ad3c4Slazypassion 132747ad3c4Slazypassion /// Adds a signature which can later be used to declare an external function import. 133747ad3c4Slazypassion pub fn import_signature(&mut self, signature: Signature) -> SigRef { 134747ad3c4Slazypassion self.dfg.signatures.push(signature) 135747ad3c4Slazypassion } 136747ad3c4Slazypassion 137747ad3c4Slazypassion /// Declare an external function import. 138747ad3c4Slazypassion pub fn import_function(&mut self, data: ExtFuncData) -> FuncRef { 139747ad3c4Slazypassion self.dfg.ext_funcs.push(data) 140747ad3c4Slazypassion } 141747ad3c4Slazypassion 142747ad3c4Slazypassion /// Declares a global value accessible to the function. 143747ad3c4Slazypassion pub fn create_global_value(&mut self, data: GlobalValueData) -> GlobalValue { 144747ad3c4Slazypassion self.global_values.push(data) 145747ad3c4Slazypassion } 146747ad3c4Slazypassion 147747ad3c4Slazypassion /// Declares a heap accessible to the function. 148747ad3c4Slazypassion pub fn create_heap(&mut self, data: HeapData) -> Heap { 149747ad3c4Slazypassion self.heaps.push(data) 150747ad3c4Slazypassion } 151747ad3c4Slazypassion 152747ad3c4Slazypassion /// Declares a table accessible to the function. 153747ad3c4Slazypassion pub fn create_table(&mut self, data: TableData) -> Table { 154747ad3c4Slazypassion self.tables.push(data) 155747ad3c4Slazypassion } 156747ad3c4Slazypassion 157747ad3c4Slazypassion /// Return an object that can display this function with correct ISA-specific annotations. 158d7d48d5cSBenjamin Bouvier pub fn display<'a, I: Into<Option<&'a dyn TargetIsa>>>( 159d7d48d5cSBenjamin Bouvier &'a self, 160d7d48d5cSBenjamin Bouvier isa: I, 161d7d48d5cSBenjamin Bouvier ) -> DisplayFunction<'a> { 1628f95c517SYury Delendik DisplayFunction(self, isa.into().into()) 1638f95c517SYury Delendik } 1648f95c517SYury Delendik 1658f95c517SYury Delendik /// Return an object that can display this function with correct ISA-specific annotations. 1668f95c517SYury Delendik pub fn display_with<'a>( 1678f95c517SYury Delendik &'a self, 1688f95c517SYury Delendik annotations: DisplayFunctionAnnotations<'a>, 1698f95c517SYury Delendik ) -> DisplayFunction<'a> { 1708f95c517SYury Delendik DisplayFunction(self, annotations) 171747ad3c4Slazypassion } 172747ad3c4Slazypassion 173747ad3c4Slazypassion /// Find a presumed unique special-purpose function parameter value. 174747ad3c4Slazypassion /// 175747ad3c4Slazypassion /// Returns the value of the last `purpose` parameter, or `None` if no such parameter exists. 176747ad3c4Slazypassion pub fn special_param(&self, purpose: ir::ArgumentPurpose) -> Option<ir::Value> { 177747ad3c4Slazypassion let entry = self.layout.entry_block().expect("Function is empty"); 178747ad3c4Slazypassion self.signature 179747ad3c4Slazypassion .special_param_index(purpose) 180747ad3c4Slazypassion .map(|i| self.dfg.ebb_params(entry)[i]) 181747ad3c4Slazypassion } 182747ad3c4Slazypassion 183747ad3c4Slazypassion /// Get an iterator over the instructions in `ebb`, including offsets and encoded instruction 184747ad3c4Slazypassion /// sizes. 185747ad3c4Slazypassion /// 186747ad3c4Slazypassion /// The iterator returns `(offset, inst, size)` tuples, where `offset` if the offset in bytes 187747ad3c4Slazypassion /// from the beginning of the function to the instruction, and `size` is the size of the 188747ad3c4Slazypassion /// instruction in bytes, or 0 for unencoded instructions. 189747ad3c4Slazypassion /// 190747ad3c4Slazypassion /// This function can only be used after the code layout has been computed by the 191747ad3c4Slazypassion /// `binemit::relax_branches()` function. 192747ad3c4Slazypassion pub fn inst_offsets<'a>(&'a self, ebb: Ebb, encinfo: &EncInfo) -> InstOffsetIter<'a> { 193747ad3c4Slazypassion assert!( 194747ad3c4Slazypassion !self.offsets.is_empty(), 195747ad3c4Slazypassion "Code layout must be computed first" 196747ad3c4Slazypassion ); 197747ad3c4Slazypassion InstOffsetIter { 198747ad3c4Slazypassion encinfo: encinfo.clone(), 199747ad3c4Slazypassion func: self, 200747ad3c4Slazypassion divert: RegDiversions::new(), 201747ad3c4Slazypassion encodings: &self.encodings, 202747ad3c4Slazypassion offset: self.offsets[ebb], 203747ad3c4Slazypassion iter: self.layout.ebb_insts(ebb), 204747ad3c4Slazypassion } 205747ad3c4Slazypassion } 206747ad3c4Slazypassion 207747ad3c4Slazypassion /// Wrapper around `encode` which assigns `inst` the resulting encoding. 208d7d48d5cSBenjamin Bouvier pub fn update_encoding(&mut self, inst: ir::Inst, isa: &dyn TargetIsa) -> Result<(), Legalize> { 209747ad3c4Slazypassion self.encode(inst, isa).map(|e| self.encodings[inst] = e) 210747ad3c4Slazypassion } 211747ad3c4Slazypassion 212747ad3c4Slazypassion /// Wrapper around `TargetIsa::encode` for encoding an existing instruction 213747ad3c4Slazypassion /// in the `Function`. 214d7d48d5cSBenjamin Bouvier pub fn encode(&self, inst: ir::Inst, isa: &dyn TargetIsa) -> Result<Encoding, Legalize> { 215747ad3c4Slazypassion isa.encode(&self, &self.dfg[inst], self.dfg.ctrl_typevar(inst)) 216747ad3c4Slazypassion } 2178f95c517SYury Delendik 2188f95c517SYury Delendik /// Starts collection of debug information. 2198f95c517SYury Delendik pub fn collect_debug_info(&mut self) { 2208f95c517SYury Delendik self.dfg.collect_debug_info(); 2218f95c517SYury Delendik } 2228f95c517SYury Delendik } 2238f95c517SYury Delendik 2248f95c517SYury Delendik /// Additional annotations for function display. 225*f856b124SMark McCaskey #[derive(Default)] 2268f95c517SYury Delendik pub struct DisplayFunctionAnnotations<'a> { 2278f95c517SYury Delendik /// Enable ISA annotations. 228d7d48d5cSBenjamin Bouvier pub isa: Option<&'a dyn TargetIsa>, 2298f95c517SYury Delendik 2308f95c517SYury Delendik /// Enable value labels annotations. 2318f95c517SYury Delendik pub value_ranges: Option<&'a ValueLabelsRanges>, 2328f95c517SYury Delendik } 2338f95c517SYury Delendik 234d7d48d5cSBenjamin Bouvier impl<'a> From<Option<&'a dyn TargetIsa>> for DisplayFunctionAnnotations<'a> { 235d7d48d5cSBenjamin Bouvier fn from(isa: Option<&'a dyn TargetIsa>) -> DisplayFunctionAnnotations { 2368f95c517SYury Delendik DisplayFunctionAnnotations { 2378f95c517SYury Delendik isa, 2388f95c517SYury Delendik value_ranges: None, 2398f95c517SYury Delendik } 2408f95c517SYury Delendik } 241747ad3c4Slazypassion } 242747ad3c4Slazypassion 243747ad3c4Slazypassion /// Wrapper type capable of displaying a `Function` with correct ISA annotations. 2448f95c517SYury Delendik pub struct DisplayFunction<'a>(&'a Function, DisplayFunctionAnnotations<'a>); 245747ad3c4Slazypassion 246747ad3c4Slazypassion impl<'a> fmt::Display for DisplayFunction<'a> { 247747ad3c4Slazypassion fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result { 2488f95c517SYury Delendik write_function(fmt, self.0, &self.1) 249747ad3c4Slazypassion } 250747ad3c4Slazypassion } 251747ad3c4Slazypassion 252747ad3c4Slazypassion impl fmt::Display for Function { 253747ad3c4Slazypassion fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result { 2548f95c517SYury Delendik write_function(fmt, self, &DisplayFunctionAnnotations::default()) 255747ad3c4Slazypassion } 256747ad3c4Slazypassion } 257747ad3c4Slazypassion 258747ad3c4Slazypassion impl fmt::Debug for Function { 259747ad3c4Slazypassion fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result { 2608f95c517SYury Delendik write_function(fmt, self, &DisplayFunctionAnnotations::default()) 261747ad3c4Slazypassion } 262747ad3c4Slazypassion } 263747ad3c4Slazypassion 264747ad3c4Slazypassion /// Iterator returning instruction offsets and sizes: `(offset, inst, size)`. 265747ad3c4Slazypassion pub struct InstOffsetIter<'a> { 266747ad3c4Slazypassion encinfo: EncInfo, 267747ad3c4Slazypassion divert: RegDiversions, 268747ad3c4Slazypassion func: &'a Function, 269747ad3c4Slazypassion encodings: &'a InstEncodings, 270747ad3c4Slazypassion offset: CodeOffset, 271747ad3c4Slazypassion iter: ir::layout::Insts<'a>, 272747ad3c4Slazypassion } 273747ad3c4Slazypassion 274747ad3c4Slazypassion impl<'a> Iterator for InstOffsetIter<'a> { 275747ad3c4Slazypassion type Item = (CodeOffset, ir::Inst, CodeOffset); 276747ad3c4Slazypassion 277747ad3c4Slazypassion fn next(&mut self) -> Option<Self::Item> { 278747ad3c4Slazypassion self.iter.next().map(|inst| { 279747ad3c4Slazypassion self.divert.apply(&self.func.dfg[inst]); 280747ad3c4Slazypassion let byte_size = 281747ad3c4Slazypassion self.encinfo 282747ad3c4Slazypassion .byte_size(self.encodings[inst], inst, &self.divert, self.func); 283747ad3c4Slazypassion let offset = self.offset; 284747ad3c4Slazypassion self.offset += byte_size; 285747ad3c4Slazypassion (offset, inst, byte_size) 286747ad3c4Slazypassion }) 287747ad3c4Slazypassion } 288747ad3c4Slazypassion } 289