From 4ceb0b4ac733ce863c4dbfb4e86ea642c7191ab7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 17 Oct 2023 10:29:18 +0200
Subject: [PATCH] [from] Fixes cache names in from_memory.
---
src/plugins/from/from_memory.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/from/from_memory.ml b/src/plugins/from/from_memory.ml
index 91e2f635391..2ae5ab4c97a 100644
--- a/src/plugins/from/from_memory.ml
+++ b/src/plugins/from/from_memory.ml
@@ -89,7 +89,7 @@ let decide_compose m1 m2 =
else LOffset.Recurse
let compose_map =
- let cache = Hptmap_sig.PersistentCache "Function_Froms.Memory.compose" in
+ let cache = Hptmap_sig.PersistentCache "From_memory.compose" in
(* Partial application is important because of the cache. Idempotent,
because [compose x x] is always equal to [x]. *)
map2 ~cache ~symmetric:false ~idempotent:true ~empty_neutral:true
@@ -119,7 +119,7 @@ let substitute_data_deps =
let both b itvs offsm = find_precise_loffset offsm b itvs in
let join = Deps.join in
let empty = Deps.bottom in
- let cache = Hptmap_sig.PersistentCache "From_compute.subst_data" in
+ let cache = Hptmap_sig.PersistentCache "From_memory.substitute_data" in
let f_map =
Zone.fold2_join_heterogeneous
~cache ~empty_left ~empty_right ~both ~join ~empty
@@ -147,7 +147,7 @@ let substitute_indirect_deps =
in
let join = Zone.join in
let empty = Zone.bottom in
- let cache = Hptmap_sig.PersistentCache "From_compute.subst_indirect" in
+ let cache = Hptmap_sig.PersistentCache "From_memory.substitute_indirect" in
let f_map =
Zone.fold2_join_heterogeneous
~cache ~empty_left ~empty_right ~both ~join ~empty
--
GitLab