1use crate::HashMap;
7use crate::entity::{PrimaryMap, SecondaryMap};
8use 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};
14use crate::isa::CallConv;
15use crate::write::{write_function, write_function_spec};
16#[cfg(feature = "enable-serde")]
17use alloc::string::String;
18use core::fmt;
19
20#[cfg(feature = "enable-serde")]
21use serde::de::{Deserializer, Error};
22#[cfg(feature = "enable-serde")]
23use serde::ser::Serializer;
24#[cfg(feature = "enable-serde")]
25use serde::{Deserialize, Serialize};
26
27use super::entities::UserExternalNameRef;
28use super::extname::UserFuncName;
29use super::{RelSourceLoc, SourceLoc, UserExternalName};
30
31#[derive(Default, Copy, Clone, Debug, PartialEq, Hash)]
34pub struct VersionMarker;
35
36#[cfg(feature = "enable-serde")]
37impl 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")]
47impl<'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#[derive(Clone, PartialEq)]
67#[cfg_attr(
68 feature = "enable-serde",
69 derive(serde_derive::Serialize, serde_derive::Deserialize)
70)]
71pub struct FunctionParameters {
72 base_srcloc: Option<SourceLoc>,
75
76 user_named_funcs: PrimaryMap<UserExternalNameRef, UserExternalName>,
78
79 user_ext_name_to_ref: HashMap<UserExternalName, UserExternalNameRef>,
81}
82
83impl FunctionParameters {
84 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 pub fn base_srcloc(&self) -> SourceLoc {
98 self.base_srcloc.unwrap_or_default()
99 }
100
101 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 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 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 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#[derive(Clone, PartialEq, Hash)]
152#[cfg_attr(
153 feature = "enable-serde",
154 derive(serde_derive::Serialize, serde_derive::Deserialize)
155)]
156pub struct FunctionStencil {
157 pub version_marker: VersionMarker,
162
163 pub signature: Signature,
165
166 pub sized_stack_slots: StackSlots,
168
169 pub dynamic_stack_slots: DynamicStackSlots,
171
172 pub global_values: PrimaryMap<ir::GlobalValue, ir::GlobalValueData>,
174
175 pub global_value_facts: SecondaryMap<ir::GlobalValue, Option<Fact>>,
177
178 pub memory_types: PrimaryMap<ir::MemoryType, ir::MemoryTypeData>,
180
181 pub dfg: DataFlowGraph,
183
184 pub layout: Layout,
186
187 pub srclocs: SourceLocs,
192
193 pub stack_limit: Option<ir::GlobalValue>,
199}
200
201impl 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 pub fn create_jump_table(&mut self, data: JumpTableData) -> JumpTable {
217 self.dfg.jump_tables.push(data)
218 }
219
220 pub fn create_sized_stack_slot(&mut self, data: StackSlotData) -> StackSlot {
223 self.sized_stack_slots.push(data)
224 }
225
226 pub fn create_dynamic_stack_slot(&mut self, data: DynamicStackSlotData) -> DynamicStackSlot {
229 self.dynamic_stack_slots.push(data)
230 }
231
232 pub fn import_signature(&mut self, signature: Signature) -> SigRef {
234 self.dfg.signatures.push(signature)
235 }
236
237 pub fn create_global_value(&mut self, data: GlobalValueData) -> GlobalValue {
239 self.global_values.push(data)
240 }
241
242 pub fn create_memory_type(&mut self, data: MemoryTypeData) -> MemoryType {
244 self.memory_types.push(data)
245 }
246
247 pub fn get_dyn_scale(&self, ty: DynamicType) -> GlobalValue {
249 self.dfg.dynamic_types.get(ty).unwrap().dynamic_scale
250 }
251
252 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 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 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 pub fn collect_debug_info(&mut self) {
279 self.dfg.collect_debug_info();
280 }
281
282 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 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 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 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 pub fn is_leaf(&self) -> bool {
326 let has_signatures = !self.dfg.signatures.is_empty();
329
330 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 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 pub fn fixed_stack_size(&self) -> u32 {
370 self.sized_stack_slots.values().map(|ss| ss.size).sum()
371 }
372
373 pub(crate) fn rel_srclocs(&self) -> &SecondaryMap<Inst, RelSourceLoc> {
375 &self.srclocs
376 }
377}
378
379#[derive(Clone, PartialEq)]
382#[cfg_attr(feature = "enable-serde", derive(Serialize, Deserialize))]
383pub struct Function {
384 pub name: UserFuncName,
388
389 pub stencil: FunctionStencil,
392
393 pub params: FunctionParameters,
396}
397
398impl core::ops::Deref for Function {
399 type Target = FunctionStencil;
400
401 fn deref(&self) -> &Self::Target {
402 &self.stencil
403 }
404}
405
406impl core::ops::DerefMut for Function {
407 fn deref_mut(&mut self) -> &mut Self::Target {
408 &mut self.stencil
409 }
410}
411
412impl Function {
413 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 pub fn clear(&mut self) {
436 self.stencil.clear();
437 self.params.clear();
438 self.name = UserFuncName::default();
439 }
440
441 pub fn new() -> Self {
443 Self::with_name_signature(Default::default(), Signature::new(CallConv::Fast))
444 }
445
446 pub fn display(&self) -> DisplayFunction<'_> {
448 DisplayFunction(self)
449 }
450
451 pub fn display_spec(&self) -> DisplayFunctionSpec<'_> {
453 DisplayFunctionSpec(self)
454 }
455
456 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 pub fn srcloc(&self, inst: Inst) -> SourceLoc {
466 let base = self.params.base_srcloc();
467 self.stencil.srclocs[inst].expand(base)
468 }
469
470 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 pub fn import_function(&mut self, data: ExtFuncData) -> FuncRef {
480 self.stencil.dfg.ext_funcs.push(data)
481 }
482}
483
484pub struct DisplayFunction<'a>(&'a Function);
486
487impl<'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
493impl fmt::Display for Function {
494 fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result {
495 write_function(fmt, self)
496 }
497}
498
499impl fmt::Debug for Function {
500 fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result {
501 write_function(fmt, self)
502 }
503}
504
505pub struct DisplayFunctionSpec<'a>(&'a Function);
507
508impl<'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
514impl<'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}