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