diff options
Diffstat (limited to 'src/mir/operations.hpp')
-rw-r--r-- | src/mir/operations.hpp | 4 |
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); |