summaryrefslogtreecommitdiff
path: root/asmcomp/split.ml
diff options
context:
space:
mode:
authorMark Shinwell <mshinwell@gmail.com>2016-07-06 11:44:00 +0100
committerGitHub <noreply@github.com>2016-07-06 11:44:00 +0100
commitc843ca0691235ef3da97aea090601a41195028e0 (patch)
tree26fc8221d1b3d377cc440f8604a7b579c3e6c243 /asmcomp/split.ml
parent3305a152c893060d6a551d0e70665e4e02eaf1fd (diff)
downloadocaml-c843ca0691235ef3da97aea090601a41195028e0.tar.gz
Labels after calls, call GC points and checkbound points (again) (#660)
Diffstat (limited to 'asmcomp/split.ml')
-rw-r--r--asmcomp/split.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/split.ml b/asmcomp/split.ml
index b64f70431f..87588f1fdc 100644
--- a/asmcomp/split.ml
+++ b/asmcomp/split.ml
@@ -125,7 +125,7 @@ let rec rename i sub =
match i.desc with
Iend ->
(i, sub)
- | Ireturn | Iop(Itailcall_ind) | Iop(Itailcall_imm _) ->
+ | Ireturn | Iop(Itailcall_ind _) | Iop(Itailcall_imm _) ->
(instr_cons i.desc (subst_regs i.arg sub) [||] i.next,
None)
| Iop Ireload when i.res.(0).loc = Unknown ->