blob: 183349af7232d619eb7179ea8c276844581aa263 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
/**
** \file inlining/libinlining.hh
** \brief Declare functions exported by the inlining module.
*/
#pragma once
#include <ast/fwd.hh>
#include <misc/error.hh>
/// Inlining functions of an ast::Ast.
namespace inlining
{
/*-----------.
| Inlining. |
`-----------*/
/** Perform inline expansion of function bodies.
\param tree abstract syntax tree's root, whose bindings and types
have been computed. Each identifier must also be unique
within the AST to avoid name capture.
\return the AST where the bodies of non recursive functions have
been expanded (inlined), with bindings and type-checked.
*/
template <typename A> A* inline_expand(const A& tree);
/*-------------------.
| Function pruning. |
`-------------------*/
/** Prune unused function from the AST.
\param tree abstract syntax tree's root, whose bindings and types
have been computed, and whose identifiers are all unique.
\return the AST whose unused functions have been removed, with
bindings and type-checked. */
template <typename A> A* prune(const A& tree);
} // namespace inlining
|
