diff options
author | Son Ho | 2022-01-28 02:02:25 +0100 |
---|---|---|
committer | Son Ho | 2022-01-28 02:02:25 +0100 |
commit | 85629935e24c7ae068314d3eaeffad04b0e8349f (patch) | |
tree | 6abb71522f4483db7c3f3140761ad9f6caa6bfcf /src/PureMicroPasses.ml | |
parent | dc9d2c64bc2948bfdff78f1d2abae45ec9b4972c (diff) |
Apply the micro-passes to the pure ASTs
Diffstat (limited to '')
-rw-r--r-- | src/PureMicroPasses.ml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/PureMicroPasses.ml b/src/PureMicroPasses.ml index 3e04912a..043e8ca9 100644 --- a/src/PureMicroPasses.ml +++ b/src/PureMicroPasses.ml @@ -307,6 +307,15 @@ let remove_meta (def : fun_def) : fun_def = [ctx]: used only for printing. *) let apply_passes_to_def (ctx : trans_ctx) (def : fun_def) : fun_def = + (* Debug *) + log#ldebug + (lazy + ("PureMicroPasses.apply_passes_to_def: " + ^ Print.name_to_string def.basename + ^ " (" + ^ Print.option_to_string T.RegionGroupId.to_string def.back_id + ^ ")")); + (* First, find names for the variables which are unnamed *) let def = compute_pretty_names def in log#ldebug (lazy ("compute_pretty_name:\n" ^ fun_def_to_string ctx def)); @@ -317,3 +326,10 @@ let apply_passes_to_def (ctx : trans_ctx) (def : fun_def) : fun_def = (* We are done *) def + +let apply_passes_to_pure_fun_translation (ctx : trans_ctx) + (trans : pure_fun_translation) : pure_fun_translation = + let forward, backwards = trans in + let forward = apply_passes_to_def ctx forward in + let backwards = List.map (apply_passes_to_def ctx) backwards in + (forward, backwards) |