Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit 2f2e7b1d authored by Léo Gourdin's avatar Léo Gourdin
Browse files

bugfix

parent dd4767e1
......@@ -1053,15 +1053,15 @@ let expanse (sb : superblock) code pm =
| _ -> ());
(* Update code, liveins, pathmap, and order of the superblock for one expansion *)
if !was_exp then (
node := !node + List.length !exp - 1;
(if !was_branch && List.length !exp > 1 then
let lives = PTree.get n !liveins in
match lives with
| Some lives ->
let new_branch_pc = n2p () in
let new_branch_pc = P.of_int (!node + 1) in
liveins := PTree.set new_branch_pc lives !liveins;
liveins := PTree.remove n !liveins
| _ -> ());
node := !node + List.length !exp - 1;
write_pathmap sb.instructions.(0) (List.length !exp - 1) pm';
write_tree vn (List.rev !exp) n !node code' new_order true)
else new_order := n :: !new_order)
......
......@@ -63,6 +63,7 @@ module Rocket = struct
1
| Ccompf _ | Cnotcompf _ -> 2
| Ccompfs _ | Cnotcompfs _ -> 2)
| OEmayundef _ -> 0
| _ -> 1
let resources_of_op (op : operation) (nargs : int) = resource_bounds
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment