diff options
| author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-02-16 13:14:36 +0100 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-02-16 13:14:36 +0100 |
| commit | 1e06ebb8dd836a8c9c80769bc8c8cf42077a6eb5 (patch) | |
| tree | e2d68d966d3dc49173381d1a3b062d993c0b604b /riscV/ExpansionOracle.ml | |
| parent | fe4d2149f89d16f9128a635b0668ea5bdc451bb2 (diff) | |
| download | compcert-kvx-1e06ebb8dd836a8c9c80769bc8c8cf42077a6eb5.tar.gz compcert-kvx-1e06ebb8dd836a8c9c80769bc8c8cf42077a6eb5.zip | |
fix bug in merge
Diffstat (limited to 'riscV/ExpansionOracle.ml')
| -rw-r--r-- | riscV/ExpansionOracle.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscV/ExpansionOracle.ml b/riscV/ExpansionOracle.ml index fa05d318..1e40b492 100644 --- a/riscV/ExpansionOracle.ml +++ b/riscV/ExpansionOracle.ml @@ -353,7 +353,7 @@ let write_initial_node initial code' new_order = let write_pathmap initial esize pm' = let path = get_some @@ PTree.get initial !pm' in let npsize = Camlcoq.Nat.of_int (esize + (Camlcoq.Nat.to_int path.psize)) in - let path' = { psize = npsize; input_regs = path.input_regs; output_regs = path.output_regs } in + let path' = { psize = npsize; input_regs = path.input_regs; pre_output_regs = path.pre_output_regs; output_regs = path.output_regs } in pm' := PTree.set initial path' !pm' let rec write_tree exp current code' new_order = |