summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2013-11-28 14:42:34 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2013-11-28 14:42:34 +0000
commit140f62041327a4c3aebf159b7595a537bf1ca4a3 (patch)
tree048fe0d62be6315e10d779d01ca594805229d933
parent3d7d4b92695e189304fcfe1cdc78950b51a5dbf9 (diff)
downloadocaml-140f62041327a4c3aebf159b7595a537bf1ca4a3.tar.gz
Debug info was lost when rescheduling "checkbound" instructions.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14323 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--asmcomp/schedgen.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/schedgen.ml b/asmcomp/schedgen.ml
index 885c945404..e04eacd375 100644
--- a/asmcomp/schedgen.ml
+++ b/asmcomp/schedgen.ml
@@ -336,8 +336,8 @@ method private reschedule ready_queue date cont =
if son.emitted_ancestors = son.ancestors then
new_queue := son :: !new_queue)
node.sons;
- instr_cons node.instr.desc node.instr.arg node.instr.res
- (self#reschedule !new_queue (date + issue_cycles) cont)
+ { node.instr with next =
+ self#reschedule !new_queue (date + issue_cycles) cont }
end
(* Entry point *)