diff options
author | Son Ho | 2022-12-14 17:38:50 +0100 |
---|---|---|
committer | Son HO | 2023-02-03 11:21:46 +0100 |
commit | 1a912cbf23c31c95041526c71bbd050bb5ac4e7c (patch) | |
tree | c17b9464d2da2d75f4d3f9077c3bf3f77826a752 /compiler/PureMicroPasses.ml | |
parent | b1e57277baf539f1f009f7c927a1a7445ce6ea45 (diff) |
Introduce new loop ids in Pure and keep track of the number of loops in a function
Diffstat (limited to 'compiler/PureMicroPasses.ml')
-rw-r--r-- | compiler/PureMicroPasses.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/PureMicroPasses.ml b/compiler/PureMicroPasses.ml index 2e4a534e..a27b9d95 100644 --- a/compiler/PureMicroPasses.ml +++ b/compiler/PureMicroPasses.ml @@ -621,7 +621,7 @@ let inline_useless_var_reassignments (inline_named : bool) (inline_pure : bool) In this situation, we can remove the call [f@fwd x]. *) let expression_contains_child_call_in_all_paths (ctx : trans_ctx) - (id0 : A.fun_id) (lp_id0 : V.LoopId.id option) + (id0 : A.fun_id) (lp_id0 : LoopId.id option) (rg_id0 : T.RegionGroupId.id option) (tys0 : ty list) (args0 : texpression list) (e : texpression) : bool = let check_call (fun_id1 : fun_or_op_id) (tys1 : ty list) |