summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
authorSon Ho2023-11-24 17:30:56 +0100
committerSon Ho2023-11-24 17:30:56 +0100
commit3fb8105afe1d43beb326906f124d7e0e7cefe7bc (patch)
tree33f0334649337920b271f3984cb78a7739c3421c /compiler
parent4d5d2a8628cfb002267be9a13982aa4ef24a2651 (diff)
Update a comment
Diffstat (limited to '')
-rw-r--r--compiler/ExtractBase.ml5
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml
index b7fa7788..43e7f158 100644
--- a/compiler/ExtractBase.ml
+++ b/compiler/ExtractBase.ml
@@ -1419,9 +1419,10 @@ let default_fun_suffix (num_loops : int) (loop_id : LoopId.id option)
- we add "_fwd"
- [rg] is [None]: this is a backward function:
- this function has one extracted backward function:
- - if the forward function has been filtered, we add "_fwd_back":
+ - if the forward function has been filtered, we add nothing:
the forward function is useless, so the unique backward function
- takes its place, in a way
+ takes its place, in a way (in effect, we "merge" the forward
+ and the backward functions).
- otherwise we add "_back"
- this function has several backward functions: we add "_back" and an
additional suffix to identify the precise backward function