diff options
author | Alain Frisch <alain@frisch.fr> | 2016-07-01 18:42:51 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-01 18:42:51 +0200 |
commit | c3c523109e556d7fef5e857e6717cd01717d67ec (patch) | |
tree | 27708641d0865127767ebebbc090b963c78236cf /asmcomp/split.ml | |
parent | bed7e23657c97e5e5c023886b54f53e6fb666399 (diff) | |
download | ocaml-c3c523109e556d7fef5e857e6717cd01717d67ec.tar.gz |
Revert "Labels after calls, call GC points and checkbound points"
Diffstat (limited to 'asmcomp/split.ml')
-rw-r--r-- | asmcomp/split.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/split.ml b/asmcomp/split.ml index 87588f1fdc..b64f70431f 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 -> |