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.hpp2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mir/operations.hpp b/src/mir/operations.hpp
index cdc9c00b..1c06bc8c 100644
--- a/src/mir/operations.hpp
+++ b/src/mir/operations.hpp
@@ -10,6 +10,8 @@
// 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);
+// -
+extern void MIR_Validate_Full(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