diff options
author | Son Ho | 2023-11-24 17:30:56 +0100 |
---|---|---|
committer | Son Ho | 2023-11-24 17:30:56 +0100 |
commit | 3fb8105afe1d43beb326906f124d7e0e7cefe7bc (patch) | |
tree | 33f0334649337920b271f3984cb78a7739c3421c | |
parent | 4d5d2a8628cfb002267be9a13982aa4ef24a2651 (diff) |
Update a comment
-rw-r--r-- | compiler/ExtractBase.ml | 5 |
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 |