diff options
-rw-r--r-- | asmcomp/CSEgen.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/CSEgen.ml b/asmcomp/CSEgen.ml index 8cd23b0a9..6571ad53f 100644 --- a/asmcomp/CSEgen.ml +++ b/asmcomp/CSEgen.ml @@ -164,8 +164,8 @@ let insert_move srcs dsts i = | l -> (* Parallel move: first copy srcs into tmps one by one, then copy tmps into dsts one by one *) let tmps = Reg.createv_like srcs in - array_fold2 insert_single_move - (array_fold2 insert_single_move i srcs tmps) tmps dsts + let i1 = array_fold2 insert_single_move i tmps dsts in + array_fold2 insert_single_move i1 srcs tmps (* Classification of operations *) |