summaryrefslogtreecommitdiff
path: root/src/mir/operations.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/mir/operations.hpp')
-rw-r--r--src/mir/operations.hpp4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/mir/operations.hpp b/src/mir/operations.hpp
index a32531e9..deef8830 100644
--- a/src/mir/operations.hpp
+++ b/src/mir/operations.hpp
@@ -8,5 +8,9 @@
#include <hir_typeck/static.hpp>
#include <hir/item_path.hpp>
+// Check that the MIR is well-formed
extern void MIR_Validate(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path, const ::MIR::Function& fcn, const ::HIR::Function::args_t& args, const ::HIR::TypeRef& ret_type);
+// Perform needed changes to the generated MIR (virtualisation, Unsize/CoerceUnsize, ...)
extern void MIR_Cleanup(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path, ::MIR::Function& fcn, const ::HIR::Function::args_t& args, const ::HIR::TypeRef& ret_type);
+// Optimise the MIR
+extern void MIR_Optimise(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path, ::MIR::Function& fcn, const ::HIR::Function::args_t& args, const ::HIR::TypeRef& ret_type);